Trace number 4101594

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 PB16OPT262858 686.832 347.239

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
MD5SUMf36b59f1fcf0c7e8fce521b6b9823495
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262858
Best CPU time to get the best result obtained on this benchmark140.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262858
Optimality of the best value was proved YES
Number of variables290
Total number of constraints212
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint8
Maximum length of a constraint263
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524422
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4101594-1466215122.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.54/0.30	c ... done. Wall clock time 0.176s.
0.54/0.30	c declared #vars     290
0.54/0.30	c #constraints  247
0.54/0.30	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.54/0.30	c constraints type 
0.54/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 134
0.54/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 109
0.54/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4
0.54/0.30	c 247 constraints processed.
0.54/0.30	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.54/0.30	c constraints type 
0.54/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 134
0.54/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 109
0.54/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4
0.54/0.30	c 247 constraints processed.
0.54/0.30	c objective function length is 31 literals
3.30/1.02	c cleaning 2498 clauses out of 4998 with flag 17209/5000
3.30/1.02	c And the winner is solver0
3.76/1.30	c SATISFIABLE
3.76/1.30	c OPTIMIZING...
3.76/1.30	c Got one! Elapsed wall clock time (in seconds):1.182
3.76/1.30	o 263186
4.56/1.65	c cleaning 3783 clauses out of 7565 with flag 18131/10065
4.56/1.69	c And the winner is solver0
4.86/1.80	c Got one! Elapsed wall clock time (in seconds):1.683
4.86/1.80	o 263051
4.86/1.83	c And the winner is solver1
4.92/2.30	c Got one! Elapsed wall clock time (in seconds):2.184
4.92/2.30	o 263048
5.33/2.54	c And the winner is solver1
5.43/2.81	c Got one! Elapsed wall clock time (in seconds):2.685
5.43/2.81	o 263040
5.62/2.90	c cleaning 5088 clauses out of 10176 with flag 3560/16459
5.62/2.92	c And the winner is solver0
5.70/3.31	c Got one! Elapsed wall clock time (in seconds):3.186
5.70/3.31	o 263039
5.70/3.37	c And the winner is solver1
5.82/3.81	c Got one! Elapsed wall clock time (in seconds):3.687
5.82/3.81	o 263038
5.82/3.87	c And the winner is solver1
5.96/4.31	c Got one! Elapsed wall clock time (in seconds):4.188
5.96/4.31	o 263020
6.16/4.46	c And the winner is solver0
6.30/4.81	c Got one! Elapsed wall clock time (in seconds):4.689
6.30/4.81	o 262983
6.68/5.08	c cleaning 6589 clauses out of 13181 with flag 16344/24552
6.94/5.16	c And the winner is solver1
7.08/5.31	c Got one! Elapsed wall clock time (in seconds):5.189
7.08/5.31	o 262977
7.47/5.54	c And the winner is solver0
7.57/5.81	c Got one! Elapsed wall clock time (in seconds):5.69
7.57/5.81	o 262961
7.57/5.89	c cleaning 6322 clauses out of 12645 with flag 4480/30605
7.73/5.98	c And the winner is solver0
7.93/6.31	c Got one! Elapsed wall clock time (in seconds):6.191
7.93/6.31	o 262960
8.10/6.49	c And the winner is solver0
8.32/6.81	c Got one! Elapsed wall clock time (in seconds):6.692
8.32/6.81	o 262925
8.49/6.93	c cleaning 6051 clauses out of 12103 with flag 8793/36385
8.71/7.00	c And the winner is solver1
8.74/7.31	c Got one! Elapsed wall clock time (in seconds):7.193
8.74/7.31	o 262906
9.11/7.54	c cleaning 5774 clauses out of 11547 with flag 17514/41880
9.11/7.55	c And the winner is solver0
9.25/7.81	c Got one! Elapsed wall clock time (in seconds):7.694
9.25/7.81	o 262863
9.87/8.14	c cleaning 5522 clauses out of 11043 with flag 19867/47150
10.68/8.53	c cleaning 5759 clauses out of 11519 with flag 44157/53148
11.49/8.96	c cleaning 6380 clauses out of 12760 with flag 72619/60148
12.48/9.49	c cleaning 7189 clauses out of 14381 with flag 104848/68149
14.17/10.21	c cleaning 8089 clauses out of 16192 with flag 143841/77149
15.79/11.02	c cleaning 9039 clauses out of 18102 with flag 191943/87148
17.64/11.93	c cleaning 10030 clauses out of 20063 with flag 241918/98148
19.44/12.87	c cleaning 11014 clauses out of 22034 with flag 300866/110149
21.64/13.90	c cleaning 12005 clauses out of 24019 with flag 368265/123148
23.91/15.08	c cleaning 13007 clauses out of 26015 with flag 441938/137149
26.31/16.26	c cleaning 13998 clauses out of 28008 with flag 516432/152149
29.22/17.66	c cleaning 14997 clauses out of 30009 with flag 604298/168148
29.80/17.91	c And the winner is solver0
29.87/18.33	c Got one! Elapsed wall clock time (in seconds):18.207
29.87/18.33	o 262862
30.21/18.52	c cleaning 10154 clauses out of 20321 with flag 10313/173457
31.01/18.97	c cleaning 8073 clauses out of 16165 with flag 40077/179455
32.03/19.50	c cleaning 7538 clauses out of 15094 with flag 77879/186457
33.24/20.02	c cleaning 7773 clauses out of 15554 with flag 117678/194455
34.64/20.72	c cleaning 8384 clauses out of 16782 with flag 165543/203456
36.04/21.49	c cleaning 9196 clauses out of 18397 with flag 212130/213455
38.04/22.44	c cleaning 10095 clauses out of 20201 with flag 269174/224455
40.13/23.49	c cleaning 11050 clauses out of 22106 with flag 339599/236455
42.32/24.59	c cleaning 12022 clauses out of 24056 with flag 416324/249455
43.72/25.25	c And the winner is solver0
43.88/25.33	c Got one! Elapsed wall clock time (in seconds):25.209
43.88/25.33	o 262861
44.61/25.73	c cleaning 12173 clauses out of 24362 with flag 27076/261783
45.61/26.26	c cleaning 9090 clauses out of 18190 with flag 60022/267784
46.81/26.85	c cleaning 8039 clauses out of 16100 with flag 98166/274784
48.01/27.41	c cleaning 8025 clauses out of 16060 with flag 139909/282783
49.26/28.08	c cleaning 8517 clauses out of 17036 with flag 186535/291784
50.85/28.87	c cleaning 9250 clauses out of 18519 with flag 241688/301784
52.66/29.78	c cleaning 10135 clauses out of 20270 with flag 303191/312785
54.25/30.54	c And the winner is solver0
54.38/30.83	c Got one! Elapsed wall clock time (in seconds):30.711
54.38/30.83	o 262859
55.13/31.22	c cleaning 12107 clauses out of 24220 with flag 28497/326870
55.93/31.69	c cleaning 9047 clauses out of 18112 with flag 58838/332869
56.93/32.19	c cleaning 8028 clauses out of 16066 with flag 94718/339870
57.94/32.67	c cleaning 8016 clauses out of 16038 with flag 132039/347870
59.34/33.35	c cleaning 8506 clauses out of 17021 with flag 179043/356869
60.74/34.10	c cleaning 9255 clauses out of 18517 with flag 227272/366871
62.54/34.91	c cleaning 10128 clauses out of 20260 with flag 283160/377869
64.80/36.00	c cleaning 11065 clauses out of 22132 with flag 347923/389869
67.19/37.25	c cleaning 12029 clauses out of 24067 with flag 435628/402869
69.81/38.58	c cleaning 13014 clauses out of 26040 with flag 526246/416871
72.21/39.77	c cleaning 14005 clauses out of 28025 with flag 611237/431870
74.79/41.06	c cleaning 15007 clauses out of 30019 with flag 704226/447869
77.79/42.56	c cleaning 16004 clauses out of 32013 with flag 802627/464870
81.48/44.30	c cleaning 16996 clauses out of 34008 with flag 898425/482869
81.48/44.31	c And the winner is solver0
81.48/44.38	c Got one! Elapsed wall clock time (in seconds):44.264
81.48/44.38	o 262858
82.22/44.75	c cleaning 11033 clauses out of 22083 with flag 27861/487940
83.23/45.22	c cleaning 8513 clauses out of 17049 with flag 61403/493939
84.22/45.72	c cleaning 7733 clauses out of 15537 with flag 98230/500940
85.43/46.33	c cleaning 7898 clauses out of 15804 with flag 139881/508940
86.62/46.95	c cleaning 8449 clauses out of 16905 with flag 184269/517939
88.02/47.64	c cleaning 9220 clauses out of 18456 with flag 231519/527939
89.63/48.46	c cleaning 10105 clauses out of 20237 with flag 291255/538940
91.62/49.40	c cleaning 11058 clauses out of 22131 with flag 355858/550939
93.61/50.44	c cleaning 12032 clauses out of 24073 with flag 422951/563939
95.81/51.58	c cleaning 13018 clauses out of 26043 with flag 495404/577941
98.69/52.97	c cleaning 14012 clauses out of 28023 with flag 569881/592939
101.28/54.26	c cleaning 15001 clauses out of 30011 with flag 650286/608939
104.28/55.73	c cleaning 15997 clauses out of 32010 with flag 750550/625939
107.08/57.20	c cleaning 17005 clauses out of 34013 with flag 850763/643939
110.28/58.76	c cleaning 17996 clauses out of 36008 with flag 949291/662939
113.96/60.53	c cleaning 19006 clauses out of 38016 with flag 1058761/682943
117.95/62.54	c cleaning 19998 clauses out of 40006 with flag 1178009/703939
121.95/64.50	c cleaning 20991 clauses out of 42008 with flag 1295831/725939
126.35/66.75	c cleaning 22008 clauses out of 44019 with flag 1429972/748941
131.21/69.10	c cleaning 22995 clauses out of 46009 with flag 1575666/772939
136.61/71.82	c cleaning 24004 clauses out of 48015 with flag 1734703/797940
142.21/74.60	c cleaning 24999 clauses out of 50012 with flag 1892979/823941
147.85/77.40	c cleaning 26004 clauses out of 52012 with flag 2063665/850940
154.06/80.50	c cleaning 27002 clauses out of 54007 with flag 2231236/878939
160.32/83.68	c cleaning 27998 clauses out of 56005 with flag 2416060/907939
166.92/86.93	c cleaning 28997 clauses out of 58007 with flag 2614327/937939
174.18/90.53	c cleaning 30004 clauses out of 60011 with flag 2802196/968940
181.57/94.25	c cleaning 30995 clauses out of 62006 with flag 3012601/1000939
189.63/98.26	c cleaning 32001 clauses out of 64011 with flag 3224569/1033939
198.67/102.71	c cleaning 33005 clauses out of 66010 with flag 3459410/1067939
207.27/107.05	c cleaning 34003 clauses out of 68006 with flag 3679492/1102940
216.51/111.69	c cleaning 35002 clauses out of 70004 with flag 3952139/1138941
225.96/116.34	c cleaning 35990 clauses out of 72003 with flag 4203659/1175942
235.02/120.88	c cleaning 37002 clauses out of 74011 with flag 4445886/1213941
246.26/126.41	c cleaning 38004 clauses out of 76007 with flag 4759805/1252939
257.92/132.22	c cleaning 38999 clauses out of 78004 with flag 5044041/1292941
269.39/137.90	c cleaning 39997 clauses out of 80004 with flag 5329496/1333940
280.85/143.66	c cleaning 40994 clauses out of 82006 with flag 5629970/1375939
292.28/149.30	c cleaning 41999 clauses out of 84013 with flag 5929031/1418940
305.33/155.82	c cleaning 42997 clauses out of 86013 with flag 6241483/1462939
318.99/162.62	c cleaning 44006 clauses out of 88017 with flag 6577253/1507940
332.00/169.12	c cleaning 45000 clauses out of 90010 with flag 6938034/1553939
346.28/176.21	c cleaning 46001 clauses out of 92010 with flag 7264252/1600939
361.53/184.15	c cleaning 46999 clauses out of 94009 with flag 7609426/1648939
376.39/191.59	c cleaning 47999 clauses out of 96011 with flag 7977369/1697940
392.05/199.35	c cleaning 49000 clauses out of 98013 with flag 8344880/1747941
408.34/207.40	c cleaning 49997 clauses out of 100011 with flag 8725260/1798939
425.05/215.75	c cleaning 51003 clauses out of 102014 with flag 9126154/1850939
442.49/224.47	c cleaning 52000 clauses out of 104011 with flag 9538004/1903939
461.55/233.91	c cleaning 52995 clauses out of 106012 with flag 9973450/1957940
477.03/241.65	c cleaning 0 clauses out of 7343 with flag 0/7349
480.32/243.20	c cleaning 54005 clauses out of 108016 with flag 10395086/2012939
500.58/253.20	c cleaning 55003 clauses out of 110012 with flag 10860711/2068941
520.97/263.34	c cleaning 56002 clauses out of 112007 with flag 11306703/2125941
542.70/274.17	c cleaning 56988 clauses out of 114002 with flag 11798798/2183939
564.15/284.87	c cleaning 58004 clauses out of 116014 with flag 12304751/2242939
587.26/296.32	c cleaning 59001 clauses out of 118011 with flag 12852830/2302940
609.95/307.70	c cleaning 59997 clauses out of 120010 with flag 13380245/2363941
633.83/319.54	c cleaning 61004 clauses out of 122010 with flag 13949009/2425940
658.35/331.70	c cleaning 61993 clauses out of 124001 with flag 14497765/2488939
683.50/344.25	c And the winner is solver0
686.62/347.22	c >>>>>>>>>> Solver number 0 (13 answers) <<<<<<<<<<<<<<<<<<
686.62/347.22	c starts		: 11736
686.62/347.22	c conflicts		: 2549299
686.62/347.22	c decisions		: 3734687
686.62/347.22	c propagations		: 53375610
686.62/347.22	c inspects		: 3610404412
686.62/347.22	c shortcuts		: 0
686.62/347.22	c learnt literals	: 32
686.62/347.22	c learnt binary clauses	: 989
686.62/347.22	c learnt ternary clauses	: 3632
686.62/347.22	c learnt constraints	: 2549266
686.62/347.22	c ignored constraints	: 0
686.62/347.22	c root simplifications	: 0
686.62/347.22	c removed literals (reason simplification)	: 73726907
686.62/347.22	c reason swapping (by a shorter reason)	: 0
686.62/347.22	c Calls to reduceDB	: 108
686.62/347.22	c Number of update (reduction) of LBD	: 803259
686.62/347.22	c Imported unit clauses	: 0
686.62/347.22	c number of reductions to clauses (during analyze)	: 0
686.62/347.22	c number of learned constraints concerned by reduction	: 0
686.62/347.22	c number of learning phase by resolution	: 0
686.62/347.22	c number of learning phase by cutting planes	: 0
686.62/347.22	c speed (assignments/second)	: 157030.04056992062
686.62/347.22	c non guided choices	1807
686.62/347.22	c learnt constraints type 
686.62/347.22	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
686.62/347.22	c starts		: 61
686.62/347.22	c conflicts		: 8546
686.62/347.22	c decisions		: 19386
686.62/347.22	c propagations		: 242420
686.62/347.22	c inspects		: 294179663
686.62/347.22	c shortcuts		: 0
686.62/347.22	c learnt literals	: 0
686.62/347.22	c learnt binary clauses	: 0
686.62/347.22	c learnt ternary clauses	: 0
686.62/347.22	c learnt constraints	: 8539
686.62/347.22	c ignored constraints	: 0
686.62/347.22	c root simplifications	: 0
686.62/347.22	c removed literals (reason simplification)	: 0
686.62/347.22	c reason swapping (by a shorter reason)	: 0
686.62/347.22	c Calls to reduceDB	: 1
686.62/347.22	c Number of update (reduction) of LBD	: 0
686.62/347.22	c Imported unit clauses	: 0
686.62/347.22	c number of reductions to clauses (during analyze)	: 0
686.62/347.22	c number of learned constraints concerned by reduction	: 0
686.62/347.22	c number of learning phase by resolution	: 0
686.62/347.22	c number of learning phase by cutting planes	: 0
686.62/347.22	c speed (assignments/second)	: 800.5204274373573
686.62/347.22	c non guided choices	0
686.62/347.22	c learnt constraints type 
686.62/347.22	s OPTIMUM FOUND
686.62/347.22	c Found 18 solution(s)
686.62/347.22	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 
686.62/347.22	c objective function=262858
686.62/347.22	c Total wall clock time (in seconds): 347.103

