Trace number 4085454

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)5 1800.69 1799.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUM455599f2e36aed56b051b7169c43fa6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085454-1465243434.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.14	c ... done. Wall clock time 0.029s.
0.09/0.14	c declared #vars     120
0.09/0.14	c #constraints  10
0.09/0.14	c constraints type 
0.09/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.09/0.14	c 10 constraints processed.
0.09/0.14	c objective function length is 80 literals
0.30/0.22	c SATISFIABLE
0.30/0.22	c OPTIMIZING...
0.30/0.22	c Got one! Elapsed wall clock time (in seconds):0.111
0.30/0.23	o 84
0.62/0.47	c Got one! Elapsed wall clock time (in seconds):0.359
0.62/0.47	o 76
0.74/0.50	c Got one! Elapsed wall clock time (in seconds):0.385
0.74/0.50	o 75
0.74/0.52	c Got one! Elapsed wall clock time (in seconds):0.405
0.74/0.52	o 74
0.74/0.58	c Got one! Elapsed wall clock time (in seconds):0.461
0.74/0.58	o 71
0.90/0.66	c cleaning 3722 clauses out of 7444 with flag 2475/7444
0.90/0.67	c Got one! Elapsed wall clock time (in seconds):0.556
0.90/0.67	o 69
1.03/0.74	c Got one! Elapsed wall clock time (in seconds):0.629
1.03/0.74	o 68
1.13/0.82	c Got one! Elapsed wall clock time (in seconds):0.709
1.13/0.82	o 66
1.13/0.85	c Got one! Elapsed wall clock time (in seconds):0.735
1.13/0.85	o 65
1.13/0.86	c Got one! Elapsed wall clock time (in seconds):0.745
1.13/0.86	o 59
1.26/0.90	c Got one! Elapsed wall clock time (in seconds):0.789
1.26/0.90	o 58
1.26/0.99	c Got one! Elapsed wall clock time (in seconds):0.876
1.26/0.99	o 56
1.46/1.15	c Got one! Elapsed wall clock time (in seconds):1.037
1.46/1.15	o 52
1.56/1.22	c Got one! Elapsed wall clock time (in seconds):1.106
1.56/1.22	o 50
1.65/1.33	c cleaning 6278 clauses out of 12556 with flag 2091/16278
1.65/1.34	c Got one! Elapsed wall clock time (in seconds):1.224
1.65/1.34	o 49
1.76/1.41	c Got one! Elapsed wall clock time (in seconds):1.293
1.76/1.41	o 47
1.86/1.58	c Got one! Elapsed wall clock time (in seconds):1.469
1.86/1.58	o 46
2.06/1.75	c Got one! Elapsed wall clock time (in seconds):1.634
2.06/1.75	o 43
2.17/1.86	c cleaning 6271 clauses out of 12541 with flag 2411/22541
2.17/1.88	c Got one! Elapsed wall clock time (in seconds):1.771
2.17/1.88	o 42
2.30/1.93	c Got one! Elapsed wall clock time (in seconds):1.818
2.30/1.93	o 40
2.30/1.98	c Got one! Elapsed wall clock time (in seconds):1.867
2.30/1.98	o 38
2.40/2.01	c Got one! Elapsed wall clock time (in seconds):1.892
2.40/2.01	o 33
2.50/2.14	c Got one! Elapsed wall clock time (in seconds):2.031
2.50/2.14	o 25
2.70/2.32	c Got one! Elapsed wall clock time (in seconds):2.207
2.70/2.32	o 22
2.80/2.44	c Got one! Elapsed wall clock time (in seconds):2.327
2.80/2.44	o 21
3.00/2.68	c cleaning 7487 clauses out of 14973 with flag 4437/31244
3.10/2.76	c Got one! Elapsed wall clock time (in seconds):2.65
3.10/2.76	o 19
3.50/3.14	c cleaning 6258 clauses out of 12530 with flag 9029/36288
3.80/3.42	c Got one! Elapsed wall clock time (in seconds):3.306
3.80/3.42	o 17
4.01/3.63	c cleaning 6000 clauses out of 12000 with flag 4416/42016
4.21/3.82	c Got one! Elapsed wall clock time (in seconds):3.704
4.21/3.82	o 13
4.51/4.12	c cleaning 5966 clauses out of 11942 with flag 6706/47958
5.03/4.60	c cleaning 5982 clauses out of 11977 with flag 18989/53959
5.54/5.20	c cleaning 6497 clauses out of 12994 with flag 33426/60958
6.24/5.88	c cleaning 7248 clauses out of 14496 with flag 49742/68957
7.14/6.77	c cleaning 8124 clauses out of 16248 with flag 68041/77957
8.14/7.73	c cleaning 9060 clauses out of 18124 with flag 88315/87957
8.53/8.15	c Got one! Elapsed wall clock time (in seconds):8.034
8.53/8.15	o 11
8.68/8.29	c cleaning 7517 clauses out of 15042 with flag 2145/93935
9.37/8.81	c cleaning 6762 clauses out of 13524 with flag 14476/99934
9.86/9.39	c cleaning 6879 clauses out of 13761 with flag 28934/106933
10.57/10.04	c cleaning 7441 clauses out of 14884 with flag 45411/114935
11.36/10.83	c cleaning 8221 clauses out of 16442 with flag 63822/123934
12.26/11.79	c cleaning 9109 clauses out of 18219 with flag 84343/133932
13.56/13.03	c cleaning 10056 clauses out of 20111 with flag 106807/144933
15.16/14.62	c cleaning 11025 clauses out of 22054 with flag 131237/156932
16.86/16.31	c cleaning 12014 clauses out of 24029 with flag 157728/169932
18.06/17.55	c Got one! Elapsed wall clock time (in seconds):17.431
18.06/17.55	o 10
18.96/18.41	c cleaning 13467 clauses out of 26938 with flag 10436/184855
19.56/19.06	c cleaning 9735 clauses out of 19469 with flag 22891/190853
20.26/19.75	c cleaning 8368 clauses out of 16735 with flag 37254/197854
20.96/20.44	c cleaning 8182 clauses out of 16366 with flag 53556/205853
21.66/21.19	c cleaning 8593 clauses out of 17185 with flag 71958/214854
22.56/22.07	c cleaning 9290 clauses out of 18591 with flag 92401/224853
23.66/23.15	c cleaning 10148 clauses out of 20303 with flag 114802/235855
25.06/24.56	c cleaning 11077 clauses out of 22153 with flag 139391/247853
26.76/26.21	c cleaning 12037 clauses out of 24077 with flag 166903/260854
28.36/27.87	c cleaning 13022 clauses out of 26044 with flag 196253/274858
30.36/29.81	c cleaning 14003 clauses out of 28017 with flag 226908/289853
32.36/31.90	c cleaning 15006 clauses out of 30014 with flag 259400/305853
32.96/32.42	c Got one! Elapsed wall clock time (in seconds):32.306
32.96/32.42	o 9
33.66/33.15	c cleaning 12776 clauses out of 25558 with flag 10675/316403
34.26/33.72	c cleaning 9393 clauses out of 18785 with flag 23109/322406
34.88/34.35	c cleaning 8188 clauses out of 16392 with flag 37866/329406
35.58/35.09	c cleaning 8096 clauses out of 16203 with flag 54146/337405
36.48/35.96	c cleaning 8547 clauses out of 17104 with flag 72453/346402
37.49/36.94	c cleaning 9279 clauses out of 18557 with flag 92745/356402
38.59/38.09	c cleaning 10136 clauses out of 20278 with flag 115131/367402
39.89/39.34	c cleaning 11070 clauses out of 22142 with flag 139435/379402
41.39/40.88	c cleaning 12035 clauses out of 24072 with flag 165919/392402
43.19/42.66	c cleaning 13020 clauses out of 26041 with flag 194421/406406
45.19/44.64	c cleaning 14008 clauses out of 28020 with flag 224887/421405
47.48/46.90	c cleaning 15002 clauses out of 30009 with flag 257423/437402
50.09/49.59	c cleaning 15998 clauses out of 32007 with flag 292222/454402
53.08/52.58	c cleaning 17000 clauses out of 34011 with flag 328874/472404
56.28/55.72	c cleaning 18001 clauses out of 36009 with flag 367275/491402
59.99/59.43	c cleaning 19000 clauses out of 38010 with flag 407744/511404
63.98/63.42	c cleaning 20000 clauses out of 40008 with flag 450190/532402
68.18/67.61	c cleaning 21001 clauses out of 42010 with flag 494741/554404
72.68/72.14	c cleaning 22001 clauses out of 44007 with flag 541285/577402
74.68/74.14	c Got one! Elapsed wall clock time (in seconds):74.026
74.68/74.14	o 5
75.88/75.35	c cleaning 19358 clauses out of 38719 with flag 10375/594115
76.78/76.28	c cleaning 12675 clauses out of 25363 with flag 22533/600117
77.69/77.11	c cleaning 9841 clauses out of 19686 with flag 36765/607115
78.48/77.98	c cleaning 8921 clauses out of 17845 with flag 53166/615115
79.48/78.95	c cleaning 8960 clauses out of 17924 with flag 71621/624115
80.58/80.03	c cleaning 9481 clauses out of 18964 with flag 92089/634115
81.68/81.19	c cleaning 10241 clauses out of 20486 with flag 114495/645118
83.09/82.56	c cleaning 11120 clauses out of 22242 with flag 138892/657115
84.79/84.28	c cleaning 12057 clauses out of 24123 with flag 165771/670116
86.79/86.24	c cleaning 13032 clauses out of 26065 with flag 194349/684115
89.09/88.59	c cleaning 14015 clauses out of 28033 with flag 224724/699115
91.68/91.14	c cleaning 15007 clauses out of 30018 with flag 257200/715115
94.48/93.94	c cleaning 16006 clauses out of 32013 with flag 291674/732117
97.70/97.16	c cleaning 17002 clauses out of 34005 with flag 328306/750115
101.10/100.58	c cleaning 18000 clauses out of 36003 with flag 366971/769115
104.80/104.29	c cleaning 18998 clauses out of 38003 with flag 407553/789115
109.00/108.41	c cleaning 20002 clauses out of 40009 with flag 450381/810119
113.40/112.84	c cleaning 21000 clauses out of 42003 with flag 495064/832115
118.30/117.77	c cleaning 21999 clauses out of 44005 with flag 542406/855117
124.00/123.43	c cleaning 23000 clauses out of 46005 with flag 591737/879116
130.10/129.54	c cleaning 24002 clauses out of 48005 with flag 643000/904116
136.90/136.36	c cleaning 24999 clauses out of 50002 with flag 696198/930115
144.50/143.93	c cleaning 25999 clauses out of 52006 with flag 751504/957118
152.50/151.95	c cleaning 26998 clauses out of 54004 with flag 808820/985115
160.49/159.99	c cleaning 28000 clauses out of 56009 with flag 868412/1014118
169.49/168.99	c cleaning 29003 clauses out of 58007 with flag 929426/1044116
178.99/178.43	c cleaning 29999 clauses out of 60004 with flag 992792/1075116
189.09/188.51	c cleaning 30997 clauses out of 62006 with flag 1057769/1107117
199.80/199.22	c cleaning 32004 clauses out of 64008 with flag 1124850/1140116
211.30/210.78	c cleaning 33003 clauses out of 66006 with flag 1193968/1174118
222.80/222.25	c cleaning 33995 clauses out of 68001 with flag 1264363/1209116
235.50/234.99	c cleaning 35003 clauses out of 70007 with flag 1337264/1245117
250.81/250.29	c cleaning 36002 clauses out of 72004 with flag 1412386/1282117
266.41/265.87	c cleaning 36994 clauses out of 74001 with flag 1490536/1320116
281.61/281.00	c cleaning 37999 clauses out of 76006 with flag 1570042/1359115
297.62/297.01	c cleaning 38998 clauses out of 78007 with flag 1652681/1399115
315.52/314.96	c cleaning 40004 clauses out of 80009 with flag 1736626/1440115
334.22/333.65	c cleaning 40999 clauses out of 82005 with flag 1822314/1482115
351.33/350.75	c cleaning 42001 clauses out of 84010 with flag 1910156/1525119
368.86/368.21	c cleaning 43001 clauses out of 86008 with flag 2001108/1569118
387.06/386.43	c cleaning 43999 clauses out of 88005 with flag 2092715/1614116
407.57/406.94	c cleaning 45003 clauses out of 90007 with flag 2187331/1660117
428.67/428.06	c cleaning 45999 clauses out of 92002 with flag 2284161/1707115
451.67/451.10	c cleaning 47000 clauses out of 94004 with flag 2384324/1755116
474.06/473.45	c cleaning 47998 clauses out of 96007 with flag 2488091/1804119
498.77/498.13	c cleaning 48999 clauses out of 98006 with flag 2591114/1854116
526.77/526.17	c cleaning 50002 clauses out of 100007 with flag 2696000/1905116
551.98/551.31	c cleaning 51000 clauses out of 102006 with flag 2801773/1957117
580.18/579.57	c cleaning 52000 clauses out of 104006 with flag 2910437/2010117
611.58/610.91	c cleaning 52998 clauses out of 106005 with flag 3021716/2064116
646.99/646.31	c cleaning 54001 clauses out of 108011 with flag 3135142/2119120
681.40/680.75	c cleaning 55000 clauses out of 110008 with flag 3250582/2175118
717.80/717.11	c cleaning 56000 clauses out of 112006 with flag 3367610/2232116
753.82/753.12	c cleaning 57001 clauses out of 114011 with flag 3487111/2290121
791.66/790.95	c cleaning 58001 clauses out of 116008 with flag 3608172/2349119
833.17/832.42	c cleaning 59000 clauses out of 118004 with flag 3731669/2409116
871.18/870.46	c cleaning 60003 clauses out of 120008 with flag 3857758/2470120
913.19/912.46	c cleaning 60996 clauses out of 122000 with flag 3985775/2532115
954.51/953.73	c cleaning 62003 clauses out of 124007 with flag 4116012/2595118
1000.50/999.75	c cleaning 62997 clauses out of 126001 with flag 4248747/2659115
1052.31/1051.59	c cleaning 63999 clauses out of 128006 with flag 4382969/2724117
1101.93/1101.11	c cleaning 65001 clauses out of 130006 with flag 4519333/2790116
1158.22/1157.40	c cleaning 66001 clauses out of 132012 with flag 4656889/2857123
1213.14/1212.37	c cleaning 67001 clauses out of 134005 with flag 4797149/2925117
1273.65/1272.86	c cleaning 67996 clauses out of 136006 with flag 4939980/2994119
1340.56/1339.76	c cleaning 68999 clauses out of 138009 with flag 5084913/3064118
1391.23/1390.39	c cleaning 70000 clauses out of 140007 with flag 5233630/3135115
1441.95/1441.05	c cleaning 71004 clauses out of 142008 with flag 5381410/3207116
1508.67/1507.74	c cleaning 71990 clauses out of 144003 with flag 5530935/3280115
1569.69/1568.75	c cleaning 73004 clauses out of 146014 with flag 5684349/3354116
1633.19/1632.26	c cleaning 74000 clauses out of 148009 with flag 5839869/3429115
1702.39/1701.47	c cleaning 75006 clauses out of 150013 with flag 5996482/3505119
1773.51/1772.59	c cleaning 76001 clauses out of 152006 with flag 6156053/3582118
1800.02/1799.00	c starts		: 773
1800.02/1799.00	c conflicts		: 3621531
1800.02/1799.00	c decisions		: 3678604
1800.02/1799.00	c propagations		: 28775575
1800.02/1799.00	c inspects		: 39633406998
1800.02/1799.00	c shortcuts		: 0
1800.02/1799.00	c learnt literals	: 0
1800.02/1799.00	c learnt binary clauses	: 0
1800.02/1799.00	c learnt ternary clauses	: 0
1800.02/1799.00	c learnt constraints	: 3621531
1800.02/1799.00	c ignored constraints	: 0
1800.02/1799.00	c root simplifications	: 0
1800.02/1799.00	c removed literals (reason simplification)	: 0
1800.02/1799.00	c reason swapping (by a shorter reason)	: 0
1800.02/1799.00	c Calls to reduceDB	: 125
1800.02/1799.00	c Number of update (reduction) of LBD	: 121682
1800.02/1799.00	c Imported unit clauses	: 0
1800.02/1799.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1799.00	c number of learned constraints concerned by reduction	: 0
1800.02/1799.00	c number of learning phase by resolution	: 0
1800.02/1799.00	c number of learning phase by cutting planes	: 0
1800.02/1799.00	c speed (assignments/second)	: 15996.588389182687
1800.02/1799.00	c non guided choices	565
1800.02/1799.03	c learnt constraints type 
1800.02/1799.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 115418
1800.02/1799.03	s SATISFIABLE
1800.02/1799.03	c Found 32 solution(s)
1800.02/1799.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 x84 x85 -x86 x87 -x88 -x89 -x90 x91 -x92 x93 -x94 x95 x96 x97 -x98 x99 x100 x101 -x102 -x103 x104 -x105 -x106 x107 -x108 -x109 x110 -x111 x112 -x113 -x114 -x115 x116 x117 -x118 x119 -x120 
1800.02/1799.03	c objective function=5
1800.02/1799.03	c Total wall clock time (in seconds): 1798.916

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085454-1465243434/watcher-4085454-1465243434 -o /tmp/evaluation-result-4085454-1465243434/solver-4085454-1465243434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465241631-17481 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085454-1465243434.opb 

