Trace number 4081118

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPT25 372.987 191.989

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUMa91a8cbbe2491e496acc19538dbd623f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.027995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables372
Total number of constraints772
Number of constraints which are clauses772
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 372
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 372
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 372
Number of bits of the biggest sum of numbers9
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.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	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.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4081118-1465225008.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  objective function found
0.29/0.29	c ... done. Wall clock time 0.183s.
0.29/0.29	c declared #vars     372
0.29/0.29	c #constraints  772
0.29/0.29	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 639
0.29/0.29	c org.sat4j.specs.Constr$1 => 123
0.29/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5
0.29/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.29/0.29	c 772 constraints processed.
0.29/0.29	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5
0.29/0.29	c org.sat4j.specs.Constr$1 => 123
0.29/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 639
0.29/0.29	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.29/0.29	c 772 constraints processed.
0.29/0.29	c objective function length is 372 literals
0.59/0.31	c And the winner is solver0
0.69/0.79	c SATISFIABLE
0.69/0.79	c OPTIMIZING...
0.69/0.79	c Got one! Elapsed wall clock time (in seconds):0.689
0.69/0.79	o 38
0.69/0.80	c And the winner is solver1
0.74/1.30	c Got one! Elapsed wall clock time (in seconds):1.193
0.74/1.30	o 36
0.74/1.38	c And the winner is solver1
1.47/1.80	c Got one! Elapsed wall clock time (in seconds):1.696
1.47/1.80	o 35
3.00/2.25	c cleaning 2612 clauses out of 5228 with flag 16790/5228
3.84/2.58	c And the winner is solver0
4.13/2.80	c Got one! Elapsed wall clock time (in seconds):2.699
4.13/2.80	o 34
4.13/2.89	c And the winner is solver1
4.33/3.30	c Got one! Elapsed wall clock time (in seconds):3.2
4.33/3.30	o 33
4.99/3.63	c cleaning 6403 clauses out of 12806 with flag 13959/15418
4.99/3.67	c And the winner is solver1
5.22/3.81	c Got one! Elapsed wall clock time (in seconds):3.702
5.22/3.81	o 32
5.80/4.16	c cleaning 6028 clauses out of 12056 with flag 17969/21071
6.91/4.66	c cleaning 6012 clauses out of 12023 with flag 37357/27066
7.39/4.89	c And the winner is solver1
7.59/5.31	c Got one! Elapsed wall clock time (in seconds):5.204
7.59/5.31	o 31
7.79/5.42	c cleaning 5636 clauses out of 11279 with flag 7169/32334
8.69/5.84	c cleaning 5819 clauses out of 11643 with flag 28488/38334
9.68/6.30	c cleaning 6412 clauses out of 12824 with flag 49789/45334
10.77/6.88	c cleaning 7199 clauses out of 14412 with flag 71817/53334
10.77/6.90	c And the winner is solver1
10.96/7.32	c Got one! Elapsed wall clock time (in seconds):7.218
10.96/7.32	o 30
11.62/7.62	c cleaning 6193 clauses out of 12407 with flag 16168/58528
12.23/7.96	c cleaning 6103 clauses out of 12214 with flag 36313/64528
13.02/8.39	c cleaning 6556 clauses out of 13111 with flag 58511/71528
14.33/8.94	c cleaning 7275 clauses out of 14555 with flag 82929/79528
15.58/9.54	c cleaning 8137 clauses out of 16280 with flag 109346/88528
16.79/10.19	c cleaning 9069 clauses out of 18143 with flag 139973/98528
18.48/11.00	c cleaning 10032 clauses out of 20076 with flag 177856/109530
20.27/11.85	c cleaning 11022 clauses out of 22043 with flag 215378/121529
22.27/12.83	c cleaning 11984 clauses out of 24021 with flag 255195/134529
24.37/13.88	c cleaning 13019 clauses out of 26038 with flag 302641/148530
26.78/15.07	c cleaning 13996 clauses out of 28017 with flag 351637/163528
29.37/16.36	c And the winner is solver1
29.46/16.84	c Got one! Elapsed wall clock time (in seconds):16.731
29.46/16.84	o 29
29.97/17.17	c cleaning 17300 clauses out of 34609 with flag 17515/184116
30.77/17.58	c cleaning 11653 clauses out of 23309 with flag 37015/190116
31.49/17.86	c And the winner is solver1
31.63/18.34	c Got one! Elapsed wall clock time (in seconds):18.233
31.63/18.34	o 28
31.74/18.44	c cleaning 8657 clauses out of 17316 with flag 7515/195776
32.35/18.79	c cleaning 7329 clauses out of 14659 with flag 27468/201776
33.14/19.19	c cleaning 7160 clauses out of 14330 with flag 48721/208776
34.14/19.65	c cleaning 7579 clauses out of 15173 with flag 75414/216779
35.33/20.25	c cleaning 8297 clauses out of 16593 with flag 103593/225778
36.53/20.90	c cleaning 9148 clauses out of 18295 with flag 134576/235777
38.13/21.63	c cleaning 10074 clauses out of 20147 with flag 171285/246777
39.95/22.50	c cleaning 11037 clauses out of 22076 with flag 211756/258780
41.94/23.54	c cleaning 12019 clauses out of 24038 with flag 253194/271779
44.46/24.72	c cleaning 12988 clauses out of 26016 with flag 295969/285776
46.66/25.86	c cleaning 14015 clauses out of 28030 with flag 345075/300778
49.07/27.06	c cleaning 15007 clauses out of 30013 with flag 395090/316776
51.86/28.49	c cleaning 16007 clauses out of 32014 with flag 446000/333784
54.96/29.95	c cleaning 17000 clauses out of 33999 with flag 501581/351776
57.76/31.40	c cleaning 17998 clauses out of 35999 with flag 562332/370776
61.38/33.15	c cleaning 18999 clauses out of 38003 with flag 628437/390778
65.17/35.08	c cleaning 19999 clauses out of 40002 with flag 696005/411776
68.99/36.92	c cleaning 20998 clauses out of 42005 with flag 767292/433778
73.71/39.23	c cleaning 22002 clauses out of 44005 with flag 842963/456776
78.74/41.71	c cleaning 22999 clauses out of 46004 with flag 915093/480777
82.93/43.82	c And the winner is solver1
82.93/43.84	c Got one! Elapsed wall clock time (in seconds):43.739
82.93/43.84	o 27
83.76/44.37	c cleaning 24722 clauses out of 49464 with flag 16954/507236
84.56/44.73	c cleaning 15373 clauses out of 30745 with flag 36665/513239
85.37/45.17	c cleaning 11173 clauses out of 22370 with flag 62227/520237
86.36/45.65	c cleaning 9594 clauses out of 19196 with flag 90001/528236
87.57/46.22	c cleaning 9304 clauses out of 18607 with flag 120452/537241
88.76/46.88	c cleaning 9649 clauses out of 19298 with flag 154269/547236
90.49/47.69	c cleaning 10308 clauses out of 20649 with flag 189676/558236
92.30/48.53	c cleaning 11170 clauses out of 22341 with flag 229219/570236
94.09/49.46	c cleaning 12087 clauses out of 24174 with flag 270003/583239
96.08/50.42	c cleaning 13030 clauses out of 26084 with flag 313329/597236
97.88/51.39	c cleaning 14022 clauses out of 28054 with flag 364304/612236
100.68/52.74	c cleaning 15014 clauses out of 30034 with flag 416184/628238
103.10/53.94	c cleaning 15995 clauses out of 32018 with flag 473112/645236
105.88/55.38	c cleaning 16998 clauses out of 34023 with flag 532499/663236
109.21/56.92	c cleaning 18015 clauses out of 36030 with flag 591075/682241
112.22/58.46	c cleaning 18989 clauses out of 38010 with flag 657252/702236
116.21/60.40	c cleaning 20012 clauses out of 40024 with flag 726098/723239
120.02/62.31	c cleaning 21007 clauses out of 42013 with flag 794316/745240
124.02/64.38	c cleaning 21990 clauses out of 44002 with flag 866157/768236
129.11/66.89	c cleaning 23002 clauses out of 46014 with flag 944135/792238
134.12/69.38	c cleaning 23987 clauses out of 48012 with flag 1027073/817238
135.31/69.94	c And the winner is solver1
135.31/70.37	c Got one! Elapsed wall clock time (in seconds):70.265
135.31/70.37	o 26
136.02/70.72	c cleaning 18623 clauses out of 37246 with flag 19484/830459
136.62/71.07	c cleaning 12297 clauses out of 24623 with flag 41195/836459
137.42/71.40	c cleaning 9650 clauses out of 19326 with flag 68599/843459
138.22/71.89	c cleaning 8832 clauses out of 17676 with flag 94338/851459
139.42/72.44	c cleaning 8917 clauses out of 17844 with flag 122718/860459
140.62/73.01	c cleaning 9449 clauses out of 18927 with flag 153652/870459
141.82/73.66	c cleaning 10239 clauses out of 20478 with flag 191226/881459
143.51/74.49	c cleaning 11108 clauses out of 22242 with flag 230710/893462
145.31/75.36	c cleaning 12062 clauses out of 24132 with flag 272802/906460
147.31/76.32	c cleaning 13023 clauses out of 26069 with flag 322017/920459
149.31/77.34	c cleaning 14025 clauses out of 28049 with flag 374169/935462
151.51/78.44	c cleaning 15000 clauses out of 30021 with flag 428332/951459
153.90/79.69	c cleaning 16007 clauses out of 32021 with flag 478691/968459
156.70/81.09	c cleaning 17008 clauses out of 34015 with flag 538510/986460
159.92/82.66	c cleaning 17995 clauses out of 36007 with flag 597290/1005460
163.39/84.40	c cleaning 19006 clauses out of 38012 with flag 658387/1025460
167.39/86.36	c cleaning 19982 clauses out of 40005 with flag 730685/1046459
171.38/88.37	c cleaning 21013 clauses out of 42026 with flag 800544/1068462
175.58/90.46	c cleaning 21995 clauses out of 44011 with flag 869892/1091460
180.26/92.73	c cleaning 23008 clauses out of 46015 with flag 950650/1115459
181.09/93.11	c cleaning 0 clauses out of 7376 with flag 0/7376
184.89/94.96	c cleaning 23993 clauses out of 48007 with flag 1034420/1140459
189.81/97.31	c cleaning 25003 clauses out of 50014 with flag 1125141/1166459
194.81/99.88	c cleaning 25991 clauses out of 52012 with flag 1215507/1193460
201.50/103.16	c cleaning 27006 clauses out of 54020 with flag 1306900/1221459
207.30/106.08	c cleaning 28006 clauses out of 56016 with flag 1400978/1250461
214.26/109.85	c cleaning 29003 clauses out of 58011 with flag 1500364/1280462
220.83/113.12	c cleaning 30002 clauses out of 60005 with flag 1602773/1311459
227.84/116.68	c cleaning 31002 clauses out of 62003 with flag 1706228/1343459
235.68/120.60	c cleaning 32001 clauses out of 64002 with flag 1801041/1376460
244.87/125.10	c cleaning 32992 clauses out of 66000 with flag 1908558/1410459
253.76/129.56	c cleaning 33999 clauses out of 68008 with flag 2018140/1445459
262.55/133.93	c cleaning 34998 clauses out of 70010 with flag 2140557/1481460
269.87/137.57	c cleaning 35983 clauses out of 72011 with flag 2269794/1518459
278.67/141.98	c cleaning 37008 clauses out of 74028 with flag 2394814/1556459
288.37/146.76	c cleaning 38010 clauses out of 76024 with flag 2525756/1595463
299.76/152.47	c cleaning 38998 clauses out of 78013 with flag 2649450/1635462
303.96/154.53	c And the winner is solver1
303.96/154.84	c Got one! Elapsed wall clock time (in seconds):154.732
303.96/154.84	o 25
304.71/155.25	c cleaning 31434 clauses out of 62872 with flag 18560/1659319
305.49/155.60	c cleaning 18706 clauses out of 37434 with flag 38968/1665315
306.36/156.06	c cleaning 12855 clauses out of 25729 with flag 63272/1672316
307.41/156.51	c cleaning 10436 clauses out of 20874 with flag 89646/1680316
308.41/157.03	c cleaning 9715 clauses out of 19437 with flag 117667/1689315
309.61/157.62	c cleaning 9836 clauses out of 19722 with flag 155375/1699315
311.01/158.36	c cleaning 10440 clauses out of 20887 with flag 192452/1710316
312.61/159.15	c cleaning 11217 clauses out of 22446 with flag 229612/1722315
314.41/160.00	c cleaning 12088 clauses out of 24229 with flag 272323/1735315
316.21/160.94	c cleaning 13058 clauses out of 26143 with flag 321914/1749317
318.41/162.06	c cleaning 14039 clauses out of 28092 with flag 370380/1764324
320.81/163.22	c cleaning 15011 clauses out of 30044 with flag 420386/1780315
323.41/164.55	c cleaning 16010 clauses out of 32033 with flag 473402/1797315
326.21/165.90	c cleaning 17009 clauses out of 34023 with flag 530847/1815315
329.33/167.44	c cleaning 17980 clauses out of 36014 with flag 598866/1834315
332.73/169.18	c cleaning 19013 clauses out of 38034 with flag 663869/1854315
336.53/171.03	c cleaning 20004 clauses out of 40021 with flag 732047/1875315
339.95/172.80	c cleaning 21011 clauses out of 42022 with flag 804204/1897320
344.54/175.08	c cleaning 22002 clauses out of 44006 with flag 871465/1920315
349.22/177.30	c cleaning 23002 clauses out of 46004 with flag 946211/1944315
353.82/179.68	c cleaning 24002 clauses out of 48003 with flag 1033388/1969316
359.42/182.49	c cleaning 25001 clauses out of 50002 with flag 1120182/1995317
365.22/185.33	c cleaning 25990 clauses out of 51999 with flag 1204438/2022315
367.02/186.27	c And the winner is solver1
372.80/191.97	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
372.80/191.97	c starts		: 39841
372.80/191.97	c conflicts		: 2035104
372.80/191.97	c decisions		: 10924990
372.80/191.97	c propagations		: 163381332
372.80/191.97	c inspects		: 2579966070
372.80/191.97	c shortcuts		: 0
372.80/191.97	c learnt literals	: 0
372.80/191.97	c learnt binary clauses	: 0
372.80/191.97	c learnt ternary clauses	: 0
372.80/191.97	c learnt constraints	: 2035104
372.80/191.97	c ignored constraints	: 0
372.80/191.97	c root simplifications	: 0
372.80/191.97	c removed literals (reason simplification)	: 7913875
372.80/191.97	c reason swapping (by a shorter reason)	: 0
372.80/191.97	c Calls to reduceDB	: 121
372.80/191.97	c Number of update (reduction) of LBD	: 836322
372.80/191.97	c Imported unit clauses	: 0
372.80/191.97	c number of reductions to clauses (during analyze)	: 0
372.80/191.97	c number of learned constraints concerned by reduction	: 0
372.80/191.97	c number of learning phase by resolution	: 0
372.80/191.97	c number of learning phase by cutting planes	: 0
372.80/191.97	c speed (assignments/second)	: 4400251.333153783
372.80/191.97	c non guided choices	0
372.80/191.97	c learnt constraints type 
372.80/191.97	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
372.80/191.97	c starts		: 49
372.80/191.97	c conflicts		: 10712
372.80/191.97	c decisions		: 81730
372.80/191.97	c propagations		: 358287
372.80/191.97	c inspects		: 201503756
372.80/191.97	c shortcuts		: 0
372.80/191.97	c learnt literals	: 0
372.80/191.97	c learnt binary clauses	: 0
372.80/191.97	c learnt ternary clauses	: 0
372.80/191.97	c learnt constraints	: 10711
372.80/191.97	c ignored constraints	: 0
372.80/191.97	c root simplifications	: 0
372.80/191.97	c removed literals (reason simplification)	: 0
372.80/191.97	c reason swapping (by a shorter reason)	: 0
372.80/191.97	c Calls to reduceDB	: 1
372.80/191.97	c Number of update (reduction) of LBD	: 0
372.80/191.97	c Imported unit clauses	: 0
372.80/191.97	c number of reductions to clauses (during analyze)	: 0
372.80/191.97	c number of learned constraints concerned by reduction	: 0
372.80/191.97	c number of learning phase by resolution	: 0
372.80/191.97	c number of learning phase by cutting planes	: 0
372.80/191.97	c speed (assignments/second)	: 1894.0348688453528
372.80/191.97	c non guided choices	0
372.80/191.97	c learnt constraints type 
372.80/191.97	s OPTIMUM FOUND
372.80/191.97	c Found 13 solution(s)
372.80/191.97	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 -x371 -x372 
372.80/191.97	c objective function=25
372.80/191.97	c Total wall clock time (in seconds): 191.868

