Trace number 4092128

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.02 899.966

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MD5SUMaaeffaeae7d7089614c30e01f22ee722
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark414.308
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables100
Total number of constraints665
Number of soft constraints640
Number of constraints which are clauses640
Number of constraints which are cardinality constraints (but not clauses)25
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 161
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 640
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4092128-1466108511.wbo
0.09/0.12	c reading problem ... 
0.23/0.21	c ... done. Wall clock time 0.092s.
0.23/0.21	c declared #vars     100
0.23/0.21	c internal #vars     740
0.23/0.21	c #constraints  690
0.23/0.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 665
0.23/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 25
0.23/0.22	c 690 constraints processed.
0.23/0.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 665
0.23/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 25
0.23/0.22	c 690 constraints processed.
0.23/0.22	c objective function length is 640 literals
0.23/0.29	c And the winner is solver0
0.61/0.72	c SATISFIABLE
0.61/0.72	c OPTIMIZING...
0.61/0.72	c Got one! Elapsed wall clock time (in seconds):0.598
0.61/0.72	o 42
0.61/0.73	c And the winner is solver0
0.81/1.22	c Got one! Elapsed wall clock time (in seconds):1.102
0.81/1.22	o 34
0.81/1.23	c And the winner is solver0
0.82/1.72	c Got one! Elapsed wall clock time (in seconds):1.605
0.82/1.72	o 24
2.61/2.24	c cleaning 2580 clauses out of 5162 with flag 20185/5162
2.61/2.25	c And the winner is solver0
2.78/2.73	c Got one! Elapsed wall clock time (in seconds):2.609
2.78/2.73	o 23
2.78/2.74	c And the winner is solver0
2.86/3.23	c Got one! Elapsed wall clock time (in seconds):3.113
2.86/3.23	o 22
2.86/3.24	c And the winner is solver0
2.87/3.74	c Got one! Elapsed wall clock time (in seconds):3.616
2.87/3.74	o 21
2.87/3.74	c And the winner is solver0
2.87/4.24	c Got one! Elapsed wall clock time (in seconds):4.117
2.87/4.24	o 20
2.87/4.24	c And the winner is solver0
2.90/4.74	c Got one! Elapsed wall clock time (in seconds):4.619
2.90/4.74	o 19
3.76/5.11	c cleaning 4048 clauses out of 8098 with flag 21949/10678
4.60/5.56	c cleaning 5024 clauses out of 10050 with flag 48450/16678
5.63/6.09	c cleaning 6010 clauses out of 12025 with flag 77336/23677
7.22/6.74	c cleaning 7003 clauses out of 14019 with flag 109055/31681
8.80/7.50	c cleaning 7995 clauses out of 16012 with flag 144836/40677
10.44/8.39	c cleaning 9008 clauses out of 18017 with flag 183667/50677
12.70/9.44	c cleaning 10002 clauses out of 20009 with flag 224904/61677
14.93/10.53	c cleaning 11003 clauses out of 22008 with flag 270442/73678
17.61/11.87	c cleaning 11995 clauses out of 24004 with flag 322427/86677
20.21/13.18	c cleaning 13001 clauses out of 26013 with flag 376241/100681
23.49/14.70	c cleaning 14001 clauses out of 28008 with flag 433497/115677
26.70/16.34	c cleaning 15001 clauses out of 30007 with flag 495914/131677
30.41/18.12	c cleaning 15998 clauses out of 32007 with flag 560340/148678
34.20/20.07	c cleaning 16998 clauses out of 34008 with flag 631414/166677
38.35/22.03	c cleaning 18004 clauses out of 36013 with flag 698920/185680
42.75/24.30	c cleaning 19000 clauses out of 38006 with flag 774407/205677
47.93/26.88	c cleaning 19997 clauses out of 40010 with flag 853129/226681
53.27/29.49	c cleaning 21002 clauses out of 42012 with flag 938769/248680
59.07/32.34	c cleaning 22001 clauses out of 44007 with flag 1028398/271677
65.27/35.49	c cleaning 23001 clauses out of 46006 with flag 1125641/295677
72.03/38.74	c cleaning 24001 clauses out of 48005 with flag 1222338/320677
79.23/42.36	c cleaning 24999 clauses out of 50004 with flag 1313714/346677
86.60/45.99	c cleaning 25992 clauses out of 52005 with flag 1416230/373677
94.01/49.64	c cleaning 26999 clauses out of 54015 with flag 1518223/401679
101.40/53.31	c cleaning 27998 clauses out of 56017 with flag 1617088/430680
109.14/57.16	c cleaning 28993 clauses out of 58016 with flag 1723169/460677
117.34/61.23	c cleaning 29999 clauses out of 60023 with flag 1828894/491677
125.54/65.38	c cleaning 31014 clauses out of 62028 with flag 1949019/523681
135.94/70.52	c cleaning 32004 clauses out of 64012 with flag 2067899/556679
146.05/75.50	c cleaning 32999 clauses out of 66009 with flag 2185679/590680
155.86/80.49	c cleaning 33999 clauses out of 68009 with flag 2310428/625679
165.24/85.17	c cleaning 34996 clauses out of 70008 with flag 2447121/661677
176.77/90.85	c cleaning 35994 clauses out of 72014 with flag 2576794/698679
177.37/91.19	c And the winner is solver1
177.37/91.29	c Got one! Elapsed wall clock time (in seconds):91.169
177.37/91.29	o 18
177.79/91.56	c cleaning 20839 clauses out of 41694 with flag 7903/704353
178.78/92.07	c cleaning 13423 clauses out of 26856 with flag 30468/710354
179.98/92.60	c cleaning 10213 clauses out of 20433 with flag 59652/717354
181.18/93.20	c cleaning 9090 clauses out of 18220 with flag 94779/725354
182.38/93.87	c cleaning 9062 clauses out of 18129 with flag 135752/734353
183.99/94.63	c cleaning 9529 clauses out of 19070 with flag 183648/744356
185.58/95.48	c cleaning 10272 clauses out of 20544 with flag 235502/755359
187.57/96.44	c cleaning 11131 clauses out of 22266 with flag 289712/767353
189.77/97.51	c cleaning 12059 clauses out of 24135 with flag 350727/780353
191.97/98.65	c cleaning 13031 clauses out of 26076 with flag 409375/794353
195.12/100.11	c cleaning 14024 clauses out of 28047 with flag 474917/809355
198.10/101.66	c cleaning 14996 clauses out of 30021 with flag 543072/825353
201.50/103.37	c cleaning 16008 clauses out of 32025 with flag 620990/842353
205.30/105.22	c cleaning 17001 clauses out of 34018 with flag 696278/860354
208.90/107.09	c cleaning 18007 clauses out of 36020 with flag 777689/879357
213.30/109.25	c cleaning 19002 clauses out of 38009 with flag 865148/899353
218.05/111.58	c cleaning 20004 clauses out of 40009 with flag 956530/920355
222.85/113.96	c cleaning 20985 clauses out of 42004 with flag 1048523/942354
227.64/116.32	c cleaning 22010 clauses out of 44021 with flag 1144773/965356
232.85/118.95	c cleaning 23004 clauses out of 46013 with flag 1248406/989358
238.44/121.70	c cleaning 23997 clauses out of 48005 with flag 1357150/1014354
244.04/124.56	c cleaning 25005 clauses out of 50009 with flag 1469412/1040355
251.38/128.54	c cleaning 25989 clauses out of 52002 with flag 1590125/1067353
257.98/131.84	c cleaning 27000 clauses out of 54013 with flag 1730573/1095353
264.58/135.20	c cleaning 28007 clauses out of 56017 with flag 1872290/1124357
271.66/138.69	c cleaning 29003 clauses out of 58008 with flag 2011899/1154355
279.44/142.54	c cleaning 30003 clauses out of 60009 with flag 2168977/1185359
287.26/146.45	c cleaning 30988 clauses out of 62000 with flag 2324754/1217353
295.12/150.33	c cleaning 31994 clauses out of 64012 with flag 2493951/1250353
303.32/154.42	c cleaning 33009 clauses out of 66018 with flag 2673890/1284353
312.51/159.05	c cleaning 34000 clauses out of 68009 with flag 2869756/1319353
321.98/163.72	c cleaning 35001 clauses out of 70009 with flag 3072473/1355353
331.19/168.39	c cleaning 36000 clauses out of 72009 with flag 3276177/1392354
333.02/169.20	c cleaning 0 clauses out of 6186 with flag 0/6188
341.59/173.39	c cleaning 36996 clauses out of 74009 with flag 3486873/1430354
351.46/178.24	c cleaning 38004 clauses out of 76013 with flag 3718437/1469354
362.25/183.64	c cleaning 39003 clauses out of 78008 with flag 3962598/1509353
374.36/189.69	c cleaning 39999 clauses out of 80005 with flag 4217100/1550353
385.96/195.50	c cleaning 41003 clauses out of 82006 with flag 4487034/1592353
398.91/201.89	c cleaning 41996 clauses out of 84003 with flag 4720335/1635353
413.32/209.04	c cleaning 42998 clauses out of 86008 with flag 4928209/1679354
427.21/215.96	c cleaning 44001 clauses out of 88010 with flag 5128982/1724354
441.00/222.82	c cleaning 45004 clauses out of 90013 with flag 5331038/1770358
455.58/230.07	c cleaning 45989 clauses out of 92004 with flag 5545756/1817353
470.17/237.34	c cleaning 47009 clauses out of 94017 with flag 5756963/1865355
485.54/244.92	c cleaning 47996 clauses out of 96008 with flag 5973081/1914355
503.54/254.00	c cleaning 48993 clauses out of 98010 with flag 6182946/1964353
520.90/262.52	c cleaning 50010 clauses out of 100019 with flag 6397367/2015355
539.70/271.92	c cleaning 50997 clauses out of 102007 with flag 6630389/2067353
557.70/280.81	c cleaning 51998 clauses out of 104010 with flag 6860027/2120353
576.10/289.98	c cleaning 52996 clauses out of 106013 with flag 7093848/2174354
597.51/300.52	c cleaning 54009 clauses out of 108023 with flag 7320790/2229360
620.62/312.06	c cleaning 54999 clauses out of 110007 with flag 7566267/2285353
645.84/325.28	c cleaning 56005 clauses out of 112009 with flag 7814575/2342354
666.52/335.57	c cleaning 56992 clauses out of 114003 with flag 8058897/2400353
686.96/345.78	c cleaning 58005 clauses out of 116014 with flag 8316293/2459356
711.66/358.06	c cleaning 59001 clauses out of 118006 with flag 8573126/2519353
734.34/369.38	c cleaning 60003 clauses out of 120007 with flag 8827924/2580355
757.16/380.80	c cleaning 60999 clauses out of 122004 with flag 9081522/2642355
782.77/393.46	c cleaning 61992 clauses out of 124003 with flag 9338836/2705353
808.27/406.14	c cleaning 62997 clauses out of 126014 with flag 9597789/2769356
836.11/419.91	c cleaning 64000 clauses out of 128015 with flag 9861147/2834354
864.24/433.99	c cleaning 64985 clauses out of 130014 with flag 10134659/2900353
894.43/448.86	c cleaning 66011 clauses out of 132029 with flag 10422474/2967353
922.35/462.72	c cleaning 67007 clauses out of 134018 with flag 10712576/3035353
949.11/476.07	c cleaning 68004 clauses out of 136013 with flag 11010056/3104355
980.86/491.88	c cleaning 69003 clauses out of 138007 with flag 11332833/3174353
1007.89/505.28	c cleaning 69997 clauses out of 140004 with flag 11674062/3245353
1035.26/518.87	c cleaning 70994 clauses out of 142009 with flag 12046883/3317355
1065.38/533.83	c cleaning 72006 clauses out of 144018 with flag 12438857/3390358
1095.30/548.79	c cleaning 73002 clauses out of 146009 with flag 12850042/3464355
1124.22/563.18	c cleaning 74003 clauses out of 148008 with flag 13208974/3539356
1157.08/579.47	c cleaning 74995 clauses out of 150003 with flag 13516034/3615354
1194.98/598.39	c cleaning 75996 clauses out of 152007 with flag 13822588/3692353
1229.47/615.40	c cleaning 76986 clauses out of 154011 with flag 14148426/3770353
1262.87/632.08	c cleaning 78013 clauses out of 156025 with flag 14489405/3849353
1285.66/643.34	c cleaning 0 clauses out of 12186 with flag 0/12188
1297.27/649.14	c cleaning 79001 clauses out of 158015 with flag 14841318/3929356
1328.85/664.86	c cleaning 79992 clauses out of 160011 with flag 15228801/4010353
1361.45/681.04	c cleaning 81004 clauses out of 162020 with flag 15638295/4092354
1397.26/698.83	c cleaning 81993 clauses out of 164016 with flag 16064811/4175354
1435.08/717.51	c cleaning 83008 clauses out of 166022 with flag 16518281/4259353
1472.94/736.31	c cleaning 83999 clauses out of 168014 with flag 16988353/4344353
1509.35/754.42	c cleaning 85008 clauses out of 170015 with flag 17359657/4430353
1553.34/776.23	c cleaning 85999 clauses out of 172008 with flag 17707509/4517354
1597.05/798.99	c cleaning 87000 clauses out of 174009 with flag 18057633/4605354
1639.97/820.33	c cleaning 87989 clauses out of 176008 with flag 18412338/4694353
1684.07/842.32	c cleaning 89007 clauses out of 178019 with flag 18757207/4784353
1732.43/866.35	c cleaning 90000 clauses out of 180012 with flag 19130322/4875353
1780.30/890.18	c cleaning 91008 clauses out of 182016 with flag 19497435/4967357
1800.02/899.91	c >>>>>>>>>> Solver number 0 (8 answers) <<<<<<<<<<<<<<<<<<
1800.02/899.91	c starts		: 57590
1800.02/899.91	c conflicts		: 5017815
1800.02/899.91	c decisions		: 15365673
1800.02/899.91	c propagations		: 917810390
1800.02/899.91	c inspects		: 12585129370
1800.02/899.91	c shortcuts		: 0
1800.02/899.91	c learnt literals	: 0
1800.02/899.91	c learnt binary clauses	: 0
1800.02/899.91	c learnt ternary clauses	: 0
1800.02/899.91	c learnt constraints	: 5017815
1800.02/899.91	c ignored constraints	: 0
1800.02/899.91	c root simplifications	: 0
1800.02/899.91	c removed literals (reason simplification)	: 26833064
1800.02/899.91	c reason swapping (by a shorter reason)	: 0
1800.02/899.91	c Calls to reduceDB	: 122
1800.02/899.91	c Number of update (reduction) of LBD	: 2601866
1800.02/899.91	c Imported unit clauses	: 0
1800.02/899.91	c number of reductions to clauses (during analyze)	: 0
1800.02/899.91	c number of learned constraints concerned by reduction	: 0
1800.02/899.91	c number of learning phase by resolution	: 0
1800.02/899.91	c number of learning phase by cutting planes	: 0
1800.02/899.91	c speed (assignments/second)	: 1135034.4105196637
1800.02/899.91	c non guided choices	17
1800.02/899.94	c learnt constraints type 
1800.02/899.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141466
1800.02/899.94	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.02/899.94	c starts		: 50
1800.02/899.94	c conflicts		: 14109
1800.02/899.94	c decisions		: 200497
1800.02/899.94	c propagations		: 1132966
1800.02/899.94	c inspects		: 663676343
1800.02/899.94	c shortcuts		: 0
1800.02/899.94	c learnt literals	: 0
1800.02/899.94	c learnt binary clauses	: 0
1800.02/899.94	c learnt ternary clauses	: 0
1800.02/899.94	c learnt constraints	: 14107
1800.02/899.94	c ignored constraints	: 0
1800.02/899.94	c root simplifications	: 0
1800.02/899.94	c removed literals (reason simplification)	: 0
1800.02/899.94	c reason swapping (by a shorter reason)	: 0
1800.02/899.94	c Calls to reduceDB	: 2
1800.02/899.94	c Number of update (reduction) of LBD	: 0
1800.02/899.94	c Imported unit clauses	: 0
1800.02/899.94	c number of reductions to clauses (during analyze)	: 0
1800.02/899.94	c number of learned constraints concerned by reduction	: 0
1800.02/899.94	c number of learning phase by resolution	: 0
1800.02/899.94	c number of learning phase by cutting planes	: 0
1800.02/899.94	c speed (assignments/second)	: 1265.6023967855192
1800.02/899.94	c non guided choices	36
1800.02/899.95	c learnt constraints type 
1800.02/899.95	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1724
1800.02/899.95	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 49
1800.02/899.95	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12334
1800.02/899.95	s SATISFIABLE
1800.02/899.95	c Found 9 solution(s)
1800.02/899.95	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 
1800.02/899.95	c objective function=18
1800.02/899.95	c Total wall clock time (in seconds): 899.828

