Trace number 4118530

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 Res+CP PB16SAT (TO)-32 1800.08 901.395

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb
MD5SUM5cb211b3bc341dd745e6cb19ab700d55
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark0.009997
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables186
Total number of constraints240
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 166
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 178
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 178
Number of bits of the biggest sum of numbers8
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.05/0.33	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.05/0.33	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.33	c See www.sat4j.org for details.
0.05/0.34	c version PB16.v20160501
0.05/0.34	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.34	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.34	c java.vm.version	19.1-b02
0.05/0.34	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.34	c sun.arch.data.model	64
0.05/0.34	c java.version		1.6.0_24
0.05/0.34	c os.name		Linux
0.05/0.34	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.34	c os.arch		amd64
0.05/0.34	c Free memory 		501472288
0.05/0.34	c Max memory 		7480803328
0.05/0.34	c Total memory 		504102912
0.05/0.34	c Number of processors 	8
0.05/0.37	c Pseudo Boolean Optimization by upper bound
0.05/0.37	c ManyCore solver with 2 solvers running in parallel
0.05/0.37	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.05/0.37	c --- Begin Solver configuration ---
0.05/0.37	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.05/0.37	c Learn all clauses as in MiniSAT
0.05/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.37	c Expensive reason simplification
0.05/0.37	c Glucose 2.1 dynamic restart strategy
0.05/0.37	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.05/0.37	c timeout=2147483s
0.05/0.37	c DB Simplification allowed=false
0.05/0.37	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.05/0.37	c --- End Solver configuration ---
0.05/0.37	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.05/0.37	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.05/0.37	c --- Begin Solver configuration ---
0.05/0.37	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.05/0.37	c Learn all clauses as in MiniSAT
0.05/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.05/0.37	c No reason simplification
0.05/0.37	c Armin Biere (Picosat) restarts strategy
0.05/0.37	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.05/0.37	c timeout=2147483s
0.05/0.37	c DB Simplification allowed=false
0.05/0.37	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.05/0.37	c --- End Solver configuration ---
0.05/0.37	c solving HOME/instance-4118530-1467233815.opb
0.05/0.37	c reading problem ... 
0.05/0.38	c  objective function found
0.17/0.43	c ... done. Wall clock time 0.058s.
0.17/0.43	c declared #vars     186
0.17/0.43	c #constraints  240
0.17/0.45	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.17/0.45	c constraints type 
0.17/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.17/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 120
0.17/0.45	c 240 constraints processed.
0.17/0.45	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.17/0.45	c constraints type 
0.17/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 120
0.17/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 120
0.17/0.45	c 240 constraints processed.
0.17/0.45	c objective function length is 166 literals
0.17/0.46	c And the winner is solver0
0.22/0.95	c SATISFIABLE
0.22/0.95	c OPTIMIZING...
0.22/0.95	c Got one! Elapsed wall clock time (in seconds):0.575
0.22/0.95	o -21
0.22/0.97	c And the winner is solver0
0.27/1.45	c Got one! Elapsed wall clock time (in seconds):1.08
0.27/1.45	o -22
0.80/1.63	c And the winner is solver1
1.27/1.96	c Got one! Elapsed wall clock time (in seconds):1.583
1.27/1.96	o -23
1.38/2.09	c And the winner is solver1
1.86/2.46	c Got one! Elapsed wall clock time (in seconds):2.085
1.86/2.46	o -24
1.95/2.52	c And the winner is solver1
2.04/2.96	c Got one! Elapsed wall clock time (in seconds):2.587
2.04/2.96	o -25
2.12/3.07	c cleaning 3523 clauses out of 7046 with flag 4208/7046
2.97/3.33	c cleaning 4761 clauses out of 9522 with flag 16899/13045
3.18/3.41	c And the winner is solver1
3.18/3.46	c Got one! Elapsed wall clock time (in seconds):3.089
3.18/3.46	o -26
3.27/3.58	c cleaning 5077 clauses out of 10159 with flag 6385/18443
3.49/3.67	c And the winner is solver1
3.68/3.97	c Got one! Elapsed wall clock time (in seconds):3.591
3.68/3.97	o -27
3.74/4.09	c cleaning 5169 clauses out of 10342 with flag 6432/23703
4.49/4.34	c cleaning 5587 clauses out of 11173 with flag 19343/29703
4.49/4.37	c And the winner is solver1
4.66/4.47	c Got one! Elapsed wall clock time (in seconds):4.093
4.66/4.47	o -28
4.92/4.63	c cleaning 5415 clauses out of 10832 with flag 8913/34949
5.19/4.73	c And the winner is solver1
5.28/4.97	c Got one! Elapsed wall clock time (in seconds):4.595
5.28/4.97	o -29
5.33/5.10	c cleaning 5326 clauses out of 10651 with flag 6554/40183
5.93/5.33	c cleaning 5660 clauses out of 11326 with flag 19406/46184
6.62/5.66	c cleaning 6331 clauses out of 12665 with flag 34511/53183
7.20/5.97	c cleaning 7165 clauses out of 14334 with flag 51690/61183
8.05/6.36	c cleaning 8085 clauses out of 16169 with flag 70948/70183
8.98/6.79	c cleaning 9043 clauses out of 18087 with flag 92654/80186
10.35/7.33	c cleaning 10021 clauses out of 20042 with flag 116056/91184
11.65/7.95	c cleaning 11009 clauses out of 22022 with flag 141454/103185
13.07/8.68	c cleaning 12000 clauses out of 24011 with flag 169478/116183
14.94/9.53	c cleaning 13002 clauses out of 26012 with flag 199396/130184
16.98/10.50	c cleaning 14001 clauses out of 28010 with flag 231500/145184
19.45/11.71	c cleaning 15005 clauses out of 30010 with flag 264775/161185
20.26/12.17	c And the winner is solver1
20.37/12.52	c Got one! Elapsed wall clock time (in seconds):12.142
20.37/12.52	o -30
20.93/12.82	c cleaning 13714 clauses out of 27438 with flag 10764/173618
21.53/13.13	c cleaning 9857 clauses out of 19724 with flag 24206/179618
22.13/13.48	c cleaning 8431 clauses out of 16867 with flag 39269/186618
22.93/13.85	c cleaning 8219 clauses out of 16437 with flag 56265/194619
23.73/14.28	c cleaning 8607 clauses out of 17217 with flag 75729/203618
25.01/14.82	c cleaning 9302 clauses out of 18610 with flag 97130/213618
26.23/15.41	c cleaning 10150 clauses out of 20308 with flag 121277/224618
27.41/16.08	c cleaning 11077 clauses out of 22158 with flag 147677/236618
29.01/16.85	c cleaning 12041 clauses out of 24081 with flag 176553/249618
30.63/17.67	c cleaning 13020 clauses out of 26041 with flag 207122/263619
32.62/18.69	c cleaning 14007 clauses out of 28020 with flag 240037/278618
35.10/19.82	c cleaning 15003 clauses out of 30014 with flag 274865/294619
37.30/20.93	c cleaning 16004 clauses out of 32010 with flag 311931/311618
39.71/22.17	c cleaning 17003 clauses out of 34007 with flag 351445/329619
42.30/23.40	c cleaning 17998 clauses out of 36004 with flag 392065/348619
45.18/24.81	c cleaning 18998 clauses out of 38005 with flag 434750/368618
48.79/26.67	c cleaning 20004 clauses out of 40008 with flag 479808/389619
52.19/28.31	c cleaning 21002 clauses out of 42004 with flag 527198/411619
56.18/30.32	c cleaning 21998 clauses out of 44001 with flag 576368/434618
61.38/32.93	c cleaning 23002 clauses out of 46003 with flag 627460/458618
66.66/35.55	c cleaning 23998 clauses out of 48001 with flag 680547/483618
72.26/38.32	c cleaning 25002 clauses out of 50003 with flag 735224/509618
78.06/41.21	c cleaning 25997 clauses out of 52002 with flag 790823/536619
83.97/44.11	c cleaning 27003 clauses out of 54005 with flag 850461/564619
89.36/46.82	c cleaning 27995 clauses out of 56002 with flag 912835/593619
95.76/50.02	c cleaning 29000 clauses out of 58007 with flag 976766/623619
101.76/53.02	c cleaning 30003 clauses out of 60006 with flag 1039708/654618
108.45/56.35	c cleaning 30999 clauses out of 62003 with flag 1104085/686618
116.25/60.25	c cleaning 32002 clauses out of 64004 with flag 1170462/719618
123.34/63.78	c cleaning 33000 clauses out of 66002 with flag 1238886/753618
131.39/67.70	c cleaning 0 clauses out of 6619 with flag 0/6619
131.39/67.74	c cleaning 33996 clauses out of 68003 with flag 1309382/788619
140.56/72.00	c cleaning 35004 clauses out of 70007 with flag 1382128/824619
149.24/76.37	c cleaning 36002 clauses out of 72003 with flag 1456962/861619
158.83/81.19	c cleaning 36997 clauses out of 74001 with flag 1535713/899619
169.70/86.51	c cleaning 37999 clauses out of 76003 with flag 1614970/938618
180.76/92.09	c cleaning 39000 clauses out of 78004 with flag 1695975/978618
192.16/97.75	c cleaning 39997 clauses out of 80005 with flag 1778619/1019619
204.62/103.99	c cleaning 41002 clauses out of 82007 with flag 1863828/1061618
218.07/110.68	c cleaning 42001 clauses out of 84006 with flag 1950663/1104619
230.08/116.68	c cleaning 42999 clauses out of 86005 with flag 2039480/1148619
245.13/124.18	c cleaning 43998 clauses out of 88006 with flag 2129878/1193619
260.60/131.89	c cleaning 45000 clauses out of 90008 with flag 2222655/1239619
277.30/140.20	c cleaning 46001 clauses out of 92008 with flag 2317134/1286619
294.18/148.57	c cleaning 47004 clauses out of 94007 with flag 2414023/1334619
314.89/159.16	c cleaning 47999 clauses out of 96003 with flag 2512667/1383619
335.07/169.11	c cleaning 49000 clauses out of 98004 with flag 2613119/1433619
347.55/175.34	c And the winner is solver1
347.55/175.72	c Got one! Elapsed wall clock time (in seconds):175.343
347.55/175.72	o -31
349.14/176.59	c cleaning 47483 clauses out of 94971 with flag 10661/1479586
350.55/177.21	c cleaning 26743 clauses out of 53488 with flag 23384/1485586
351.74/177.80	c cleaning 16870 clauses out of 33745 with flag 38222/1492586
352.75/178.38	c cleaning 12430 clauses out of 24875 with flag 55178/1500586
353.94/178.93	c cleaning 10716 clauses out of 21446 with flag 74449/1509587
355.20/179.53	c cleaning 10360 clauses out of 20731 with flag 96019/1519588
356.40/180.18	c cleaning 10683 clauses out of 21370 with flag 119721/1530587
357.80/180.87	c cleaning 11342 clauses out of 22687 with flag 145352/1542587
359.42/181.68	c cleaning 12172 clauses out of 24344 with flag 173335/1555586
361.42/182.61	c cleaning 13084 clauses out of 26172 with flag 203213/1569586
364.02/183.99	c cleaning 14043 clauses out of 28089 with flag 235187/1584587
366.42/185.11	c cleaning 15018 clauses out of 30046 with flag 269145/1600587
368.63/186.22	c cleaning 16011 clauses out of 32028 with flag 305229/1617587
371.23/187.54	c cleaning 17005 clauses out of 34016 with flag 343531/1635586
374.25/189.08	c cleaning 18004 clauses out of 36012 with flag 383794/1654587
378.05/190.94	c cleaning 19004 clauses out of 38008 with flag 426748/1674587
378.25/191.03	c And the winner is solver1
378.25/191.22	c Got one! Elapsed wall clock time (in seconds):190.847
378.25/191.22	o -32
378.61/191.47	c cleaning 12258 clauses out of 24528 with flag 8417/1680111
379.20/191.76	c cleaning 9135 clauses out of 18270 with flag 21192/1686111
380.00/192.10	c cleaning 8063 clauses out of 16136 with flag 36092/1693112
380.63/192.49	c cleaning 8029 clauses out of 16072 with flag 53047/1701111
381.63/192.98	c cleaning 8519 clauses out of 17043 with flag 72156/1710111
382.83/193.53	c cleaning 9260 clauses out of 18525 with flag 93514/1720112
384.23/194.22	c cleaning 10128 clauses out of 20264 with flag 116859/1731111
385.63/194.92	c cleaning 11065 clauses out of 22137 with flag 142358/1743112
387.03/195.62	c cleaning 12033 clauses out of 24072 with flag 170141/1756112
388.87/196.52	c cleaning 13017 clauses out of 26038 with flag 199985/1770111
390.86/197.50	c cleaning 14009 clauses out of 28021 with flag 232063/1785111
393.06/198.62	c cleaning 15003 clauses out of 30013 with flag 266241/1801112
395.26/199.77	c cleaning 16004 clauses out of 32010 with flag 302489/1818112
398.08/201.12	c cleaning 17003 clauses out of 34006 with flag 340924/1836112
400.90/202.55	c cleaning 17996 clauses out of 36002 with flag 382066/1855111
404.50/204.39	c cleaning 19002 clauses out of 38008 with flag 424848/1875113
408.30/206.28	c cleaning 20000 clauses out of 40004 with flag 469911/1896111
412.34/208.22	c cleaning 21000 clauses out of 42004 with flag 517213/1918111
416.35/210.25	c cleaning 21998 clauses out of 44004 with flag 566588/1941111
420.58/212.35	c cleaning 23001 clauses out of 46008 with flag 618234/1965113
424.81/214.40	c cleaning 23999 clauses out of 48005 with flag 672489/1990111
429.21/216.60	c cleaning 25001 clauses out of 50006 with flag 728417/2016111
433.42/218.79	c cleaning 25999 clauses out of 52006 with flag 787225/2043112
438.46/221.23	c cleaning 26997 clauses out of 54006 with flag 848667/2071111
443.68/223.89	c cleaning 28001 clauses out of 56010 with flag 912215/2100112
449.11/226.53	c cleaning 29002 clauses out of 58008 with flag 977783/2130111
454.55/229.24	c cleaning 30000 clauses out of 60006 with flag 1044528/2161111
461.17/232.53	c cleaning 31004 clauses out of 62007 with flag 1113160/2193112
468.62/236.27	c cleaning 32000 clauses out of 64004 with flag 1184730/2226113
477.43/240.61	c cleaning 32997 clauses out of 66003 with flag 1258244/2260112
486.92/245.31	c cleaning 34001 clauses out of 68007 with flag 1334376/2295113
494.73/249.22	c cleaning 35000 clauses out of 70004 with flag 1412571/2331111
503.55/253.68	c cleaning 36002 clauses out of 72004 with flag 1493290/2368111
513.84/258.74	c cleaning 36997 clauses out of 74003 with flag 1577238/2406112
524.06/263.88	c cleaning 38003 clauses out of 76005 with flag 1661010/2445111
535.10/269.37	c cleaning 39002 clauses out of 78004 with flag 1748680/2485113
546.55/275.07	c cleaning 39996 clauses out of 80000 with flag 1837271/2526111
556.18/279.85	c cleaning 41001 clauses out of 82004 with flag 1927828/2568111
567.02/285.20	c cleaning 42000 clauses out of 84003 with flag 2022486/2611111
578.28/290.85	c cleaning 43002 clauses out of 86004 with flag 2119628/2655112
587.94/295.67	c cleaning 0 clauses out of 12474 with flag 0/12474
590.17/296.76	c cleaning 43995 clauses out of 88002 with flag 2218772/2700112
602.46/302.81	c cleaning 45003 clauses out of 90006 with flag 2317625/2746111
615.52/309.36	c cleaning 46000 clauses out of 92005 with flag 2419849/2793113
630.18/316.63	c cleaning 46998 clauses out of 94004 with flag 2523146/2841112
645.23/324.11	c cleaning 48000 clauses out of 96005 with flag 2629932/2890111
662.42/333.08	c cleaning 49002 clauses out of 98006 with flag 2737619/2940112
677.50/340.52	c cleaning 49998 clauses out of 100004 with flag 2846770/2991112
695.60/349.59	c cleaning 50997 clauses out of 102006 with flag 2959209/3043112
713.05/358.21	c cleaning 52002 clauses out of 104008 with flag 3073596/3096111
733.17/368.28	c cleaning 53000 clauses out of 106007 with flag 3190151/3150112
753.88/378.55	c cleaning 54000 clauses out of 108007 with flag 3308815/3205112
774.79/388.99	c cleaning 55001 clauses out of 110006 with flag 3429922/3261111
797.28/400.11	c cleaning 56001 clauses out of 112006 with flag 3553334/3318112
820.80/411.85	c cleaning 57000 clauses out of 114005 with flag 3678781/3376112
844.90/423.82	c cleaning 58001 clauses out of 116004 with flag 3806264/3435111
866.22/434.87	c cleaning 58998 clauses out of 118004 with flag 3935360/3495112
891.28/447.33	c cleaning 60000 clauses out of 120006 with flag 4067674/3556112
916.18/459.79	c cleaning 61000 clauses out of 122005 with flag 4202799/3618111
941.85/472.59	c cleaning 61997 clauses out of 124005 with flag 4339584/3681111
967.18/485.11	c cleaning 63001 clauses out of 126008 with flag 4480467/3745111
998.47/500.74	c cleaning 64001 clauses out of 128007 with flag 4625699/3810111
1028.63/515.79	c cleaning 64998 clauses out of 130006 with flag 4772510/3876111
1063.38/533.06	c cleaning 66003 clauses out of 132008 with flag 4922074/3943111
1095.73/549.19	c cleaning 67003 clauses out of 134006 with flag 5071876/4011112
1125.85/564.13	c cleaning 68000 clauses out of 136002 with flag 5221229/4080111
1156.38/579.33	c cleaning 68996 clauses out of 138003 with flag 5374808/4150112
1191.13/597.11	c cleaning 70003 clauses out of 140008 with flag 5529292/4221113
1226.62/614.87	c cleaning 70996 clauses out of 142004 with flag 5683884/4293112
1258.69/630.81	c cleaning 72000 clauses out of 144007 with flag 5843130/4366111
1291.74/647.34	c cleaning 73000 clauses out of 146007 with flag 6004686/4440111
1324.65/663.79	c cleaning 73999 clauses out of 148007 with flag 6169350/4515111
1359.26/681.04	c cleaning 74999 clauses out of 150008 with flag 6336130/4591111
1393.32/698.03	c cleaning 76000 clauses out of 152011 with flag 6503279/4668113
1428.92/715.86	c cleaning 76998 clauses out of 154009 with flag 6671890/4746111
1459.92/731.38	c cleaning 78004 clauses out of 156011 with flag 6841793/4825111
1488.18/745.43	c cleaning 79005 clauses out of 158009 with flag 7014750/4905113
1517.97/760.38	c cleaning 79998 clauses out of 160002 with flag 7188396/4986111
1550.59/776.65	c cleaning 81000 clauses out of 162004 with flag 7365585/5068111
1585.98/794.31	c cleaning 81996 clauses out of 164005 with flag 7544635/5151112
1624.96/813.89	c cleaning 83002 clauses out of 166008 with flag 7725080/5235111
1656.56/829.66	c cleaning 84004 clauses out of 168008 with flag 7906001/5320113
1693.56/848.19	c cleaning 84998 clauses out of 170002 with flag 8082777/5406111
1730.15/866.42	c cleaning 85997 clauses out of 172004 with flag 8274099/5493111
1769.09/885.81	c cleaning 87001 clauses out of 174008 with flag 8460694/5581112
1800.08/901.30	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.08/901.30	c starts		: 92331
1800.08/901.30	c conflicts		: 5662352
1800.08/901.30	c decisions		: 9469171
1800.08/901.30	c propagations		: 83112686
1800.08/901.30	c inspects		: 16083172411
1800.08/901.30	c shortcuts		: 0
1800.08/901.30	c learnt literals	: 0
1800.08/901.30	c learnt binary clauses	: 0
1800.08/901.30	c learnt ternary clauses	: 0
1800.08/901.30	c learnt constraints	: 5662352
1800.08/901.30	c ignored constraints	: 0
1800.08/901.30	c root simplifications	: 0
1800.08/901.30	c removed literals (reason simplification)	: 3795168
1800.08/901.30	c reason swapping (by a shorter reason)	: 0
1800.08/901.30	c Calls to reduceDB	: 164
1800.08/901.30	c Number of update (reduction) of LBD	: 241932
1800.08/901.30	c Imported unit clauses	: 0
1800.08/901.30	c number of reductions to clauses (during analyze)	: 0
1800.08/901.30	c number of learned constraints concerned by reduction	: 0
1800.08/901.30	c number of learning phase by resolution	: 0
1800.08/901.30	c number of learning phase by cutting planes	: 0
1800.08/901.30	c speed (assignments/second)	: 117046.93273997295
1800.08/901.30	c non guided choices	0
1800.08/901.33	c learnt constraints type 
1800.08/901.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 168247
1800.08/901.33	c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<<
1800.08/901.33	c starts		: 56
1800.08/901.33	c conflicts		: 17143
1800.08/901.33	c decisions		: 45308
1800.08/901.33	c propagations		: 354408
1800.08/901.33	c inspects		: 600374814
1800.08/901.33	c shortcuts		: 0
1800.08/901.33	c learnt literals	: 0
1800.08/901.33	c learnt binary clauses	: 0
1800.08/901.33	c learnt ternary clauses	: 0
1800.08/901.33	c learnt constraints	: 17142
1800.08/901.33	c ignored constraints	: 0
1800.08/901.33	c root simplifications	: 0
1800.08/901.33	c removed literals (reason simplification)	: 0
1800.08/901.33	c reason swapping (by a shorter reason)	: 0
1800.08/901.33	c Calls to reduceDB	: 2
1800.08/901.33	c Number of update (reduction) of LBD	: 0
1800.08/901.33	c Imported unit clauses	: 0
1800.08/901.33	c number of reductions to clauses (during analyze)	: 0
1800.08/901.33	c number of learned constraints concerned by reduction	: 0
1800.08/901.33	c number of learning phase by resolution	: 0
1800.08/901.33	c number of learning phase by cutting planes	: 0
1800.08/901.33	c speed (assignments/second)	: 393.8422421830636
1800.08/901.33	c non guided choices	2
1800.08/901.34	c learnt constraints type 
1800.08/901.34	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.08/901.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17135
1800.08/901.34	s SATISFIABLE
1800.08/901.34	c Found 12 solution(s)
1800.08/901.34	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 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
1800.08/901.34	c objective function=-32
1800.08/901.34	c Total wall clock time (in seconds): 900.964

