Trace number 4119071

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 397.255 209.098

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3g-0234-0234.lin.opb
MD5SUM458d2af0209ef6c605d473176667773a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, 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 benchmark38.5881
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables252
Total number of constraints384
Number of constraints which are clauses180
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints180
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)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.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4119071-1467246678.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.22/0.20	c ... done. Wall clock time 0.075s.
0.22/0.20	c declared #vars     252
0.22/0.20	c #constraints  408
0.22/0.21	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.22/0.21	c constraints type 
0.22/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 204
0.22/0.21	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.22/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 180
0.22/0.21	c 408 constraints processed.
0.22/0.21	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.22/0.21	c constraints type 
0.22/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 204
0.22/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24
0.22/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 180
0.22/0.21	c 408 constraints processed.
0.22/0.21	c objective function length is 180 literals
0.22/0.21	c And the winner is solver0
0.24/0.71	c SATISFIABLE
0.24/0.71	c OPTIMIZING...
0.24/0.71	c Got one! Elapsed wall clock time (in seconds):0.58
0.24/0.71	o -1690633
0.24/0.72	c And the winner is solver0
0.24/1.21	c Got one! Elapsed wall clock time (in seconds):1.084
0.24/1.21	o -1712040
0.24/1.22	c And the winner is solver0
0.26/1.71	c Got one! Elapsed wall clock time (in seconds):1.587
0.26/1.71	o -1742805
0.26/1.72	c And the winner is solver0
0.30/2.22	c Got one! Elapsed wall clock time (in seconds):2.091
0.30/2.22	o -1773369
2.91/2.90	c cleaning 2503 clauses out of 5011 with flag 10946/5011
2.91/2.92	c And the winner is solver1
3.29/3.22	c Got one! Elapsed wall clock time (in seconds):3.093
3.29/3.22	o -1774941
3.96/3.58	c cleaning 3881 clauses out of 7761 with flag 12409/10264
4.86/3.97	c cleaning 4940 clauses out of 9880 with flag 26441/16264
6.10/4.51	c cleaning 5970 clauses out of 11942 with flag 42790/23266
7.13/5.03	c cleaning 6986 clauses out of 13971 with flag 61322/31265
8.58/5.77	c cleaning 7993 clauses out of 15985 with flag 80676/40265
10.44/6.67	c cleaning 8996 clauses out of 17992 with flag 102285/50265
13.02/7.93	c cleaning 9998 clauses out of 19998 with flag 127008/61267
15.49/9.16	c cleaning 10994 clauses out of 21998 with flag 154551/73265
18.35/10.55	c cleaning 12002 clauses out of 24003 with flag 183946/86264
21.78/12.21	c cleaning 12994 clauses out of 26002 with flag 215194/100265
24.77/13.78	c cleaning 14003 clauses out of 28007 with flag 247956/115264
28.57/15.66	c cleaning 14997 clauses out of 30006 with flag 283417/131266
33.24/17.94	c cleaning 15998 clauses out of 32007 with flag 323053/148264
34.44/18.54	c And the winner is solver0
34.47/18.73	c Got one! Elapsed wall clock time (in seconds):18.604
34.47/18.73	o -1785081
34.61/18.85	c cleaning 10995 clauses out of 21989 with flag 2441/154244
35.40/19.26	c cleaning 8497 clauses out of 16993 with flag 15535/160243
35.80/19.47	c And the winner is solver0
35.96/19.73	c Got one! Elapsed wall clock time (in seconds):19.606
35.96/19.73	o -1794016
36.10/19.90	c cleaning 6846 clauses out of 13692 with flag 4821/165439
37.09/20.33	c cleaning 6418 clauses out of 12844 with flag 18332/171437
38.09/20.87	c cleaning 6709 clauses out of 13425 with flag 34586/178436
39.56/21.50	c cleaning 7351 clauses out of 14716 with flag 52238/186436
40.96/22.21	c cleaning 8177 clauses out of 16365 with flag 71979/195436
42.56/23.04	c cleaning 9092 clauses out of 18188 with flag 93744/205436
43.36/23.43	c And the winner is solver0
43.46/23.74	c Got one! Elapsed wall clock time (in seconds):23.609
43.46/23.74	o -1797231
44.39/24.22	c cleaning 9943 clauses out of 19890 with flag 11740/216230
45.44/24.73	c cleaning 7971 clauses out of 15948 with flag 25460/222231
46.44/25.25	c cleaning 7485 clauses out of 14977 with flag 40735/229231
47.63/25.80	c cleaning 7745 clauses out of 15493 with flag 58831/237232
48.85/26.48	c cleaning 8375 clauses out of 16749 with flag 84608/246233
50.63/27.33	c cleaning 9181 clauses out of 18371 with flag 115321/256230
52.48/28.27	c cleaning 10095 clauses out of 20190 with flag 147666/267230
54.68/29.30	c cleaning 11048 clauses out of 22095 with flag 181575/279230
56.88/30.46	c cleaning 12021 clauses out of 24047 with flag 218575/292230
59.68/31.82	c cleaning 13016 clauses out of 26031 with flag 251068/306235
62.89/33.49	c cleaning 14004 clauses out of 28013 with flag 285537/321233
66.59/35.22	c cleaning 14995 clauses out of 30006 with flag 321906/337230
70.37/37.17	c cleaning 16002 clauses out of 32012 with flag 362873/354231
74.97/39.41	c cleaning 17004 clauses out of 34011 with flag 405435/372232
79.78/41.86	c cleaning 18003 clauses out of 36006 with flag 451217/391231
85.17/44.58	c cleaning 18993 clauses out of 38002 with flag 499118/411230
91.37/47.62	c cleaning 20005 clauses out of 40009 with flag 552015/432230
97.77/50.84	c cleaning 20997 clauses out of 42004 with flag 607867/454230
102.16/53.05	c And the winner is solver0
108.15/59.11	c Got one! Elapsed wall clock time (in seconds):58.982
108.15/59.11	o -1798131
108.15/59.12	c And the winner is solver0
108.19/59.61	c Got one! Elapsed wall clock time (in seconds):59.484
108.19/59.61	o -1804334
109.76/60.41	c cleaning 21557 clauses out of 43116 with flag 11073/476339
110.96/61.06	c cleaning 13776 clauses out of 27560 with flag 24642/482340
111.76/61.43	c And the winner is solver0
111.86/61.61	c Got one! Elapsed wall clock time (in seconds):61.486
111.86/61.61	o -1842577
111.86/61.62	c And the winner is solver0
111.89/62.12	c Got one! Elapsed wall clock time (in seconds):61.988
111.89/62.12	o -1879142
111.89/62.13	c And the winner is solver0
112.03/62.62	c Got one! Elapsed wall clock time (in seconds):62.49
112.03/62.62	o -1879696
112.03/62.63	c And the winner is solver0
112.08/63.12	c Got one! Elapsed wall clock time (in seconds):62.991
112.08/63.12	o -1913220
112.08/63.12	c And the winner is solver0
112.10/63.62	c Got one! Elapsed wall clock time (in seconds):63.493
112.10/63.62	o -1913774
113.06/64.11	c cleaning 12115 clauses out of 24236 with flag 11759/492792
114.13/64.60	c cleaning 9053 clauses out of 18119 with flag 24668/498790
115.12/65.10	c cleaning 8030 clauses out of 16066 with flag 39596/505790
116.12/65.67	c cleaning 8014 clauses out of 16036 with flag 56636/513790
117.52/66.37	c cleaning 8507 clauses out of 17023 with flag 77031/522791
119.14/67.16	c cleaning 9256 clauses out of 18515 with flag 100368/532790
120.92/68.02	c cleaning 10128 clauses out of 20259 with flag 126563/543790
122.92/69.07	c cleaning 11059 clauses out of 22134 with flag 158621/555793
125.12/70.17	c cleaning 12032 clauses out of 24072 with flag 191658/568790
128.02/71.57	c cleaning 13020 clauses out of 26040 with flag 236070/582790
131.41/73.23	c cleaning 14010 clauses out of 28020 with flag 278745/597790
134.21/74.68	c cleaning 15002 clauses out of 30013 with flag 315856/613793
138.01/76.59	c cleaning 16000 clauses out of 32008 with flag 359092/630790
142.21/78.60	c cleaning 16997 clauses out of 34008 with flag 404975/648790
146.89/80.95	c cleaning 18002 clauses out of 36011 with flag 453741/667790
152.50/83.77	c cleaning 19003 clauses out of 38009 with flag 508882/687790
152.88/83.96	c And the winner is solver1
152.91/84.13	c Got one! Elapsed wall clock time (in seconds):84.005
152.91/84.13	o -1939442
153.64/84.55	c cleaning 12279 clauses out of 24564 with flag 12105/693348
154.64/85.02	c cleaning 9131 clauses out of 18285 with flag 30184/699348
155.64/85.51	c cleaning 8069 clauses out of 16152 with flag 49746/706346
156.84/86.10	c cleaning 8032 clauses out of 16085 with flag 73940/714348
158.04/86.76	c cleaning 8520 clauses out of 17052 with flag 100477/723347
159.84/87.60	c cleaning 9260 clauses out of 18531 with flag 129066/733346
161.84/88.60	c cleaning 10135 clauses out of 20272 with flag 160928/744347
164.04/89.72	c cleaning 11069 clauses out of 22138 with flag 199332/756348
166.64/91.03	c cleaning 12032 clauses out of 24068 with flag 238807/769347
169.84/92.62	c cleaning 13016 clauses out of 26036 with flag 279855/783347
173.04/94.21	c cleaning 14008 clauses out of 28020 with flag 323023/798347
176.84/96.14	c cleaning 15001 clauses out of 30011 with flag 369034/814346
180.84/98.11	c cleaning 16002 clauses out of 32010 with flag 415819/831346
185.47/100.44	c cleaning 16997 clauses out of 34008 with flag 468002/849346
191.07/103.23	c cleaning 18007 clauses out of 36013 with flag 524593/868348
197.87/106.69	c cleaning 18997 clauses out of 38004 with flag 585783/888346
204.95/110.12	c cleaning 19998 clauses out of 40008 with flag 648915/909347
213.38/114.33	c cleaning 21003 clauses out of 42009 with flag 717994/931346
220.77/118.09	c cleaning 21999 clauses out of 44006 with flag 782283/954346
228.37/121.85	c cleaning 23004 clauses out of 46007 with flag 850997/978346
236.57/125.95	c cleaning 23998 clauses out of 48003 with flag 925101/1003346
246.64/130.94	c cleaning 24998 clauses out of 50005 with flag 1002844/1029346
255.83/135.55	c cleaning 26003 clauses out of 52009 with flag 1083399/1056348
266.03/140.67	c cleaning 26998 clauses out of 54005 with flag 1164553/1084347
275.63/145.42	c cleaning 28005 clauses out of 56009 with flag 1236627/1113349
287.42/151.35	c cleaning 28996 clauses out of 58001 with flag 1323003/1143346
295.24/155.21	c And the winner is solver0
295.34/155.65	c Got one! Elapsed wall clock time (in seconds):155.521
295.34/155.65	o -1939549
298.66/157.39	c cleaning 26778 clauses out of 53558 with flag 17674/1167899
300.65/158.31	c cleaning 16384 clauses out of 32781 with flag 36793/1173900
302.32/159.12	c cleaning 11696 clauses out of 23396 with flag 58749/1180899
303.72/159.84	c cleaning 9846 clauses out of 19700 with flag 83766/1188899
304.92/160.43	c And the winner is solver0
305.85/161.35	c Got one! Elapsed wall clock time (in seconds):161.226
305.85/161.35	o -1948152
306.95/161.94	c cleaning 11348 clauses out of 22700 with flag 16636/1201745
307.75/162.38	c cleaning 8669 clauses out of 17352 with flag 35378/1207745
308.76/162.88	c cleaning 7832 clauses out of 15685 with flag 58142/1214747
309.95/163.46	c cleaning 7923 clauses out of 15851 with flag 87184/1222745
311.17/164.08	c cleaning 8458 clauses out of 16928 with flag 113754/1231745
312.75/164.89	c cleaning 9235 clauses out of 18470 with flag 142872/1241745
314.75/165.88	c cleaning 10116 clauses out of 20235 with flag 177363/1252745
317.15/167.03	c cleaning 11053 clauses out of 22119 with flag 211439/1264745
319.55/168.28	c cleaning 12026 clauses out of 24066 with flag 250841/1277745
322.55/169.71	c cleaning 13015 clauses out of 26040 with flag 292041/1291745
325.60/171.21	c cleaning 14014 clauses out of 28027 with flag 334071/1306747
329.00/172.95	c cleaning 15005 clauses out of 30011 with flag 382169/1322745
332.80/174.85	c cleaning 16004 clauses out of 32007 with flag 432718/1339746
337.61/177.22	c cleaning 16997 clauses out of 34002 with flag 488434/1357745
341.60/179.30	c And the winner is solver0
343.25/180.86	c Got one! Elapsed wall clock time (in seconds):180.735
343.25/180.86	o -1952753
345.51/182.07	c cleaning 19409 clauses out of 38824 with flag 17070/1379564
347.17/182.80	c cleaning 12705 clauses out of 25415 with flag 34174/1385564
348.37/183.43	c cleaning 9855 clauses out of 19710 with flag 56392/1392564
349.57/184.08	c cleaning 8927 clauses out of 17860 with flag 79539/1400569
350.97/184.78	c cleaning 8955 clauses out of 17929 with flag 105415/1409565
352.57/185.58	c cleaning 9483 clauses out of 18974 with flag 134254/1419565
354.57/186.58	c cleaning 10243 clauses out of 20491 with flag 167593/1430565
356.77/187.64	c cleaning 11120 clauses out of 22248 with flag 203551/1442565
359.42/188.92	c cleaning 12058 clauses out of 24129 with flag 241136/1455566
362.02/190.23	c cleaning 13030 clauses out of 26069 with flag 278220/1469564
365.22/191.87	c cleaning 14017 clauses out of 28040 with flag 318427/1484565
368.81/193.50	c cleaning 15004 clauses out of 30021 with flag 357529/1500564
372.67/195.37	c cleaning 16006 clauses out of 32017 with flag 400710/1517564
376.47/197.22	c cleaning 17001 clauses out of 34011 with flag 446196/1535564
380.67/199.36	c cleaning 18004 clauses out of 36010 with flag 493564/1554564
385.27/201.68	c cleaning 19004 clauses out of 38007 with flag 543326/1574565
390.27/204.10	c cleaning 20002 clauses out of 40003 with flag 594274/1595565
394.10/206.04	c And the winner is solver0
397.03/209.08	c >>>>>>>>>> Solver number 0 (18 answers) <<<<<<<<<<<<<<<<<<
397.03/209.08	c starts		: 18602
397.03/209.08	c conflicts		: 1614289
397.03/209.08	c decisions		: 2201381
397.03/209.08	c propagations		: 63559465
397.03/209.08	c inspects		: 2967723916
397.03/209.08	c shortcuts		: 0
397.03/209.08	c learnt literals	: 11
397.03/209.08	c learnt binary clauses	: 12
397.03/209.08	c learnt ternary clauses	: 24
397.03/209.08	c learnt constraints	: 1614277
397.03/209.08	c ignored constraints	: 0
397.03/209.08	c root simplifications	: 0
397.03/209.08	c removed literals (reason simplification)	: 4401069
397.03/209.08	c reason swapping (by a shorter reason)	: 0
397.03/209.08	c Calls to reduceDB	: 119
397.03/209.08	c Number of update (reduction) of LBD	: 95305
397.03/209.08	c Imported unit clauses	: 0
397.03/209.08	c number of reductions to clauses (during analyze)	: 0
397.03/209.08	c number of learned constraints concerned by reduction	: 0
397.03/209.08	c number of learning phase by resolution	: 0
397.03/209.08	c number of learning phase by cutting planes	: 0
397.03/209.08	c speed (assignments/second)	: 508695.4764458246
397.03/209.08	c non guided choices	2
397.03/209.08	c learnt constraints type 
397.03/209.08	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
397.03/209.08	c starts		: 45
397.03/209.08	c conflicts		: 4060
397.03/209.08	c decisions		: 8776
397.03/209.08	c propagations		: 132852
397.03/209.08	c inspects		: 58450027
397.03/209.08	c shortcuts		: 0
397.03/209.08	c learnt literals	: 0
397.03/209.08	c learnt binary clauses	: 0
397.03/209.08	c learnt ternary clauses	: 0
397.03/209.08	c learnt constraints	: 4052
397.03/209.08	c ignored constraints	: 0
397.03/209.08	c root simplifications	: 0
397.03/209.08	c removed literals (reason simplification)	: 0
397.03/209.08	c reason swapping (by a shorter reason)	: 0
397.03/209.08	c Calls to reduceDB	: 0
397.03/209.08	c Number of update (reduction) of LBD	: 0
397.03/209.08	c Imported unit clauses	: 0
397.03/209.08	c number of reductions to clauses (during analyze)	: 0
397.03/209.08	c number of learned constraints concerned by reduction	: 0
397.03/209.08	c number of learning phase by resolution	: 0
397.03/209.08	c number of learning phase by cutting planes	: 0
397.03/209.08	c speed (assignments/second)	: 4708.225537796364
397.03/209.08	c non guided choices	0
397.03/209.08	c learnt constraints type 
397.03/209.08	s OPTIMUM FOUND
397.03/209.08	c Found 19 solution(s)
397.03/209.08	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 
397.03/209.08	c objective function=-1952753
397.03/209.08	c Total wall clock time (in seconds): 208.955

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

