Trace number 4118494

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 PB16SAT (TO)-112 1800.08 904.781

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb
MD5SUM1b7584100cf92d40108fa32d96b74031
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-142
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables949
Total number of constraints1248
Number of constraints which are clauses624
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints624
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 852
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 920
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 920
Number of bits of the biggest sum of numbers10
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.09/3.24	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.09/3.24	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/3.24	c See www.sat4j.org for details.
0.09/3.25	c version PB16.v20160501
0.09/3.25	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/3.25	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/3.25	c java.vm.version	19.1-b02
0.09/3.25	c java.vm.vendor	Sun Microsystems Inc.
0.09/3.25	c sun.arch.data.model	64
0.09/3.25	c java.version		1.6.0_24
0.09/3.25	c os.name		Linux
0.09/3.25	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/3.25	c os.arch		amd64
0.09/3.25	c Free memory 		501472288
0.09/3.25	c Max memory 		7480803328
0.09/3.25	c Total memory 		504102912
0.09/3.25	c Number of processors 	8
0.11/3.39	c Pseudo Boolean Optimization by upper bound
0.11/3.39	c ManyCore solver with 2 solvers running in parallel
0.11/3.39	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/3.39	c --- Begin Solver configuration ---
0.11/3.39	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/3.39	c Learn all clauses as in MiniSAT
0.11/3.39	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/3.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/3.39	c Expensive reason simplification
0.11/3.39	c Glucose 2.1 dynamic restart strategy
0.11/3.39	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/3.39	c timeout=2147483s
0.11/3.39	c DB Simplification allowed=false
0.11/3.39	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/3.39	c --- End Solver configuration ---
0.11/3.39	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/3.39	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/3.39	c --- Begin Solver configuration ---
0.11/3.39	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/3.39	c Learn all clauses as in MiniSAT
0.11/3.39	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/3.39	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/3.39	c No reason simplification
0.11/3.39	c Armin Biere (Picosat) restarts strategy
0.11/3.39	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/3.39	c timeout=2147483s
0.11/3.39	c DB Simplification allowed=false
0.11/3.39	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/3.39	c --- End Solver configuration ---
0.11/3.40	c solving HOME/instance-4118494-1467233112.opb
0.11/3.40	c reading problem ... 
0.15/3.40	c  objective function found
0.29/3.58	c ... done. Wall clock time 0.189s.
0.29/3.58	c declared #vars     949
0.29/3.58	c #constraints  1248
0.44/3.67	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.44/3.67	c constraints type 
0.47/3.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 624
0.47/3.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624
0.47/3.73	c 1248 constraints processed.
0.47/3.73	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/3.73	c constraints type 
0.47/3.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624
0.47/3.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 624
0.47/3.73	c 1248 constraints processed.
0.47/3.73	c objective function length is 852 literals
0.49/3.85	c And the winner is solver0
0.50/4.23	c SATISFIABLE
0.50/4.23	c OPTIMIZING...
0.50/4.24	c Got one! Elapsed wall clock time (in seconds):0.84
0.50/4.24	o -97
0.85/4.47	c And the winner is solver0
1.40/4.82	c Got one! Elapsed wall clock time (in seconds):1.428
1.40/4.82	o -98
1.40/4.84	c And the winner is solver0
1.67/5.33	c Got one! Elapsed wall clock time (in seconds):1.933
1.67/5.33	o -99
1.67/5.39	c And the winner is solver0
1.95/5.83	c Got one! Elapsed wall clock time (in seconds):2.438
1.95/5.83	o -100
1.95/5.86	c And the winner is solver0
2.03/6.34	c Got one! Elapsed wall clock time (in seconds):2.941
2.03/6.34	o -101
3.54/6.91	c cleaning 2929 clauses out of 5861 with flag 10041/5861
5.23/7.61	c cleaning 4463 clauses out of 8933 with flag 22069/11862
6.94/8.42	c cleaning 5732 clauses out of 11469 with flag 36072/18861
8.82/9.38	c cleaning 6864 clauses out of 13738 with flag 52077/26862
9.26/9.53	c And the winner is solver1
9.32/9.84	c Got one! Elapsed wall clock time (in seconds):6.444
9.32/9.84	o -104
10.06/10.29	c cleaning 6148 clauses out of 12304 with flag 8621/32292
11.53/10.99	c cleaning 6072 clauses out of 12156 with flag 21334/38292
13.14/11.76	c cleaning 6536 clauses out of 13083 with flag 36148/45291
15.23/12.76	c cleaning 7270 clauses out of 14547 with flag 53196/53291
17.79/13.97	c cleaning 8135 clauses out of 16278 with flag 72244/62292
20.48/15.29	c cleaning 9072 clauses out of 18143 with flag 93364/72292
23.40/16.69	c cleaning 10035 clauses out of 20072 with flag 116819/83293
26.38/18.18	c cleaning 11018 clauses out of 22036 with flag 142292/95292
29.80/19.88	c cleaning 12004 clauses out of 24017 with flag 170170/108291
33.93/21.82	c cleaning 13007 clauses out of 26013 with flag 199514/122291
38.53/24.10	c cleaning 14002 clauses out of 28006 with flag 230349/137291
43.68/26.63	c cleaning 15002 clauses out of 30004 with flag 262839/153291
49.08/29.33	c cleaning 16001 clauses out of 32002 with flag 297358/170291
50.48/30.02	c And the winner is solver1
50.48/30.35	c Got one! Elapsed wall clock time (in seconds):26.95
50.48/30.35	o -107
50.57/30.49	c cleaning 10822 clauses out of 21656 with flag 2152/175946
51.97/31.17	c cleaning 8412 clauses out of 16835 with flag 15082/181947
54.04/32.06	c cleaning 7702 clauses out of 15423 with flag 30133/188947
55.83/32.93	c cleaning 7855 clauses out of 15720 with flag 47381/196946
57.83/33.96	c cleaning 8432 clauses out of 16865 with flag 66826/205946
60.23/35.15	c cleaning 9214 clauses out of 18434 with flag 88292/215947
63.03/36.54	c cleaning 10103 clauses out of 20219 with flag 111754/226946
66.26/38.13	c cleaning 11055 clauses out of 22116 with flag 137210/238946
70.14/39.91	c cleaning 12027 clauses out of 24061 with flag 164810/251946
73.96/41.84	c cleaning 13013 clauses out of 26034 with flag 194391/265946
77.94/43.82	c cleaning 14009 clauses out of 28021 with flag 226095/280946
82.34/46.01	c cleaning 15006 clauses out of 30013 with flag 260624/296947
87.16/48.45	c cleaning 15997 clauses out of 32006 with flag 297014/313946
93.41/51.76	c cleaning 17001 clauses out of 34009 with flag 335329/331946
98.79/54.45	c cleaning 18002 clauses out of 36009 with flag 376310/350947
104.90/57.47	c cleaning 19003 clauses out of 38008 with flag 419186/370948
107.90/58.95	c And the winner is solver1
107.90/59.38	c Got one! Elapsed wall clock time (in seconds):55.982
107.90/59.38	o -109
109.13/60.03	c cleaning 17274 clauses out of 34553 with flag 10648/386496
110.55/60.77	c cleaning 11634 clauses out of 23278 with flag 23718/392495
112.15/61.58	c cleaning 9316 clauses out of 18644 with flag 38605/399495
113.95/62.49	c cleaning 8654 clauses out of 17328 with flag 55841/407495
116.15/63.50	c cleaning 8832 clauses out of 17674 with flag 75084/416495
118.35/64.64	c cleaning 9417 clauses out of 18842 with flag 96382/426495
120.96/65.93	c cleaning 10209 clauses out of 20426 with flag 119788/437496
124.14/67.48	c cleaning 11105 clauses out of 22216 with flag 145297/449495
127.54/69.13	c cleaning 12053 clauses out of 24112 with flag 172999/462496
131.14/70.94	c cleaning 13028 clauses out of 26059 with flag 202967/476496
134.94/72.85	c cleaning 14013 clauses out of 28032 with flag 235040/491497
139.16/74.98	c cleaning 15007 clauses out of 30019 with flag 269362/507497
143.75/77.29	c cleaning 16001 clauses out of 32011 with flag 305370/524496
148.95/79.86	c cleaning 17002 clauses out of 34010 with flag 343372/542496
155.16/82.96	c cleaning 18000 clauses out of 36008 with flag 383418/561496
162.12/86.36	c cleaning 19000 clauses out of 38008 with flag 425624/581496
170.17/90.21	c cleaning 20004 clauses out of 40008 with flag 469929/602496
177.77/94.03	c cleaning 21002 clauses out of 42004 with flag 516373/624496
188.39/99.63	c cleaning 22001 clauses out of 44002 with flag 564795/647496
198.99/104.92	c cleaning 22996 clauses out of 46000 with flag 615911/671495
209.68/110.23	c cleaning 23999 clauses out of 48004 with flag 669036/696495
219.29/115.05	c cleaning 25000 clauses out of 50005 with flag 723778/722495
223.29/117.05	c And the winner is solver1
223.29/117.42	c Got one! Elapsed wall clock time (in seconds):114.023
223.29/117.42	o -110
224.71/118.10	c cleaning 20665 clauses out of 41343 with flag 10802/738833
226.12/118.84	c cleaning 13334 clauses out of 26678 with flag 23905/744833
227.71/119.66	c cleaning 10166 clauses out of 20345 with flag 38863/751834
229.71/120.61	c cleaning 9086 clauses out of 18179 with flag 56045/759834
231.71/121.66	c cleaning 9041 clauses out of 18093 with flag 75073/768834
234.11/122.83	c cleaning 9522 clauses out of 19051 with flag 96304/778833
237.06/124.23	c cleaning 10266 clauses out of 20531 with flag 119603/789835
239.86/125.67	c cleaning 11129 clauses out of 22264 with flag 145028/801834
243.06/127.28	c cleaning 12061 clauses out of 24135 with flag 172889/814834
246.47/128.98	c cleaning 13031 clauses out of 26074 with flag 202805/828834
250.27/130.80	c cleaning 14016 clauses out of 28043 with flag 235287/843834
254.26/132.83	c cleaning 15007 clauses out of 30026 with flag 269596/859833
258.66/135.00	c cleaning 16006 clauses out of 32020 with flag 306353/876834
263.46/137.45	c cleaning 17004 clauses out of 34013 with flag 344912/894833
268.86/140.12	c cleaning 18005 clauses out of 36009 with flag 385549/913833
274.46/142.98	c cleaning 19003 clauses out of 38005 with flag 428322/933834
280.66/146.02	c cleaning 20001 clauses out of 40002 with flag 472842/954834
287.46/149.45	c cleaning 21000 clauses out of 42001 with flag 519325/976834
294.67/153.04	c cleaning 22000 clauses out of 44000 with flag 568202/999833
302.05/156.72	c cleaning 22998 clauses out of 46000 with flag 619103/1023833
310.77/160.94	c cleaning 24002 clauses out of 48003 with flag 672246/1048834
319.18/165.17	c cleaning 24998 clauses out of 50001 with flag 727719/1074834
328.17/169.60	c cleaning 26002 clauses out of 52003 with flag 785103/1101834
337.37/174.22	c cleaning 27000 clauses out of 54000 with flag 844347/1129833
347.36/179.22	c cleaning 27997 clauses out of 56000 with flag 905837/1158833
358.16/184.66	c cleaning 28998 clauses out of 58004 with flag 969543/1188834
368.96/190.07	c cleaning 30003 clauses out of 60006 with flag 1035240/1219834
379.16/195.13	c cleaning 30994 clauses out of 62002 with flag 1103700/1251833
389.57/200.39	c cleaning 32000 clauses out of 64008 with flag 1174333/1284833
400.16/205.68	c cleaning 33000 clauses out of 66010 with flag 1247027/1318835
411.76/211.46	c cleaning 34000 clauses out of 68009 with flag 1321719/1353834
425.66/218.73	c cleaning 35000 clauses out of 70008 with flag 1398516/1389833
438.26/225.03	c cleaning 36001 clauses out of 72008 with flag 1477592/1426833
450.86/231.37	c cleaning 37003 clauses out of 74007 with flag 1558585/1464833
466.26/239.06	c cleaning 38002 clauses out of 76004 with flag 1640650/1503833
483.16/247.42	c cleaning 39001 clauses out of 78002 with flag 1725090/1543833
498.16/254.93	c cleaning 39999 clauses out of 80003 with flag 1812466/1584835
513.76/262.70	c cleaning 40995 clauses out of 82002 with flag 1902503/1626833
529.35/270.53	c cleaning 42004 clauses out of 84007 with flag 1995217/1669833
546.13/278.81	c cleaning 42999 clauses out of 86004 with flag 2089393/1713834
561.13/286.39	c cleaning 43997 clauses out of 88005 with flag 2187217/1758834
577.93/294.75	c cleaning 45000 clauses out of 90008 with flag 2287200/1804834
595.13/303.38	c cleaning 45999 clauses out of 92008 with flag 2388390/1851834
612.53/311.93	c cleaning 47000 clauses out of 94008 with flag 2490871/1899833
631.15/321.29	c cleaning 47998 clauses out of 96008 with flag 2595103/1948833
650.95/331.16	c cleaning 49006 clauses out of 98011 with flag 2701720/1998834
671.82/341.44	c cleaning 50001 clauses out of 100005 with flag 2809645/2049834
692.42/351.79	c cleaning 51002 clauses out of 102004 with flag 2920211/2101834
712.83/361.96	c cleaning 51998 clauses out of 104003 with flag 3032986/2154835
733.01/372.01	c cleaning 52999 clauses out of 106003 with flag 3148032/2208833
754.20/382.55	c cleaning 53996 clauses out of 108004 with flag 3264873/2263833
776.40/393.61	c cleaning 54997 clauses out of 110008 with flag 3383763/2319833
797.99/404.48	c cleaning 56001 clauses out of 112011 with flag 3505123/2376833
819.99/415.47	c cleaning 57000 clauses out of 114010 with flag 3629827/2434833
843.47/427.09	c cleaning 58003 clauses out of 116010 with flag 3756683/2493833
867.28/438.99	c cleaning 59001 clauses out of 118008 with flag 3884891/2553834
890.66/450.62	c cleaning 60004 clauses out of 120007 with flag 4012338/2614834
917.26/463.93	c cleaning 61001 clauses out of 122002 with flag 4137154/2676833
942.66/476.67	c cleaning 62001 clauses out of 124001 with flag 4264301/2739833
970.67/490.61	c cleaning 63000 clauses out of 126000 with flag 4393596/2803833
1002.15/507.18	c cleaning 63997 clauses out of 128000 with flag 4524691/2868833
1048.31/530.18	c cleaning 65002 clauses out of 130003 with flag 4658306/2934833
1099.43/555.41	c cleaning 66001 clauses out of 132001 with flag 4794018/3001833
1136.16/573.57	c And the winner is solver1
1136.16/573.82	c Got one! Elapsed wall clock time (in seconds):570.428
1136.16/573.82	o -111
1139.32/575.39	c cleaning 68385 clauses out of 136783 with flag 10582/3072616
1141.31/576.32	c cleaning 37194 clauses out of 74398 with flag 23540/3078616
1143.11/577.23	c cleaning 22100 clauses out of 44204 with flag 38624/3085616
1145.11/578.24	c cleaning 15048 clauses out of 30106 with flag 55926/3093618
1147.31/579.33	c cleaning 12019 clauses out of 24056 with flag 75597/3102616
1149.71/580.53	c cleaning 11011 clauses out of 22038 with flag 97140/3112617
1152.30/581.87	c cleaning 11010 clauses out of 22027 with flag 120666/3123617
1155.30/583.35	c cleaning 11506 clauses out of 23018 with flag 146037/3135618
1158.70/585.05	c cleaning 12250 clauses out of 24511 with flag 173883/3148617
1162.30/586.82	c cleaning 13127 clauses out of 26260 with flag 203448/3162616
1166.25/588.77	c cleaning 14067 clauses out of 28134 with flag 235387/3177617
1170.46/590.83	c cleaning 15033 clauses out of 30066 with flag 269483/3193616
1174.86/593.09	c cleaning 16016 clauses out of 32035 with flag 305748/3210618
1179.65/595.50	c cleaning 17005 clauses out of 34017 with flag 343898/3228616
1184.84/598.05	c cleaning 18002 clauses out of 36012 with flag 384189/3247616
1190.26/600.77	c cleaning 19001 clauses out of 38011 with flag 426623/3267617
1196.44/603.81	c cleaning 20004 clauses out of 40010 with flag 471260/3288617
1202.64/606.91	c cleaning 21001 clauses out of 42006 with flag 517861/3310617
1209.40/610.27	c cleaning 21999 clauses out of 44005 with flag 566904/3333617
1216.20/613.62	c cleaning 22999 clauses out of 46005 with flag 617992/3357616
1223.81/617.45	c cleaning 23997 clauses out of 48006 with flag 671079/3382616
1231.81/621.49	c cleaning 25005 clauses out of 50009 with flag 726667/3408616
1242.19/626.59	c cleaning 25999 clauses out of 52005 with flag 784366/3435617
1252.38/631.58	c cleaning 26999 clauses out of 54006 with flag 843941/3463617
1262.57/636.68	c cleaning 28003 clauses out of 56007 with flag 905320/3492617
1273.15/641.89	c cleaning 29002 clauses out of 58003 with flag 968807/3522616
1283.93/647.13	c cleaning 29998 clauses out of 60001 with flag 1034395/3553616
1294.75/652.45	c cleaning 30998 clauses out of 62005 with flag 1102493/3585618
1306.32/658.16	c cleaning 32001 clauses out of 64006 with flag 1172463/3618617
1318.74/664.30	c cleaning 33000 clauses out of 66005 with flag 1244502/3652617
1332.73/671.12	c cleaning 34001 clauses out of 68004 with flag 1318385/3687616
1335.11/672.34	c cleaning 0 clauses out of 6169 with flag 0/6172
1347.80/678.35	c cleaning 34999 clauses out of 70003 with flag 1394464/3723616
1363.40/686.04	c cleaning 35998 clauses out of 72004 with flag 1472836/3760616
1380.39/694.47	c cleaning 36999 clauses out of 74006 with flag 1552928/3798616
1396.72/702.58	c cleaning 38004 clauses out of 76007 with flag 1635349/3837616
1413.91/712.00	c cleaning 39002 clauses out of 78003 with flag 1720093/3877616
1431.99/720.97	c cleaning 39997 clauses out of 80001 with flag 1806540/3918616
1449.90/729.83	c cleaning 40995 clauses out of 82004 with flag 1895222/3960616
1467.97/738.76	c cleaning 42003 clauses out of 84010 with flag 1986157/4003617
1478.97/744.26	c And the winner is solver1
1478.97/744.29	c Got one! Elapsed wall clock time (in seconds):740.896
1478.97/744.29	o -112
1480.85/745.28	c cleaning 37348 clauses out of 74711 with flag 10708/4036321
1482.45/746.09	c cleaning 21676 clauses out of 43362 with flag 23415/4042320
1484.26/746.91	c cleaning 14341 clauses out of 28687 with flag 38275/4049321
1486.05/747.80	c cleaning 11168 clauses out of 22345 with flag 55390/4057320
1488.05/748.83	c cleaning 10083 clauses out of 20177 with flag 74543/4066320
1490.25/749.96	c cleaning 10042 clauses out of 20095 with flag 96023/4076321
1492.85/751.27	c cleaning 10522 clauses out of 21053 with flag 119552/4087321
1495.84/752.70	c cleaning 11259 clauses out of 22530 with flag 145460/4099320
1499.04/754.33	c cleaning 12134 clauses out of 24271 with flag 173511/4112320
1502.64/756.11	c cleaning 13065 clauses out of 26137 with flag 203180/4126320
1506.26/757.92	c cleaning 14037 clauses out of 28074 with flag 234856/4141322
1510.44/760.08	c cleaning 15018 clauses out of 30036 with flag 268852/4157321
1515.06/762.36	c cleaning 16004 clauses out of 32018 with flag 305035/4174321
1520.04/764.83	c cleaning 17002 clauses out of 34013 with flag 343314/4192320
1525.24/767.47	c cleaning 18000 clauses out of 36013 with flag 383560/4211322
1531.04/770.33	c cleaning 19001 clauses out of 38011 with flag 426004/4231320
1536.64/773.19	c cleaning 20002 clauses out of 40010 with flag 470611/4252320
1542.64/776.15	c cleaning 21004 clauses out of 42008 with flag 517646/4274320
1549.15/779.34	c cleaning 22002 clauses out of 44004 with flag 566870/4297320
1556.55/783.01	c cleaning 23002 clauses out of 46004 with flag 618166/4321322
1564.35/786.98	c cleaning 23998 clauses out of 48000 with flag 671211/4346320
1573.14/791.34	c cleaning 24997 clauses out of 50002 with flag 726008/4372320
1581.94/795.78	c cleaning 26000 clauses out of 52006 with flag 783211/4399321
1590.74/800.11	c cleaning 27001 clauses out of 54006 with flag 842275/4427321
1600.14/804.82	c cleaning 27999 clauses out of 56004 with flag 903823/4456320
1609.75/809.68	c cleaning 29000 clauses out of 58006 with flag 967178/4486321
1619.74/814.61	c cleaning 29998 clauses out of 60005 with flag 1032624/4517320
1629.94/819.79	c cleaning 30999 clauses out of 62008 with flag 1100360/4549321
1640.55/825.06	c cleaning 32000 clauses out of 64009 with flag 1170465/4582321
1650.93/830.28	c cleaning 33005 clauses out of 66009 with flag 1242633/4616321
1663.53/836.52	c cleaning 33999 clauses out of 68003 with flag 1317014/4651320
1676.33/842.97	c cleaning 35003 clauses out of 70006 with flag 1393288/4687322
1690.13/849.86	c cleaning 36001 clauses out of 72001 with flag 1471846/4724320
1704.35/857.00	c cleaning 36996 clauses out of 74001 with flag 1551994/4762321
1719.48/864.44	c cleaning 38000 clauses out of 76005 with flag 1634564/4801321
1733.09/871.27	c cleaning 39000 clauses out of 78004 with flag 1719254/4841320
1749.87/879.60	c cleaning 40000 clauses out of 80005 with flag 1805861/4882321
1766.28/887.82	c cleaning 41002 clauses out of 82004 with flag 1895500/4924320
1783.48/896.48	c cleaning 41996 clauses out of 84002 with flag 1987307/4967320
1800.08/904.71	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.08/904.71	c starts		: 88017
1800.08/904.71	c conflicts		: 5008300
1800.08/904.71	c decisions		: 25641231
1800.08/904.71	c propagations		: 200899649
1800.08/904.71	c inspects		: 7756646860
1800.08/904.71	c shortcuts		: 0
1800.08/904.71	c learnt literals	: 0
1800.08/904.71	c learnt binary clauses	: 0
1800.08/904.71	c learnt ternary clauses	: 0
1800.08/904.71	c learnt constraints	: 5008300
1800.08/904.71	c ignored constraints	: 0
1800.08/904.71	c root simplifications	: 0
1800.08/904.71	c removed literals (reason simplification)	: 15671940
1800.08/904.71	c reason swapping (by a shorter reason)	: 0
1800.08/904.71	c Calls to reduceDB	: 196
1800.08/904.71	c Number of update (reduction) of LBD	: 220983
1800.08/904.71	c Imported unit clauses	: 0
1800.08/904.71	c number of reductions to clauses (during analyze)	: 0
1800.08/904.71	c number of learned constraints concerned by reduction	: 0
1800.08/904.71	c number of learning phase by resolution	: 0
1800.08/904.71	c number of learning phase by cutting planes	: 0
1800.08/904.71	c speed (assignments/second)	: 1252405.6891360318
1800.08/904.71	c non guided choices	12
1800.08/904.73	c learnt constraints type 
1800.08/904.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82986
1800.08/904.73	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.08/904.73	c starts		: 39
1800.08/904.73	c conflicts		: 7519
1800.08/904.73	c decisions		: 35303
1800.08/904.73	c propagations		: 221743
1800.08/904.73	c inspects		: 157971928
1800.08/904.73	c shortcuts		: 0
1800.08/904.73	c learnt literals	: 0
1800.08/904.73	c learnt binary clauses	: 0
1800.08/904.73	c learnt ternary clauses	: 0
1800.08/904.73	c learnt constraints	: 7515
1800.08/904.73	c ignored constraints	: 0
1800.08/904.73	c root simplifications	: 0
1800.08/904.73	c removed literals (reason simplification)	: 0
1800.08/904.73	c reason swapping (by a shorter reason)	: 0
1800.08/904.73	c Calls to reduceDB	: 1
1800.08/904.73	c Number of update (reduction) of LBD	: 0
1800.08/904.73	c Imported unit clauses	: 0
1800.08/904.73	c number of reductions to clauses (during analyze)	: 0
1800.08/904.73	c number of learned constraints concerned by reduction	: 0
1800.08/904.73	c number of learning phase by resolution	: 0
1800.08/904.73	c number of learning phase by cutting planes	: 0
1800.08/904.73	c speed (assignments/second)	: 246.8223746676002
1800.08/904.73	c non guided choices	6
1800.08/904.73	c learnt constraints type 
1800.08/904.73	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.08/904.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7513
1800.08/904.73	s SATISFIABLE
1800.08/904.73	c Found 11 solution(s)
1800.08/904.74	v x1 -x2 x3 -x4 -x5 -x6 -x7 x8 x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 x31 x32 x33 -x34 x35 -x36 x37 x38 -x39 x40 x41 -x42 x43 -x44 x45 x46 -x47 x48 x49 x50 -x51 x52 x53 -x54 x55 x56 x57 -x58 -x59 x60 x61 -x62 x63 x64 x65 x66 x67 -x68 -x69 x70 -x71 x72 x73 x74 -x75 x76 x77 x78 x79 x80 -x81 x82 x83 x84 -x85 x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 -x95 x96 x97 x98 -x99 -x100 x101 x102 x103 x104 x105 x106 x107 x108 -x109 x110 -x111 -x112 x113 -x114 -x115 x116 -x117 x118 x119 -x120 x121 x122 x123 -x124 -x125 -x126 x127 x128 x129 x130 x131 -x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 x141 x142 -x143 -x144 x145 x146 -x147 x148 -x149 -x150 x151 -x152 -x153 x154 -x155 x156 x157 x158 x159 -x160 x161 x162 -x163 x164 x165 x166 x167 x168 -x169 -x170 -x171 -x172 x173 -x174 x175 x176 -x177 x178 x179 -x180 x181 -x182 x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 x208 x209 x210 x211 -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 x221 x222 -x223 x224 -x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 -x237 -x238 x239 x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 x250 -x251 -x252 x253 -x254 -x255 x256 -x257 -x258 x259 -x260 -x261 x262 -x263 x264 -x265 x266 x267 x268 -x269 -x270 -x271 x272 x273 x274 x275 x276 -x277 -x278 -x279 x280 x281 -x282 x283 -x284 x285 x286 -x287 -x288 x289 x290 -x291 x292 x293 -x294 x295 x296 -x297 -x298 -x299 x300 x301 x302 x303 x304 x305 x306 -x307 x308 -x309 x310 x311 -x312 x313 x314 -x315 -x316 x317 -x318 x319 x320 x321 x322 -x323 x324 x325 -x326 -x327 x328 x329 -x330 -x331 -x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 x356 x357 x358 x359 x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 x429 x430 -x431 x432 -x433 x434 x435 -x436 -x437 -x438 -x439 x440 x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 -x468 -x469 -x470 x471 x472 x473 x474 x475 x476 x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 x493 -x494 x495 x496 -x497 x498 -x499 -x500 -x501 x502 x503 -x504 -x505 -x506 x507 -x508 -x509 x510 x511 x512 -x513 x514 x515 x516 x517 x518 -x519 -x520 x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 x546 x547 x548 -x549 x550 x551 x552 x553 x554 -x555 x556 -x557 -x558 -x559 x560 x561 -x562 x563 x564 x565 x566 x567 x568 -x569 -x570 -x571 -x572 -x573 x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 -x607 -x608 -x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 -x619 x620 x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 x645 x646 x647 x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 x656 x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 x711 x712 x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 -x737 x738 x739 x740 -x741 -x742 -x743 -x744 x745 x746 -x747 -x748 x749 x750 x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 x759 x760 x761 x762 x763 x764 x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 x780 -x781 -x782 x783 x784 x785 -x786 x787 x788 x789 x790 x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 x828 x829 -x830 x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 x845 x846 -x847 x848 -x849 x850 x851 x852 x853 x854 x855 x856 -x857 x858 x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x875 -x876 -x877 -x878 -x879 -x880 x881 x882 x883 x884 x885 x886 -x887 x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 x899 x900 x901 x902 -x903 -x904 -x905 x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 -x921 x922 -x923 -x924 x925 x926 x927 -x928 x929 x930 -x931 -x932 -x933 x934 x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 x944 -x945 -x946 x947 -x948 x949 
1800.08/904.75	c objective function=-112
1800.08/904.75	c Total wall clock time (in seconds): 901.352

