Trace number 4092114

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.09 900.366

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
MD5SUMdc0207dd780e8486ac4fdb37fec549e2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.51592
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables80
Total number of constraints196
Number of soft constraints156
Number of constraints which are clauses156
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Top cost 79
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 156
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3
Number of bits of the biggest sum of numbers2
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4092114-1466088157.wbo
0.11/0.11	c reading problem ... 
0.11/0.14	c ... done. Wall clock time 0.037s.
0.11/0.14	c declared #vars     80
0.11/0.14	c internal #vars     236
0.11/0.14	c #constraints  236
0.11/0.15	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 156
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80
0.11/0.15	c 236 constraints processed.
0.11/0.15	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80
0.11/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 156
0.11/0.15	c 236 constraints processed.
0.11/0.15	c objective function length is 156 literals
0.11/0.16	c And the winner is solver0
0.23/0.65	c SATISFIABLE
0.23/0.65	c OPTIMIZING...
0.23/0.65	c Got one! Elapsed wall clock time (in seconds):0.542
0.23/0.65	o 40
0.23/0.66	c And the winner is solver0
0.23/1.15	c Got one! Elapsed wall clock time (in seconds):1.045
0.23/1.15	o 37
0.23/1.16	c And the winner is solver0
0.25/1.66	c Got one! Elapsed wall clock time (in seconds):1.547
0.25/1.66	o 35
0.25/1.66	c And the winner is solver1
0.26/2.16	c Got one! Elapsed wall clock time (in seconds):2.049
0.26/2.16	o 32
0.26/2.19	c And the winner is solver0
0.47/2.66	c Got one! Elapsed wall clock time (in seconds):2.551
0.47/2.66	o 31
0.47/2.66	c And the winner is solver0
0.47/3.16	c Got one! Elapsed wall clock time (in seconds):3.053
0.47/3.16	o 29
1.76/3.56	c cleaning 2534 clauses out of 5072 with flag 12441/5072
1.76/3.56	c And the winner is solver1
2.11/3.66	c Got one! Elapsed wall clock time (in seconds):3.554
2.11/3.66	o 28
3.16/3.91	c cleaning 3807 clauses out of 7622 with flag 13406/10156
3.68/4.16	c cleaning 4904 clauses out of 9815 with flag 30994/16156
4.45/4.45	c And the winner is solver1
4.45/4.45	c cleaning 5952 clauses out of 11911 with flag 50737/23156
4.56/4.66	c Got one! Elapsed wall clock time (in seconds):4.556
4.56/4.66	o 27
4.85/4.88	c cleaning 5479 clauses out of 10959 with flag 12700/28156
5.46/5.12	c cleaning 5741 clauses out of 11482 with flag 28472/34158
5.70/5.26	c And the winner is solver1
5.85/5.67	c Got one! Elapsed wall clock time (in seconds):5.558
5.85/5.67	o 26
5.91/5.75	c cleaning 5682 clauses out of 11363 with flag 5203/39780
6.11/5.85	c And the winner is solver1
6.24/6.17	c Got one! Elapsed wall clock time (in seconds):6.059
6.24/6.17	o 25
6.31/6.25	c cleaning 5392 clauses out of 10783 with flag 5182/44882
6.75/6.46	c cleaning 5696 clauses out of 11392 with flag 20355/50883
7.41/6.73	c cleaning 6347 clauses out of 12695 with flag 38743/57882
8.00/7.01	c cleaning 7176 clauses out of 14351 with flag 60105/65885
8.66/7.39	c cleaning 8086 clauses out of 16173 with flag 84372/74883
9.48/7.80	c cleaning 9044 clauses out of 18088 with flag 113383/84884
10.67/8.32	c cleaning 10019 clauses out of 20042 with flag 143997/95882
12.18/9.03	c cleaning 11012 clauses out of 22023 with flag 183314/107882
13.63/9.75	c cleaning 12006 clauses out of 24012 with flag 218976/120883
15.03/10.42	c cleaning 13001 clauses out of 26008 with flag 256127/134885
15.63/10.73	c And the winner is solver1
15.70/11.18	c Got one! Elapsed wall clock time (in seconds):11.077
15.70/11.18	o 24
16.32/11.56	c cleaning 12799 clauses out of 25598 with flag 13364/147476
16.72/11.70	c And the winner is solver1
16.72/12.19	c Got one! Elapsed wall clock time (in seconds):12.078
16.72/12.19	o 23
16.95/12.34	c cleaning 9357 clauses out of 18714 with flag 7695/153391
17.35/12.58	c cleaning 7678 clauses out of 15357 with flag 23096/159391
17.95/12.84	c cleaning 7340 clauses out of 14679 with flag 41329/166391
18.54/13.13	c cleaning 7668 clauses out of 15339 with flag 62284/174391
19.42/13.54	c cleaning 8334 clauses out of 16671 with flag 87808/183391
20.42/14.04	c cleaning 9166 clauses out of 18336 with flag 121195/193390
21.62/14.61	c cleaning 10082 clauses out of 20171 with flag 153773/204391
23.02/15.33	c cleaning 11044 clauses out of 22089 with flag 190062/216391
24.69/16.13	c cleaning 12022 clauses out of 24044 with flag 225604/229390
26.31/16.92	c cleaning 13011 clauses out of 26022 with flag 263618/243390
27.95/17.76	c cleaning 14004 clauses out of 28013 with flag 305660/258392
29.95/18.79	c cleaning 14997 clauses out of 30007 with flag 348705/274390
32.14/19.81	c cleaning 15999 clauses out of 32010 with flag 394365/291390
34.40/21.00	c cleaning 17006 clauses out of 34012 with flag 441312/309391
36.99/22.20	c cleaning 18001 clauses out of 36005 with flag 493924/328390
39.59/23.50	c cleaning 19003 clauses out of 38005 with flag 546727/348391
42.19/24.87	c cleaning 20000 clauses out of 40001 with flag 606405/369390
45.46/26.46	c cleaning 21001 clauses out of 42001 with flag 667030/391390
49.35/28.33	c cleaning 22000 clauses out of 44000 with flag 733254/414390
53.15/30.21	c cleaning 23000 clauses out of 46001 with flag 804065/438391
57.34/32.34	c cleaning 23997 clauses out of 48000 with flag 873186/463390
62.43/34.85	c cleaning 24998 clauses out of 50003 with flag 949708/489390
67.43/37.37	c cleaning 26003 clauses out of 52005 with flag 1028288/516390
73.43/40.31	c cleaning 27000 clauses out of 54002 with flag 1110673/544390
79.83/43.57	c cleaning 28002 clauses out of 56006 with flag 1192197/573394
86.92/47.06	c cleaning 29003 clauses out of 58006 with flag 1272810/603396
94.72/50.90	c cleaning 29996 clauses out of 59997 with flag 1355609/634390
100.80/53.98	c cleaning 31001 clauses out of 62002 with flag 1444050/666391
107.60/57.36	c cleaning 32000 clauses out of 64001 with flag 1539976/699391
114.98/61.06	c cleaning 32998 clauses out of 66002 with flag 1634983/733392
117.78/62.45	c cleaning 0 clauses out of 6354 with flag 0/6355
123.48/65.03	c cleaning 33996 clauses out of 68003 with flag 1732006/768391
131.27/68.99	c cleaning 35004 clauses out of 70008 with flag 1834202/804392
138.08/72.36	c cleaning 36000 clauses out of 72002 with flag 1939758/841390
147.33/76.97	c cleaning 37001 clauses out of 74002 with flag 2051975/879390
157.77/82.11	c cleaning 37994 clauses out of 76001 with flag 2171186/918390
167.39/86.93	c cleaning 38992 clauses out of 78007 with flag 2277985/958390
177.62/92.04	c cleaning 40004 clauses out of 80015 with flag 2384770/999390
188.22/97.30	c cleaning 41003 clauses out of 82012 with flag 2495322/1041391
198.49/102.43	c cleaning 42000 clauses out of 84009 with flag 2613930/1084391
206.88/106.63	c cleaning 43001 clauses out of 86009 with flag 2733274/1128391
217.94/112.19	c cleaning 44003 clauses out of 88007 with flag 2854276/1173390
230.37/118.30	c cleaning 44992 clauses out of 90004 with flag 2975171/1219390
242.80/124.58	c cleaning 46007 clauses out of 92014 with flag 3098436/1266392
257.40/131.80	c cleaning 47001 clauses out of 94005 with flag 3218436/1314390
270.22/138.28	c cleaning 47996 clauses out of 96005 with flag 3344286/1363391
282.06/144.17	c cleaning 49001 clauses out of 98009 with flag 3469584/1413391
296.50/151.39	c cleaning 50004 clauses out of 100008 with flag 3596812/1464391
310.35/158.20	c cleaning 50995 clauses out of 102003 with flag 3725708/1516390
326.25/166.20	c cleaning 52000 clauses out of 104008 with flag 3858989/1569390
341.89/173.95	c cleaning 52999 clauses out of 106009 with flag 3996946/1623391
358.34/182.15	c cleaning 53997 clauses out of 108009 with flag 4135495/1678390
375.90/190.90	c cleaning 55000 clauses out of 110013 with flag 4277518/1734391
395.14/200.45	c cleaning 56000 clauses out of 112014 with flag 4422661/1791392
413.45/209.52	c cleaning 57002 clauses out of 114012 with flag 4568501/1849390
431.91/218.75	c cleaning 58003 clauses out of 116010 with flag 4717579/1908390
449.98/227.71	c cleaning 58998 clauses out of 118007 with flag 4876671/1968390
469.68/237.53	c cleaning 60003 clauses out of 120011 with flag 5027430/2029392
490.59/247.99	c cleaning 60998 clauses out of 122006 with flag 5178424/2091390
511.74/258.47	c cleaning 62002 clauses out of 124009 with flag 5334698/2154391
537.13/271.05	c cleaning 63001 clauses out of 126006 with flag 5494099/2218390
537.53/271.26	c cleaning 0 clauses out of 12355 with flag 0/12356
564.31/284.53	c cleaning 64000 clauses out of 128007 with flag 5659436/2283392
592.47/298.85	c cleaning 65002 clauses out of 130006 with flag 5820953/2349391
620.76/312.95	c cleaning 65994 clauses out of 132006 with flag 5983609/2416393
648.94/326.91	c cleaning 67001 clauses out of 134009 with flag 6149226/2484390
678.92/341.81	c cleaning 68003 clauses out of 136008 with flag 6316510/2553390
709.83/357.23	c cleaning 68998 clauses out of 138005 with flag 6486252/2623390
739.62/372.09	c cleaning 70000 clauses out of 140007 with flag 6662518/2694390
774.60/389.48	c cleaning 70993 clauses out of 142007 with flag 6850686/2766390
811.58/407.81	c cleaning 72003 clauses out of 144014 with flag 7038668/2839390
849.10/426.57	c cleaning 73005 clauses out of 146011 with flag 7234195/2913390
885.32/444.56	c cleaning 74003 clauses out of 148008 with flag 7428243/2988392
921.10/462.38	c cleaning 74993 clauses out of 150005 with flag 7627316/3064392
960.83/482.49	c cleaning 75996 clauses out of 152010 with flag 7829186/3141390
1002.18/503.01	c cleaning 77003 clauses out of 154014 with flag 8028186/3219390
1045.40/524.53	c cleaning 78002 clauses out of 156011 with flag 8236996/3298390
1090.06/546.79	c cleaning 79002 clauses out of 158009 with flag 8428753/3378390
1136.10/569.63	c cleaning 79989 clauses out of 160007 with flag 8629970/3459390
1182.53/592.73	c cleaning 81003 clauses out of 162019 with flag 8829294/3541391
1230.74/616.71	c cleaning 82004 clauses out of 164015 with flag 9035706/3624390
1278.39/640.48	c cleaning 83001 clauses out of 166011 with flag 9243808/3708390
1327.10/664.62	c cleaning 84001 clauses out of 168011 with flag 9465490/3793391
1378.13/690.07	c cleaning 85005 clauses out of 170009 with flag 9699212/3879390
1430.80/716.67	c cleaning 85997 clauses out of 172006 with flag 9936832/3966392
1463.76/733.07	c cleaning 0 clauses out of 19355 with flag 0/19356
1486.69/744.42	c cleaning 86999 clauses out of 174008 with flag 10193785/4054391
1543.38/772.66	c cleaning 87999 clauses out of 176008 with flag 10451008/4143390
1602.29/801.93	c cleaning 88996 clauses out of 178011 with flag 10717348/4233392
1659.37/830.38	c cleaning 90006 clauses out of 180013 with flag 10979912/4324390
1716.27/858.65	c cleaning 91000 clauses out of 182008 with flag 11257428/4416391
1778.60/889.65	c cleaning 91995 clauses out of 184008 with flag 11529306/4509391
1800.09/900.30	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.09/900.30	c starts		: 14833
1800.09/900.30	c conflicts		: 4554919
1800.09/900.30	c decisions		: 7628508
1800.09/900.30	c propagations		: 85791803
1800.09/900.30	c inspects		: 14504046858
1800.09/900.30	c shortcuts		: 0
1800.09/900.30	c learnt literals	: 0
1800.09/900.30	c learnt binary clauses	: 0
1800.09/900.30	c learnt ternary clauses	: 0
1800.09/900.30	c learnt constraints	: 4554919
1800.09/900.30	c ignored constraints	: 0
1800.09/900.30	c root simplifications	: 0
1800.09/900.30	c removed literals (reason simplification)	: 7919261
1800.09/900.30	c reason swapping (by a shorter reason)	: 0
1800.09/900.30	c Calls to reduceDB	: 107
1800.09/900.30	c Number of update (reduction) of LBD	: 819897
1800.09/900.30	c Imported unit clauses	: 0
1800.09/900.30	c number of reductions to clauses (during analyze)	: 0
1800.09/900.30	c number of learned constraints concerned by reduction	: 0
1800.09/900.30	c number of learning phase by resolution	: 0
1800.09/900.30	c number of learning phase by cutting planes	: 0
1800.09/900.30	c speed (assignments/second)	: 96599.77187664674
1800.09/900.30	c non guided choices	8
1800.09/900.33	c learnt constraints type 
1800.09/900.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 137541
1800.09/900.33	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.09/900.33	c starts		: 61
1800.09/900.33	c conflicts		: 21223
1800.09/900.33	c decisions		: 94417
1800.09/900.33	c propagations		: 641076
1800.09/900.33	c inspects		: 910989596
1800.09/900.33	c shortcuts		: 0
1800.09/900.33	c learnt literals	: 0
1800.09/900.33	c learnt binary clauses	: 0
1800.09/900.33	c learnt ternary clauses	: 0
1800.09/900.33	c learnt constraints	: 21221
1800.09/900.33	c ignored constraints	: 0
1800.09/900.33	c root simplifications	: 0
1800.09/900.33	c removed literals (reason simplification)	: 0
1800.09/900.33	c reason swapping (by a shorter reason)	: 0
1800.09/900.33	c Calls to reduceDB	: 3
1800.09/900.33	c Number of update (reduction) of LBD	: 0
1800.09/900.33	c Imported unit clauses	: 0
1800.09/900.33	c number of reductions to clauses (during analyze)	: 0
1800.09/900.33	c number of learned constraints concerned by reduction	: 0
1800.09/900.33	c number of learning phase by resolution	: 0
1800.09/900.33	c number of learning phase by cutting planes	: 0
1800.09/900.33	c speed (assignments/second)	: 714.5551334867048
1800.09/900.33	c non guided choices	9
1800.09/900.34	c learnt constraints type 
1800.09/900.34	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 107
1800.09/900.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1800.09/900.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21111
1800.09/900.34	s SATISFIABLE
1800.09/900.34	c Found 12 solution(s)
1800.09/900.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 
1800.09/900.34	c objective function=23
1800.09/900.34	c Total wall clock time (in seconds): 900.232