Verifier Data 

OK	-32

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-4118530-1467233815/watcher-4118530-1467233815 -o /tmp/evaluation-result-4118530-1467233815/solver-4118530-1467233815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9715 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118530-1467233815.opb 

pid=9732
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: 1.31 1.31 1.62 2/170 9735
/proc/meminfo: memFree=28735884/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/9735/stat : 9735 (java) D 9732 9735 6338 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 4336376 278528 32 33554432000 1073741824 1073778376 140734462722848 140734462720024 229346733351 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/9735/statm: 68 32 25 9 0 25 0

[startup+0.10007 s]
/proc/loadavg: 1.31 1.31 1.62 2/170 9735
/proc/meminfo: memFree=28735884/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/9735/stat : 9735 (java) D 9732 9735 6338 0 -1 4202496 1143 0 19 0 0 0 0 0 20 0 1 0 4336376 23793664 811 33554432000 1073741824 1073778376 140734868589328 140734868579320 140057490258400 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 7 0 0
/proc/9735/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200348 s]
/proc/loadavg: 1.31 1.31 1.62 2/170 9735
/proc/meminfo: memFree=28735884/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 3080 0 27 0 2 1 0 0 20 0 13 0 4336376 9446973440 3725 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2306390 3725 1697 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.300218 s]
/proc/loadavg: 1.31 1.31 1.62 2/170 9735
/proc/meminfo: memFree=28735884/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 3274 0 27 0 4 1 0 0 20 0 18 0 4336376 9787879424 4430 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2389619 4430 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558476