Verifier Data 

OK	-112

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

pid=7083
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: 1.20 1.59 1.92 3/171 7087
/proc/meminfo: memFree=25080120/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/7087/stat : 7087 (runsolver) D 7083 7087 4301 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 1 0 4278645 24911872 159 33554432000 4194304 4338465 140735941553168 140735941550360 219513777591 0 0 4096 24578 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/7087/statm: 6082 159 113 36 0 2655 0

[startup+0.100178 s]
/proc/loadavg: 1.20 1.59 1.92 3/171 7087
/proc/meminfo: memFree=25080120/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/7087/stat : 7087 (java) D 7083 7087 4301 0 -1 4202496 323 0 1 0 0 0 0 0 20 0 1 0 4278645 9547776 181 33554432000 1073741824 1073778376 140736341092096 140736341074776 219513963904 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 6 0 0
/proc/7087/statm: 2331 181 139 9 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9324

[startup+0.200303 s]
/proc/loadavg: 1.20 1.59 1.92 3/171 7087
/proc/meminfo: memFree=25080120/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=20596 CPUtime=0 cores=1,3,5,7
/proc/7087/stat : 7087 (java) D 7083 7087 4301 0 -1 4202496 533 0 1 0 0 0 0 0 20 0 1 0 4278645 21090304 186 33554432000 1073741824 1073778376 140736656541040 140736656529640 219504803400 0 0 4096 0 18446744071579943789 0 0 17 3 0 0 9 0 0
/proc/7087/statm: 5149 186 143 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20596