Verifier Data 

OK	262858

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

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

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


[startup+0 s]
/proc/loadavg: 4.08 4.14 4.15 4/197 27521
/proc/meminfo: memFree=28156452/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/27521/stat : 27521 (java) R 27518 27521 22589 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 23557659 3653632 49 33554432000 1073741824 1073778376 140734681622736 140734681619864 211449638183 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 1408 52 41 9 0 30 0

[startup+0.100094 s]
/proc/loadavg: 4.08 4.14 4.15 4/197 27521
/proc/meminfo: memFree=28156452/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 23557659 9787879424 6041 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2389619 6041 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200284 s]
/proc/loadavg: 4.08 4.14 4.15 4/197 27521
/proc/meminfo: memFree=28156452/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 4686 0 1 0 23 1 0 0 20 0 18 0 23557659 9787879424 7305 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2389619 7305 2205 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 4.08 4.14 4.15 4/197 27521
/proc/meminfo: memFree=28156452/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 7542 0 1 0 52 2 0 0 20 0 18 0 23557659 9787879424 9723 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2389619 9723 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700155 s]
/proc/loadavg: 4.08 4.14 4.15 4/197 27521
/proc/meminfo: memFree=28156452/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 17046 0 1 0 206 4 0 0 20 0 22 0 23557659 10060525568 20351 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 20351 2258 9 0 2446860 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 4.23 4.17 4.16 4/216 27543
/proc/meminfo: memFree=28053752/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 20812 0 1 0 428 7 0 0 20 0 22 0 23557659 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 37984 2272 9 0 2446860 0
[pid=27521/tid=27523] ppid=27518 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/27521/task/27523/stat : 27523 (java) S 27518 27521 22589 0 -1 4202560 2421 0 1 0 25 2 0 0 20 0 22 0 23557660 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679136150392 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27524] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27524/stat : 27524 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679125212072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27525] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27525/stat : 27525 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679124159528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23557661 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23557662 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23557662 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23557662 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557665 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 8089 0 0 0 123 1 0 0 20 0 22 0 23557665 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8923 0 0 0 95 1 0 0 20 0 22 0 23557665 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557665 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23557665 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27543] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27543/stat : 27543 (java) S 27518 27521 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23557690 10060525568 37984 33554432000 1073741824 1073778376 140734681622736 139678948390312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.23 4.17 4.16 3/216 27549
/proc/meminfo: memFree=27975252/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=5.7 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 20911 0 1 0 552 18 0 0 20 0 19 0 23557659 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 50292 2285 9 0 2446860 0
[pid=27521/tid=27523] ppid=27518 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/27521/task/27523/stat : 27523 (java) S 27518 27521 22589 0 -1 4202560 2422 0 1 0 25 2 0 0 20 0 19 0 23557660 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679136150392 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27524] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27524/stat : 27524 (java) S 27518 27521 22589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679125212072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27525] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27525/stat : 27525 (java) S 27518 27521 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679124159528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 8089 0 0 0 130 1 0 0 20 0 19 0 23557665 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8924 0 0 0 100 1 0 0 20 0 19 0 23557665 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 50292 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 9824732