Verifier Data 

OK	15

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-4092128-1466108511/watcher-4092128-1466108511 -o /tmp/evaluation-result-4092128-1466108511/solver-4092128-1466108511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466104172-22199 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092128-1466108511.wbo 

pid=22989
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: 4.00 4.04 3.72 5/197 22992
/proc/meminfo: memFree=28608900/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/22992/stat : 22992 (java) D 22989 22992 21438 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 12901494 2560000 46 33554432000 1073741824 1073778376 140735029361520 140735029358648 247055084839 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 4.00 4.04 3.72 5/197 22992
/proc/meminfo: memFree=28608900/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 12901494 9787879424 6030 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2389619 6030 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 4.00 4.04 3.72 5/197 22992
/proc/meminfo: memFree=28608900/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 4694 0 1 0 22 1 0 0 20 0 18 0 12901494 9787879424 6769 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2389619 6769 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300221 s]
/proc/loadavg: 4.00 4.04 3.72 5/197 22992
/proc/meminfo: memFree=28608900/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 6975 0 1 0 51 4 0 0 20 0 19 0 12901494 10060525568 9042 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 9042 2249 9 0 2446860 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+0.700233 s]
/proc/loadavg: 4.00 4.04 3.72 5/197 22992
/proc/meminfo: memFree=28608900/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 7115 0 1 0 57 4 0 0 20 0 19 0 12901494 10060525568 8825 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 8825 2251 9 0 2446860 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 3.84 4.01 3.71 4/216 23017
/proc/meminfo: memFree=28567612/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 9949 0 1 0 76 6 0 0 20 0 19 0 12901494 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 13473 2253 9 0 2446860 0
[pid=22992/tid=22994] ppid=22989 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/22992/task/22994/stat : 22994 (java) S 22989 22992 21438 0 -1 4202560 2424 0 1 0 18 1 0 0 20 0 19 0 12901495 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138650231672 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22995] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22995/stat : 22995 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138611723304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22996] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22996/stat : 22996 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138610670504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=22997] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22997/stat : 22997 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138491407144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22998] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22998/stat : 22998 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138490354344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22999] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22999/stat : 22999 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138489301544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23000] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23000/stat : 23000 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138488248744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23001] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23001/stat : 23001 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138487195944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23002] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23002/stat : 23002 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138486143144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23003] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23003/stat : 23003 (java) S 22989 22992 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12901497 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138003815400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23004] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23004/stat : 23004 (java) S 22989 22992 21438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12901498 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138002761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23005] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23005/stat : 23005 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12901498 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138001708552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23006] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23006/stat : 23006 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901500 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140138000657040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23007] ppid=22989 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/22992/task/23007/stat : 23007 (java) S 22989 22992 21438 0 -1 4202560 2202 0 0 0 19 0 0 0 20 0 19 0 12901500 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140137999604152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23008] ppid=22989 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/22992/task/23008/stat : 23008 (java) S 22989 22992 21438 0 -1 4202560 3977 0 0 0 21 0 0 0 20 0 19 0 12901500 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140137998551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23009] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23009/stat : 23009 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901500 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140137997498744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23010] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23010/stat : 23010 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901500 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140137996446152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23014] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23014/stat : 23014 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12901517 10060525568 13473 33554432000 1073741824 1073778376 140735029361520 140137992234280 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 3.84 4.01 3.71 8/219 23023
/proc/meminfo: memFree=28521116/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 17969 0 1 0 274 12 0 0 20 0 19 0 12901494 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 26033 2269 9 0 2446860 0
[pid=22992/tid=22994] ppid=22989 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/22992/task/22994/stat : 22994 (java) S 22989 22992 21438 0 -1 4202560 2424 0 1 0 18 2 0 0 20 0 19 0 12901495 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138650231672 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=22995] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22995/stat : 22995 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138611723304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22996] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22996/stat : 22996 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138610670504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=22997] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22997/stat : 22997 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138491407144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22998] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22998/stat : 22998 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138490354344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22999] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22999/stat : 22999 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138489301544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23000] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23000/stat : 23000 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138488248744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23001] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23001/stat : 23001 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138487195944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23002] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23002/stat : 23002 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12901496 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138486143144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23003] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23003/stat : 23003 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12901497 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138003815400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23004] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23004/stat : 23004 (java) S 22989 22992 21438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12901498 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138002761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23005] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23005/stat : 23005 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12901498 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138001708552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23006] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23006/stat : 23006 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901500 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140138000657040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23007] ppid=22989 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/22992/task/23007/stat : 23007 (java) S 22989 22992 21438 0 -1 4202560 7361 0 0 0 65 2 0 0 20 0 19 0 12901500 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140137999604152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23008] ppid=22989 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/22992/task/23008/stat : 23008 (java) S 22989 22992 21438 0 -1 4202560 6800 0 0 0 64 2 0 0 20 0 19 0 12901500 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140137998551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23009] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23009/stat : 23009 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901500 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140137997498744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23010] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23010/stat : 23010 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12901500 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140137996446152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23014] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23014/stat : 23014 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12901517 10060525568 26033 33554432000 1073741824 1073778376 140735029361520 140137992234280 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 3.84 4.01 3.71 5/219 23038
/proc/meminfo: memFree=28441240/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=6.35 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 18144 0 1 0 621 14 0 0 20 0 22 0 12901494 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 45323 2285 9 0 2446860 0
[pid=22992/tid=22994] ppid=22989 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/22992/task/22994/stat : 22994 (java) S 22989 22992 21438 0 -1 4202560 2426 0 1 0 19 2 0 0 20 0 22 0 12901495 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138650231672 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22995] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22995/stat : 22995 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138611723304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22996] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22996/stat : 22996 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138610670504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=22997] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22997/stat : 22997 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138491407144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22998] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22998/stat : 22998 (java) S 22989 22992 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138490354344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22999] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/22999/stat : 22999 (java) S 22989 22992 21438 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138489301544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23000] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23000/stat : 23000 (java) S 22989 22992 21438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138488248744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23001] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23001/stat : 23001 (java) S 22989 22992 21438 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138487195944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23002] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23002/stat : 23002 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12901496 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138486143144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23003] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23003/stat : 23003 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12901497 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138003815400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23004] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23004/stat : 23004 (java) S 22989 22992 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138002761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23005] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23005/stat : 23005 (java) S 22989 22992 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138001708552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23006] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23006/stat : 23006 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140138000657040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23007] ppid=22989 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/22992/task/23007/stat : 23007 (java) S 22989 22992 21438 0 -1 4202560 7428 0 0 0 86 2 0 0 20 0 22 0 12901500 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140137999604152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23008] ppid=22989 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/22992/task/23008/stat : 23008 (java) S 22989 22992 21438 0 -1 4202560 6803 0 0 0 79 2 0 0 20 0 22 0 12901500 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140137998551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23009] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23009/stat : 23009 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140137997498744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23010] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23010/stat : 23010 (java) S 22989 22992 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140137996446152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23014] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23014/stat : 23014 (java) S 22989 22992 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12901517 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140137992234280 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23036] ppid=22989 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/22992/task/23036/stat : 23036 (java) R 22989 22992 21438 0 -1 4202560 4 0 0 0 151 0 0 0 20 0 22 0 12901969 10060525568 45323 33554432000 1073741824 1073778376 140735029361520 140137993277856 140138491944633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23037] ppid=22989 vsize=9824732 CPUtime=1.51 cores=0,2,4,6

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