[startup+0.700151 s]
/proc/loadavg: 1.31 1.31 1.62 2/170 9735
/proc/meminfo: memFree=28735884/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 4698 0 27 0 20 2 0 0 20 0 19 0 4336376 10060525568 7854 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2456183 7854 2198 9 0 2446860 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 1.31 1.31 1.62 1/213 9791
/proc/meminfo: memFree=28628276/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 6329 0 27 0 37 4 0 0 20 0 22 0 4336376 10060525568 10977 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2456183 10977 2226 9 0 2446860 0
[pid=9735/tid=9748] ppid=9732 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/9735/task/9748/stat : 9748 (java) S 9732 9735 6338 0 -1 4202560 2413 0 5 0 15 2 0 0 20 0 22 0 4336386 10060525568 10977 33554432000 1073741824 1073778376 140734868589328 140057485505400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 15 0 0
[pid=9735/tid=9750] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9750/stat : 9750 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10978 33554432000 1073741824 1073778376 140734868589328 140057329219752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9753] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9753/stat : 9753 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10978 33554432000 1073741824 1073778376 140734868589328 140057328167208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9755] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9755/stat : 9755 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10979 33554432000 1073741824 1073778376 140734868589328 140057327114664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9757] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9757/stat : 9757 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10980 33554432000 1073741824 1073778376 140734868589328 140057326062120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9760] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9760/stat : 9760 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10980 33554432000 1073741824 1073778376 140734868589328 140057325009576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9762] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9762/stat : 9762 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10981 33554432000 1073741824 1073778376 140734868589328 140057323957032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9763] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9763/stat : 9763 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10981 33554432000 1073741824 1073778376 140734868589328 140057322904488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9764] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9764/stat : 9764 (java) S 9732 9735 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 10984 33554432000 1073741824 1073778376 140734868589328 140057321851944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9765] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9765/stat : 9765 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336392 10060525568 10984 33554432000 1073741824 1073778376 140734868589328 140057309653096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9767] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9767/stat : 9767 (java) S 9732 9735 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 10985 33554432000 1073741824 1073778376 140734868589328 140057308599416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9769] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9769/stat : 9769 (java) S 9732 9735 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057307546760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9773] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9773/stat : 9773 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057306495504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9775] ppid=9732 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9735/task/9775/stat : 9775 (java) R 9732 9735 6338 0 -1 4202560 674 0 0 0 4 0 0 0 20 0 22 0 4336399 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057305429960 140057489592290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9777] ppid=9732 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9735/task/9777/stat : 9777 (java) R 9732 9735 6338 0 -1 4202560 1924 0 0 0 5 0 0 0 20 0 22 0 4336399 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057304367480 140057489619108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9779] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9779/stat : 9779 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057303337976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9780] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9780/stat : 9780 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057302285640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9784] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9784/stat : 9784 (java) S 9732 9735 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4336421 10060525568 10988 33554432000 1073741824 1073778376 140734868589328 140057298072744 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 1.31 1.31 1.62 1/213 9803
/proc/meminfo: memFree=28564880/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 14841 0 27 0 222 12 0 0 20 0 22 0 4336376 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2456183 33885 2270 9 0 2446860 0
[pid=9735/tid=9748] ppid=9732 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/9735/task/9748/stat : 9748 (java) S 9732 9735 6338 0 -1 4202560 2413 0 5 0 16 2 0 0 20 0 22 0 4336386 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057485505400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 15 0 0
[pid=9735/tid=9750] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9750/stat : 9750 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057329219752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9753] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9753/stat : 9753 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057328167208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9755] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9755/stat : 9755 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057327114664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9757] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9757/stat : 9757 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057326062120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9760] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9760/stat : 9760 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057325009576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9762] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9762/stat : 9762 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057323957032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9763] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9763/stat : 9763 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057322904488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9764] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9764/stat : 9764 (java) S 9732 9735 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4336389 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057321851944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9765] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9765/stat : 9765 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336392 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057309653096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9767] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9767/stat : 9767 (java) S 9732 9735 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057308599416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9769] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9769/stat : 9769 (java) S 9732 9735 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057307546760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9773] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9773/stat : 9773 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057306495504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9775] ppid=9732 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/9735/task/9775/stat : 9775 (java) R 9732 9735 6338 0 -1 4202560 5536 0 0 0 50 0 0 0 20 0 22 0 4336399 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057305442872 229359268924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9777] ppid=9732 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/9735/task/9777/stat : 9777 (java) S 9732 9735 6338 0 -1 4202560 5500 0 0 0 62 2 0 0 20 0 22 0 4336399 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057304390328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9779] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9779/stat : 9779 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057303337976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9780] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9780/stat : 9780 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057302285640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9797] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9797/stat : 9797 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336522 10060525568 33885 33554432000 1073741824 1073778376 140734868589328 140057300177832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=26 pid=1817 uid=0 cmd=