pid=11575
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: 0.13 0.10 0.62 2/170 11578
/proc/meminfo: memFree=29651684/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11578/stat : 11578 (java) R 11575 11578 11545 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 5635203 9515008 175 33554432000 1073741824 1073778376 140736720839168 140736720821896 219513963408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11578/statm: 2323 175 133 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 0.13 0.10 0.62 2/170 11578
/proc/meminfo: memFree=29651684/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 4351 0 1 0 6 1 0 0 20 0 18 0 5635203 9787879424 4961 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2389619 4962 2096 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 0.13 0.10 0.62 2/170 11578
/proc/meminfo: memFree=29651684/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 4718 0 1 0 20 2 0 0 20 0 18 0 5635203 9787879424 6811 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2389619 6811 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300345 s]
/proc/loadavg: 0.13 0.10 0.62 2/170 11578
/proc/meminfo: memFree=29651684/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 4782 0 1 0 22 2 0 0 20 0 19 0 5635203 10060525568 7374 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 7374 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+0.700196 s]
/proc/loadavg: 0.13 0.10 0.62 2/170 11578
/proc/meminfo: memFree=29651684/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 4782 0 1 0 22 2 0 0 20 0 19 0 5635203 10060525568 7374 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 7374 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 0.13 0.10 0.62 4/212 11633
/proc/meminfo: memFree=29389804/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 4871 0 1 0 24 2 0 0 20 0 19 0 5635203 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 9487 2231 9 0 2446860 0
[pid=11578/tid=11582] ppid=11575 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/11578/task/11582/stat : 11582 (java) S 11575 11578 11545 0 -1 4202560 2460 0 1 0 16 2 0 0 20 0 19 0 5635204 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607693755256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11583] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11583/stat : 11583 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607537232680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11584] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11584/stat : 11584 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607536179880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11585] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11585/stat : 11585 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607535127592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11586] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11586/stat : 11586 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607534074792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11587] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11587/stat : 11587 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607533021480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11588] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11588/stat : 11588 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607531968680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11589] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11589/stat : 11589 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607530916392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11590] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11590/stat : 11590 (java) S 11575 11578 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607529863592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11591] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 395 0 0 0 2 0 0 0 20 0 19 0 5635210 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 668 0 0 0 3 0 0 0 20 0 19 0 5635210 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11611] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11611/stat : 11611 (java) S 11575 11578 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5635224 10060525568 9487 33554432000 1073741824 1073778376 140735338915712 140607507138216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 0.13 0.10 0.62 5/216 11646
/proc/meminfo: memFree=29377496/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 24162 0 1 0 323 6 0 0 20 0 19 0 5635203 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 32140 2271 9 0 2446860 0
[pid=11578/tid=11582] ppid=11575 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/11578/task/11582/stat : 11582 (java) S 11575 11578 11545 0 -1 4202560 2460 0 1 0 16 2 0 0 20 0 19 0 5635204 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607693755256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11583] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11583/stat : 11583 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607537232680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11584] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11584/stat : 11584 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607536179880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11585] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11585/stat : 11585 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607535127592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11586] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11586/stat : 11586 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607534074792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11587] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11587/stat : 11587 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607533021480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11588] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11588/stat : 11588 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607531968680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11589] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11589/stat : 11589 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607530916392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11590] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11590/stat : 11590 (java) S 11575 11578 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5635206 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607529863592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11591] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 6811 0 0 0 86 1 0 0 20 0 19 0 5635210 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 13486 0 0 0 82 2 0 0 20 0 19 0 5635210 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 32140 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 0.36 0.15 0.64 3/216 11670
/proc/meminfo: memFree=29003868/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=9.79 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 24732 0 1 0 965 14 0 0 20 0 22 0 5635203 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 84062 2284 9 0 2446860 0
[pid=11578/tid=11582] ppid=11575 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/11578/task/11582/stat : 11582 (java) S 11575 11578 11545 0 -1 4202560 2460 0 1 0 16 2 0 0 20 0 22 0 5635204 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607693755256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11583] ppid=11575 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11578/task/11583/stat : 11583 (java) S 11575 11578 11545 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607537232680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11584] ppid=11575 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11578/task/11584/stat : 11584 (java) S 11575 11578 11545 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607536179880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11585] ppid=11575 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11578/task/11585/stat : 11585 (java) S 11575 11578 11545 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607535127592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11586] ppid=11575 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11578/task/11586/stat : 11586 (java) S 11575 11578 11545 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607534074792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11587] ppid=11575 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11578/task/11587/stat : 11587 (java) S 11575 11578 11545 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607533021480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11588] ppid=11575 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11578/task/11588/stat : 11588 (java) S 11575 11578 11545 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607531968680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11589] ppid=11575 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11578/task/11589/stat : 11589 (java) S 11575 11578 11545 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607530916392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11590] ppid=11575 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11578/task/11590/stat : 11590 (java) S 11575 11578 11545 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 5635206 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607529863592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11591] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 5635207 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5635207 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 5635207 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5635210 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 6823 0 0 0 98 1 0 0 20 0 22 0 5635210 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 13634 0 0 0 93 2 0 0 20 0 22 0 5635210 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5635210 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5635210 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11649] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11649/stat : 11649 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 5635426 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607508190248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11656] ppid=11575 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/11578/task/11656/stat : 11656 (java) R 11575 11578 11545 0 -1 4202560 11 0 0 0 292 0 0 0 20 0 22 0 5635526 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607509242552 140607633929558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11657] ppid=11575 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/11578/task/11657/stat : 11657 (java) R 11575 11578 11545 0 -1 4202560 77 0 0 0 291 1 0 0 20 0 22 0 5635526 10060525568 84062 33554432000 1073741824 1073778376 140735338915712 140607506084136 140607634058383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11658] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 1276 0 0 0 0 4 0 0 20 0 20 0 5635207 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 5635207 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 5635207 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 14332 0 0 0 162 2 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 13645 0 0 0 102 2 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11794] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11794/stat : 11794 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 5643617 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607507138088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11863] ppid=11575 vsize=9824732 CPUtime=25.37 cores=1,3,5,7
/proc/11578/task/11863/stat : 11863 (java) R 11575 11578 11545 0 -1 4202560 3 0 0 0 2537 0 0 0 20 0 20 0 5653290 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607509240400 140607634191996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 394.28
Current children cumulated vsize (KiB) 9824732