[pid=22992/tid=23002] ppid=22989 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/22992/task/23002/stat : 23002 (java) S 22989 22992 21438 0 -1 4202560 639 0 0 0 266 17 0 0 20 0 22 0 12901496 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140138486143144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23003] ppid=22989 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/22992/task/23003/stat : 23003 (java) S 22989 22992 21438 0 -1 4202560 2339 0 0 0 416 6 0 0 20 0 22 0 12901497 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140138003815400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23004] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23004/stat : 23004 (java) S 22989 22992 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140138002761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23005] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23005/stat : 23005 (java) S 22989 22992 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140138001708552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23006] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23006/stat : 23006 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140138000657040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23007] ppid=22989 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/22992/task/23007/stat : 23007 (java) S 22989 22992 21438 0 -1 4202560 9518 0 0 0 130 2 0 0 20 0 22 0 12901500 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137999604152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23008] ppid=22989 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/22992/task/23008/stat : 23008 (java) S 22989 22992 21438 0 -1 4202560 6806 0 0 0 87 2 0 0 20 0 22 0 12901500 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137998551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23009] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23009/stat : 23009 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137997498744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23010] ppid=22989 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/22992/task/23010/stat : 23010 (java) S 22989 22992 21438 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 12901500 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137996446152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23038] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23038/stat : 23038 (java) S 22989 22992 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12901969 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137994339624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23041] ppid=22989 vsize=9824732 CPUtime=779.64 cores=0,2,4,6
/proc/22992/task/23041/stat : 23041 (java) R 22989 22992 21438 0 -1 4202560 28 0 0 0 77952 12 0 0 20 0 22 0 12910624 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137993284464 140138491907039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23042] ppid=22989 vsize=9824732 CPUtime=779.59 cores=0,2,4,6
/proc/22992/task/23042/stat : 23042 (java) R 22989 22992 21438 0 -1 4202560 42 0 0 0 77947 12 0 0 20 0 22 0 12910624 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137995390368 140138492072044 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23043] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23043/stat : 23043 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12910624 10060525568 903270 33554432000 1073741824 1073778376 140735029361520 140137992233896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.37
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.908 s]
/proc/loadavg: 4.09 4.11 3.95 5/219 23151
/proc/meminfo: memFree=25639736/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=1799.8 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 29174 0 1 0 179773 207 0 0 20 0 22 0 12901494 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 903284 2293 9 0 2446860 0
[pid=22992/tid=22994] ppid=22989 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/22992/task/22994/stat : 22994 (java) S 22989 22992 21438 0 -1 4202560 2442 0 1 0 22 3 0 0 20 0 22 0 12901495 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138650231672 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22995] ppid=22989 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/22992/task/22995/stat : 22995 (java) S 22989 22992 21438 0 -1 4202560 573 0 0 0 274 19 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138611723304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22996] ppid=22989 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/22992/task/22996/stat : 22996 (java) S 22989 22992 21438 0 -1 4202560 730 0 0 0 270 16 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138610670504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22997] ppid=22989 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/22992/task/22997/stat : 22997 (java) S 22989 22992 21438 0 -1 4202560 708 0 0 0 270 14 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138491407144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22998] ppid=22989 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/22992/task/22998/stat : 22998 (java) S 22989 22992 21438 0 -1 4202560 642 0 0 0 242 18 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138490354344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22999] ppid=22989 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/22992/task/22999/stat : 22999 (java) S 22989 22992 21438 0 -1 4202560 647 0 0 0 258 16 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138489301544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23000] ppid=22989 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/22992/task/23000/stat : 23000 (java) S 22989 22992 21438 0 -1 4202560 760 0 0 0 273 19 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138488248744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23001] ppid=22989 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/22992/task/23001/stat : 23001 (java) S 22989 22992 21438 0 -1 4202560 588 0 0 0 266 14 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138487195944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23002] ppid=22989 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/22992/task/23002/stat : 23002 (java) S 22989 22992 21438 0 -1 4202560 639 0 0 0 273 17 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138486143144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23003] ppid=22989 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/22992/task/23003/stat : 23003 (java) S 22989 22992 21438 0 -1 4202560 2339 0 0 0 416 6 0 0 20 0 22 0 12901497 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138003815400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23004] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23004/stat : 23004 (java) S 22989 22992 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138002761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23005] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23005/stat : 23005 (java) S 22989 22992 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138001708552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23006] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23006/stat : 23006 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138000657040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23007] ppid=22989 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/22992/task/23007/stat : 23007 (java) S 22989 22992 21438 0 -1 4202560 9518 0 0 0 130 2 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137999604152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23008] ppid=22989 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/22992/task/23008/stat : 23008 (java) S 22989 22992 21438 0 -1 4202560 6806 0 0 0 87 2 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137998551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23009] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23009/stat : 23009 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137997498744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23010] ppid=22989 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/22992/task/23010/stat : 23010 (java) S 22989 22992 21438 0 -1 4202560 53 0 0 0 14 18 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137996446152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23038] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23038/stat : 23038 (java) S 22989 22992 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12901969 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137994339624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23041] ppid=22989 vsize=9824732 CPUtime=797.07 cores=0,2,4,6
/proc/22992/task/23041/stat : 23041 (java) R 22989 22992 21438 0 -1 4202560 29 0 0 0 79694 13 0 0 20 0 22 0 12910624 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137993285248 140138491907039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23042] ppid=22989 vsize=9824732 CPUtime=797.02 cores=0,2,4,6
/proc/22992/task/23042/stat : 23042 (java) R 22989 22992 21438 0 -1 4202560 44 0 0 0 79689 13 0 0 20 0 22 0 12910624 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137995389584 140138492107176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23043] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23043/stat : 23043 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12910624 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137992233896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
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 22992 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.908 s]
/proc/loadavg: 4.09 4.11 3.95 5/219 23151
/proc/meminfo: memFree=25639736/32872528 swapFree=248296/248296
[pid=22992] ppid=22989 vsize=9824732 CPUtime=1799.8 cores=0,2,4,6
/proc/22992/stat : 22992 (java) S 22989 22992 21438 0 -1 4202496 29174 0 1 0 179773 207 0 0 20 0 22 0 12901494 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140735029352656 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22992/statm: 2456183 903284 2293 9 0 2446860 0
[pid=22992/tid=22994] ppid=22989 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/22992/task/22994/stat : 22994 (java) S 22989 22992 21438 0 -1 4202560 2442 0 1 0 22 3 0 0 20 0 22 0 12901495 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138650231672 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=22995] ppid=22989 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/22992/task/22995/stat : 22995 (java) S 22989 22992 21438 0 -1 4202560 573 0 0 0 274 19 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138611723304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22996] ppid=22989 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/22992/task/22996/stat : 22996 (java) S 22989 22992 21438 0 -1 4202560 730 0 0 0 270 16 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138610670504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22997] ppid=22989 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/22992/task/22997/stat : 22997 (java) S 22989 22992 21438 0 -1 4202560 708 0 0 0 270 14 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138491407144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=22998] ppid=22989 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/22992/task/22998/stat : 22998 (java) S 22989 22992 21438 0 -1 4202560 642 0 0 0 242 18 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138490354344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=22999] ppid=22989 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/22992/task/22999/stat : 22999 (java) S 22989 22992 21438 0 -1 4202560 647 0 0 0 258 16 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138489301544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23000] ppid=22989 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/22992/task/23000/stat : 23000 (java) S 22989 22992 21438 0 -1 4202560 760 0 0 0 273 19 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138488248744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23001] ppid=22989 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/22992/task/23001/stat : 23001 (java) S 22989 22992 21438 0 -1 4202560 588 0 0 0 266 14 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138487195944 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23002] ppid=22989 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/22992/task/23002/stat : 23002 (java) S 22989 22992 21438 0 -1 4202560 639 0 0 0 273 17 0 0 20 0 22 0 12901496 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138486143144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23003] ppid=22989 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/22992/task/23003/stat : 23003 (java) S 22989 22992 21438 0 -1 4202560 2339 0 0 0 416 6 0 0 20 0 22 0 12901497 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138003815400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23004] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23004/stat : 23004 (java) S 22989 22992 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138002761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23005] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23005/stat : 23005 (java) S 22989 22992 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 12901498 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138001708552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23006] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23006/stat : 23006 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140138000657040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23007] ppid=22989 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/22992/task/23007/stat : 23007 (java) S 22989 22992 21438 0 -1 4202560 9518 0 0 0 130 2 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137999604152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23008] ppid=22989 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/22992/task/23008/stat : 23008 (java) S 22989 22992 21438 0 -1 4202560 6806 0 0 0 87 2 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137998551352 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23009] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23009/stat : 23009 (java) S 22989 22992 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137997498744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23010] ppid=22989 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/22992/task/23010/stat : 23010 (java) S 22989 22992 21438 0 -1 4202560 53 0 0 0 14 18 0 0 20 0 22 0 12901500 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137996446152 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22992/tid=23038] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23038/stat : 23038 (java) S 22989 22992 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12901969 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137994339624 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22992/tid=23041] ppid=22989 vsize=9824732 CPUtime=797.07 cores=0,2,4,6
/proc/22992/task/23041/stat : 23041 (java) R 22989 22992 21438 0 -1 4202560 29 0 0 0 79694 13 0 0 20 0 22 0 12910624 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137993285248 140138491907039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22992/tid=23042] ppid=22989 vsize=9824732 CPUtime=797.02 cores=0,2,4,6
/proc/22992/task/23042/stat : 23042 (java) R 22989 22992 21438 0 -1 4202560 44 0 0 0 79689 13 0 0 20 0 22 0 12910624 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137995389584 140138492107176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22992/tid=23043] ppid=22989 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22992/task/23043/stat : 23043 (java) S 22989 22992 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12910624 10060525568 903284 33554432000 1073741824 1073778376 140735029361520 140137992233896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22992 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=710314
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=521616
# CPU time returned by wait4() is 1796.23
# while last known CPU time is 1799.8
#
# 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.220001
#  lost CPU user time (s): 0.25
#  lost CPU system time (s): -0.03