[startup+6.30098 s]
/proc/loadavg: 1.29 1.30 1.62 3/216 9842
/proc/meminfo: memFree=28264708/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9824732 CPUtime=8.05 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 15676 0 27 0 771 34 0 0 20 0 22 0 4336376 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2456183 94658 2286 9 0 2446860 0
[pid=9735/tid=9748] ppid=9732 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/9735/task/9748/stat : 9748 (java) S 9732 9735 6338 0 -1 4202560 2413 0 5 0 16 2 0 0 20 0 22 0 4336386 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057485505400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 15 0 0
[pid=9735/tid=9750] ppid=9732 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/9735/task/9750/stat : 9750 (java) S 9732 9735 6338 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057329219752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9753] ppid=9732 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9735/task/9753/stat : 9753 (java) S 9732 9735 6338 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057328167208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9755] ppid=9732 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9735/task/9755/stat : 9755 (java) S 9732 9735 6338 0 -1 4202560 80 0 0 0 4 0 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057327114664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9757] ppid=9732 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9735/task/9757/stat : 9757 (java) S 9732 9735 6338 0 -1 4202560 88 0 0 0 3 2 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057326062120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9760] ppid=9732 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9735/task/9760/stat : 9760 (java) S 9732 9735 6338 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057325009576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9762] ppid=9732 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9735/task/9762/stat : 9762 (java) S 9732 9735 6338 0 -1 4202560 118 0 0 0 4 3 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057323957032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9763] ppid=9732 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9735/task/9763/stat : 9763 (java) S 9732 9735 6338 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057322904488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9764] ppid=9732 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9735/task/9764/stat : 9764 (java) S 9732 9735 6338 0 -1 4202560 78 0 0 0 2 1 0 0 20 0 22 0 4336389 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057321851944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9765] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9765/stat : 9765 (java) S 9732 9735 6338 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 22 0 4336392 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057309653096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9767] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9767/stat : 9767 (java) S 9732 9735 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057308599416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9769] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9769/stat : 9769 (java) S 9732 9735 6338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057307546760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9773] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9773/stat : 9773 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057306495504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9775] ppid=9732 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/9735/task/9775/stat : 9775 (java) S 9732 9735 6338 0 -1 4202560 5567 0 0 0 73 0 0 0 20 0 22 0 4336399 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057305442872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9777] ppid=9732 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/9735/task/9777/stat : 9777 (java) S 9732 9735 6338 0 -1 4202560 5501 0 0 0 79 2 0 0 20 0 22 0 4336399 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057304390328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9779] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9779/stat : 9779 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057303337976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9780] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9780/stat : 9780 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057302285640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9797] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9797/stat : 9797 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336522 10060525568 94658 33554432000 1073741824 1073778376 140734868589328 140057300177832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9837] ppid=9732 vsize=9824732 CPUtime=1.24 cores=0,2,4,6

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

