Trace number 4118095

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 PB16OPT-1952753 389.506 205.03

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0234-0234.opb
MD5SUMc3b9816e5d84e5f10f8eef5e69f7d592
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1952753
Best CPU time to get the best result obtained on this benchmark137.243
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72
Total number of constraints24
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 180
Biggest coefficient in the objective function 313633
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 15282558
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 313633
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 15282558
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)180
Sum of products size (including duplicates)360
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.09/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.11	c java.vm.version	19.1-b02
0.09/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		1.6.0_24
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.11	c Free memory 		501472288
0.09/0.11	c Max memory 		7480803328
0.09/0.11	c Total memory 		504102912
0.09/0.11	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@5d764be1
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@9f436f5
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@4413ee
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@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118095-1467220953.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.17	c ... done. Wall clock time 0.047s.
0.09/0.17	c declared #vars     72
0.09/0.17	c internal #vars     252
0.09/0.17	c #constraints  408
0.09/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 204
0.09/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 180
0.09/0.17	c 408 constraints processed.
0.09/0.17	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 204
0.09/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 180
0.09/0.17	c 408 constraints processed.
0.09/0.17	c objective function length is 180 literals
0.09/0.18	c And the winner is solver0
0.18/0.67	c SATISFIABLE
0.18/0.67	c OPTIMIZING...
0.18/0.67	c Got one! Elapsed wall clock time (in seconds):0.551
0.18/0.67	o -1690633
0.18/0.68	c And the winner is solver0
0.18/1.17	c Got one! Elapsed wall clock time (in seconds):1.055
0.18/1.17	o -1712040
0.18/1.18	c And the winner is solver0
0.23/1.68	c Got one! Elapsed wall clock time (in seconds):1.558
0.23/1.68	o -1742805
0.23/1.68	c And the winner is solver0
0.27/2.18	c Got one! Elapsed wall clock time (in seconds):2.061
0.27/2.18	o -1773369
2.69/2.86	c And the winner is solver1
2.69/2.88	c cleaning 2502 clauses out of 5011 with flag 11340/5011
3.33/3.18	c Got one! Elapsed wall clock time (in seconds):3.063
3.33/3.18	o -1774941
3.81/3.49	c cleaning 3754 clauses out of 7509 with flag 11784/10011
4.69/3.87	c cleaning 4875 clauses out of 9756 with flag 26582/16012
5.78/4.38	c cleaning 5936 clauses out of 11880 with flag 42297/23011
7.27/5.00	c cleaning 6970 clauses out of 13944 with flag 60855/31011
8.71/5.78	c cleaning 7987 clauses out of 15974 with flag 81077/40011
10.56/6.67	c cleaning 8994 clauses out of 17989 with flag 103066/50013
12.76/7.72	c cleaning 9997 clauses out of 19996 with flag 126647/61014
14.54/8.67	c cleaning 10998 clauses out of 21996 with flag 152784/73011
16.94/9.84	c cleaning 11999 clauses out of 23999 with flag 181032/86012
19.73/11.26	c cleaning 13000 clauses out of 26000 with flag 211041/100012
23.19/12.91	c cleaning 13994 clauses out of 27999 with flag 243537/115011
26.39/14.50	c cleaning 14995 clauses out of 30006 with flag 278324/131012
30.47/16.57	c cleaning 16002 clauses out of 32010 with flag 317534/148011
35.85/19.28	c cleaning 17004 clauses out of 34012 with flag 362025/166015
42.74/22.64	c cleaning 17993 clauses out of 36004 with flag 408603/185011
50.00/26.29	c cleaning 19005 clauses out of 38011 with flag 462393/205011
55.59/29.06	c cleaning 20001 clauses out of 40007 with flag 512812/226012
61.61/32.05	c cleaning 20999 clauses out of 42005 with flag 565549/248011
69.28/35.85	c cleaning 22003 clauses out of 44006 with flag 623297/271011
76.67/39.59	c cleaning 22996 clauses out of 46003 with flag 683648/295011
79.28/40.87	c And the winner is solver0
79.66/41.19	c Got one! Elapsed wall clock time (in seconds):41.071
79.66/41.19	o -1802410
81.53/42.12	c cleaning 19555 clauses out of 39110 with flag 11519/311114
82.73/42.71	c cleaning 12778 clauses out of 25555 with flag 24294/317114
83.93/43.36	c cleaning 9889 clauses out of 19778 with flag 39258/324115
85.34/44.02	c cleaning 8941 clauses out of 17893 with flag 56661/332119
86.93/44.82	c cleaning 8972 clauses out of 17949 with flag 76260/341116
88.79/45.70	c cleaning 9479 clauses out of 18976 with flag 97992/351115
90.59/46.63	c cleaning 10247 clauses out of 20498 with flag 121842/362116
91.19/46.98	c And the winner is solver0
91.57/47.24	c Got one! Elapsed wall clock time (in seconds):47.124
91.57/47.24	o -1802670
92.49/47.73	c cleaning 10170 clauses out of 20346 with flag 12034/372211
93.49/48.21	c cleaning 8088 clauses out of 16177 with flag 26336/378212
94.69/48.81	c cleaning 7544 clauses out of 15089 with flag 44356/385212
95.88/49.47	c cleaning 7772 clauses out of 15547 with flag 62135/393214
96.49/49.78	c And the winner is solver0
96.74/50.24	c Got one! Elapsed wall clock time (in seconds):50.126
96.74/50.24	o -1806116
96.84/50.32	c cleaning 6858 clauses out of 13729 with flag 2307/399168
97.46/50.67	c cleaning 6430 clauses out of 12870 with flag 16277/405167
98.44/51.15	c cleaning 6718 clauses out of 13440 with flag 37075/412167
99.44/51.67	c cleaning 7359 clauses out of 14721 with flag 61063/420166
100.85/52.32	c cleaning 8180 clauses out of 16363 with flag 88105/429167
102.24/53.05	c cleaning 9090 clauses out of 18183 with flag 117587/439167
104.12/53.93	c cleaning 10040 clauses out of 20092 with flag 149022/450166
105.91/54.86	c cleaning 11019 clauses out of 22052 with flag 182992/462166
107.91/55.83	c cleaning 12015 clauses out of 24033 with flag 214797/475166
110.72/57.28	c cleaning 13011 clauses out of 26021 with flag 249221/489169
113.91/58.89	c cleaning 14004 clauses out of 28011 with flag 286240/504170
117.32/60.57	c cleaning 15000 clauses out of 30004 with flag 328677/520167
120.91/62.34	c cleaning 15999 clauses out of 32004 with flag 369773/537167
124.91/64.34	c cleaning 17002 clauses out of 34004 with flag 411247/555166
130.31/67.07	c cleaning 18002 clauses out of 36004 with flag 462552/574168
135.13/69.49	c cleaning 18997 clauses out of 38000 with flag 523837/594166
139.91/71.86	c cleaning 20002 clauses out of 40003 with flag 582766/615166
146.71/75.22	c cleaning 21002 clauses out of 42004 with flag 640150/637169
151.31/77.51	c And the winner is solver0
153.72/79.95	c Got one! Elapsed wall clock time (in seconds):79.836
153.72/79.95	o -1834499
153.72/79.96	c And the winner is solver0
153.77/80.46	c Got one! Elapsed wall clock time (in seconds):80.338
153.77/80.46	o -1879119
153.77/80.46	c And the winner is solver0
153.79/80.96	c Got one! Elapsed wall clock time (in seconds):80.84
153.79/80.96	o -1879696
153.79/80.98	c And the winner is solver0
153.88/81.46	c Got one! Elapsed wall clock time (in seconds):81.341
153.88/81.46	o -1889664
153.88/81.46	c And the winner is solver0
154.02/81.96	c Got one! Elapsed wall clock time (in seconds):81.843
154.02/81.96	o -1913220
154.02/81.96	c And the winner is solver0
154.04/82.46	c Got one! Elapsed wall clock time (in seconds):82.345
154.04/82.46	o -1913774
155.31/83.19	c cleaning 21301 clauses out of 42605 with flag 11564/658772
156.70/83.80	c cleaning 13652 clauses out of 27304 with flag 25057/664772
157.90/84.44	c cleaning 10326 clauses out of 20656 with flag 40056/671776
159.10/85.03	c cleaning 9162 clauses out of 18324 with flag 57172/679770
160.50/85.73	c cleaning 9081 clauses out of 18165 with flag 85816/688773
162.10/86.52	c cleaning 9540 clauses out of 19083 with flag 117197/698772
163.70/87.37	c cleaning 10266 clauses out of 20542 with flag 152290/709771
165.70/88.34	c cleaning 11138 clauses out of 22275 with flag 183823/721770
168.19/89.51	c cleaning 12068 clauses out of 24139 with flag 215170/734772
170.99/90.90	c cleaning 13033 clauses out of 26071 with flag 251731/748772
174.00/92.49	c cleaning 14013 clauses out of 28036 with flag 290453/763770
176.78/93.89	c cleaning 15010 clauses out of 30025 with flag 328474/779772
180.98/95.93	c cleaning 16001 clauses out of 32013 with flag 374925/796770
185.00/97.96	c cleaning 16999 clauses out of 34012 with flag 419685/814770
189.39/100.13	c cleaning 18004 clauses out of 36016 with flag 467316/833773
194.18/102.55	c cleaning 19002 clauses out of 38009 with flag 515299/853770
199.58/105.20	c cleaning 20003 clauses out of 40010 with flag 563757/874773
205.38/108.13	c cleaning 20999 clauses out of 42004 with flag 615588/896770
210.98/110.95	c cleaning 21999 clauses out of 44006 with flag 668380/919771
217.99/114.42	c cleaning 23003 clauses out of 46006 with flag 727985/943770
225.17/118.00	c cleaning 23996 clauses out of 48003 with flag 786179/968770
232.17/121.58	c cleaning 25007 clauses out of 50013 with flag 849754/994776
239.78/125.39	c cleaning 26000 clauses out of 52000 with flag 911817/1021770
250.18/130.57	c cleaning 27002 clauses out of 54005 with flag 991129/1049775
259.17/135.00	c cleaning 27997 clauses out of 56000 with flag 1061416/1078772
269.26/140.09	c cleaning 28995 clauses out of 58004 with flag 1131591/1108773
270.46/140.68	c And the winner is solver0
279.16/149.25	c Got one! Elapsed wall clock time (in seconds):149.136
279.16/149.25	o -1939442
280.72/150.07	c cleaning 19541 clauses out of 39083 with flag 12311/1118847
281.32/150.33	c And the winner is solver0
281.44/150.76	c Got one! Elapsed wall clock time (in seconds):150.638
281.44/150.76	o -1948152
281.72/150.95	c cleaning 12275 clauses out of 24554 with flag 4371/1123859
281.92/151.09	c And the winner is solver0
282.19/151.26	c Got one! Elapsed wall clock time (in seconds):151.139
282.19/151.26	o -1952753
282.66/151.50	c cleaning 8781 clauses out of 17568 with flag 6736/1129148
283.48/151.95	c cleaning 7386 clauses out of 14786 with flag 23163/1135147
284.46/152.42	c cleaning 7198 clauses out of 14401 with flag 40549/1142148
285.68/153.01	c cleaning 7591 clauses out of 15203 with flag 61557/1150148
287.13/153.74	c cleaning 8301 clauses out of 16611 with flag 86009/1159147
288.53/154.48	c cleaning 9149 clauses out of 18311 with flag 112212/1169148
290.53/155.46	c cleaning 10076 clauses out of 20161 with flag 141762/1180147
293.13/156.72	c cleaning 11042 clauses out of 22086 with flag 179989/1192148
295.33/157.89	c cleaning 12018 clauses out of 24045 with flag 217905/1205149
298.13/159.25	c cleaning 13002 clauses out of 26026 with flag 252572/1219148
301.14/160.77	c cleaning 14013 clauses out of 28025 with flag 288714/1234149
304.53/162.45	c cleaning 15002 clauses out of 30011 with flag 326272/1250148
308.53/164.43	c cleaning 16001 clauses out of 32008 with flag 368959/1267147
312.52/166.48	c cleaning 17004 clauses out of 34010 with flag 410502/1285150
317.59/168.93	c cleaning 17999 clauses out of 36003 with flag 458250/1304147
323.73/171.81	c cleaning 19002 clauses out of 38004 with flag 504124/1324147
328.73/174.38	c cleaning 19999 clauses out of 40002 with flag 550155/1345147
334.73/177.37	c cleaning 20999 clauses out of 42003 with flag 605038/1367148
341.34/180.64	c cleaning 22002 clauses out of 44003 with flag 662072/1390147
347.74/183.81	c cleaning 22997 clauses out of 46000 with flag 721249/1414147
355.13/187.53	c cleaning 23996 clauses out of 48003 with flag 784937/1439148
364.32/192.16	c cleaning 24997 clauses out of 50006 with flag 849081/1465147
373.53/196.76	c cleaning 25999 clauses out of 52008 with flag 914697/1492147
382.75/201.32	c cleaning 27005 clauses out of 54011 with flag 984281/1520149
388.74/204.31	c And the winner is solver0
389.37/205.01	c >>>>>>>>>> Solver number 0 (17 answers) <<<<<<<<<<<<<<<<<<
389.37/205.01	c starts		: 3015
389.37/205.01	c conflicts		: 1540853
389.37/205.01	c decisions		: 1717950
389.37/205.01	c propagations		: 57171273
389.37/205.01	c inspects		: 3062779013
389.37/205.01	c shortcuts		: 0
389.37/205.01	c learnt literals	: 12
389.37/205.01	c learnt binary clauses	: 13
389.37/205.01	c learnt ternary clauses	: 21
389.37/205.01	c learnt constraints	: 1540840
389.37/205.01	c ignored constraints	: 0
389.37/205.01	c root simplifications	: 0
389.37/205.01	c removed literals (reason simplification)	: 2930630
389.37/205.01	c reason swapping (by a shorter reason)	: 0
389.37/205.01	c Calls to reduceDB	: 102
389.37/205.01	c Number of update (reduction) of LBD	: 65040
389.37/205.01	c Imported unit clauses	: 0
389.37/205.01	c number of reductions to clauses (during analyze)	: 0
389.37/205.01	c number of learned constraints concerned by reduction	: 0
389.37/205.01	c number of learning phase by resolution	: 0
389.37/205.01	c number of learning phase by cutting planes	: 0
389.37/205.01	c speed (assignments/second)	: 283264.4948719219
389.37/205.01	c non guided choices	1
389.37/205.01	c learnt constraints type 
389.37/205.01	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
389.37/205.01	c starts		: 31
389.37/205.01	c conflicts		: 2224
389.37/205.01	c decisions		: 4260
389.37/205.01	c propagations		: 65577
389.37/205.01	c inspects		: 17887593
389.37/205.01	c shortcuts		: 0
389.37/205.01	c learnt literals	: 0
389.37/205.01	c learnt binary clauses	: 0
389.37/205.01	c learnt ternary clauses	: 0
389.37/205.01	c learnt constraints	: 2216
389.37/205.01	c ignored constraints	: 0
389.37/205.01	c root simplifications	: 0
389.37/205.01	c removed literals (reason simplification)	: 0
389.37/205.01	c reason swapping (by a shorter reason)	: 0
389.37/205.01	c Calls to reduceDB	: 0
389.37/205.01	c Number of update (reduction) of LBD	: 0
389.37/205.01	c Imported unit clauses	: 0
389.37/205.01	c number of reductions to clauses (during analyze)	: 0
389.37/205.01	c number of learned constraints concerned by reduction	: 0
389.37/205.01	c number of learning phase by resolution	: 0
389.37/205.01	c number of learning phase by cutting planes	: 0
389.37/205.01	c speed (assignments/second)	: 1219.9237280252999
389.37/205.01	c non guided choices	0
389.37/205.01	c learnt constraints type 
389.37/205.01	s OPTIMUM FOUND
389.37/205.01	c Found 17 solution(s)
389.37/205.01	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 
389.37/205.01	c objective function=-1952753
389.37/205.01	c Total wall clock time (in seconds): 204.897