[startup+6.30082 s]
/proc/loadavg: 4.23 4.17 4.16 5/219 27570
/proc/meminfo: memFree=27890176/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=7.93 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 21099 0 1 0 760 33 0 0 20 0 19 0 23557659 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 67711 2286 9 0 2446860 0
[pid=27521/tid=27523] ppid=27518 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/27521/task/27523/stat : 27523 (java) S 27518 27521 22589 0 -1 4202560 2423 0 1 0 26 2 0 0 20 0 19 0 23557660 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679136150392 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27524] ppid=27518 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27521/task/27524/stat : 27524 (java) S 27518 27521 22589 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679125212072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27525] ppid=27518 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/27521/task/27525/stat : 27525 (java) S 27518 27521 22589 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679124159528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 23557661 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 8095 0 0 0 134 2 0 0 20 0 19 0 23557665 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8924 0 0 0 101 1 0 0 20 0 19 0 23557665 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27570] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27570/stat : 27570 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23558190 10060525568 67711 33554432000 1073741824 1073778376 140734681622736 139678951547688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 9824732

[startup+12.701 s]
/proc/loadavg: 4.20 4.16 4.15 5/219 27585

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

[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 349 0 0 0 97 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 392 0 0 0 101 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 314 0 0 0 83 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 274 0 0 0 80 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 316 0 0 0 92 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 280 0 0 0 92 6 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 1416 0 0 0 67 9 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 9093 0 0 0 169 2 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8935 0 0 0 123 1 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 21 0 0 0 6 7 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27582] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27582/stat : 27582 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23558391 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678951548200 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 685.01
Current children cumulated vsize (KiB) 9824732