[startup+0.30034 s]
/proc/loadavg: 1.20 1.59 1.92 3/171 7087
/proc/meminfo: memFree=25080120/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7087/stat : 7087 (java) D 7083 7087 4301 0 -1 4202496 569 0 3 0 0 0 0 0 20 0 1 0 4278645 23793664 222 33554432000 1073741824 1073778376 140736656541040 140736656531032 219504753217 0 0 4096 0 18446744071579943789 0 0 17 3 0 0 25 0 0
/proc/7087/statm: 5809 222 175 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.70026 s]
/proc/loadavg: 1.20 1.59 1.92 3/171 7087
/proc/meminfo: memFree=25080120/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7087/stat : 7087 (java) D 7083 7087 4301 0 -1 4202496 1064 0 5 0 0 0 0 0 20 0 1 0 4278645 23793664 719 33554432000 1073741824 1073778376 140736656541040 140736656531032 139909349161520 0 0 4096 0 18446744071579943789 0 0 17 3 0 0 59 0 0
/proc/7087/statm: 5809 719 533 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+1.50026 s]
/proc/loadavg: 1.20 1.59 1.92 1/177 7098
/proc/meminfo: memFree=25068172/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=102696 CPUtime=0.01 cores=1,3,5,7
/proc/7087/stat : 7087 (java) S 7083 7087 4301 0 -1 4202496 1481 0 24 0 0 1 0 0 20 0 2 0 4278645 105160704 1108 33554432000 1073741824 1073778376 140736656541040 140736656532176 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 113 0 0
/proc/7087/statm: 25674 1108 856 9 0 16783 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 102696