Verifier Data 

OK	25

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

pid=23062
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: 3.88 4.05 4.03 3/185 23065
/proc/meminfo: memFree=31450412/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 1330 0 0 0 0 0 0 0 20 0 2 0 104433372 98635776 960 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 24081 966 734 9 0 16771 0
[pid=23065/tid=23069] ppid=23062 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) R 23062 23065 21426 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 104433373 98570240 977 33554432000 1073741824 1073778376 140736138133488 140334595198504 206629062016 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 3.88 4.05 4.03 3/185 23065
/proc/meminfo: memFree=31450412/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 104433372 9787879424 6129 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2389619 6129 2158 9 0 2380296 0
[pid=23065/tid=23069] ppid=23062 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) R 23062 23065 21426 0 -1 4202560 2388 0 1 0 8 0 0 0 20 0 18 0 104433373 9787879424 6129 33554432000 1073741824 1073778376 140736138133488 140334595203416 206632445197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200372 s]
/proc/loadavg: 3.88 4.05 4.03 3/185 23065
/proc/meminfo: memFree=31450412/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 5037 0 1 0 28 1 0 0 20 0 18 0 104433372 9787879424 7496 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2389619 7496 2219 9 0 2380296 0
[pid=23065/tid=23069] ppid=23062 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) R 23062 23065 21426 0 -1 4202560 2423 0 1 0 17 0 0 0 20 0 18 0 104433373 9787879424 7496 33554432000 1073741824 1073778376 140736138133488 140334595202824 206632445197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300281 s]
/proc/loadavg: 3.88 4.05 4.03 3/185 23065
/proc/meminfo: memFree=31450412/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9691604 CPUtime=0.59 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 7611 0 1 0 57 2 0 0 20 0 20 0 104433372 9924202496 11435 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2422901 11435 2242 9 0 2413578 0
[pid=23065/tid=23069] ppid=23062 vsize=9691604 CPUtime=0.27 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) S 23062 23065 21426 0 -1 4202560 2442 0 1 0 26 1 0 0 20 0 20 0 104433373 9924202496 11435 33554432000 1073741824 1073778376 140736138133488 140334595203960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9691604