[startup+208.008 s]
/proc/loadavg: 3.79 1.92 1.23 4/217 11871
/proc/meminfo: memFree=23555552/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=395.89 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 36348 0 1 0 39465 124 0 0 20 0 20 0 5635203 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 715949 2287 9 0 2446860 0
[pid=11578/tid=11582] ppid=11575 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/11578/task/11582/stat : 11582 (java) S 11575 11578 11545 0 -1 4202560 2461 0 1 0 19 2 0 0 20 0 20 0 5635204 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607693755256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11583] ppid=11575 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/11578/task/11583/stat : 11583 (java) S 11575 11578 11545 0 -1 4202560 258 0 0 0 31 8 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607537232680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11584] ppid=11575 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/11578/task/11584/stat : 11584 (java) S 11575 11578 11545 0 -1 4202560 134 0 0 0 26 6 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607536179880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11585] ppid=11575 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/11578/task/11585/stat : 11585 (java) S 11575 11578 11545 0 -1 4202560 236 0 0 0 22 4 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607535127592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11586] ppid=11575 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/11578/task/11586/stat : 11586 (java) S 11575 11578 11545 0 -1 4202560 171 0 0 0 22 5 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607534074792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11587] ppid=11575 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11578/task/11587/stat : 11587 (java) S 11575 11578 11545 0 -1 4202560 187 0 0 0 31 6 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607533021480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11588] ppid=11575 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11578/task/11588/stat : 11588 (java) S 11575 11578 11545 0 -1 4202560 283 0 0 0 29 8 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607531968680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11589] ppid=11575 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/11578/task/11589/stat : 11589 (java) S 11575 11578 11545 0 -1 4202560 248 0 0 0 34 9 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607530916392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11590] ppid=11575 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/11578/task/11590/stat : 11590 (java) S 11575 11578 11545 0 -1 4202560 223 0 0 0 28 7 0 0 20 0 20 0 5635206 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607529863592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11591] ppid=11575 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 1276 0 0 0 0 4 0 0 20 0 20 0 5635207 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 5635207 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 5635207 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 14332 0 0 0 162 2 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 13645 0 0 0 102 2 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 20 0 5635210 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11794] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11794/stat : 11794 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 5643617 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607507138088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11863] ppid=11575 vsize=9824732 CPUtime=26.97 cores=1,3,5,7
/proc/11578/task/11863/stat : 11863 (java) R 11575 11578 11545 0 -1 4202560 3 0 0 0 2697 0 0 0 20 0 20 0 5653290 10060525568 715949 33554432000 1073741824 1073778376 140735338915712 140607509240400 140607634372451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 395.89
Current children cumulated vsize (KiB) 9824732