[startup+3.10052 s]
/proc/loadavg: 1.27 1.60 1.92 1/197 7118
/proc/meminfo: memFree=25050488/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/7087/stat : 7087 (java) S 7083 7087 4301 0 -1 4202496 3279 0 26 0 4 2 0 0 20 0 18 0 4278645 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 140736656532176 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 113 0 0
/proc/7087/statm: 2389619 4435 1773 9 0 2380296 0
[pid=7087/tid=7099] ppid=7083 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/7087/task/7099/stat : 7099 (java) D 7083 7087 4301 0 -1 4202560 2011 0 7 0 3 1 0 0 20 0 18 0 4278763 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909341089280 219517347085 0 4 0 16800975 18446744071579943789 0 0 -1 3 0 0 182 0 0
[pid=7087/tid=7101] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7101/stat : 7101 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909302585512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7103] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7103/stat : 7103 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909301532968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7105] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7105/stat : 7105 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909300480424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7107] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7107/stat : 7107 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909299427880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7111] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7111/stat : 7111 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909180418728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7113] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7113/stat : 7113 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909179366184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7115] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7115/stat : 7115 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909178313640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7116] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7116/stat : 7116 (java) S 7083 7087 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 4278805 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909177261096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7117] ppid=7083 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7117/stat : 7117 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 4278861 9787879424 4435 33554432000 1073741824 1073778376 140736656541040 139909165062248 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476
heavy processes:
  %CPU=19 pid=1817 uid=0 cmd=