Verifier Data 

OK	-1952753

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

pid=9452
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: 4.44 4.28 3.93 5/197 9455
/proc/meminfo: memFree=25565064/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/9455/stat : 9455 (java) R 9452 9455 5267 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 3046526 5767168 56 33554432000 1073741824 1073778376 140734092853024 140734092850152 239863950631 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 1408 60 47 9 0 30 0

[startup+0.100061 s]
/proc/loadavg: 4.44 4.28 3.93 5/197 9455
/proc/meminfo: memFree=25565064/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 4454 0 1 0 8 1 0 0 20 0 18 0 3046526 9787879424 5572 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2389619 5572 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200287 s]
/proc/loadavg: 4.44 4.28 3.93 5/197 9455
/proc/meminfo: memFree=25565064/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 4658 0 1 0 17 1 0 0 20 0 19 0 3046526 10060525568 7271 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 7271 2176 9 0 2446860 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824732

[startup+0.300265 s]
/proc/loadavg: 4.44 4.28 3.93 5/197 9455
/proc/meminfo: memFree=25565064/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 4658 0 1 0 17 1 0 0 20 0 19 0 3046526 10060525568 7271 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 7271 2176 9 0 2446860 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824732

[startup+0.700219 s]
/proc/loadavg: 4.44 4.28 3.93 5/197 9455
/proc/meminfo: memFree=25565064/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 4690 0 1 0 17 1 0 0 20 0 19 0 3046526 10060525568 8317 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 8317 2195 9 0 2446860 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.25 4.24 3.91 4/216 9480
/proc/meminfo: memFree=25539908/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 4743 0 1 0 21 2 0 0 20 0 19 0 3046526 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 9381 2208 9 0 2446860 0
[pid=9455/tid=9457] ppid=9452 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/9455/task/9457/stat : 9457 (java) S 9452 9455 5267 0 -1 4202560 2462 0 1 0 13 2 0 0 20 0 19 0 3046527 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034251244408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9458] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9458/stat : 9458 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034189973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9459] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9459/stat : 9459 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034188921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9460] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9460/stat : 9460 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034092775848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9461] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9461/stat : 9461 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034091723304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9462] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9462/stat : 9462 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034090670760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9463] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9463/stat : 9463 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034089618216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9464] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9464/stat : 9464 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034088565672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9465] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9465/stat : 9465 (java) S 9452 9455 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034087513128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3046529 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 19 0 3046532 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 550 0 0 0 1 0 0 0 20 0 19 0 3046532 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9476] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9476/stat : 9476 (java) S 9452 9455 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3046544 10060525568 9381 33554432000 1073741824 1073778376 140734092853024 140034064786472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.25 4.24 3.91 8/219 9489
/proc/meminfo: memFree=25525496/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=3.33 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 24618 0 1 0 324 9 0 0 20 0 19 0 3046526 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 36391 2265 9 0 2446860 0
[pid=9455/tid=9457] ppid=9452 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/9455/task/9457/stat : 9457 (java) S 9452 9455 5267 0 -1 4202560 2462 0 1 0 13 2 0 0 20 0 19 0 3046527 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034251244408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9458] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9458/stat : 9458 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034189973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9459] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9459/stat : 9459 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034188921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9460] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9460/stat : 9460 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034092775848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9461] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9461/stat : 9461 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034091723304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9462] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9462/stat : 9462 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034090670760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9463] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9463/stat : 9463 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034089618216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9464] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9464/stat : 9464 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034088565672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9465] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9465/stat : 9465 (java) S 9452 9455 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3046528 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034087513128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3046529 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 14805 0 0 0 85 2 0 0 20 0 19 0 3046532 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 5941 0 0 0 88 0 0 0 20 0 19 0 3046532 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9489] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9489/stat : 9489 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3046745 10060525568 36391 33554432000 1073741824 1073778376 140734092853024 140034063734440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.25 4.24 3.91 5/219 9492
/proc/meminfo: memFree=25234924/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=9.92 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 25057 0 1 0 973 19 0 0 20 0 22 0 3046526 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 84056 2280 9 0 2446860 0
[pid=9455/tid=9457] ppid=9452 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/9455/task/9457/stat : 9457 (java) S 9452 9455 5267 0 -1 4202560 2462 0 1 0 13 2 0 0 20 0 22 0 3046527 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034251244408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9458] ppid=9452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9455/task/9458/stat : 9458 (java) S 9452 9455 5267 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034189973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9459] ppid=9452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9455/task/9459/stat : 9459 (java) S 9452 9455 5267 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034188921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9460] ppid=9452 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/9455/task/9460/stat : 9460 (java) S 9452 9455 5267 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034092775848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9461] ppid=9452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9455/task/9461/stat : 9461 (java) S 9452 9455 5267 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034091723304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9462] ppid=9452 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9455/task/9462/stat : 9462 (java) S 9452 9455 5267 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034090670760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9463] ppid=9452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9455/task/9463/stat : 9463 (java) S 9452 9455 5267 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034089618216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9464] ppid=9452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9455/task/9464/stat : 9464 (java) S 9452 9455 5267 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034088565672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9465] ppid=9452 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9455/task/9465/stat : 9465 (java) S 9452 9455 5267 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 3046528 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034087513128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 3046529 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3046530 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3046530 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 14814 0 0 0 92 3 0 0 20 0 22 0 3046532 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 5960 0 0 0 108 0 0 0 20 0 22 0 3046532 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9489] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9489/stat : 9489 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3046745 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034063734440 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9490] ppid=9452 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/9455/task/9490/stat : 9490 (java) R 9452 9455 5267 0 -1 4202560 8 0 0 0 302 0 0 0 20 0 22 0 3046845 10060525568 84056 33554432000 1073741824 1073778376 140734092853024 140034065829536 140034191452537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9491] ppid=9452 vsize=9824732 CPUtime=3 cores=1,3,5,7

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