Real time (s): 899.966
CPU time (s): 1800.02
CPU user time (s): 1797.98
CPU system time (s): 2.04
CPU usage (%): 200.01
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 2.52162
maximum resident set size= 3626840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29221
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23615
involuntary context switches= 26966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99909 second user time and 7.02893 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-16 22:21:51
IDJOB=4092128
IDBENCH=79656
IDSOLVER=2552
FILE ID=node103/4092128-1466108511
RUNJOBID= node103-1466104172-22199
PBS_JOBID= 19904050
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-queen5-5-4_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092128-1466108511/watcher-4092128-1466108511 -o /tmp/evaluation-result-4092128-1466108511/solver-4092128-1466108511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466104172-22199 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092128-1466108511.wbo

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

MD5SUM BENCH= aaeffaeae7d7089614c30e01f22ee722
RANDOM SEED=1077173919

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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.55
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		: 2667.278
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		: 2667.278
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:        28609536 kB
Buffers:           40272 kB
Cached:           123732 kB
SwapCached:        41796 kB
Active:          3188080 kB
Inactive:         120520 kB
Active(anon):    3103980 kB
Inactive(anon):    43140 kB
Active(file):      84100 kB
Inactive(file):    77380 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059980 kB
Dirty:               996 kB
Writeback:             0 kB
AnonPages:       3352540 kB
Mapped:            15324 kB
Shmem:                 0 kB
Slab:             568908 kB
SReclaimable:      13068 kB
SUnreclaim:       555840 kB
KernelStack:        1624 kB
PageTables:        10676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4136328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3047424 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= 71732 MiB
End job on node103 at 2016-06-16 22:36:51