[pid=9735/tid=9764] ppid=9732 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/9735/task/9764/stat : 9764 (java) S 9732 9735 6338 0 -1 4202560 442 0 0 0 167 13 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057321851944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9765] ppid=9732 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/9735/task/9765/stat : 9765 (java) S 9732 9735 6338 0 -1 4202560 1680 0 0 0 297 11 0 0 20 0 22 0 4336392 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057309653096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9767] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9767/stat : 9767 (java) S 9732 9735 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057308599416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9769] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9769/stat : 9769 (java) S 9732 9735 6338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057307546760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9773] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9773/stat : 9773 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057306495504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9775] ppid=9732 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/9735/task/9775/stat : 9775 (java) S 9732 9735 6338 0 -1 4202560 5575 0 0 0 89 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057305442872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9777] ppid=9732 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/9735/task/9777/stat : 9777 (java) S 9732 9735 6338 0 -1 4202560 9356 0 0 0 196 2 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057304390328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9779] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9779/stat : 9779 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057303337976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9780] ppid=9732 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9735/task/9780/stat : 9780 (java) S 9732 9735 6338 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057302285640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9797] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9797/stat : 9797 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336522 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057300177832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9984] ppid=9732 vsize=9824732 CPUtime=684.01 cores=0,2,4,6
/proc/9735/task/9984/stat : 9984 (java) R 9732 9735 6338 0 -1 4202560 49 0 0 0 68391 10 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057299124048 140057357247135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9985] ppid=9732 vsize=9824732 CPUtime=683.98 cores=0,2,4,6
/proc/9735/task/9985/stat : 9985 (java) R 9732 9735 6338 0 -1 4202560 56 0 0 0 68388 10 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057298070192 140057357338190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9986] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9986/stat : 9986 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057301231272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1761.36
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.301 s]
/proc/loadavg: 4.17 4.08 3.23 6/219 10189
/proc/meminfo: memFree=21943628/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9824732 CPUtime=1799.34 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 25397 0 27 0 179759 175 0 0 20 0 22 0 4336376 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2456183 585376 2295 9 0 2446860 0
[pid=9735/tid=9748] ppid=9732 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/9735/task/9748/stat : 9748 (java) S 9732 9735 6338 0 -1 4202560 2424 0 5 0 20 2 0 0 20 0 22 0 4336386 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057485505400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 15 0 0
[pid=9735/tid=9750] ppid=9732 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/9735/task/9750/stat : 9750 (java) S 9732 9735 6338 0 -1 4202560 405 0 0 0 171 9 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057329219752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9753] ppid=9732 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/9735/task/9753/stat : 9753 (java) S 9732 9735 6338 0 -1 4202560 418 0 0 0 165 13 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057328167208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9755] ppid=9732 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/9735/task/9755/stat : 9755 (java) S 9732 9735 6338 0 -1 4202560 400 0 0 0 147 10 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057327114664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9757] ppid=9732 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/9735/task/9757/stat : 9757 (java) S 9732 9735 6338 0 -1 4202560 435 0 0 0 160 8 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057326062120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9760] ppid=9732 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/9735/task/9760/stat : 9760 (java) S 9732 9735 6338 0 -1 4202560 389 0 0 0 155 11 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057325009576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9762] ppid=9732 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/9735/task/9762/stat : 9762 (java) S 9732 9735 6338 0 -1 4202560 465 0 0 0 164 11 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057323957032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9763] ppid=9732 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/9735/task/9763/stat : 9763 (java) S 9732 9735 6338 0 -1 4202560 357 0 0 0 166 10 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057322904488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9764] ppid=9732 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/9735/task/9764/stat : 9764 (java) S 9732 9735 6338 0 -1 4202560 442 0 0 0 167 13 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057321851944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9765] ppid=9732 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/9735/task/9765/stat : 9765 (java) S 9732 9735 6338 0 -1 4202560 1680 0 0 0 297 11 0 0 20 0 22 0 4336392 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057309653096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9767] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9767/stat : 9767 (java) S 9732 9735 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057308599416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9769] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9769/stat : 9769 (java) S 9732 9735 6338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057307546760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9773] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9773/stat : 9773 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057306495504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9775] ppid=9732 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/9735/task/9775/stat : 9775 (java) S 9732 9735 6338 0 -1 4202560 5575 0 0 0 89 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057305442872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9777] ppid=9732 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/9735/task/9777/stat : 9777 (java) S 9732 9735 6338 0 -1 4202560 9356 0 0 0 196 2 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057304390328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9779] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9779/stat : 9779 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057303337976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9780] ppid=9732 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/9735/task/9780/stat : 9780 (java) S 9732 9735 6338 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057302285640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9797] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9797/stat : 9797 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336522 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057300177832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9984] ppid=9732 vsize=9824732 CPUtime=702.95 cores=0,2,4,6
/proc/9735/task/9984/stat : 9984 (java) R 9732 9735 6338 0 -1 4202560 49 0 0 0 70285 10 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057299116368 140057357363308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9985] ppid=9732 vsize=9824732 CPUtime=702.92 cores=0,2,4,6
/proc/9735/task/9985/stat : 9985 (java) R 9732 9735 6338 0 -1 4202560 56 0 0 0 70282 10 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057298070192 140057357338128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9986] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9986/stat : 9986 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057301231272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 9824732

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 9735 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+901.301 s]
/proc/loadavg: 4.17 4.08 3.23 6/219 10189
/proc/meminfo: memFree=21943628/32872528 swapFree=1370068/1517236
[pid=9735] ppid=9732 vsize=9824732 CPUtime=1799.34 cores=0,2,4,6
/proc/9735/stat : 9735 (java) S 9732 9735 6338 0 -1 4202496 25397 0 27 0 179759 175 0 0 20 0 22 0 4336376 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140734868580464 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/9735/statm: 2456183 585376 2295 9 0 2446860 0
[pid=9735/tid=9748] ppid=9732 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/9735/task/9748/stat : 9748 (java) S 9732 9735 6338 0 -1 4202560 2424 0 5 0 20 2 0 0 20 0 22 0 4336386 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057485505400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 15 0 0
[pid=9735/tid=9750] ppid=9732 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/9735/task/9750/stat : 9750 (java) S 9732 9735 6338 0 -1 4202560 405 0 0 0 171 9 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057329219752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9753] ppid=9732 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/9735/task/9753/stat : 9753 (java) S 9732 9735 6338 0 -1 4202560 418 0 0 0 165 13 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057328167208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9755] ppid=9732 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/9735/task/9755/stat : 9755 (java) S 9732 9735 6338 0 -1 4202560 400 0 0 0 147 10 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057327114664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9757] ppid=9732 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/9735/task/9757/stat : 9757 (java) S 9732 9735 6338 0 -1 4202560 435 0 0 0 160 8 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057326062120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9760] ppid=9732 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/9735/task/9760/stat : 9760 (java) S 9732 9735 6338 0 -1 4202560 389 0 0 0 155 11 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057325009576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9762] ppid=9732 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/9735/task/9762/stat : 9762 (java) S 9732 9735 6338 0 -1 4202560 465 0 0 0 164 11 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057323957032 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9763] ppid=9732 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/9735/task/9763/stat : 9763 (java) S 9732 9735 6338 0 -1 4202560 357 0 0 0 166 10 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057322904488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9764] ppid=9732 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/9735/task/9764/stat : 9764 (java) S 9732 9735 6338 0 -1 4202560 442 0 0 0 167 13 0 0 20 0 22 0 4336389 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057321851944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9765] ppid=9732 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/9735/task/9765/stat : 9765 (java) S 9732 9735 6338 0 -1 4202560 1680 0 0 0 297 11 0 0 20 0 22 0 4336392 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057309653096 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9735/tid=9767] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9767/stat : 9767 (java) S 9732 9735 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057308599416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9769] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9769/stat : 9769 (java) S 9732 9735 6338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 4336394 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057307546760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9773] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9773/stat : 9773 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057306495504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9775] ppid=9732 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/9735/task/9775/stat : 9775 (java) S 9732 9735 6338 0 -1 4202560 5575 0 0 0 89 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057305442872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9735/tid=9777] ppid=9732 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/9735/task/9777/stat : 9777 (java) S 9732 9735 6338 0 -1 4202560 9356 0 0 0 196 2 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057304390328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9779] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9779/stat : 9779 (java) S 9732 9735 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057303337976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9780] ppid=9732 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/9735/task/9780/stat : 9780 (java) S 9732 9735 6338 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 4336399 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057302285640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9797] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9797/stat : 9797 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4336522 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057300177832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9984] ppid=9732 vsize=9824732 CPUtime=702.95 cores=0,2,4,6
/proc/9735/task/9984/stat : 9984 (java) R 9732 9735 6338 0 -1 4202560 49 0 0 0 70285 10 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057299116368 140057357363308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9735/tid=9985] ppid=9732 vsize=9824732 CPUtime=702.92 cores=0,2,4,6
/proc/9735/task/9985/stat : 9985 (java) R 9732 9735 6338 0 -1 4202560 56 0 0 0 70282 10 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057298070192 140057357338128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9735/tid=9986] ppid=9732 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9735/task/9986/stat : 9986 (java) S 9732 9735 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4355499 10060525568 585376 33554432000 1073741824 1073778376 140734868589328 140057301231272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9735 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=28266
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=185667
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1799.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.740021
#  lost CPU user time (s): 0.809998
#  lost CPU system time (s): -0.0700001