[startup+208.801 s]
/proc/loadavg: 3.79 1.92 1.23 4/217 11871
/proc/meminfo: memFree=23555552/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=396.62 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 36349 0 1 0 39537 125 0 0 20 0 19 0 5635203 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 715947 2287 9 0 2446860 0
[pid=11578/tid=11582] ppid=11575 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/11578/task/11582/stat : 11582 (java) R 11575 11578 11545 0 -1 4202560 2461 0 1 0 36 2 0 0 20 0 19 0 5635204 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607693754920 140607633713090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11583] ppid=11575 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/11578/task/11583/stat : 11583 (java) S 11575 11578 11545 0 -1 4202560 258 0 0 0 31 8 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607537232680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11584] ppid=11575 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/11578/task/11584/stat : 11584 (java) S 11575 11578 11545 0 -1 4202560 134 0 0 0 26 6 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607536179880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11585] ppid=11575 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/11578/task/11585/stat : 11585 (java) S 11575 11578 11545 0 -1 4202560 236 0 0 0 22 4 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607535127592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11586] ppid=11575 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/11578/task/11586/stat : 11586 (java) S 11575 11578 11545 0 -1 4202560 171 0 0 0 22 5 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607534074792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11587] ppid=11575 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11578/task/11587/stat : 11587 (java) S 11575 11578 11545 0 -1 4202560 187 0 0 0 31 6 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607533021480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11588] ppid=11575 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11578/task/11588/stat : 11588 (java) S 11575 11578 11545 0 -1 4202560 283 0 0 0 29 8 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607531968680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11589] ppid=11575 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/11578/task/11589/stat : 11589 (java) S 11575 11578 11545 0 -1 4202560 248 0 0 0 34 9 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607530916392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11590] ppid=11575 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/11578/task/11590/stat : 11590 (java) S 11575 11578 11545 0 -1 4202560 223 0 0 0 28 7 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607529863592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11591] ppid=11575 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 1276 0 0 0 0 4 0 0 20 0 19 0 5635207 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 14332 0 0 0 163 2 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 13645 0 0 0 102 2 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11794] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11794/stat : 11794 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5643617 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607507138088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 396.62
Current children cumulated vsize (KiB) 9824732

