Trace number 4085457

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 Resolution PB16SAT (TO)2 1800.71 1798.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
Number of bits of the biggest sum of numbers13
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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
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 No 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.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4085457-1465243763.opb
0.09/0.12	c reading problem ... 
0.09/0.14	c  objective function found
0.09/0.16	c ... done. Wall clock time 0.039s.
0.09/0.16	c declared #vars     146
0.09/0.16	c #constraints  12
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.09/0.16	c 12 constraints processed.
0.09/0.16	c objective function length is 96 literals
0.26/0.28	c SATISFIABLE
0.26/0.28	c OPTIMIZING...
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.152
0.26/0.28	o 278
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.16
0.26/0.28	o 238
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.265
0.50/0.39	o 195
0.61/0.42	c Got one! Elapsed wall clock time (in seconds):0.298
0.61/0.42	o 86
0.96/0.74	c cleaning 3539 clauses out of 7092 with flag 8341/7092
1.19/0.86	c Got one! Elapsed wall clock time (in seconds):0.738
1.19/0.86	o 85
1.42/0.98	c Got one! Elapsed wall clock time (in seconds):0.862
1.42/0.98	o 78
1.84/1.30	c cleaning 5065 clauses out of 10157 with flag 6117/13696
2.34/1.86	c cleaning 5531 clauses out of 11090 with flag 18584/19694
2.45/1.95	c Got one! Elapsed wall clock time (in seconds):1.828
2.45/1.95	o 76
2.45/1.99	c Got one! Elapsed wall clock time (in seconds):1.865
2.45/1.99	o 75
2.55/2.08	c Got one! Elapsed wall clock time (in seconds):1.954
2.55/2.08	o 74
2.85/2.39	c cleaning 5908 clauses out of 11822 with flag 6861/25957
3.06/2.55	c Got one! Elapsed wall clock time (in seconds):2.426
3.06/2.55	o 72
3.06/2.59	c Got one! Elapsed wall clock time (in seconds):2.466
3.06/2.59	o 69
3.17/2.64	c Got one! Elapsed wall clock time (in seconds):2.517
3.17/2.64	o 68
3.47/2.91	c cleaning 6018 clauses out of 12036 with flag 6902/32079
3.98/3.41	c cleaning 6009 clauses out of 12017 with flag 20972/38078
4.07/3.51	c Got one! Elapsed wall clock time (in seconds):3.384
4.07/3.51	o 66
4.48/3.91	c cleaning 5751 clauses out of 11526 with flag 9166/43596
4.78/4.21	c Got one! Elapsed wall clock time (in seconds):4.09
4.78/4.21	o 61
4.88/4.36	c Got one! Elapsed wall clock time (in seconds):4.236
4.88/4.36	o 60
4.98/4.49	c cleaning 6065 clauses out of 12132 with flag 2369/49953
5.48/4.98	c Got one! Elapsed wall clock time (in seconds):4.856
5.48/4.98	o 59
5.68/5.17	c Got one! Elapsed wall clock time (in seconds):5.048
5.68/5.17	o 53
6.09/5.58	c Got one! Elapsed wall clock time (in seconds):5.461
6.09/5.58	o 45
6.28/5.77	c cleaning 8913 clauses out of 17836 with flag 2341/61722
6.98/6.44	c cleaning 7459 clauses out of 14922 with flag 17244/67721
7.58/7.09	c cleaning 7231 clauses out of 14468 with flag 32590/74726
8.18/7.63	c Got one! Elapsed wall clock time (in seconds):7.508
8.18/7.63	o 44
8.88/8.38	c cleaning 9280 clauses out of 18562 with flag 11643/86051
8.98/8.49	c Got one! Elapsed wall clock time (in seconds):8.371
8.98/8.49	o 42
9.61/8.93	c cleaning 7285 clauses out of 14576 with flag 9119/91345
9.61/8.95	c Got one! Elapsed wall clock time (in seconds):8.83
9.61/8.95	o 37
9.91/9.24	c Got one! Elapsed wall clock time (in seconds):9.113
9.91/9.24	o 36
10.11/9.45	c cleaning 6423 clauses out of 12850 with flag 4667/96904
10.62/9.99	c cleaning 6210 clauses out of 12428 with flag 18232/102905
11.31/10.63	c cleaning 6605 clauses out of 13216 with flag 33713/109903
12.11/11.42	c cleaning 7301 clauses out of 14613 with flag 51045/117905
13.11/12.43	c cleaning 8153 clauses out of 16310 with flag 70961/126903
14.21/13.51	c cleaning 9079 clauses out of 18160 with flag 93341/136906
14.61/13.91	c Got one! Elapsed wall clock time (in seconds):13.782
14.61/13.91	o 35
14.71/14.05	c cleaning 7146 clauses out of 14298 with flag 2240/142123
15.31/14.66	c cleaning 6573 clauses out of 13153 with flag 15613/148124
15.31/14.67	c Got one! Elapsed wall clock time (in seconds):14.549
15.31/14.67	o 33
15.81/15.16	c cleaning 5883 clauses out of 11780 with flag 11045/153324
16.41/15.70	c cleaning 5945 clauses out of 11897 with flag 23925/159324
17.11/16.40	c cleaning 6475 clauses out of 12951 with flag 39547/166323
17.91/17.22	c cleaning 7238 clauses out of 14476 with flag 57639/174323
18.91/18.29	c cleaning 8116 clauses out of 16238 with flag 78137/183323
19.01/18.38	c Got one! Elapsed wall clock time (in seconds):18.252
19.01/18.38	o 32
19.21/18.56	c Got one! Elapsed wall clock time (in seconds):18.433
19.21/18.56	o 31
19.61/18.95	c cleaning 6981 clauses out of 13967 with flag 6283/189168
20.31/19.65	c cleaning 6489 clauses out of 12990 with flag 18607/195172
20.81/20.18	c Got one! Elapsed wall clock time (in seconds):20.06
20.81/20.18	o 29
21.02/20.30	c cleaning 6245 clauses out of 12496 with flag 2069/201167
21.62/20.94	c cleaning 6123 clauses out of 12251 with flag 14550/207167
21.92/21.23	c Got one! Elapsed wall clock time (in seconds):21.112
21.92/21.23	o 28
22.12/21.44	c cleaning 5659 clauses out of 11331 with flag 4435/212370
22.52/21.81	c Got one! Elapsed wall clock time (in seconds):21.691
22.52/21.81	o 26
22.62/21.94	c cleaning 5676 clauses out of 11364 with flag 2066/218062
23.21/22.57	c cleaning 5843 clauses out of 11685 with flag 14448/224059
24.01/23.34	c cleaning 6417 clauses out of 12840 with flag 28795/231057
24.31/23.69	c Got one! Elapsed wall clock time (in seconds):23.563
24.31/23.69	o 25
24.61/23.91	c cleaning 6116 clauses out of 12231 with flag 4307/236865
25.22/24.54	c cleaning 6051 clauses out of 12112 with flag 17074/242862
25.94/25.25	c cleaning 6525 clauses out of 13064 with flag 31454/249865
26.24/25.54	c Got one! Elapsed wall clock time (in seconds):25.42
26.24/25.54	o 18
26.47/25.77	c cleaning 5927 clauses out of 11865 with flag 4321/255191
27.18/26.41	c cleaning 5956 clauses out of 11938 with flag 17545/261191
27.87/27.13	c cleaning 6490 clauses out of 12982 with flag 33075/268191
28.67/27.93	c cleaning 7248 clauses out of 14495 with flag 49979/276194
29.77/29.01	c cleaning 8122 clauses out of 16245 with flag 68689/285192
31.07/30.32	c cleaning 9060 clauses out of 18124 with flag 89668/295193
32.57/31.85	c cleaning 10031 clauses out of 20067 with flag 112959/306196
34.37/33.67	c cleaning 11014 clauses out of 22032 with flag 137704/318192
36.37/35.64	c cleaning 12008 clauses out of 24017 with flag 164703/331191
38.57/37.87	c cleaning 13005 clauses out of 26009 with flag 193784/345191
41.27/40.57	c cleaning 13991 clauses out of 28004 with flag 224803/360191
44.37/43.62	c cleaning 15005 clauses out of 30013 with flag 258001/376191
47.78/47.03	c cleaning 15999 clauses out of 32008 with flag 293076/393191
51.28/50.56	c cleaning 17002 clauses out of 34009 with flag 330255/411191
55.38/54.66	c cleaning 18002 clauses out of 36008 with flag 369499/430192
60.28/59.53	c cleaning 19004 clauses out of 38008 with flag 410758/450194
65.58/64.80	c cleaning 20000 clauses out of 40004 with flag 454232/471194
71.18/70.45	c cleaning 20995 clauses out of 42001 with flag 499624/493191
77.08/76.31	c cleaning 22000 clauses out of 44006 with flag 546909/516191
83.78/83.02	c cleaning 23001 clauses out of 46006 with flag 596407/540191
91.73/90.98	c cleaning 24002 clauses out of 48008 with flag 648149/565194
99.53/98.75	c cleaning 25002 clauses out of 50003 with flag 701885/591191
107.73/106.91	c cleaning 25999 clauses out of 52003 with flag 757980/618193
116.13/115.35	c cleaning 26999 clauses out of 54005 with flag 816222/646194
124.63/123.89	c cleaning 28000 clauses out of 56004 with flag 875780/675192
134.93/134.10	c cleaning 29001 clauses out of 58008 with flag 937239/705196
145.63/144.86	c cleaning 29997 clauses out of 60002 with flag 1001205/736191
157.24/156.49	c cleaning 31001 clauses out of 62009 with flag 1067759/768195
165.23/164.49	c Got one! Elapsed wall clock time (in seconds):164.368
165.23/164.49	o 17
167.43/166.68	c cleaning 30341 clauses out of 60698 with flag 10635/797885
168.84/168.08	c cleaning 18173 clauses out of 36354 with flag 23152/803882
170.24/169.42	c cleaning 12589 clauses out of 25185 with flag 37682/810886
171.53/170.70	c cleaning 10289 clauses out of 20592 with flag 54243/818882
172.73/171.95	c cleaning 9651 clauses out of 19303 with flag 72971/827882
174.33/173.51	c cleaning 9824 clauses out of 19652 with flag 93678/837882
175.84/175.07	c cleaning 10413 clauses out of 20830 with flag 116546/848884
177.53/176.75	c cleaning 11202 clauses out of 22415 with flag 141281/860882
179.23/178.41	c cleaning 12109 clauses out of 24217 with flag 168065/873886
181.13/180.32	c cleaning 13049 clauses out of 26105 with flag 196808/887883
183.23/182.48	c cleaning 14025 clauses out of 28055 with flag 227833/902882
185.74/184.95	c cleaning 15015 clauses out of 30031 with flag 260993/918883
188.63/187.85	c cleaning 16004 clauses out of 32015 with flag 296231/935882
191.83/191.04	c cleaning 17001 clauses out of 34011 with flag 333437/953882
195.43/194.63	c cleaning 18005 clauses out of 36010 with flag 372624/972882
199.53/198.70	c cleaning 18999 clauses out of 38005 with flag 413918/992882
203.93/203.16	c cleaning 20001 clauses out of 40009 with flag 457583/1013885
208.23/207.47	c cleaning 20995 clauses out of 42006 with flag 503968/1035883
213.64/212.85	c cleaning 22004 clauses out of 44012 with flag 551405/1058884
219.64/218.89	c cleaning 23000 clauses out of 46007 with flag 600952/1082883
225.64/224.87	c cleaning 24003 clauses out of 48008 with flag 652214/1107884
232.24/231.44	c cleaning 24999 clauses out of 50003 with flag 705620/1133882
239.34/238.59	c cleaning 26001 clauses out of 52004 with flag 760960/1160882
246.70/245.86	c cleaning 26997 clauses out of 54003 with flag 818869/1188882
255.11/254.22	c cleaning 27999 clauses out of 56006 with flag 879180/1217882
263.91/263.06	c cleaning 29001 clauses out of 58007 with flag 941315/1247882
273.00/272.14	c cleaning 30002 clauses out of 60007 with flag 1005188/1278883
282.80/281.98	c cleaning 31000 clauses out of 62005 with flag 1071392/1310883
285.60/284.79	c Got one! Elapsed wall clock time (in seconds):284.667
285.60/284.79	o 2
287.01/286.16	c cleaning 24351 clauses out of 48703 with flag 10526/1328581
288.20/287.32	c cleaning 15168 clauses out of 30351 with flag 22883/1334580
289.30/288.41	c cleaning 11082 clauses out of 22183 with flag 37331/1341580
290.31/289.46	c cleaning 9539 clauses out of 19099 with flag 53973/1349578
291.41/290.58	c cleaning 9269 clauses out of 18562 with flag 72399/1358580
292.70/291.84	c cleaning 9644 clauses out of 19291 with flag 92845/1368578
294.10/293.28	c cleaning 10316 clauses out of 20649 with flag 115247/1379580
295.90/295.02	c cleaning 11165 clauses out of 22332 with flag 139802/1391579
297.70/296.89	c cleaning 12080 clauses out of 24165 with flag 166298/1404577
300.00/299.19	c cleaning 13040 clauses out of 26086 with flag 194927/1418578
302.50/301.63	c cleaning 14017 clauses out of 28046 with flag 225282/1433578
305.30/304.45	c cleaning 15015 clauses out of 30030 with flag 257825/1449579
308.40/307.54	c cleaning 16005 clauses out of 32013 with flag 292693/1466577
312.20/311.36	c cleaning 17001 clauses out of 34008 with flag 329607/1484577
316.20/315.37	c cleaning 18004 clauses out of 36010 with flag 368700/1503580
320.20/319.37	c cleaning 18994 clauses out of 38003 with flag 409921/1523577
325.09/324.20	c cleaning 19999 clauses out of 40009 with flag 453248/1544577
330.39/329.55	c cleaning 21002 clauses out of 42010 with flag 498367/1566577
335.89/335.10	c cleaning 22005 clauses out of 44010 with flag 545540/1589579
342.00/341.19	c cleaning 22999 clauses out of 46003 with flag 594544/1613577
349.19/348.34	c cleaning 24002 clauses out of 48005 with flag 645585/1638578
356.80/355.95	c cleaning 25002 clauses out of 50005 with flag 698418/1664580
364.70/363.81	c cleaning 25997 clauses out of 52000 with flag 753260/1691577
373.50/372.63	c cleaning 27001 clauses out of 54008 with flag 810144/1719582
382.90/382.04	c cleaning 28004 clauses out of 56007 with flag 869485/1748582
392.50/391.63	c cleaning 28997 clauses out of 58000 with flag 930848/1778579
402.60/401.75	c cleaning 30001 clauses out of 60002 with flag 994436/1809578
412.70/411.81	c cleaning 30996 clauses out of 62002 with flag 1060134/1841579
422.41/421.57	c cleaning 31998 clauses out of 64005 with flag 1127161/1874578
433.51/432.63	c cleaning 33003 clauses out of 66006 with flag 1196422/1908577
445.61/444.76	c cleaning 33999 clauses out of 68007 with flag 1267504/1943581
459.22/458.32	c cleaning 34997 clauses out of 70005 with flag 1340683/1979578
472.52/471.70	c cleaning 36002 clauses out of 72009 with flag 1416392/2016579
487.13/486.27	c cleaning 37001 clauses out of 74005 with flag 1494248/2054577
502.43/501.50	c cleaning 37996 clauses out of 76007 with flag 1574349/2093580
518.93/518.02	c cleaning 39004 clauses out of 78008 with flag 1656316/2133577
536.53/535.67	c cleaning 40000 clauses out of 80005 with flag 1739888/2174578
555.83/554.93	c cleaning 40996 clauses out of 82004 with flag 1825453/2216577
577.73/576.85	c cleaning 41999 clauses out of 84010 with flag 1913472/2259579
599.64/598.76	c cleaning 43003 clauses out of 86010 with flag 2003567/2303578
622.94/622.04	c cleaning 44001 clauses out of 88009 with flag 2095511/2348580
647.35/646.40	c cleaning 45001 clauses out of 90006 with flag 2190124/2394578
671.84/670.98	c cleaning 46002 clauses out of 92010 with flag 2286553/2441583
695.95/695.04	c cleaning 47001 clauses out of 94003 with flag 2384950/2489578
723.79/722.85	c cleaning 47997 clauses out of 96006 with flag 2485501/2538582
753.79/752.89	c cleaning 49003 clauses out of 98006 with flag 2588018/2588579
784.79/783.80	c cleaning 49995 clauses out of 100004 with flag 2692911/2639580
816.29/815.34	c cleaning 51000 clauses out of 102006 with flag 2799909/2691577
846.10/845.18	c cleaning 52003 clauses out of 104006 with flag 2909676/2744577
879.01/878.02	c cleaning 52998 clauses out of 106003 with flag 3021438/2798577
912.42/911.40	c cleaning 53997 clauses out of 108005 with flag 3135287/2853577
938.43/937.42	c cleaning 55003 clauses out of 110008 with flag 3249450/2909577
970.84/969.85	c cleaning 55996 clauses out of 112005 with flag 3365524/2966577
1009.05/1008.03	c cleaning 57001 clauses out of 114012 with flag 3484217/3024580
1049.37/1048.32	c cleaning 58004 clauses out of 116010 with flag 3604610/3083579
1088.77/1087.70	c cleaning 59000 clauses out of 118007 with flag 3726694/3143580
1126.95/1125.86	c cleaning 59999 clauses out of 120004 with flag 3850688/3204577
1167.45/1166.31	c cleaning 61002 clauses out of 122005 with flag 3977384/3266577
1208.85/1207.73	c cleaning 61996 clauses out of 124004 with flag 4104882/3329578
1247.27/1246.14	c cleaning 63000 clauses out of 126009 with flag 4234997/3393579
1288.17/1287.06	c cleaning 64000 clauses out of 128008 with flag 4366921/3458578
1332.18/1331.08	c cleaning 65003 clauses out of 130007 with flag 4501186/3524577
1381.39/1380.23	c cleaning 65995 clauses out of 132004 with flag 4637619/3591577
1428.99/1427.83	c cleaning 66996 clauses out of 134012 with flag 4775917/3659580
1488.99/1487.82	c cleaning 68007 clauses out of 136016 with flag 4916411/3728580
1548.01/1546.88	c cleaning 69006 clauses out of 138012 with flag 5060533/3798583
1605.64/1604.45	c cleaning 69998 clauses out of 140003 with flag 5206367/3869580
1669.07/1667.87	c cleaning 70998 clauses out of 142002 with flag 5356174/3941577
1736.18/1734.95	c cleaning 71991 clauses out of 144004 with flag 5507777/4014577
1800.09/1798.80	c starts		: 152
1800.09/1798.80	c conflicts		: 4084660
1800.09/1798.80	c decisions		: 4188259
1800.09/1798.80	c propagations		: 36846426
1800.09/1798.80	c inspects		: 36657272751
1800.09/1798.80	c shortcuts		: 0
1800.09/1798.80	c learnt literals	: 0
1800.09/1798.80	c learnt binary clauses	: 0
1800.09/1798.80	c learnt ternary clauses	: 0
1800.09/1798.80	c learnt constraints	: 4084660
1800.09/1798.80	c ignored constraints	: 0
1800.09/1798.80	c root simplifications	: 0
1800.09/1798.80	c removed literals (reason simplification)	: 0
1800.09/1798.80	c reason swapping (by a shorter reason)	: 0
1800.09/1798.80	c Calls to reduceDB	: 162
1800.09/1798.80	c Number of update (reduction) of LBD	: 206865
1800.09/1798.80	c Imported unit clauses	: 0
1800.09/1798.80	c number of reductions to clauses (during analyze)	: 0
1800.09/1798.80	c number of learned constraints concerned by reduction	: 0
1800.09/1798.80	c number of learning phase by resolution	: 0
1800.09/1798.80	c number of learning phase by cutting planes	: 0
1800.09/1798.80	c speed (assignments/second)	: 20485.749486972636
1800.09/1798.80	c non guided choices	780
1800.09/1798.83	c learnt constraints type 
1800.09/1798.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 142097
1800.09/1798.83	s SATISFIABLE
1800.09/1798.83	c Found 33 solution(s)
1800.09/1798.83	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 
1800.09/1798.83	c objective function=2
1800.09/1798.83	c Total wall clock time (in seconds): 1798.709