[startup+0.7003 s]
/proc/loadavg: 3.88 4.05 4.03 3/185 23065
/proc/meminfo: memFree=31450412/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 8299 0 1 0 66 3 0 0 20 0 19 0 104433372 10060525568 11476 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 11476 2252 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) S 23062 23065 21426 0 -1 4202560 2442 0 1 0 26 1 0 0 20 0 19 0 104433373 10060525568 11476 33554432000 1073741824 1073778376 140736138133488 140334595203960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 3.72 4.02 4.02 1/213 23105
/proc/meminfo: memFree=31353972/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 14518 0 1 0 119 6 0 0 20 0 19 0 104433372 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 17500 2261 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) S 23062 23065 21426 0 -1 4202560 2446 0 1 0 27 2 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334595203960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23071] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23071/stat : 23071 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334438329256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23072] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23072/stat : 23072 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334437276712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23073] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23073/stat : 23073 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334436223656 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23074] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23074/stat : 23074 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334435171112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23075] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23075/stat : 23075 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334434118056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23076] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23076/stat : 23076 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334096968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23077] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104433374 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) R 23062 23065 21426 0 -1 4202560 8134 0 0 0 37 2 0 0 20 0 19 0 104433377 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334078431224 140334598109272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) S 23062 23065 21426 0 -1 4202560 2593 0 0 0 34 0 0 0 20 0 19 0 104433377 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334077401528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23090/stat : 23090 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334076348664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23091] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23091/stat : 23091 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334075296328 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23102] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23102/stat : 23102 (java) S 23062 23065 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104433452 10060525568 17500 33554432000 1073741824 1073778376 140736138133488 140334074143528 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 3.72 4.02 4.02 5/216 23114
/proc/meminfo: memFree=31258276/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=4.33 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 19259 0 1 0 420 13 0 0 20 0 19 0 104433372 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 46619 2291 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) S 23062 23065 21426 0 -1 4202560 2446 0 1 0 27 2 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334595203960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23071] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23071/stat : 23071 (java) S 23062 23065 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334438329256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23072] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23072/stat : 23072 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334437276712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23073] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23073/stat : 23073 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334436223656 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23074] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23074/stat : 23074 (java) S 23062 23065 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334435171112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23075] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23075/stat : 23075 (java) S 23062 23065 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334434118056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23076] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23076/stat : 23076 (java) S 23062 23065 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334096968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23077] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104433373 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104433374 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) S 23062 23065 21426 0 -1 4202560 10958 0 0 0 127 3 0 0 20 0 19 0 104433377 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334078454072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) S 23062 23065 21426 0 -1 4202560 4398 0 0 0 76 0 0 0 20 0 19 0 104433377 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334077401528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23090/stat : 23090 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334076348664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23091] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23091/stat : 23091 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 46619 33554432000 1073741824 1073778376 140736138133488 140334075296328 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9824732