[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 1247 0 0 0 0 4 0 0 20 0 22 0 3046529 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3046530 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3046530 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 14827 0 0 0 98 3 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 12061 0 0 0 166 3 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 13 0 0 0 0 4 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9492] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9492/stat : 9492 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3046845 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034064786472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9641] ppid=9452 vsize=9824732 CPUtime=51.85 cores=1,3,5,7
/proc/9455/task/9641/stat : 9641 (java) R 9452 9455 5267 0 -1 4202560 16 0 0 0 5185 0 0 0 20 0 22 0 3061652 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034065830048 140034191452161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9642] ppid=9452 vsize=9824732 CPUtime=51.84 cores=1,3,5,7
/proc/9455/task/9642/stat : 9642 (java) R 9452 9455 5267 0 -1 4202560 3 0 0 0 5184 0 0 0 20 0 22 0 3061652 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034063731104 140034191796384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9643] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9643/stat : 9643 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3061652 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034066892328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 386.53
Current children cumulated vsize (KiB) 9824732

[startup+204.001 s]
/proc/loadavg: 3.27 3.82 3.81 4/217 9645
/proc/meminfo: memFree=24374772/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=388.13 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 35008 0 1 0 38690 123 0 0 20 0 22 0 3046526 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 716264 2282 9 0 2446860 0
[pid=9455/tid=9457] ppid=9452 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/9455/task/9457/stat : 9457 (java) S 9452 9455 5267 0 -1 4202560 2464 0 1 0 16 2 0 0 20 0 22 0 3046527 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034251244408 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9458] ppid=9452 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9455/task/9458/stat : 9458 (java) S 9452 9455 5267 0 -1 4202560 190 0 0 0 21 8 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034189973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9459] ppid=9452 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9455/task/9459/stat : 9459 (java) S 9452 9455 5267 0 -1 4202560 171 0 0 0 16 8 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034188921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9460] ppid=9452 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/9455/task/9460/stat : 9460 (java) S 9452 9455 5267 0 -1 4202560 120 0 0 0 13 4 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034092775848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9461] ppid=9452 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9455/task/9461/stat : 9461 (java) S 9452 9455 5267 0 -1 4202560 135 0 0 0 15 6 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034091723304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9462] ppid=9452 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9455/task/9462/stat : 9462 (java) S 9452 9455 5267 0 -1 4202560 179 0 0 0 15 6 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034090670760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9463] ppid=9452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/9455/task/9463/stat : 9463 (java) S 9452 9455 5267 0 -1 4202560 143 0 0 0 11 5 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034089618216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9464] ppid=9452 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/9455/task/9464/stat : 9464 (java) S 9452 9455 5267 0 -1 4202560 152 0 0 0 16 7 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034088565672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9465] ppid=9452 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9455/task/9465/stat : 9465 (java) S 9452 9455 5267 0 -1 4202560 192 0 0 0 17 7 0 0 20 0 22 0 3046528 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034087513128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 1248 0 0 0 0 4 0 0 20 0 22 0 3046529 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3046530 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3046530 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 14827 0 0 0 98 3 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 12061 0 0 0 166 3 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 13 0 0 0 0 4 0 0 20 0 22 0 3046532 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9492] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9492/stat : 9492 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3046845 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034064786472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9641] ppid=9452 vsize=9824732 CPUtime=52.65 cores=1,3,5,7
/proc/9455/task/9641/stat : 9641 (java) R 9452 9455 5267 0 -1 4202560 17 0 0 0 5265 0 0 0 20 0 22 0 3061652 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034065839032 140034191452834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9642] ppid=9452 vsize=9824732 CPUtime=52.64 cores=1,3,5,7
/proc/9455/task/9642/stat : 9642 (java) R 9452 9455 5267 0 -1 4202560 3 0 0 0 5264 0 0 0 20 0 22 0 3061652 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034063731224 140034191796889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9643] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9643/stat : 9643 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3061652 10060525568 716264 33554432000 1073741824 1073778376 140734092853024 140034066892328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 388.13
Current children cumulated vsize (KiB) 9824732