[startup+6.30076 s]
/proc/loadavg: 1.27 1.60 1.92 4/216 7155
/proc/meminfo: memFree=24857288/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/7087/stat : 7087 (java) S 7083 7087 4301 0 -1 4202496 17248 0 27 0 190 13 0 0 20 0 19 0 4278645 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 140736656532176 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 113 0 0
/proc/7087/statm: 2456183 20201 2256 9 0 2446860 0
[pid=7087/tid=7099] ppid=7083 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7087/task/7099/stat : 7099 (java) S 7083 7087 4301 0 -1 4202560 2401 0 7 0 27 2 0 0 20 0 19 0 4278763 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909341094776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 229 0 0
[pid=7087/tid=7101] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7101/stat : 7101 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909302585512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7103] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7103/stat : 7103 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909301532968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7105] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7105/stat : 7105 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909300480424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7107] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7107/stat : 7107 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909299427880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7111] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7111/stat : 7111 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909180418728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7113] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7113/stat : 7113 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909179366184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7115] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7115/stat : 7115 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909178313640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7116] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7116/stat : 7116 (java) S 7083 7087 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4278805 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909177261096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7117] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7117/stat : 7117 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4278861 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139909165062248 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7120] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7120/stat : 7120 (java) S 7083 7087 4301 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4278887 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908559660152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7122] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7122/stat : 7122 (java) S 7083 7087 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4278887 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908558607496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7123] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7123/stat : 7123 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278912 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908557556240 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7124] ppid=7083 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/7087/task/7124/stat : 7124 (java) S 7083 7087 4301 0 -1 4202560 7695 0 0 0 52 0 0 0 20 0 19 0 4278912 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908556503608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 2 0 0
[pid=7087/tid=7126] ppid=7083 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/7087/task/7126/stat : 7126 (java) S 7083 7087 4301 0 -1 4202560 5801 0 1 0 50 1 0 0 20 0 19 0 4278912 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908555451064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 2 0 0
[pid=7087/tid=7128] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7128/stat : 7128 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278912 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908554398712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7130] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7130/stat : 7130 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4278912 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908553346376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7137] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7137/stat : 7137 (java) S 7083 7087 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4279030 10060525568 20201 33554432000 1073741824 1073778376 140736656541040 139908550186024 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=19 pid=1817 uid=0 cmd=/usr/local/sbin/pbs_mom 