[startup+6.30084 s]
/proc/loadavg: 3.59 3.98 4.01 5/219 23132
/proc/meminfo: memFree=31077456/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=9.68 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 20134 0 1 0 940 28 0 0 20 0 22 0 104433372 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 88566 2293 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) S 23062 23065 21426 0 -1 4202560 2447 0 1 0 27 2 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334595203960 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23071] ppid=23062 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23065/task/23071/stat : 23071 (java) S 23062 23065 21426 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334438329256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23072] ppid=23062 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23065/task/23072/stat : 23072 (java) S 23062 23065 21426 0 -1 4202560 124 0 0 0 4 1 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334437276712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23073] ppid=23062 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23065/task/23073/stat : 23073 (java) S 23062 23065 21426 0 -1 4202560 113 0 0 0 5 0 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334436223656 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23074] ppid=23062 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23065/task/23074/stat : 23074 (java) S 23062 23065 21426 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334435171112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23075] ppid=23062 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23065/task/23075/stat : 23075 (java) S 23062 23065 21426 0 -1 4202560 52 0 0 0 5 1 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334434118056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23076] ppid=23062 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23065/task/23076/stat : 23076 (java) S 23062 23065 21426 0 -1 4202560 111 0 0 0 4 0 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334096968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23077] ppid=23062 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 104433373 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 22 0 104433374 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104433375 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104433375 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104433377 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) S 23062 23065 21426 0 -1 4202560 10980 0 0 0 148 3 0 0 20 0 22 0 104433377 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334078454072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) R 23062 23065 21426 0 -1 4202560 4399 0 0 0 83 0 0 0 20 0 22 0 104433377 10060525568 88566 33554432000 1073741824 1073778376 140736138133488 140334077401408 140334601165888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 353 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 225 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 1539 0 0 0 76 5 0 0 20 0 19 0 104433374 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) S 23062 23065 21426 0 -1 4202560 11715 0 0 0 219 3 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334078454072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) S 23062 23065 21426 0 -1 4202560 5387 0 0 0 95 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334077401528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23090/stat : 23090 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334076348664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23091] ppid=23062 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23065/task/23091/stat : 23091 (java) S 23062 23065 21426 0 -1 4202560 11 0 0 0 1 6 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334075296328 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23120] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23120/stat : 23120 (java) S 23062 23065 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104433653 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334074143656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 371.72
Current children cumulated vsize (KiB) 9824732