[startup+209.001 s]
/proc/loadavg: 3.79 1.92 1.23 4/216 11871
/proc/meminfo: memFree=23555560/32872528 swapFree=13208/1155804
[pid=11578] ppid=11575 vsize=9824732 CPUtime=396.82 cores=1,3,5,7
/proc/11578/stat : 11578 (java) S 11575 11578 11545 0 -1 4202496 36349 0 1 0 39557 125 0 0 20 0 19 0 5635203 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140735338906848 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11578/statm: 2456183 715947 2287 9 0 2446860 0
[pid=11578/tid=11582] ppid=11575 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/11578/task/11582/stat : 11582 (java) R 11575 11578 11545 0 -1 4202560 2461 0 1 0 57 2 0 0 20 0 19 0 5635204 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607693754920 140607634879433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11583] ppid=11575 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/11578/task/11583/stat : 11583 (java) S 11575 11578 11545 0 -1 4202560 258 0 0 0 31 8 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607537232680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11584] ppid=11575 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/11578/task/11584/stat : 11584 (java) S 11575 11578 11545 0 -1 4202560 134 0 0 0 26 6 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607536179880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11585] ppid=11575 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/11578/task/11585/stat : 11585 (java) S 11575 11578 11545 0 -1 4202560 236 0 0 0 22 4 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607535127592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11586] ppid=11575 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/11578/task/11586/stat : 11586 (java) S 11575 11578 11545 0 -1 4202560 171 0 0 0 22 5 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607534074792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11587] ppid=11575 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11578/task/11587/stat : 11587 (java) S 11575 11578 11545 0 -1 4202560 187 0 0 0 31 6 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607533021480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11588] ppid=11575 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11578/task/11588/stat : 11588 (java) S 11575 11578 11545 0 -1 4202560 283 0 0 0 29 8 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607531968680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11589] ppid=11575 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/11578/task/11589/stat : 11589 (java) S 11575 11578 11545 0 -1 4202560 248 0 0 0 34 9 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607530916392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11590] ppid=11575 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/11578/task/11590/stat : 11590 (java) S 11575 11578 11545 0 -1 4202560 223 0 0 0 28 7 0 0 20 0 19 0 5635206 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607529863592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11591] ppid=11575 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11578/task/11591/stat : 11591 (java) S 11575 11578 11545 0 -1 4202560 1276 0 0 0 0 4 0 0 20 0 19 0 5635207 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607517666024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11592] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11592/stat : 11592 (java) S 11575 11578 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607516612088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11593] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11593/stat : 11593 (java) S 11575 11578 11545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5635207 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607515559688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11578/tid=11594] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11594/stat : 11594 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607514508176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11595] ppid=11575 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/11578/task/11595/stat : 11595 (java) S 11575 11578 11545 0 -1 4202560 14332 0 0 0 163 2 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607513454776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11596] ppid=11575 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/11578/task/11596/stat : 11596 (java) S 11575 11578 11545 0 -1 4202560 13645 0 0 0 102 2 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607512401976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11578/tid=11597] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11597/stat : 11597 (java) S 11575 11578 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607511349880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11578/tid=11598] ppid=11575 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11578/task/11598/stat : 11598 (java) S 11575 11578 11545 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 19 0 5635210 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607510297288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11578/tid=11794] ppid=11575 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11578/task/11794/stat : 11794 (java) S 11575 11578 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5643617 10060525568 715947 33554432000 1073741824 1073778376 140735338915712 140607507138088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 396.82
Current children cumulated vsize (KiB) 9824732

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.209991
#  lost CPU user time (s): 0.25
#  lost CPU system time (s): -0.0400001