Verifier Data 

OK	2

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-4085457-1465243763/watcher-4085457-1465243763 -o /tmp/evaluation-result-4085457-1465243763/solver-4085457-1465243763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7201 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085457-1465243763.opb 

pid=14336
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: 2.18 2.16 2.17 4/194 14339
/proc/meminfo: memFree=30024944/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/14339/stat : 14339 (java) R 14336 14339 7184 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 106309587 5767168 55 33554432000 1073741824 1073778376 140734533237408 140734533234536 214360485159 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 1408 59 47 9 0 30 0

[startup+0.100063 s]
/proc/loadavg: 2.18 2.16 2.17 4/194 14339
/proc/meminfo: memFree=30024944/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 4351 0 1 0 8 1 0 0 20 0 18 0 106309587 9787879424 5471 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2389619 5471 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.18 2.16 2.17 4/194 14339
/proc/meminfo: memFree=30024944/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625364 CPUtime=0.26 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 5327 0 1 0 24 2 0 0 20 0 19 0 106309587 9856372736 6733 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406341 6735 2228 9 0 2397018 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625364

[startup+0.300225 s]
/proc/loadavg: 2.18 2.16 2.17 4/194 14339
/proc/meminfo: memFree=30024944/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 6751 0 1 0 48 2 0 0 20 0 19 0 106309587 9856040960 8011 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 8011 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.70017 s]
/proc/loadavg: 2.18 2.16 2.17 4/194 14339
/proc/meminfo: memFree=30024944/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 7472 0 1 0 94 2 0 0 20 0 19 0 106309587 9856040960 9227 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 9227 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.18 2.16 2.17 4/213 14358
/proc/meminfo: memFree=29973500/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 15552 0 1 0 201 3 0 0 20 0 19 0 106309587 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 14923 2250 9 0 2396937 0
[pid=14339/tid=14341] ppid=14336 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/14339/task/14341/stat : 14341 (java) R 14336 14339 7184 0 -1 4202560 2418 0 1 0 145 1 0 0 20 0 19 0 106309587 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644427035128 139644300046398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14342] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14342/stat : 14342 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644271065768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14343] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14343/stat : 14343 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644270013224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14344] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14344/stat : 14344 (java) S 14336 14339 7184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644268960680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14345] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14345/stat : 14345 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644267908136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14346] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14346/stat : 14346 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644266854568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14347] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14347/stat : 14347 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644265802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14348] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14348/stat : 14348 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644264749480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14349] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14349/stat : 14349 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644263696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14350] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14350/stat : 14350 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644251286120 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 3853 0 0 0 25 0 0 0 20 0 19 0 106309593 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 27 2 0 0 20 0 19 0 106309593 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 14923 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.24 2.17 2.17 3/213 14358
/proc/meminfo: memFree=29969280/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=3.67 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 15556 0 1 0 364 3 0 0 20 0 19 0 106309587 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 16460 2250 9 0 2396937 0
[pid=14339/tid=14341] ppid=14336 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/14339/task/14341/stat : 14341 (java) R 14336 14339 7184 0 -1 4202560 2421 0 1 0 305 1 0 0 20 0 19 0 106309587 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644427035016 139644300055283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14342] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14342/stat : 14342 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644271065768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14343] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14343/stat : 14343 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644270013224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14344] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14344/stat : 14344 (java) S 14336 14339 7184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644268960680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14345] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14345/stat : 14345 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644267908136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14346] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14346/stat : 14346 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644266854568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14347] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14347/stat : 14347 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644265802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14348] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14348/stat : 14348 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644264749480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14349] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14349/stat : 14349 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644263696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14350] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14350/stat : 14350 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644251286120 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 3854 0 0 0 28 0 0 0 20 0 19 0 106309593 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 27 2 0 0 20 0 19 0 106309593 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 16460 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.24 2.17 2.17 3/213 14358
/proc/meminfo: memFree=29962392/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=6.88 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 15562 0 1 0 684 4 0 0 20 0 19 0 106309587 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 18105 2251 9 0 2396937 0
[pid=14339/tid=14341] ppid=14336 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/14339/task/14341/stat : 14341 (java) R 14336 14339 7184 0 -1 4202560 2426 0 1 0 625 1 0 0 20 0 19 0 106309587 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644427026096 139644300074524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14342] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14342/stat : 14342 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644271065768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14343] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14343/stat : 14343 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644270013224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14344] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14344/stat : 14344 (java) S 14336 14339 7184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644268960680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14345] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14345/stat : 14345 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644267908136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14346] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14346/stat : 14346 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644266854568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14347] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14347/stat : 14347 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644265802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14348] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14348/stat : 14348 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644264749480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14349] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14349/stat : 14349 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106309589 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644263696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14350] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14350/stat : 14350 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644251286120 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 3854 0 0 0 28 0 0 0 20 0 19 0 106309593 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 27 2 0 0 20 0 19 0 106309593 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 18105 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625040


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