Verifier Data 

OK	23

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-4092114-1466088157/watcher-4092114-1466088157 -o /tmp/evaluation-result-4092114-1466088157/solver-4092114-1466088157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9509 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092114-1466088157.wbo 

pid=27667
running on 4 cores: 1,3,5,7

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.76 2.05 2.18 4/196 27670
/proc/meminfo: memFree=28041420/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 10862314 98570240 978 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 24065 978 744 9 0 16771 0
[pid=27670/tid=27671] ppid=27667 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) R 27667 27670 6847 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 10862314 98570240 978 33554432000 1073741824 1073778376 140733466245344 140010590166568 270707541376 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.100062 s]
/proc/loadavg: 1.76 2.05 2.18 4/196 27670
/proc/meminfo: memFree=28041420/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 4486 0 1 0 10 1 0 0 20 0 18 0 10862314 9787879424 6106 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2389619 6106 2155 9 0 2380296 0
[pid=27670/tid=27671] ppid=27667 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) R 27667 27670 6847 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 10862314 9787879424 6106 33554432000 1073741824 1073778376 140733466245344 140010590170016 270710924557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.20037 s]
/proc/loadavg: 1.76 2.05 2.18 4/196 27670
/proc/meminfo: memFree=28041420/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 4747 0 1 0 20 3 0 0 20 0 19 0 10862314 10060525568 7845 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 7845 2202 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2415 0 1 0 13 0 0 0 20 0 19 0 10862314 10060525568 7845 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+0.300369 s]
/proc/loadavg: 1.76 2.05 2.18 4/196 27670
/proc/meminfo: memFree=28041420/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 4747 0 1 0 20 3 0 0 20 0 19 0 10862314 10060525568 7845 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 7845 2202 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2415 0 1 0 13 0 0 0 20 0 19 0 10862314 10060525568 7845 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+0.700251 s]
/proc/loadavg: 1.76 2.05 2.18 4/196 27670
/proc/meminfo: memFree=28041420/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 4764 0 1 0 20 3 0 0 20 0 19 0 10862314 10060525568 8878 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 8878 2206 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2419 0 1 0 13 0 0 0 20 0 19 0 10862314 10060525568 8878 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 1.76 2.05 2.18 3/215 27695
/proc/meminfo: memFree=28013800/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 4857 0 1 0 22 3 0 0 20 0 19 0 10862314 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 9963 2219 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2419 0 1 0 13 0 0 0 20 0 19 0 10862314 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27673] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27673/stat : 27673 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010568272168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27674] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27674/stat : 27674 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010567219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27675] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27675/stat : 27675 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010363808296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27676] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27676/stat : 27676 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010362755496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27677] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27677/stat : 27677 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010361703208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27678] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27678/stat : 27678 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010360650408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27679] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27679/stat : 27679 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010359598120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27680] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27680/stat : 27680 (java) S 27667 27670 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010358545320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27681] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27681/stat : 27681 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10862316 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010346346728 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27682] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27682/stat : 27682 (java) S 27667 27670 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10862317 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010345292792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27683] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27683/stat : 27683 (java) S 27667 27670 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10862317 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010344240392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27684] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27684/stat : 27684 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862319 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010343188880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27685] ppid=27667 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27670/task/27685/stat : 27685 (java) S 27667 27670 6847 0 -1 4202560 487 0 0 0 2 0 0 0 20 0 19 0 10862319 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010342136504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27686] ppid=27667 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27670/task/27686/stat : 27686 (java) S 27667 27670 6847 0 -1 4202560 608 0 0 0 1 0 0 0 20 0 19 0 10862319 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010341083704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27687] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27687/stat : 27687 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862319 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010340031608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27688] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27688/stat : 27688 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862319 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010338979016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27691] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27691/stat : 27691 (java) S 27667 27670 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10862330 10060525568 9963 33554432000 1073741824 1073778376 140733466245344 140010335818920 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 1.76 2.05 2.18 4/215 27704
/proc/meminfo: memFree=27996332/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 6951 0 1 0 42 5 0 0 20 0 19 0 10862314 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 14200 2242 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2420 0 1 0 13 1 0 0 20 0 19 0 10862314 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27673] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27673/stat : 27673 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010568272168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27674] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27674/stat : 27674 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010567219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27675] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27675/stat : 27675 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010363808296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27676] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27676/stat : 27676 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010362755496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27677] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27677/stat : 27677 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010361703208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27678] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27678/stat : 27678 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010360650408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27679] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27679/stat : 27679 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010359598120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27680] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27680/stat : 27680 (java) S 27667 27670 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10862315 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010358545320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27681] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27681/stat : 27681 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10862316 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010346346728 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27682] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27682/stat : 27682 (java) S 27667 27670 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10862317 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010345292792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27683] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27683/stat : 27683 (java) S 27667 27670 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10862317 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010344240392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27684] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27684/stat : 27684 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862319 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010343188880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27685] ppid=27667 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/27670/task/27685/stat : 27685 (java) S 27667 27670 6847 0 -1 4202560 1190 0 0 0 10 0 0 0 20 0 19 0 10862319 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010342136504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27686] ppid=27667 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/27670/task/27686/stat : 27686 (java) S 27667 27670 6847 0 -1 4202560 1956 0 0 0 9 0 0 0 20 0 19 0 10862319 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010341083704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27687] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27687/stat : 27687 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862319 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010340031608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27688] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27688/stat : 27688 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10862319 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010338979016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27704] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27704/stat : 27704 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10862530 10060525568 14200 33554432000 1073741824 1073778376 140733466245344 140010335819304 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=28 pid=1814 uid=0 cmd=