[startup+346.401 s]
/proc/loadavg: 4.11 4.12 4.13 4/216 27770
/proc/meminfo: memFree=24967768/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=685.81 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 27734 0 1 0 68415 166 0 0 20 0 19 0 23557659 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 660628 2294 9 0 2446860 0
[pid=27521/tid=27523] ppid=27518 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/27521/task/27523/stat : 27523 (java) R 27518 27521 22589 0 -1 4202560 2428 0 1 0 206 2 0 0 20 0 19 0 23557660 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679136147984 139678997288898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27524] ppid=27518 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/27521/task/27524/stat : 27524 (java) S 27518 27521 22589 0 -1 4202560 371 0 0 0 85 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679125212072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27525] ppid=27518 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/27521/task/27525/stat : 27525 (java) S 27518 27521 22589 0 -1 4202560 473 0 0 0 95 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679124159528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 349 0 0 0 97 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 392 0 0 0 101 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 314 0 0 0 83 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 274 0 0 0 80 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 316 0 0 0 92 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 280 0 0 0 92 6 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 1416 0 0 0 67 9 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 9093 0 0 0 169 2 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8935 0 0 0 123 1 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 21 0 0 0 6 7 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27582] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27582/stat : 27582 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23558391 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678951548200 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 685.81
Current children cumulated vsize (KiB) 9824732