[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 7040 0 0 0 46 1 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 28 2 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 96 0 0 0 34 33 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.57
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/213 14467
/proc/meminfo: memFree=30164788/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=1723.57 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 19367 0 1 0 172313 44 0 0 20 0 19 0 106309587 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 58493 2268 9 0 2396937 0
[pid=14339/tid=14341] ppid=14336 vsize=9625040 CPUtime=1722.11 cores=1,3,5,7
/proc/14339/task/14341/stat : 14341 (java) R 14336 14339 7184 0 -1 4202560 2487 0 1 0 172172 39 0 0 20 0 19 0 106309587 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644427026096 139644300040894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14342] ppid=14336 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/14339/task/14342/stat : 14342 (java) S 14336 14339 7184 0 -1 4202560 106 0 0 0 5 2 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644271065768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14343] ppid=14336 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14339/task/14343/stat : 14343 (java) S 14336 14339 7184 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644270013224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14344] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14344/stat : 14344 (java) S 14336 14339 7184 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644268960680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14345] ppid=14336 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14339/task/14345/stat : 14345 (java) S 14336 14339 7184 0 -1 4202560 90 0 0 0 4 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644267908136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14346] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14346/stat : 14346 (java) S 14336 14339 7184 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644266854568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14347] ppid=14336 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/14339/task/14347/stat : 14347 (java) S 14336 14339 7184 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644265802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14348] ppid=14336 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14339/task/14348/stat : 14348 (java) S 14336 14339 7184 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644264749480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14349] ppid=14336 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14339/task/14349/stat : 14349 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644263696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14350] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14350/stat : 14350 (java) S 14336 14339 7184 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644251286120 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 7040 0 0 0 46 1 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 28 2 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 100 0 0 0 35 35 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.57
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/213 14469
/proc/meminfo: memFree=30164540/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=1783.58 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 19371 0 1 0 178313 45 0 0 20 0 19 0 106309587 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 58493 2268 9 0 2396937 0
[pid=14339/tid=14341] ppid=14336 vsize=9625040 CPUtime=1782.11 cores=1,3,5,7
/proc/14339/task/14341/stat : 14341 (java) R 14336 14339 7184 0 -1 4202560 2487 0 1 0 178171 40 0 0 20 0 19 0 106309587 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644427026096 139644300055260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14342] ppid=14336 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/14339/task/14342/stat : 14342 (java) S 14336 14339 7184 0 -1 4202560 106 0 0 0 5 2 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644271065768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14343] ppid=14336 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14339/task/14343/stat : 14343 (java) S 14336 14339 7184 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644270013224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14344] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14344/stat : 14344 (java) S 14336 14339 7184 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644268960680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14345] ppid=14336 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14339/task/14345/stat : 14345 (java) S 14336 14339 7184 0 -1 4202560 90 0 0 0 4 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644267908136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14346] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14346/stat : 14346 (java) S 14336 14339 7184 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644266854568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14347] ppid=14336 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/14339/task/14347/stat : 14347 (java) S 14336 14339 7184 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644265802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14348] ppid=14336 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14339/task/14348/stat : 14348 (java) S 14336 14339 7184 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644264749480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14349] ppid=14336 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14339/task/14349/stat : 14349 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644263696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14350] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14350/stat : 14350 (java) S 14336 14339 7184 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644251286120 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 7040 0 0 0 46 1 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 28 2 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 104 0 0 0 38 36 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.8 s]
/proc/loadavg: 2.10 2.16 2.17 4/213 14469
/proc/meminfo: memFree=30164416/32872528 swapFree=15784/1434320
[pid=14339] ppid=14336 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/14339/stat : 14339 (java) S 14336 14339 7184 0 -1 4202496 19371 0 1 0 179963 46 0 0 20 0 19 0 106309587 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 140734533228544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14339/statm: 2406260 58493 2268 9 0 2396937 0
[pid=14339/tid=14341] ppid=14336 vsize=9625040 CPUtime=1798.61 cores=1,3,5,7
/proc/14339/task/14341/stat : 14341 (java) R 14336 14339 7184 0 -1 4202560 2487 0 1 0 179821 40 0 0 20 0 19 0 106309587 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644427026096 139644300055283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14339/tid=14342] ppid=14336 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/14339/task/14342/stat : 14342 (java) S 14336 14339 7184 0 -1 4202560 106 0 0 0 5 2 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644271065768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14343] ppid=14336 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14339/task/14343/stat : 14343 (java) S 14336 14339 7184 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644270013224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14344] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14344/stat : 14344 (java) S 14336 14339 7184 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644268960680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14345] ppid=14336 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14339/task/14345/stat : 14345 (java) S 14336 14339 7184 0 -1 4202560 90 0 0 0 4 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644267908136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14346] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14346/stat : 14346 (java) S 14336 14339 7184 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644266854568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14347] ppid=14336 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/14339/task/14347/stat : 14347 (java) S 14336 14339 7184 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644265802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14348] ppid=14336 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/14339/task/14348/stat : 14348 (java) S 14336 14339 7184 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644264749480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14349] ppid=14336 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/14339/task/14349/stat : 14349 (java) S 14336 14339 7184 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 106309589 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644263696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14350] ppid=14336 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/14339/task/14350/stat : 14350 (java) S 14336 14339 7184 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644251286120 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14351] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14351/stat : 14351 (java) S 14336 14339 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644250232440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14352] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14352/stat : 14352 (java) S 14336 14339 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106309590 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644249179784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14353] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14353/stat : 14353 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644248128528 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14339/tid=14354] ppid=14336 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/14339/task/14354/stat : 14354 (java) S 14336 14339 7184 0 -1 4202560 7040 0 0 0 46 1 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644247074872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14355] ppid=14336 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/14339/task/14355/stat : 14355 (java) S 14336 14339 7184 0 -1 4202560 8009 0 0 0 28 2 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644246022328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14356] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14356/stat : 14356 (java) S 14336 14339 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644244969976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14339/tid=14357] ppid=14336 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/14339/task/14357/stat : 14357 (java) S 14336 14339 7184 0 -1 4202560 104 0 0 0 38 36 0 0 20 0 19 0 106309593 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644243917640 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14339/tid=14358] ppid=14336 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14339/task/14358/stat : 14358 (java) S 14336 14339 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106309604 9856040960 58493 33554432000 1073741824 1073778376 140734533237408 139644242814248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14339 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.84
CPU time (s): 1800.71
CPU user time (s): 1799.76
CPU system time (s): 0.951855
CPU usage (%): 100.104
Max. virtual memory (cumulated for all children) (KiB): 9625364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.951855
maximum resident set size= 234164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19426
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38165
involuntary context switches= 3326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78312 second user time and 7.07892 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-06 22:09:24
IDJOB=4085457
IDBENCH=2908
IDSOLVER=2546
FILE ID=node130/4085457-1465243763
RUNJOBID= node130-1465218951-7201
PBS_JOBID= 19843207
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085457-1465243763/watcher-4085457-1465243763 -o /tmp/evaluation-result-4085457-1465243763/solver-4085457-1465243763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7201 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085457-1465243763.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=1784402470

node130.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.261
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.52
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.261
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.261
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.261
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.61
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.261
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.261
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.261
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.261
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:        30025208 kB
Buffers:           38028 kB
Cached:            98068 kB
SwapCached:         1752 kB
Active:           627188 kB
Inactive:          74336 kB
Active(anon):     566844 kB
Inactive(anon):     1200 kB
Active(file):      60344 kB
Inactive(file):    73136 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098352 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       1999664 kB
Mapped:            15360 kB
Shmem:                 0 kB
Slab:             568264 kB
SReclaimable:      11600 kB
SUnreclaim:       556664 kB
KernelStack:        1576 kB
PageTables:         8112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2122920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1972224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node130 at 2016-06-06 22:39:22