[startup+6.30096 s]
/proc/loadavg: 1.78 2.05 2.17 2/215 27716
/proc/meminfo: memFree=27813112/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 24268 0 1 0 630 20 0 0 20 0 22 0 10862314 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 65022 2287 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2421 0 1 0 13 1 0 0 20 0 22 0 10862314 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27673] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27673/stat : 27673 (java) S 27667 27670 6847 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010568272168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27674] ppid=27667 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27670/task/27674/stat : 27674 (java) S 27667 27670 6847 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010567219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27675] ppid=27667 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27670/task/27675/stat : 27675 (java) S 27667 27670 6847 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010363808296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27676] ppid=27667 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27670/task/27676/stat : 27676 (java) S 27667 27670 6847 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010362755496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27677] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27677/stat : 27677 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010361703208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27678] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27678/stat : 27678 (java) S 27667 27670 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010360650408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27679] ppid=27667 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27670/task/27679/stat : 27679 (java) S 27667 27670 6847 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010359598120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27680] ppid=27667 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27670/task/27680/stat : 27680 (java) S 27667 27670 6847 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 10862315 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010358545320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27681] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27681/stat : 27681 (java) S 27667 27670 6847 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 10862316 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010346346728 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27682] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27682/stat : 27682 (java) S 27667 27670 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010345292792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27683] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27683/stat : 27683 (java) S 27667 27670 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010344240392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27684] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27684/stat : 27684 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 65022 33554432000 1073741824 1073778376 140733466245344 140010343188880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27685] ppid=27667 vsize=9824732 CPUtime=0.95 cores=1,3,5,7

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