pid=19741
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.18 2/194 19744
/proc/meminfo: memFree=31428868/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/19744/stat : 19744 (java) R 19741 19744 12316 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 106276634 5767168 55 33554432000 1073741824 1073778376 140735569821216 140735569818344 262953594151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2303 59 47 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.00 2.00 2.18 2/194 19744
/proc/meminfo: memFree=31428868/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 4376 0 1 0 8 1 0 0 20 0 18 0 106276634 9787879424 6011 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2389619 6011 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.00 2.00 2.18 2/194 19744
/proc/meminfo: memFree=31428868/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 6707 0 1 0 29 1 0 0 20 0 19 0 106276634 9856040960 7692 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 7699 2227 9 0 2396937 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9625040

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.18 2/194 19744
/proc/meminfo: memFree=31428868/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 7242 0 1 0 51 1 0 0 20 0 19 0 106276634 9856040960 8482 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 8482 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700165 s]
/proc/loadavg: 2.00 2.00 2.18 2/194 19744
/proc/meminfo: memFree=31428868/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 8408 0 1 0 102 1 0 0 20 0 19 0 106276634 9856040960 9741 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 9741 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.00 2.00 2.18 4/213 19763
/proc/meminfo: memFree=31399104/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=1.86 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 8411 0 1 0 185 1 0 0 20 0 19 0 106276634 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 10254 2249 9 0 2396937 0
[pid=19744/tid=19746] ppid=19741 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 12316 0 -1 4202560 2420 0 1 0 145 1 0 0 20 0 19 0 106276635 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922432921904 139922267075321 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922394422312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922393369512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922392316712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922391263912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922390211112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922389158312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922388105512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922387052712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922257173480 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 1281 0 0 0 18 0 0 0 20 0 19 0 106276640 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276641 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 10254 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 2.18 3/213 19763
/proc/meminfo: memFree=31394008/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=3.5 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 8415 0 1 0 349 1 0 0 20 0 19 0 106276634 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 11280 2250 9 0 2396937 0
[pid=19744/tid=19746] ppid=19741 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 12316 0 -1 4202560 2422 0 1 0 305 1 0 0 20 0 19 0 106276635 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922432921904 139922267140847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922394422312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922393369512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922392316712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922391263912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922390211112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922389158312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922388105512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922387052712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922257173480 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 1283 0 0 0 21 0 0 0 20 0 19 0 106276640 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276641 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 11280 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.18 3/213 19829
/proc/meminfo: memFree=31643852/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=6.73 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 8428 0 1 0 671 2 0 0 20 0 19 0 106276634 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 12825 2258 9 0 2396937 0
[pid=19744/tid=19746] ppid=19741 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 12316 0 -1 4202560 2432 0 1 0 625 2 0 0 20 0 19 0 106276635 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922432921296 139922267140810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922394422312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922393369512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276636 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922392316712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922391263912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922390211112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922389158312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922388105512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922387052712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922257173480 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 1283 0 0 0 24 0 0 0 20 0 19 0 106276640 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106276641 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 12825 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 9625040