[startup+346.801 s]
/proc/loadavg: 4.02 4.10 4.13 4/216 27770
/proc/meminfo: memFree=24967768/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=686.22 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 27734 0 1 0 68456 166 0 0 20 0 19 0 23557659 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 660628 2294 9 0 2446860 0
[pid=27521/tid=27523] ppid=27518 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/27521/task/27523/stat : 27523 (java) R 27518 27521 22589 0 -1 4202560 2428 0 1 0 246 2 0 0 20 0 19 0 23557660 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679136150000 139678998492752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27524] ppid=27518 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/27521/task/27524/stat : 27524 (java) S 27518 27521 22589 0 -1 4202560 371 0 0 0 85 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679125212072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27525] ppid=27518 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/27521/task/27525/stat : 27525 (java) S 27518 27521 22589 0 -1 4202560 473 0 0 0 95 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679124159528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 349 0 0 0 97 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 392 0 0 0 101 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 314 0 0 0 83 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 274 0 0 0 80 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 316 0 0 0 92 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 280 0 0 0 92 6 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 1416 0 0 0 67 9 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 9093 0 0 0 169 2 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8935 0 0 0 123 1 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 21 0 0 0 6 7 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27582] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27582/stat : 27582 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23558391 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678951548200 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 686.22
Current children cumulated vsize (KiB) 9824732