[startup+204.801 s]
/proc/loadavg: 3.27 3.82 3.81 3/215 9645
/proc/meminfo: memFree=24374788/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=389.15 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 35011 0 1 0 38789 126 0 0 20 0 19 0 3046526 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 716253 2282 9 0 2446860 0
[pid=9455/tid=9457] ppid=9452 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/9455/task/9457/stat : 9457 (java) R 9452 9455 5267 0 -1 4202560 2464 0 1 0 18 2 0 0 20 0 19 0 3046527 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034251244408 140034192148608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9458] ppid=9452 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9455/task/9458/stat : 9458 (java) S 9452 9455 5267 0 -1 4202560 190 0 0 0 21 8 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034189973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9459] ppid=9452 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9455/task/9459/stat : 9459 (java) S 9452 9455 5267 0 -1 4202560 171 0 0 0 16 8 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034188921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9460] ppid=9452 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/9455/task/9460/stat : 9460 (java) S 9452 9455 5267 0 -1 4202560 120 0 0 0 13 4 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034092775848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9461] ppid=9452 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9455/task/9461/stat : 9461 (java) S 9452 9455 5267 0 -1 4202560 135 0 0 0 15 6 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034091723304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9462] ppid=9452 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9455/task/9462/stat : 9462 (java) S 9452 9455 5267 0 -1 4202560 179 0 0 0 15 6 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034090670760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9463] ppid=9452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/9455/task/9463/stat : 9463 (java) S 9452 9455 5267 0 -1 4202560 143 0 0 0 11 5 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034089618216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9464] ppid=9452 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/9455/task/9464/stat : 9464 (java) S 9452 9455 5267 0 -1 4202560 152 0 0 0 16 7 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034088565672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9465] ppid=9452 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9455/task/9465/stat : 9465 (java) S 9452 9455 5267 0 -1 4202560 192 0 0 0 17 7 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034087513128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 1249 0 0 0 0 4 0 0 20 0 19 0 3046529 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 14827 0 0 0 98 3 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 12061 0 0 0 166 3 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 13 0 0 0 0 4 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9492] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9492/stat : 9492 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3046845 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034064786472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 389.15
Current children cumulated vsize (KiB) 9824732