[startup+191.601 s]
/proc/loadavg: 3.88 3.97 3.99 4/216 23156
/proc/meminfo: memFree=27488340/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=372.12 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 26702 0 1 0 37056 156 0 0 20 0 19 0 104433372 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 788516 2301 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=5.49 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) R 23062 23065 21426 0 -1 4202560 2451 0 1 0 547 2 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334595201704 140334449563574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23071] ppid=23062 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/23065/task/23071/stat : 23071 (java) S 23062 23065 21426 0 -1 4202560 342 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334438329256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23072] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23072/stat : 23072 (java) S 23062 23065 21426 0 -1 4202560 333 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334437276712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23073] ppid=23062 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/23065/task/23073/stat : 23073 (java) S 23062 23065 21426 0 -1 4202560 322 0 0 0 57 11 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334436223656 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23074] ppid=23062 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/23065/task/23074/stat : 23074 (java) S 23062 23065 21426 0 -1 4202560 253 0 0 0 62 12 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334435171112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23075] ppid=23062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23065/task/23075/stat : 23075 (java) S 23062 23065 21426 0 -1 4202560 325 0 0 0 61 11 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334434118056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23076] ppid=23062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23065/task/23076/stat : 23076 (java) S 23062 23065 21426 0 -1 4202560 378 0 0 0 62 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334096968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23077] ppid=23062 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 353 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 225 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 1539 0 0 0 76 5 0 0 20 0 19 0 104433374 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) S 23062 23065 21426 0 -1 4202560 11715 0 0 0 219 3 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334078454072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) S 23062 23065 21426 0 -1 4202560 5387 0 0 0 95 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334077401528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23090/stat : 23090 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334076348664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23091] ppid=23062 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23065/task/23091/stat : 23091 (java) S 23062 23065 21426 0 -1 4202560 11 0 0 0 1 6 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334075296328 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23120] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23120/stat : 23120 (java) S 23062 23065 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104433653 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334074143656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 372.12
Current children cumulated vsize (KiB) 9824732