Real time (s): 901.395
CPU time (s): 1800.08
CPU user time (s): 1798.4
CPU system time (s): 1.68
CPU usage (%): 199.699
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 2.18567
maximum resident set size= 2985656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25449
page faults= 27
swaps= 0
block input operations= 19056
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25763
involuntary context switches= 33853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84211 second user time and 7.2149 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-29 22:56:55
IDJOB=4118530
IDBENCH=111504
IDSOLVER=2543
FILE ID=node129/4118530-1467233815
RUNJOBID= node129-1467233815-9715
PBS_JOBID= 19997579
Free space on /tmp= 71604 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118530-1467233815/watcher-4118530-1467233815 -o /tmp/evaluation-result-4118530-1467233815/solver-4118530-1467233815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9715 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118530-1467233815.opb

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

MD5SUM BENCH= 5cb211b3bc341dd745e6cb19ab700d55
RANDOM SEED=1919320269

node129.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.683
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	: 5333.36
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.683
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.56
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.683
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.683
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.55
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.683
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.55
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.683
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.683
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.683
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28737644 kB
Buffers:           86332 kB
Cached:          1766648 kB
SwapCached:            0 kB
Active:           297508 kB
Inactive:        1569896 kB
Active(anon):      17248 kB
Inactive(anon):        0 kB
Active(file):     280260 kB
Inactive(file):  1569896 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:       1531924 kB
Mapped:            13768 kB
Shmem:               204 kB
Slab:             617748 kB
SReclaimable:      62016 kB
SUnreclaim:       555732 kB
KernelStack:        1392 kB
PageTables:         6732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1617456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71600 MiB
End job on node129 at 2016-06-29 23:11:57