[startup+205.001 s]
/proc/loadavg: 3.27 3.82 3.81 3/215 9645
/proc/meminfo: memFree=24374788/32872528 swapFree=1459092/1655316
[pid=9455] ppid=9452 vsize=9824732 CPUtime=389.37 cores=1,3,5,7
/proc/9455/stat : 9455 (java) S 9452 9455 5267 0 -1 4202496 35012 0 1 0 38811 126 0 0 20 0 19 0 3046526 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140734092844160 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9455/statm: 2456183 716253 2282 9 0 2446860 0
[pid=9455/tid=9457] ppid=9452 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/9455/task/9457/stat : 9457 (java) R 9452 9455 5267 0 -1 4202560 2464 0 1 0 38 2 0 0 20 0 19 0 3046527 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034251244072 140034191202242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9458] ppid=9452 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9455/task/9458/stat : 9458 (java) S 9452 9455 5267 0 -1 4202560 190 0 0 0 21 8 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034189973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9459] ppid=9452 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9455/task/9459/stat : 9459 (java) S 9452 9455 5267 0 -1 4202560 171 0 0 0 16 8 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034188921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9460] ppid=9452 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/9455/task/9460/stat : 9460 (java) S 9452 9455 5267 0 -1 4202560 120 0 0 0 13 4 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034092775848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9461] ppid=9452 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9455/task/9461/stat : 9461 (java) S 9452 9455 5267 0 -1 4202560 135 0 0 0 15 6 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034091723304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9462] ppid=9452 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/9455/task/9462/stat : 9462 (java) S 9452 9455 5267 0 -1 4202560 179 0 0 0 15 6 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034090670760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9463] ppid=9452 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/9455/task/9463/stat : 9463 (java) S 9452 9455 5267 0 -1 4202560 143 0 0 0 11 5 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034089618216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9464] ppid=9452 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/9455/task/9464/stat : 9464 (java) S 9452 9455 5267 0 -1 4202560 152 0 0 0 16 7 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034088565672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9465] ppid=9452 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9455/task/9465/stat : 9465 (java) S 9452 9455 5267 0 -1 4202560 192 0 0 0 17 7 0 0 20 0 19 0 3046528 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034087513128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9466] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9466/stat : 9466 (java) S 9452 9455 5267 0 -1 4202560 1249 0 0 0 0 4 0 0 20 0 19 0 3046529 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034075314280 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9467] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9467/stat : 9467 (java) S 9452 9455 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034074260600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9468] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9468/stat : 9468 (java) S 9452 9455 5267 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3046530 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034073207944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9469] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9469/stat : 9469 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034072156688 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9470] ppid=9452 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/9455/task/9470/stat : 9470 (java) S 9452 9455 5267 0 -1 4202560 14827 0 0 0 100 3 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034071104056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9455/tid=9471] ppid=9452 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/9455/task/9471/stat : 9471 (java) S 9452 9455 5267 0 -1 4202560 12062 0 0 0 166 3 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034070051512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9455/tid=9472] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9472/stat : 9472 (java) S 9452 9455 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034068999160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9455/tid=9473] ppid=9452 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/9455/task/9473/stat : 9473 (java) S 9452 9455 5267 0 -1 4202560 13 0 0 0 0 4 0 0 20 0 19 0 3046532 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034067946824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9455/tid=9492] ppid=9452 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9455/task/9492/stat : 9492 (java) S 9452 9455 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3046845 10060525568 716253 33554432000 1073741824 1073778376 140734092853024 140034064786472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 389.37
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 205.03
CPU time (s): 389.506
CPU user time (s): 388.074
CPU system time (s): 1.43178
CPU usage (%): 189.975
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.074
system time used= 1.43178
maximum resident set size= 2878816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35017
page faults= 1
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6153
involuntary context switches= 4978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39679 second user time and 1.89771 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-29 19:22:33
IDJOB=4118095
IDBENCH=111449
IDSOLVER=2543
FILE ID=node136/4118095-1467220953
RUNJOBID= node136-1467208983-5284
PBS_JOBID= 19997574
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0234-0234.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118095-1467220953/watcher-4118095-1467220953 -o /tmp/evaluation-result-4118095-1467220953/solver-4118095-1467220953 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118095-1467220953.opb

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

MD5SUM BENCH= c3b9816e5d84e5f10f8eef5e69f7d592
RANDOM SEED=948219852

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.182
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.182
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.182
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.182
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.182
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.182
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.182
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:        25565072 kB
Buffers:          145820 kB
Cached:          1748596 kB
SwapCached:            0 kB
Active:          3228284 kB
Inactive:        1676140 kB
Active(anon):    3012360 kB
Inactive(anon):        0 kB
Active(file):     215924 kB
Inactive(file):  1676140 kB
Unevictable:     1655316 kB
Mlocked:         1459092 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:       4783832 kB
Mapped:            22252 kB
Shmem:               204 kB
Slab:             609600 kB
SReclaimable:      53692 kB
SUnreclaim:       555908 kB
KernelStack:        1808 kB
PageTables:        13452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4941156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3274752 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= 71644 MiB
End job on node136 at 2016-06-29 19:25:59