################
# More data... #
################

[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 5475 0 0 0 38 2 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 96 0 0 0 31 30 0 0 20 0 19 0 106276641 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1663.29
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/213 19872
/proc/meminfo: memFree=31273464/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=1723.3 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 13354 0 1 0 172296 34 0 0 20 0 19 0 106276634 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 54528 2272 9 0 2396937 0
[pid=19744/tid=19746] ppid=19741 vsize=9625040 CPUtime=1722.26 cores=0,2,4,6
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 12316 0 -1 4202560 2493 0 1 0 172196 30 0 0 20 0 19 0 106276635 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922432921296 139922267140847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 12316 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922394422312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922393369512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 12316 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922392316712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 12316 0 -1 4202560 129 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922391263912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 12316 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922390211112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 12316 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922389158312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 12316 0 -1 4202560 151 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922388105512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 12316 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922387052712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922257173480 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 5475 0 0 0 38 2 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 100 0 0 0 33 31 0 0 20 0 19 0 106276641 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1723.3
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/213 19873
/proc/meminfo: memFree=31273348/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=1783.32 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 13358 0 1 0 178297 35 0 0 20 0 19 0 106276634 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 54528 2272 9 0 2396937 0
[pid=19744/tid=19746] ppid=19741 vsize=9625040 CPUtime=1782.27 cores=0,2,4,6
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 12316 0 -1 4202560 2493 0 1 0 178196 31 0 0 20 0 19 0 106276635 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922432921296 139922267140847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 12316 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922394422312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922393369512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 12316 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922392316712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 12316 0 -1 4202560 129 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922391263912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 12316 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922390211112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 12316 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922389158312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 12316 0 -1 4202560 151 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922388105512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 12316 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922387052712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922257173480 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 5475 0 0 0 38 2 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 104 0 0 0 35 32 0 0 20 0 19 0 106276641 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.32
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799 s]
/proc/loadavg: 2.08 2.03 2.04 3/213 19873
/proc/meminfo: memFree=31273476/32872528 swapFree=11320/319964
[pid=19744] ppid=19741 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 12316 0 -1 4202496 13358 0 1 0 179967 35 0 0 20 0 19 0 106276634 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 140735569812352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19744/statm: 2406260 54528 2272 9 0 2396937 0
[pid=19744/tid=19746] ppid=19741 vsize=9625040 CPUtime=1798.97 cores=0,2,4,6
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 12316 0 -1 4202560 2493 0 1 0 179866 31 0 0 20 0 19 0 106276635 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922432921296 139922267140847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 12316 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922394422312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922393369512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 12316 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 106276636 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922392316712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 12316 0 -1 4202560 129 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922391263912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 12316 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922390211112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 12316 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922389158312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 12316 0 -1 4202560 151 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922388105512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 12316 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 106276637 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922387052712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922257173480 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922256119544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106276638 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922255066632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922254015120 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 12316 0 -1 4202560 5475 0 0 0 38 2 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922252962232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 12316 0 -1 4202560 3440 0 0 0 19 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139922251909432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106276640 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921377454456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 12316 0 -1 4202560 104 0 0 0 35 32 0 0 20 0 19 0 106276641 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921376401864 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19744/task/19763/stat : 19763 (java) S 19741 19744 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106276649 9856040960 54528 33554432000 1073741824 1073778376 140735569821216 139921375348392 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1799.04
CPU time (s): 1800.69
CPU user time (s): 1799.89
CPU system time (s): 0.801878
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.801878
maximum resident set size= 218280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13406
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38096
involuntary context switches= 2589

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3421 second user time and 11.7632 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 22:03:54
IDJOB=4085454
IDBENCH=2899
IDSOLVER=2546
FILE ID=node128/4085454-1465243434
RUNJOBID= node128-1465241631-17481
PBS_JOBID= 19843236
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085454-1465243434/watcher-4085454-1465243434 -o /tmp/evaluation-result-4085454-1465243434/solver-4085454-1465243434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465241631-17481 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085454-1465243434.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c
RANDOM SEED=1058120421

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31430388 kB
Buffers:           38976 kB
Cached:            99172 kB
SwapCached:         1656 kB
Active:           345824 kB
Inactive:          75568 kB
Active(anon):     285336 kB
Inactive(anon):      528 kB
Active(file):      60488 kB
Inactive(file):    75040 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098468 kB
Dirty:               908 kB
Writeback:             0 kB
AnonPages:        603004 kB
Mapped:            15292 kB
Shmem:                 0 kB
Slab:             569360 kB
SReclaimable:      12596 kB
SUnreclaim:       556764 kB
KernelStack:        1568 kB
PageTables:         5644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1058784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node128 at 2016-06-06 22:33:53