Real time (s): 209.098
CPU time (s): 397.255
CPU user time (s): 395.852
CPU system time (s): 1.40278
CPU usage (%): 189.985
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.602
system time used= 1.44278
maximum resident set size= 2901784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36362
page faults= 1
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6583
involuntary context switches= 6958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19982 second user time and 1.01885 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-30 02:31:18
IDJOB=4119071
IDBENCH=111646
IDSOLVER=2543
FILE ID=node114/4119071-1467246678
RUNJOBID= node114-1467246678-11562
PBS_JOBID= 20004474
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 458d2af0209ef6c605d473176667773a
RANDOM SEED=1569075572

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29652616 kB
Buffers:          108104 kB
Cached:          1200972 kB
SwapCached:            0 kB
Active:           132932 kB
Inactive:        1191820 kB
Active(anon):      18500 kB
Inactive(anon):        0 kB
Active(file):     114432 kB
Inactive(file):  1191820 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               796 kB
Writeback:             0 kB
AnonPages:       1171336 kB
Mapped:            13492 kB
Shmem:               204 kB
Slab:             607408 kB
SReclaimable:      52208 kB
SUnreclaim:       555200 kB
KernelStack:        1376 kB
PageTables:         6484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1258016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1148928 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= 71668 MiB
End job on node114 at 2016-06-30 02:34:47