[startup+191.801 s]
/proc/loadavg: 3.88 3.97 3.99 4/216 23156
/proc/meminfo: memFree=27488340/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=372.32 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 26702 0 1 0 37076 156 0 0 20 0 19 0 104433372 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 788516 2301 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=5.69 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) R 23062 23065 21426 0 -1 4202560 2451 0 1 0 567 2 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334595201704 140334449563568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23071] ppid=23062 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/23065/task/23071/stat : 23071 (java) S 23062 23065 21426 0 -1 4202560 342 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334438329256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23072] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23072/stat : 23072 (java) S 23062 23065 21426 0 -1 4202560 333 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334437276712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23073] ppid=23062 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/23065/task/23073/stat : 23073 (java) S 23062 23065 21426 0 -1 4202560 322 0 0 0 57 11 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334436223656 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23074] ppid=23062 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/23065/task/23074/stat : 23074 (java) S 23062 23065 21426 0 -1 4202560 253 0 0 0 62 12 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334435171112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23075] ppid=23062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23065/task/23075/stat : 23075 (java) S 23062 23065 21426 0 -1 4202560 325 0 0 0 61 11 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334434118056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23076] ppid=23062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23065/task/23076/stat : 23076 (java) S 23062 23065 21426 0 -1 4202560 378 0 0 0 62 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334096968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23077] ppid=23062 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 353 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 225 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 1539 0 0 0 76 5 0 0 20 0 19 0 104433374 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) S 23062 23065 21426 0 -1 4202560 11715 0 0 0 219 3 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334078454072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) S 23062 23065 21426 0 -1 4202560 5387 0 0 0 95 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334077401528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23090/stat : 23090 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334076348664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23091] ppid=23062 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23065/task/23091/stat : 23091 (java) S 23062 23065 21426 0 -1 4202560 11 0 0 0 1 6 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334075296328 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23120] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23120/stat : 23120 (java) S 23062 23065 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104433653 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334074143656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 372.32
Current children cumulated vsize (KiB) 9824732