[startup+12.701 s]
/proc/loadavg: 1.49 1.64 1.93 6/219 7164
/proc/meminfo: memFree=24603660/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=9824732 CPUtime=15.23 cores=1,3,5,7
/proc/7087/stat : 7087 (java) S 7083 7087 4301 0 -1 4202496 26392 0 27 0 1494 29 0 0 20 0 22 0 4278645 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 140736656532176 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 113 0 0
/proc/7087/statm: 2456183 69677 2287 9 0 2446860 0
[pid=7087/tid=7099] ppid=7083 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/7087/task/7099/stat : 7099 (java) S 7083 7087 4301 0 -1 4202560 2402 0 7 0 28 2 0 0 20 0 22 0 4278763 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909341094776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 229 0 0
[pid=7087/tid=7101] ppid=7083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/7087/task/7101/stat : 7101 (java) S 7083 7087 4301 0 -1 4202560 103 0 0 0 2 0 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909302585512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7103] ppid=7083 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/7087/task/7103/stat : 7103 (java) S 7083 7087 4301 0 -1 4202560 300 0 0 0 3 2 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909301532968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7105] ppid=7083 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/7087/task/7105/stat : 7105 (java) S 7083 7087 4301 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909300480424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7107] ppid=7083 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/7087/task/7107/stat : 7107 (java) S 7083 7087 4301 0 -1 4202560 191 0 0 0 7 3 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909299427880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7111] ppid=7083 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/7087/task/7111/stat : 7111 (java) S 7083 7087 4301 0 -1 4202560 130 0 0 0 5 1 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909180418728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7113] ppid=7083 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/7087/task/7113/stat : 7113 (java) S 7083 7087 4301 0 -1 4202560 190 0 0 0 2 1 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909179366184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7115] ppid=7083 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/7087/task/7115/stat : 7115 (java) S 7083 7087 4301 0 -1 4202560 95 0 0 0 2 1 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909178313640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7116] ppid=7083 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/7087/task/7116/stat : 7116 (java) S 7083 7087 4301 0 -1 4202560 29 0 0 0 5 1 0 0 20 0 22 0 4278805 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909177261096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7117] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7117/stat : 7117 (java) S 7083 7087 4301 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 4278861 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139909165062248 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7120] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7120/stat : 7120 (java) S 7083 7087 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908559660152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7122] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7122/stat : 7122 (java) S 7083 7087 4301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908558607496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7123] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7123/stat : 7123 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908557556240 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7124] ppid=7083 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/7087/task/7124/stat : 7124 (java) S 7083 7087 4301 0 -1 4202560 11994 0 0 0 92 2 0 0 20 0 22 0 4278912 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908556503608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 2 0 0
[pid=7087/tid=7126] ppid=7083 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/7087/task/7126/stat : 7126 (java) S 7083 7087 4301 0 -1 4202560 9448 0 1 0 96 2 0 0 20 0 22 0 4278912 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908555451064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 2 0 0
[pid=7087/tid=7128] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7128/stat : 7128 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908554398712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7130] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7130/stat : 7130 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908553346376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7161] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7161/stat : 7161 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4279280 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908549133352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7162] ppid=7083 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/7087/task/7162/stat : 7162 (java) R 7083 7087 4301 0 -1 4202560 5 0 0 0 275 0 0 0 20 0 22 0 4279630 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908552291024 139909181044205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7163] ppid=7083 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/7087/task/7163/stat : 7163 (java) R 7083 7087 4301 0 -1 4202560 4 0 0 0 274 0 0 0 20 0 22 0 4279630 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908551236512 139909181172965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7164] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7164/stat : 7164 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4279630 10060525568 69677 33554432000 1073741824 1073778376 140736656541040 139908550186408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=7087/tid=7116] ppid=7083 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/7087/task/7116/stat : 7116 (java) S 7083 7087 4301 0 -1 4202560 2983 0 0 0 227 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909177261096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7117] ppid=7083 vsize=9824732 CPUtime=6.19 cores=1,3,5,7
/proc/7087/task/7117/stat : 7117 (java) S 7083 7087 4301 0 -1 4202560 3485 0 0 0 613 6 0 0 20 0 22 0 4278861 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909165062248 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7120] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7120/stat : 7120 (java) S 7083 7087 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908559660152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7122] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7122/stat : 7122 (java) S 7083 7087 4301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908558607496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7123] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7123/stat : 7123 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908557556240 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7124] ppid=7083 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/7087/task/7124/stat : 7124 (java) S 7083 7087 4301 0 -1 4202560 20698 0 0 0 196 3 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908556503608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=7087/tid=7126] ppid=7083 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/7087/task/7126/stat : 7126 (java) S 7083 7087 4301 0 -1 4202560 9850 0 1 0 112 2 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908555451064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 2 0 0
[pid=7087/tid=7128] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7128/stat : 7128 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908554398712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7130] ppid=7083 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/7087/task/7130/stat : 7130 (java) S 7083 7087 4301 0 -1 4202560 52 0 0 0 9 15 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908553346376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7161] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7161/stat : 7161 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4279280 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908549133352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7194] ppid=7083 vsize=9824732 CPUtime=137.41 cores=1,3,5,7
/proc/7087/task/7194/stat : 7194 (java) R 7083 7087 4301 0 -1 4202560 6 0 0 0 13739 2 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908552282016 139909180983073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7195] ppid=7083 vsize=9824732 CPUtime=137.42 cores=1,3,5,7
/proc/7087/task/7195/stat : 7195 (java) R 7083 7087 4301 0 -1 4202560 5 0 0 0 13740 2 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908550184400 139909181260206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7196] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7196/stat : 7196 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908551238952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1752.37
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.701 s]
/proc/loadavg: 4.38 4.16 3.36 5/220 7287
/proc/meminfo: memFree=20519040/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=9824732 CPUtime=1797.16 cores=1,3,5,7
/proc/7087/stat : 7087 (java) S 7083 7087 4301 0 -1 4202496 66115 0 27 0 179379 337 0 0 20 0 22 0 4278645 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 140736656532176 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 113 0 0
/proc/7087/statm: 2456183 1087469 2296 9 0 2446860 0
[pid=7087/tid=7099] ppid=7083 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/7087/task/7099/stat : 7099 (java) S 7083 7087 4301 0 -1 4202560 2412 0 7 0 32 3 0 0 20 0 22 0 4278763 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909341094776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 229 0 0
[pid=7087/tid=7101] ppid=7083 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/7087/task/7101/stat : 7101 (java) S 7083 7087 4301 0 -1 4202560 3529 0 0 0 206 32 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909302585512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7103] ppid=7083 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/7087/task/7103/stat : 7103 (java) S 7083 7087 4301 0 -1 4202560 3617 0 0 0 244 38 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909301532968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7105] ppid=7083 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/7087/task/7105/stat : 7105 (java) S 7083 7087 4301 0 -1 4202560 4644 0 0 0 194 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909300480424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7107] ppid=7083 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/7087/task/7107/stat : 7107 (java) S 7083 7087 4301 0 -1 4202560 3045 0 0 0 237 31 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909299427880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7111] ppid=7083 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7087/task/7111/stat : 7111 (java) S 7083 7087 4301 0 -1 4202560 3778 0 0 0 213 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909180418728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7113] ppid=7083 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/7087/task/7113/stat : 7113 (java) S 7083 7087 4301 0 -1 4202560 3986 0 0 0 193 32 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909179366184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7115] ppid=7083 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/7087/task/7115/stat : 7115 (java) S 7083 7087 4301 0 -1 4202560 1002 0 0 0 236 31 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909178313640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7116] ppid=7083 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/7087/task/7116/stat : 7116 (java) S 7083 7087 4301 0 -1 4202560 2983 0 0 0 227 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909177261096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7117] ppid=7083 vsize=9824732 CPUtime=6.19 cores=1,3,5,7
/proc/7087/task/7117/stat : 7117 (java) S 7083 7087 4301 0 -1 4202560 3485 0 0 0 613 6 0 0 20 0 22 0 4278861 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909165062248 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7120] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7120/stat : 7120 (java) S 7083 7087 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908559660152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7122] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7122/stat : 7122 (java) S 7083 7087 4301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908558607496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7123] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7123/stat : 7123 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908557556240 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7124] ppid=7083 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/7087/task/7124/stat : 7124 (java) S 7083 7087 4301 0 -1 4202560 20698 0 0 0 196 3 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908556503608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=7087/tid=7126] ppid=7083 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/7087/task/7126/stat : 7126 (java) S 7083 7087 4301 0 -1 4202560 9850 0 1 0 112 2 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908555451064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 2 0 0
[pid=7087/tid=7128] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7128/stat : 7128 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908554398712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7130] ppid=7083 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/7087/task/7130/stat : 7130 (java) S 7083 7087 4301 0 -1 4202560 54 0 0 0 9 15 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908553346376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7161] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7161/stat : 7161 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4279280 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908549133352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7194] ppid=7083 vsize=9824732 CPUtime=159.75 cores=1,3,5,7
/proc/7087/task/7194/stat : 7194 (java) R 7083 7087 4301 0 -1 4202560 6 0 0 0 15973 2 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908552282016 139909181000680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7195] ppid=7083 vsize=9824732 CPUtime=159.75 cores=1,3,5,7
/proc/7087/task/7195/stat : 7195 (java) R 7083 7087 4301 0 -1 4202560 5 0 0 0 15973 2 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908550184400 139909181743479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7196] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7196/stat : 7196 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908551238952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 9824732

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 7087 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+904.701 s]
/proc/loadavg: 4.38 4.16 3.36 5/220 7287
/proc/meminfo: memFree=20519040/32872528 swapFree=12440/1155036
[pid=7087] ppid=7083 vsize=9824732 CPUtime=1797.16 cores=1,3,5,7
/proc/7087/stat : 7087 (java) S 7083 7087 4301 0 -1 4202496 66115 0 27 0 179379 337 0 0 20 0 22 0 4278645 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 140736656532176 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 113 0 0
/proc/7087/statm: 2456183 1087469 2296 9 0 2446860 0
[pid=7087/tid=7099] ppid=7083 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/7087/task/7099/stat : 7099 (java) S 7083 7087 4301 0 -1 4202560 2412 0 7 0 32 3 0 0 20 0 22 0 4278763 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909341094776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 229 0 0
[pid=7087/tid=7101] ppid=7083 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/7087/task/7101/stat : 7101 (java) S 7083 7087 4301 0 -1 4202560 3529 0 0 0 206 32 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909302585512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7103] ppid=7083 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/7087/task/7103/stat : 7103 (java) S 7083 7087 4301 0 -1 4202560 3617 0 0 0 244 38 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909301532968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7105] ppid=7083 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/7087/task/7105/stat : 7105 (java) S 7083 7087 4301 0 -1 4202560 4644 0 0 0 194 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909300480424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7107] ppid=7083 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/7087/task/7107/stat : 7107 (java) S 7083 7087 4301 0 -1 4202560 3045 0 0 0 237 31 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909299427880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7111] ppid=7083 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/7087/task/7111/stat : 7111 (java) S 7083 7087 4301 0 -1 4202560 3778 0 0 0 213 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909180418728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7113] ppid=7083 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/7087/task/7113/stat : 7113 (java) S 7083 7087 4301 0 -1 4202560 3986 0 0 0 193 32 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909179366184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7115] ppid=7083 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/7087/task/7115/stat : 7115 (java) S 7083 7087 4301 0 -1 4202560 1002 0 0 0 236 31 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909178313640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7116] ppid=7083 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/7087/task/7116/stat : 7116 (java) S 7083 7087 4301 0 -1 4202560 2983 0 0 0 227 27 0 0 20 0 22 0 4278805 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909177261096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7117] ppid=7083 vsize=9824732 CPUtime=6.19 cores=1,3,5,7
/proc/7087/task/7117/stat : 7117 (java) S 7083 7087 4301 0 -1 4202560 3485 0 0 0 613 6 0 0 20 0 22 0 4278861 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139909165062248 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7120] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7120/stat : 7120 (java) S 7083 7087 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908559660152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7122] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7122/stat : 7122 (java) S 7083 7087 4301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4278887 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908558607496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7123] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7123/stat : 7123 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908557556240 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7124] ppid=7083 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/7087/task/7124/stat : 7124 (java) S 7083 7087 4301 0 -1 4202560 20698 0 0 0 196 3 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908556503608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 2 0 0
[pid=7087/tid=7126] ppid=7083 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/7087/task/7126/stat : 7126 (java) S 7083 7087 4301 0 -1 4202560 9850 0 1 0 112 2 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908555451064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 2 0 0
[pid=7087/tid=7128] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7128/stat : 7128 (java) S 7083 7087 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908554398712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7087/tid=7130] ppid=7083 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/7087/task/7130/stat : 7130 (java) S 7083 7087 4301 0 -1 4202560 54 0 0 0 9 15 0 0 20 0 22 0 4278912 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908553346376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7087/tid=7161] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7161/stat : 7161 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4279280 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908549133352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7194] ppid=7083 vsize=9824732 CPUtime=159.75 cores=1,3,5,7
/proc/7087/task/7194/stat : 7194 (java) R 7083 7087 4301 0 -1 4202560 6 0 0 0 15973 2 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908552282016 139909181000680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7087/tid=7195] ppid=7083 vsize=9824732 CPUtime=159.75 cores=1,3,5,7
/proc/7087/task/7195/stat : 7195 (java) R 7083 7087 4301 0 -1 4202560 5 0 0 0 15973 2 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908550184400 139909181743479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7087/tid=7196] ppid=7083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7087/task/7196/stat : 7196 (java) S 7083 7087 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4353075 10060525568 1087469 33554432000 1073741824 1073778376 140736656541040 139908551238952 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7087 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=970427
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=617450
# CPU time returned by wait4() is 1796.59
# while last known CPU time is 1797.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 2.92016
#  lost CPU user time (s): 3.1501
#  lost CPU system time (s): -0.23