/proc/27670/task/27675/stat : 27675 (java) S 27667 27670 6847 0 -1 4202560 432 0 0 0 260 10 0 0 20 0 22 0 10862315 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010363808296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27676] ppid=27667 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/27670/task/27676/stat : 27676 (java) S 27667 27670 6847 0 -1 4202560 420 0 0 0 245 10 0 0 20 0 22 0 10862315 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010362755496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27677] ppid=27667 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/27670/task/27677/stat : 27677 (java) S 27667 27670 6847 0 -1 4202560 377 0 0 0 256 9 0 0 20 0 22 0 10862315 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010361703208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27678] ppid=27667 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/27670/task/27678/stat : 27678 (java) S 27667 27670 6847 0 -1 4202560 375 0 0 0 245 7 0 0 20 0 22 0 10862315 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010360650408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27679] ppid=27667 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/27670/task/27679/stat : 27679 (java) S 27667 27670 6847 0 -1 4202560 392 0 0 0 255 7 0 0 20 0 22 0 10862315 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010359598120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27680] ppid=27667 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/27670/task/27680/stat : 27680 (java) S 27667 27670 6847 0 -1 4202560 399 0 0 0 265 8 0 0 20 0 22 0 10862315 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010358545320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27681] ppid=27667 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/27670/task/27681/stat : 27681 (java) S 27667 27670 6847 0 -1 4202560 1507 0 0 0 212 19 0 0 20 0 22 0 10862316 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010346346728 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27682] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27682/stat : 27682 (java) S 27667 27670 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010345292792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27683] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27683/stat : 27683 (java) S 27667 27670 6847 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010344240392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27684] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27684/stat : 27684 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010343188880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27685] ppid=27667 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/27670/task/27685/stat : 27685 (java) S 27667 27670 6847 0 -1 4202560 10154 0 0 0 102 2 0 0 20 0 22 0 10862319 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010342136504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27686] ppid=27667 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27670/task/27686/stat : 27686 (java) S 27667 27670 6847 0 -1 4202560 10388 0 0 0 160 2 0 0 20 0 22 0 10862319 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010341083704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27687] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27687/stat : 27687 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010340031608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27688] ppid=27667 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/27670/task/27688/stat : 27688 (java) S 27667 27670 6847 0 -1 4202560 51 0 0 0 12 23 0 0 20 0 22 0 10862319 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010338979016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27710] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27710/stat : 27710 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10862631 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010334766376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27726] ppid=27667 vsize=9824732 CPUtime=859.68 cores=1,3,5,7
/proc/27670/task/27726/stat : 27726 (java) R 27667 27670 6847 0 -1 4202560 147 0 0 0 85953 15 0 0 20 0 22 0 10863533 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010337922720 140010448234594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27727] ppid=27667 vsize=9824732 CPUtime=859.71 cores=1,3,5,7
/proc/27670/task/27727/stat : 27727 (java) R 27667 27670 6847 0 -1 4202560 1032 0 0 0 85931 40 0 0 20 0 22 0 10863533 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010335816880 140010448241174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27728] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27728/stat : 27728 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10863533 10060525568 575493 33554432000 1073741824 1073778376 140733466245344 140010336871976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1763.93
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.301 s]
/proc/loadavg: 3.54 3.32 2.91 5/217 28018
/proc/meminfo: memFree=27612384/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 30564 0 1 0 179842 167 0 0 20 0 22 0 10862314 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 575201 2295 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2431 0 1 0 16 4 0 0 20 0 22 0 10862314 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27673] ppid=27667 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/27670/task/27673/stat : 27673 (java) S 27667 27670 6847 0 -1 4202560 374 0 0 0 261 8 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010568272168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27674] ppid=27667 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/27670/task/27674/stat : 27674 (java) S 27667 27670 6847 0 -1 4202560 390 0 0 0 257 7 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010567219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27675] ppid=27667 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/27670/task/27675/stat : 27675 (java) S 27667 27670 6847 0 -1 4202560 432 0 0 0 263 10 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010363808296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27676] ppid=27667 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/27670/task/27676/stat : 27676 (java) S 27667 27670 6847 0 -1 4202560 423 0 0 0 252 10 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010362755496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27677] ppid=27667 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/27670/task/27677/stat : 27677 (java) S 27667 27670 6847 0 -1 4202560 377 0 0 0 260 9 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010361703208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27678] ppid=27667 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/27670/task/27678/stat : 27678 (java) S 27667 27670 6847 0 -1 4202560 375 0 0 0 250 7 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010360650408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27679] ppid=27667 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/27670/task/27679/stat : 27679 (java) S 27667 27670 6847 0 -1 4202560 394 0 0 0 262 7 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010359598120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27680] ppid=27667 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/27670/task/27680/stat : 27680 (java) S 27667 27670 6847 0 -1 4202560 400 0 0 0 272 8 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010358545320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27681] ppid=27667 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/27670/task/27681/stat : 27681 (java) S 27667 27670 6847 0 -1 4202560 1509 0 0 0 212 19 0 0 20 0 22 0 10862316 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010346346728 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27682] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27682/stat : 27682 (java) S 27667 27670 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010345292792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27683] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27683/stat : 27683 (java) S 27667 27670 6847 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010344240392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27684] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27684/stat : 27684 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010343188880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27685] ppid=27667 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/27670/task/27685/stat : 27685 (java) S 27667 27670 6847 0 -1 4202560 10154 0 0 0 102 2 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010342136504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27686] ppid=27667 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27670/task/27686/stat : 27686 (java) S 27667 27670 6847 0 -1 4202560 10388 0 0 0 160 2 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010341083704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27687] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27687/stat : 27687 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010340031608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27688] ppid=27667 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/27670/task/27688/stat : 27688 (java) S 27667 27670 6847 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010338979016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27710] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27710/stat : 27710 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10862631 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010334766376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27726] ppid=27667 vsize=9824732 CPUtime=877.48 cores=1,3,5,7
/proc/27670/task/27726/stat : 27726 (java) R 27667 27670 6847 0 -1 4202560 148 0 0 0 87733 15 0 0 20 0 22 0 10863533 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010337922736 140010448233466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27727] ppid=27667 vsize=9824732 CPUtime=877.52 cores=1,3,5,7
/proc/27670/task/27727/stat : 27727 (java) R 27667 27670 6847 0 -1 4202560 1035 0 0 0 87712 40 0 0 20 0 22 0 10863533 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010335817000 140010448934647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27728] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27728/stat : 27728 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10863533 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010336871976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 27670 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+900.301 s]
/proc/loadavg: 3.54 3.32 2.91 5/217 28018
/proc/meminfo: memFree=27612384/32872528 swapFree=1541688/1694988
[pid=27670] ppid=27667 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/27670/stat : 27670 (java) S 27667 27670 6847 0 -1 4202496 30564 0 1 0 179842 167 0 0 20 0 22 0 10862314 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140733466236480 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27670/statm: 2456183 575201 2295 9 0 2446860 0
[pid=27670/tid=27671] ppid=27667 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/27670/task/27671/stat : 27671 (java) S 27667 27670 6847 0 -1 4202560 2431 0 1 0 16 4 0 0 20 0 22 0 10862314 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010590172024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27673] ppid=27667 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/27670/task/27673/stat : 27673 (java) S 27667 27670 6847 0 -1 4202560 374 0 0 0 261 8 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010568272168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27674] ppid=27667 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/27670/task/27674/stat : 27674 (java) S 27667 27670 6847 0 -1 4202560 390 0 0 0 257 7 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010567219368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27675] ppid=27667 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/27670/task/27675/stat : 27675 (java) S 27667 27670 6847 0 -1 4202560 432 0 0 0 263 10 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010363808296 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27676] ppid=27667 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/27670/task/27676/stat : 27676 (java) S 27667 27670 6847 0 -1 4202560 423 0 0 0 252 10 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010362755496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27677] ppid=27667 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/27670/task/27677/stat : 27677 (java) S 27667 27670 6847 0 -1 4202560 377 0 0 0 260 9 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010361703208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27678] ppid=27667 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/27670/task/27678/stat : 27678 (java) S 27667 27670 6847 0 -1 4202560 375 0 0 0 250 7 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010360650408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27679] ppid=27667 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/27670/task/27679/stat : 27679 (java) S 27667 27670 6847 0 -1 4202560 394 0 0 0 262 7 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010359598120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27680] ppid=27667 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/27670/task/27680/stat : 27680 (java) S 27667 27670 6847 0 -1 4202560 400 0 0 0 272 8 0 0 20 0 22 0 10862315 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010358545320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27681] ppid=27667 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/27670/task/27681/stat : 27681 (java) S 27667 27670 6847 0 -1 4202560 1509 0 0 0 212 19 0 0 20 0 22 0 10862316 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010346346728 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27682] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27682/stat : 27682 (java) S 27667 27670 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010345292792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27683] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27683/stat : 27683 (java) S 27667 27670 6847 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 10862317 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010344240392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27684] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27684/stat : 27684 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010343188880 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27685] ppid=27667 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/27670/task/27685/stat : 27685 (java) S 27667 27670 6847 0 -1 4202560 10154 0 0 0 102 2 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010342136504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27686] ppid=27667 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27670/task/27686/stat : 27686 (java) S 27667 27670 6847 0 -1 4202560 10388 0 0 0 160 2 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010341083704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27687] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27687/stat : 27687 (java) S 27667 27670 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010340031608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27670/tid=27688] ppid=27667 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/27670/task/27688/stat : 27688 (java) S 27667 27670 6847 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 10862319 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010338979016 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27710] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27710/stat : 27710 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10862631 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010334766376 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27670/tid=27726] ppid=27667 vsize=9824732 CPUtime=877.48 cores=1,3,5,7
/proc/27670/task/27726/stat : 27726 (java) R 27667 27670 6847 0 -1 4202560 148 0 0 0 87733 15 0 0 20 0 22 0 10863533 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010337922736 140010448233466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27670/tid=27727] ppid=27667 vsize=9824732 CPUtime=877.52 cores=1,3,5,7
/proc/27670/task/27727/stat : 27727 (java) R 27667 27670 6847 0 -1 4202560 1035 0 0 0 87712 40 0 0 20 0 22 0 10863533 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010335817000 140010448934647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27670/tid=27728] ppid=27667 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27670/task/27728/stat : 27728 (java) S 27667 27670 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10863533 10060525568 575201 33554432000 1073741824 1073778376 140733466245344 140010336871976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 900.366
CPU time (s): 1800.09
CPU user time (s): 1798.42
CPU system time (s): 1.67
CPU usage (%): 199.929
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.05
system time used= 2.08268
maximum resident set size= 2906100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30607
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28870
involuntary context switches= 49306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14506 second user time and 7.00493 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 16:42:37
IDJOB=4092114
IDBENCH=79437
IDSOLVER=2552
FILE ID=node125/4092114-1466088157
RUNJOBID= node125-1466075444-9509
PBS_JOBID= 19904014
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom40-2_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092114-1466088157/watcher-4092114-1466088157 -o /tmp/evaluation-result-4092114-1466088157/solver-4092114-1466088157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9509 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092114-1466088157.wbo

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

MD5SUM BENCH= dc0207dd780e8486ac4fdb37fec549e2
RANDOM SEED=2126168582

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.54
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.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		: 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:        28041428 kB
Buffers:           36864 kB
Cached:            68036 kB
SwapCached:         2664 kB
Active:          2333832 kB
Inactive:          75284 kB
Active(anon):    2302760 kB
Inactive(anon):     3812 kB
Active(file):      31072 kB
Inactive(file):    71472 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096840 kB
Dirty:              1240 kB
Writeback:             0 kB
AnonPages:       4015944 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             568900 kB
SReclaimable:      11692 kB
SUnreclaim:       557208 kB
KernelStack:        1776 kB
PageTables:        12236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4569268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2406400 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= 71744 MiB
End job on node125 at 2016-06-16 16:57:37