[startup+191.901 s]
/proc/loadavg: 3.88 3.97 3.99 4/216 23156
/proc/meminfo: memFree=27488340/32872528 swapFree=12328/568296
[pid=23065] ppid=23062 vsize=9824732 CPUtime=372.42 cores=1,3,5,7
/proc/23065/stat : 23065 (java) S 23062 23065 21426 0 -1 4202496 26703 0 1 0 37086 156 0 0 20 0 19 0 104433372 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140736138124624 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23065/statm: 2456183 788516 2301 9 0 2446860 0
[pid=23065/tid=23069] ppid=23062 vsize=9824732 CPUtime=5.79 cores=1,3,5,7
/proc/23065/task/23069/stat : 23069 (java) R 23062 23065 21426 0 -1 4202560 2452 0 1 0 577 2 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334595201704 140334449563568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23071] ppid=23062 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/23065/task/23071/stat : 23071 (java) S 23062 23065 21426 0 -1 4202560 342 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334438329256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23072] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23072/stat : 23072 (java) S 23062 23065 21426 0 -1 4202560 333 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334437276712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23073] ppid=23062 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/23065/task/23073/stat : 23073 (java) S 23062 23065 21426 0 -1 4202560 322 0 0 0 57 11 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334436223656 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23074] ppid=23062 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/23065/task/23074/stat : 23074 (java) S 23062 23065 21426 0 -1 4202560 253 0 0 0 62 12 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334435171112 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23075] ppid=23062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23065/task/23075/stat : 23075 (java) S 23062 23065 21426 0 -1 4202560 325 0 0 0 61 11 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334434118056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23076] ppid=23062 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23065/task/23076/stat : 23076 (java) S 23062 23065 21426 0 -1 4202560 378 0 0 0 62 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334096968232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23077] ppid=23062 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/23065/task/23077/stat : 23077 (java) S 23062 23065 21426 0 -1 4202560 353 0 0 0 49 9 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334095915176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23078] ppid=23062 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/23065/task/23078/stat : 23078 (java) S 23062 23065 21426 0 -1 4202560 225 0 0 0 60 10 0 0 20 0 19 0 104433373 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334094862632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23079] ppid=23062 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/23065/task/23079/stat : 23079 (java) S 23062 23065 21426 0 -1 4202560 1539 0 0 0 76 5 0 0 20 0 19 0 104433374 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334082665320 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23084] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23084/stat : 23084 (java) S 23062 23065 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334081611640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23086] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23086/stat : 23086 (java) S 23062 23065 21426 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 104433375 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334080558472 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23087] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23087/stat : 23087 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334079507216 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23088] ppid=23062 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/23065/task/23088/stat : 23088 (java) S 23062 23065 21426 0 -1 4202560 11715 0 0 0 219 3 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334078454072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23065/tid=23089] ppid=23062 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/23065/task/23089/stat : 23089 (java) S 23062 23065 21426 0 -1 4202560 5387 0 0 0 95 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334077401528 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23065/tid=23090] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23090/stat : 23090 (java) S 23062 23065 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334076348664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23065/tid=23091] ppid=23062 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/23065/task/23091/stat : 23091 (java) S 23062 23065 21426 0 -1 4202560 11 0 0 0 1 6 0 0 20 0 19 0 104433377 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334075296328 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23065/tid=23120] ppid=23062 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23065/task/23120/stat : 23120 (java) S 23062 23065 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104433653 10060525568 788516 33554432000 1073741824 1073778376 140736138133488 140334074143656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 372.42
Current children cumulated vsize (KiB) 9824732