Real time (s): 904.781
CPU time (s): 1800.08
CPU user time (s): 1796.94
CPU system time (s): 3.14
CPU usage (%): 198.952
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.97
system time used= 3.61745
maximum resident set size= 4350008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66162
page faults= 27
swaps= 0
block input operations= 15368
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25690
involuntary context switches= 18930

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96109 second user time and 7.00593 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-29 22:45:12
IDJOB=4118494
IDBENCH=111500
IDSOLVER=2543
FILE ID=node114/4118494-1467233112
RUNJOBID= node114-1467233112-7068
PBS_JOBID= 19997585
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 1b7584100cf92d40108fa32d96b74031
RANDOM SEED=979905431

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:        25081244 kB
Buffers:           95196 kB
Cached:          5769364 kB
SwapCached:            0 kB
Active:           103308 kB
Inactive:        5777092 kB
Active(anon):      18276 kB
Inactive(anon):        0 kB
Active(file):      85032 kB
Inactive(file):  5777092 kB
Unevictable:     1155036 kB
Mlocked:           12440 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               780 kB
Writeback:             4 kB
AnonPages:       1293364 kB
Mapped:            13784 kB
Shmem:               204 kB
Slab:             624056 kB
SReclaimable:      68692 kB
SUnreclaim:       555364 kB
KernelStack:        1424 kB
PageTables:         6112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1257248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1271808 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-29 23:00:17