[startup+347.201 s]
/proc/loadavg: 4.02 4.10 4.13 4/216 27770
/proc/meminfo: memFree=24967768/32872528 swapFree=496868/529572
[pid=27521] ppid=27518 vsize=9824732 CPUtime=686.62 cores=0,2,4,6
/proc/27521/stat : 27521 (java) S 27518 27521 22589 0 -1 4202496 27734 0 1 0 68496 166 0 0 20 0 19 0 23557659 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 140734681613872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27521/statm: 2456183 660628 2294 9 0 2446860 0
[pid=27521/tid=27523] ppid=27518 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/27521/task/27523/stat : 27523 (java) R 27518 27521 22589 0 -1 4202560 2428 0 1 0 286 2 0 0 20 0 19 0 23557660 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679136150000 139678997288886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27524] ppid=27518 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/27521/task/27524/stat : 27524 (java) S 27518 27521 22589 0 -1 4202560 371 0 0 0 85 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679125212072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27525] ppid=27518 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/27521/task/27525/stat : 27525 (java) S 27518 27521 22589 0 -1 4202560 473 0 0 0 95 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679124159528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27526] ppid=27518 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/27521/task/27526/stat : 27526 (java) S 27518 27521 22589 0 -1 4202560 349 0 0 0 97 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679123106472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27527] ppid=27518 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/27521/task/27527/stat : 27527 (java) S 27518 27521 22589 0 -1 4202560 392 0 0 0 101 10 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679122053928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27528] ppid=27518 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/27521/task/27528/stat : 27528 (java) S 27518 27521 22589 0 -1 4202560 314 0 0 0 83 9 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679121000872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27521/tid=27529] ppid=27518 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/27521/task/27529/stat : 27529 (java) S 27518 27521 22589 0 -1 4202560 274 0 0 0 80 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679119948328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27530] ppid=27518 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/27521/task/27530/stat : 27530 (java) S 27518 27521 22589 0 -1 4202560 316 0 0 0 92 8 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679118895272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27531] ppid=27518 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/27521/task/27531/stat : 27531 (java) S 27518 27521 22589 0 -1 4202560 280 0 0 0 92 6 0 0 20 0 19 0 23557661 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139679117842728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27532] ppid=27518 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/27521/task/27532/stat : 27532 (java) S 27518 27521 22589 0 -1 4202560 1416 0 0 0 67 9 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678959971176 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27533] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27533/stat : 27533 (java) S 27518 27521 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678958917496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27534] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27534/stat : 27534 (java) S 27518 27521 22589 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 23557662 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678957864328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27535] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27535/stat : 27535 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678956813072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27521/tid=27536] ppid=27518 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/27521/task/27536/stat : 27536 (java) S 27518 27521 22589 0 -1 4202560 9093 0 0 0 169 2 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678955759928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27537] ppid=27518 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/27521/task/27537/stat : 27537 (java) S 27518 27521 22589 0 -1 4202560 8935 0 0 0 123 1 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678954707384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27538] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27538/stat : 27538 (java) S 27518 27521 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678953654520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27521/tid=27539] ppid=27518 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/27521/task/27539/stat : 27539 (java) S 27518 27521 22589 0 -1 4202560 21 0 0 0 6 7 0 0 20 0 19 0 23557665 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678952602184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27521/tid=27582] ppid=27518 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27521/task/27582/stat : 27582 (java) S 27518 27521 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23558391 10060525568 660628 33554432000 1073741824 1073778376 140734681622736 139678951548200 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 686.62
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 347.239
CPU time (s): 686.832
CPU user time (s): 684.969
CPU system time (s): 1.86272
CPU usage (%): 197.798
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 684.969
system time used= 1.86272
maximum resident set size= 2919448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27741
page faults= 1
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11374
involuntary context switches= 14859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.00569 second user time and 3.01254 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 03:58:42
IDJOB=4101594
IDBENCH=1770
IDSOLVER=2543
FILE ID=node141/4101594-1466215122
RUNJOBID= node141-1466206051-22605
PBS_JOBID= 19918136
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101594-1466215122/watcher-4101594-1466215122 -o /tmp/evaluation-result-4101594-1466215122/solver-4101594-1466215122 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22605 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101594-1466215122.opb

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

MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495
RANDOM SEED=675414437

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28157508 kB
Buffers:           91036 kB
Cached:            87584 kB
SwapCached:         2524 kB
Active:          3316308 kB
Inactive:         120820 kB
Active(anon):    3258892 kB
Inactive(anon):     2020 kB
Active(file):      57416 kB
Inactive(file):   118800 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099064 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:       3731008 kB
Mapped:            15436 kB
Shmem:                 0 kB
Slab:             602736 kB
SReclaimable:      46516 kB
SUnreclaim:       556220 kB
KernelStack:        1808 kB
PageTables:        11776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4308444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3178496 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= 71728 MiB
End job on node141 at 2016-06-18 04:04:30