Child status: 30

# 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.380051
#  lost CPU user time (s): 0.440033
#  lost CPU system time (s): -0.0599999

Real time (s): 191.989
CPU time (s): 372.987
CPU user time (s): 371.306
CPU system time (s): 1.68173
CPU usage (%): 194.275
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.866
system time used= 1.74173
maximum resident set size= 3154084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26715
page faults= 1
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5946
involuntary context switches= 5833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3128 second user time and 1.42678 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-06 16:56:48
IDJOB=4081118
IDBENCH=2040
IDSOLVER=2543
FILE ID=node138/4081118-1465225008
RUNJOBID= node138-1465221375-21443
PBS_JOBID= 19843229
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081118-1465225008/watcher-4081118-1465225008 -o /tmp/evaluation-result-4081118-1465225008/solver-4081118-1465225008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081118-1465225008.opb

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

MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f
RANDOM SEED=1297194099

node138.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.807
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.61
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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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.807
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.807
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.807
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:        31457120 kB
Buffers:           15572 kB
Cached:            84748 kB
SwapCached:        46424 kB
Active:            58788 kB
Inactive:          89624 kB
Active(anon):       3592 kB
Inactive(anon):    47160 kB
Active(file):      55196 kB
Inactive(file):    42464 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053444 kB
Dirty:              2232 kB
Writeback:             0 kB
AnonPages:        571956 kB
Mapped:             8176 kB
Shmem:                 0 kB
Slab:             568272 kB
SReclaimable:      11072 kB
SUnreclaim:       557200 kB
KernelStack:        1432 kB
PageTables:         5156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     680132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node138 at 2016-06-06 17:00:00