Trace number 4085188

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)16 1800.64 1797.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-clip.b.opb
MD5SUM3b68d80e8ba1b8a702f9c691105ea9d4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.05599
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables349
Total number of constraints707
Number of constraints which are clauses707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint111
Number of terms in the objective function 349
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 349
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 349
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085188-1465231139.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.28/0.29	c ... done. Wall clock time 0.179s.
0.28/0.29	c declared #vars     349
0.28/0.29	c #constraints  707
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 702
0.28/0.29	c org.sat4j.specs.Constr$1 => 1
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.28/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.28/0.29	c 707 constraints processed.
0.28/0.29	c objective function length is 349 literals
0.55/0.30	c SATISFIABLE
0.55/0.30	c OPTIMIZING...
0.55/0.30	c Got one! Elapsed wall clock time (in seconds):0.189
0.55/0.30	o 21
0.84/0.40	c Got one! Elapsed wall clock time (in seconds):0.289
0.84/0.40	o 20
0.84/0.43	c Got one! Elapsed wall clock time (in seconds):0.317
0.84/0.43	o 19
1.34/0.71	c cleaning 2786 clauses out of 5588 with flag 19395/5588
1.58/0.97	c cleaning 4399 clauses out of 8803 with flag 44235/11589
2.03/1.30	c cleaning 5698 clauses out of 11403 with flag 75096/18588
2.43/1.73	c cleaning 6850 clauses out of 13706 with flag 104281/26589
2.95/2.21	c cleaning 7922 clauses out of 15855 with flag 143476/35588
3.55/2.80	c cleaning 8967 clauses out of 17936 with flag 177545/45591
4.15/3.41	c cleaning 9970 clauses out of 19966 with flag 219941/56588
4.85/4.12	c cleaning 10999 clauses out of 21997 with flag 263369/68589
5.55/4.87	c cleaning 11993 clauses out of 23997 with flag 314017/81588
6.45/5.70	c cleaning 12983 clauses out of 26006 with flag 368082/95590
7.15/6.49	c cleaning 13989 clauses out of 28021 with flag 433511/110588
7.95/7.27	c cleaning 14978 clauses out of 30032 with flag 504786/126588
9.15/8.46	c cleaning 16023 clauses out of 32055 with flag 561986/143589
10.35/9.67	c cleaning 16985 clauses out of 34031 with flag 620302/161588
11.55/10.81	c cleaning 18023 clauses out of 36046 with flag 703891/180588
12.96/12.30	c cleaning 19000 clauses out of 38024 with flag 784236/200589
14.55/13.87	c cleaning 20007 clauses out of 40024 with flag 863146/221589
16.35/15.67	c cleaning 21008 clauses out of 42018 with flag 939241/243590
18.35/17.61	c cleaning 22002 clauses out of 44008 with flag 1020804/266588
20.05/19.39	c cleaning 23001 clauses out of 46006 with flag 1108430/290588
21.85/21.11	c cleaning 23998 clauses out of 48007 with flag 1202132/315590
24.15/23.46	c cleaning 25004 clauses out of 50007 with flag 1294364/341588
26.85/26.19	c cleaning 25983 clauses out of 52005 with flag 1392333/368590
27.16/26.47	c Got one! Elapsed wall clock time (in seconds):26.353
27.16/26.47	o 18
27.26/26.56	c cleaning 15771 clauses out of 31563 with flag 6703/374131
27.55/26.83	c cleaning 10880 clauses out of 21792 with flag 33639/380131
27.85/27.13	c cleaning 8953 clauses out of 17912 with flag 71359/387131
28.26/27.52	c cleaning 8480 clauses out of 16959 with flag 106049/395131
28.65/27.93	c cleaning 8740 clauses out of 17479 with flag 145025/404131
29.15/28.41	c cleaning 9350 clauses out of 18739 with flag 186984/414131
29.55/28.89	c cleaning 10185 clauses out of 20390 with flag 240758/425132
30.25/29.54	c cleaning 11102 clauses out of 22204 with flag 286483/437131
31.05/30.34	c cleaning 12045 clauses out of 24102 with flag 332303/450131
31.86/31.18	c cleaning 13027 clauses out of 26058 with flag 384735/464132
32.66/31.98	c cleaning 13986 clauses out of 28032 with flag 446215/479133
33.76/33.03	c cleaning 15013 clauses out of 30045 with flag 504554/495132
34.86/34.12	c cleaning 16016 clauses out of 32031 with flag 571860/512131
36.15/35.42	c cleaning 17007 clauses out of 34016 with flag 642467/530132
37.55/36.82	c cleaning 17996 clauses out of 36009 with flag 714204/549132
38.85/38.19	c cleaning 18997 clauses out of 38013 with flag 796817/569132
40.25/39.52	c cleaning 19999 clauses out of 40015 with flag 886464/590131
41.65/40.97	c cleaning 21007 clauses out of 42016 with flag 980650/612131
43.05/42.36	c cleaning 21968 clauses out of 44009 with flag 1087135/635131
44.56/43.84	c cleaning 23007 clauses out of 46041 with flag 1193925/659131
46.16/45.44	c cleaning 24003 clauses out of 48034 with flag 1300844/684131
48.07/47.31	c cleaning 24998 clauses out of 50032 with flag 1407642/710132
49.86/49.15	c cleaning 26017 clauses out of 52034 with flag 1526514/737132
51.96/51.27	c cleaning 26994 clauses out of 54016 with flag 1646919/765131
54.56/53.83	c cleaning 28015 clauses out of 56031 with flag 1757191/794140
57.56/56.84	c cleaning 28986 clauses out of 58007 with flag 1861939/824131
60.66/59.94	c cleaning 29996 clauses out of 60021 with flag 1969988/855131
63.16/62.41	c cleaning 30996 clauses out of 62025 with flag 2089129/887131
65.67/64.98	c cleaning 32012 clauses out of 64029 with flag 2221227/920131
68.66/67.99	c cleaning 32976 clauses out of 66017 with flag 2379272/954131
71.86/71.15	c cleaning 34009 clauses out of 68044 with flag 2523948/989134
74.66/73.94	c cleaning 35004 clauses out of 70032 with flag 2690411/1025131
77.66/77.00	c cleaning 36009 clauses out of 72028 with flag 2849048/1062131
81.86/81.18	c cleaning 37004 clauses out of 74020 with flag 2996438/1100132
87.48/86.71	c cleaning 38006 clauses out of 76017 with flag 3118813/1139133
91.68/90.92	c cleaning 39000 clauses out of 78009 with flag 3275746/1179131
95.28/94.56	c cleaning 39987 clauses out of 80009 with flag 3458357/1220131
97.38/96.64	c Got one! Elapsed wall clock time (in seconds):96.524
97.38/96.64	o 17
98.10/97.32	c cleaning 37083 clauses out of 74168 with flag 16921/1254277
98.60/97.81	c cleaning 21523 clauses out of 43085 with flag 38538/1260277
99.00/98.21	c cleaning 14278 clauses out of 28562 with flag 66615/1267277
99.30/98.57	c cleaning 11124 clauses out of 22285 with flag 101706/1275278
99.70/98.99	c cleaning 10066 clauses out of 20166 with flag 147003/1284283
100.20/99.45	c cleaning 10031 clauses out of 20094 with flag 192921/1294277
100.70/99.96	c cleaning 10519 clauses out of 21063 with flag 248150/1305277
101.30/100.56	c cleaning 11260 clauses out of 22544 with flag 306907/1317277
102.10/101.31	c cleaning 12128 clauses out of 24285 with flag 363794/1330278
102.90/102.14	c cleaning 13058 clauses out of 26156 with flag 421270/1344277
103.72/102.95	c cleaning 14039 clauses out of 28098 with flag 484347/1359277
104.72/103.90	c cleaning 15029 clauses out of 30059 with flag 550689/1375277
105.92/105.13	c cleaning 16012 clauses out of 32032 with flag 604442/1392279
107.12/106.35	c cleaning 17008 clauses out of 34018 with flag 661771/1410277
108.52/107.71	c cleaning 18001 clauses out of 36010 with flag 724441/1429277
109.92/109.17	c cleaning 18995 clauses out of 38009 with flag 796429/1449277
111.12/110.36	c cleaning 20003 clauses out of 40014 with flag 892665/1470277
112.62/111.85	c cleaning 21000 clauses out of 42011 with flag 988046/1492277
114.42/113.66	c cleaning 21999 clauses out of 44012 with flag 1072834/1515278
116.12/115.33	c cleaning 23000 clauses out of 46012 with flag 1165343/1539277
118.12/117.31	c cleaning 23997 clauses out of 48014 with flag 1255052/1564279
120.52/119.77	c cleaning 25006 clauses out of 50015 with flag 1336441/1590277
122.92/122.11	c cleaning 26004 clauses out of 52009 with flag 1427885/1617277
125.22/124.43	c cleaning 26974 clauses out of 54005 with flag 1517760/1645277
127.81/127.05	c cleaning 28016 clauses out of 56031 with flag 1628182/1674277
130.11/129.34	c cleaning 28995 clauses out of 58016 with flag 1739020/1704278
133.11/132.37	c cleaning 30004 clauses out of 60022 with flag 1843476/1735279
136.12/135.32	c cleaning 30995 clauses out of 62016 with flag 1959701/1767277
139.61/138.82	c cleaning 32003 clauses out of 64022 with flag 2073586/1800278
142.51/141.78	c cleaning 33003 clauses out of 66018 with flag 2200938/1834277
146.02/145.21	c cleaning 33991 clauses out of 68017 with flag 2329267/1869279
148.61/147.88	c cleaning 35001 clauses out of 70024 with flag 2470490/1905277
151.41/150.63	c cleaning 36003 clauses out of 72024 with flag 2639903/1942278
154.41/153.66	c cleaning 36997 clauses out of 74020 with flag 2802309/1980277
158.01/157.22	c cleaning 37985 clauses out of 76023 with flag 2973426/2019277
163.01/162.29	c cleaning 39013 clauses out of 78038 with flag 3109947/2059277
168.02/167.24	c cleaning 40005 clauses out of 80025 with flag 3252268/2100277
172.03/171.21	c cleaning 41005 clauses out of 82026 with flag 3412764/2142283
176.23/175.44	c cleaning 42008 clauses out of 84015 with flag 3564862/2185277
181.03/180.22	c cleaning 42999 clauses out of 86007 with flag 3701889/2229277
185.83/185.07	c cleaning 43991 clauses out of 88011 with flag 3842397/2274280
191.33/190.55	c cleaning 45002 clauses out of 90017 with flag 3985928/2320277
197.13/196.37	c cleaning 45979 clauses out of 92015 with flag 4132989/2367277
203.43/202.66	c cleaning 47008 clauses out of 94036 with flag 4294666/2415277
208.93/208.15	c cleaning 48001 clauses out of 96028 with flag 4470349/2464277
214.23/213.48	c cleaning 49010 clauses out of 98027 with flag 4657702/2514277
220.43/219.60	c cleaning 49987 clauses out of 100017 with flag 4836551/2565277
226.44/225.67	c cleaning 51006 clauses out of 102030 with flag 5031172/2617277
234.43/233.63	c cleaning 52007 clauses out of 104024 with flag 5200152/2670277
243.23/242.45	c cleaning 52998 clauses out of 106017 with flag 5374499/2724277
251.33/250.55	c cleaning 54003 clauses out of 108022 with flag 5548764/2779280
258.24/257.49	c cleaning 55000 clauses out of 110017 with flag 5764532/2835278
268.53/267.77	c cleaning 55997 clauses out of 112016 with flag 5944675/2892277
277.33/276.56	c cleaning 56992 clauses out of 114019 with flag 6138673/2950277
286.06/285.26	c cleaning 58006 clauses out of 116030 with flag 6345788/3009280
294.47/293.62	c cleaning 59001 clauses out of 118024 with flag 6585100/3069280
301.07/300.23	c cleaning 60007 clauses out of 120021 with flag 6829936/3130278
307.17/306.38	c cleaning 60982 clauses out of 122013 with flag 7092296/3192277
316.68/315.84	c cleaning 62013 clauses out of 124031 with flag 7310684/3255277
320.07/319.29	c Got one! Elapsed wall clock time (in seconds):319.176
320.07/319.29	o 16
320.59/319.76	c cleaning 49063 clauses out of 98153 with flag 20386/3291412
321.00/320.12	c cleaning 27534 clauses out of 55090 with flag 44779/3297412
321.29/320.48	c cleaning 17274 clauses out of 34557 with flag 73083/3304413
321.69/320.85	c cleaning 12639 clauses out of 25282 with flag 107848/3312412
322.10/321.21	c cleaning 10788 clauses out of 21643 with flag 150548/3321412
322.49/321.66	c cleaning 10424 clauses out of 20855 with flag 197843/3331412
322.99/322.17	c cleaning 10688 clauses out of 21431 with flag 249133/3342412
323.59/322.76	c cleaning 11357 clauses out of 22744 with flag 300018/3354413
324.30/323.43	c cleaning 12193 clauses out of 24386 with flag 348729/3367412
324.99/324.17	c cleaning 13087 clauses out of 26194 with flag 403113/3381413
325.79/324.94	c cleaning 14045 clauses out of 28106 with flag 467623/3396412
326.79/325.93	c cleaning 15029 clauses out of 30063 with flag 533133/3412414
327.60/326.78	c cleaning 16009 clauses out of 32032 with flag 601998/3429412
328.70/327.89	c cleaning 16995 clauses out of 34023 with flag 675845/3447412
329.90/329.01	c cleaning 17987 clauses out of 36028 with flag 748209/3466412
330.79/329.99	c cleaning 19022 clauses out of 38044 with flag 827391/3486415
332.00/331.18	c cleaning 20009 clauses out of 40021 with flag 911249/3507414
333.29/332.49	c cleaning 20996 clauses out of 42010 with flag 1005857/3529412
334.89/334.05	c cleaning 21968 clauses out of 44014 with flag 1091824/3552412
336.79/335.93	c cleaning 23015 clauses out of 46046 with flag 1175626/3576412
338.29/337.45	c cleaning 24014 clauses out of 48033 with flag 1284494/3601414
339.89/339.04	c cleaning 25001 clauses out of 50017 with flag 1401070/3627412
342.00/341.19	c cleaning 26002 clauses out of 52016 with flag 1496552/3654412
344.10/343.27	c cleaning 26987 clauses out of 54014 with flag 1604192/3682412
346.19/345.40	c cleaning 28009 clauses out of 56029 with flag 1711594/3711414
348.63/347.77	c cleaning 29004 clauses out of 58019 with flag 1824457/3741413
350.92/350.00	c cleaning 30002 clauses out of 60016 with flag 1931988/3772414
353.12/352.28	c cleaning 31003 clauses out of 62012 with flag 2071532/3804412
355.42/354.54	c cleaning 32000 clauses out of 64009 with flag 2210677/3837412
358.12/357.28	c cleaning 32998 clauses out of 66009 with flag 2343695/3871412
360.42/359.57	c cleaning 33996 clauses out of 68011 with flag 2502792/3906412
362.83/361.97	c cleaning 34996 clauses out of 70016 with flag 2661582/3942413
366.82/365.99	c cleaning 35994 clauses out of 72019 with flag 2783325/3979412
370.12/369.26	c cleaning 37000 clauses out of 74026 with flag 2927227/4017413
374.32/373.41	c cleaning 38000 clauses out of 76025 with flag 3067221/4056412
379.13/378.20	c cleaning 39004 clauses out of 78025 with flag 3199071/4096412
383.84/382.99	c cleaning 40011 clauses out of 80023 with flag 3330246/4137414
388.03/387.16	c cleaning 40990 clauses out of 82012 with flag 3475454/4179414
392.83/391.95	c cleaning 42005 clauses out of 84020 with flag 3628349/4222412
398.73/397.86	c cleaning 43003 clauses out of 86017 with flag 3773715/4266414
402.73/401.89	c cleaning 43991 clauses out of 88012 with flag 3961963/4311412
406.83/406.00	c cleaning 45002 clauses out of 90021 with flag 4156698/4357412
411.63/410.71	c cleaning 45988 clauses out of 92019 with flag 4334354/4404412
415.22/414.33	c cleaning 47012 clauses out of 94032 with flag 4551779/4452413
419.37/418.47	c cleaning 48013 clauses out of 96028 with flag 4786858/4501421
423.77/422.87	c cleaning 48986 clauses out of 98006 with flag 4995522/4551412
428.18/427.29	c cleaning 50001 clauses out of 100020 with flag 5217005/4602412
433.58/432.64	c cleaning 51004 clauses out of 102019 with flag 5427021/4654412
438.79/437.87	c cleaning 51999 clauses out of 104015 with flag 5642155/4707412
444.09/443.17	c cleaning 52991 clauses out of 106016 with flag 5862398/4761412
449.29/448.38	c cleaning 53992 clauses out of 108026 with flag 6103018/4816413
454.59/453.68	c cleaning 54986 clauses out of 110033 with flag 6342121/4872412
462.79/461.89	c cleaning 56012 clauses out of 112047 with flag 6532964/4929412
469.99/469.05	c cleaning 57005 clauses out of 114036 with flag 6759603/4987413
476.29/475.35	c cleaning 58008 clauses out of 116030 with flag 6975230/5046412
483.49/482.51	c cleaning 59004 clauses out of 118022 with flag 7197922/5106412
490.89/489.95	c cleaning 59996 clauses out of 120020 with flag 7419977/5167414
496.39/495.43	c cleaning 61005 clauses out of 122023 with flag 7704086/5229413
503.43/502.43	c cleaning 62003 clauses out of 124017 with flag 7960872/5292412
511.03/510.00	c cleaning 62980 clauses out of 126014 with flag 8206339/5356412
519.43/518.50	c cleaning 64003 clauses out of 128034 with flag 8442815/5421412
528.33/527.38	c cleaning 65004 clauses out of 130031 with flag 8680844/5487412
537.43/536.42	c cleaning 66005 clauses out of 132027 with flag 8935472/5554412
545.53/544.54	c cleaning 67009 clauses out of 134022 with flag 9216680/5622412
552.92/551.97	c cleaning 68000 clauses out of 136013 with flag 9523773/5691412
562.83/561.89	c cleaning 69002 clauses out of 138017 with flag 9787809/5761416
572.13/571.17	c cleaning 69990 clauses out of 140012 with flag 10064561/5832413
582.43/581.43	c cleaning 70993 clauses out of 142021 with flag 10338922/5904412
590.34/589.29	c cleaning 72014 clauses out of 144031 with flag 10640325/5977415
599.84/598.73	c cleaning 72979 clauses out of 146014 with flag 10932335/6051412
606.94/605.81	c cleaning 74010 clauses out of 148035 with flag 11252667/6126412
617.34/616.21	c cleaning 74999 clauses out of 150026 with flag 11536694/6202413
628.54/627.48	c cleaning 75999 clauses out of 152026 with flag 11799900/6279412
643.24/642.13	c cleaning 77006 clauses out of 154027 with flag 12096826/6357412
657.44/656.30	c cleaning 78011 clauses out of 156021 with flag 12387946/6436412
668.65/667.58	c cleaning 79003 clauses out of 158018 with flag 12717229/6516420
679.75/678.69	c cleaning 80003 clauses out of 160008 with flag 13053297/6597413
691.95/690.70	c cleaning 80994 clauses out of 162005 with flag 13391553/6679413
703.15/701.91	c cleaning 81969 clauses out of 164010 with flag 13738343/6762412
714.05/712.81	c cleaning 82994 clauses out of 166041 with flag 14062458/6846412
725.06/723.89	c cleaning 84006 clauses out of 168051 with flag 14431182/6931416
742.26/741.02	c cleaning 85004 clauses out of 170041 with flag 14724250/7017412
756.26/755.06	c cleaning 86016 clauses out of 172038 with flag 15059254/7104413
768.27/767.06	c cleaning 87010 clauses out of 174022 with flag 15404283/7192413
780.71/779.36	c cleaning 87984 clauses out of 176011 with flag 15759309/7281412
794.52/793.17	c cleaning 88992 clauses out of 178028 with flag 16121338/7371413
806.31/804.91	c cleaning 90014 clauses out of 180036 with flag 16531572/7462413
819.81/818.45	c cleaning 91003 clauses out of 182022 with flag 16913495/7554413
832.31/830.96	c cleaning 91997 clauses out of 184018 with flag 17295338/7647412
846.91/845.57	c cleaning 93002 clauses out of 186021 with flag 17646438/7741412
860.83/859.33	c cleaning 94006 clauses out of 188019 with flag 18013095/7836412
876.04/874.52	c cleaning 94995 clauses out of 190013 with flag 18406889/7932412
890.13/888.68	c cleaning 95990 clauses out of 192018 with flag 18805422/8029412
907.53/906.09	c cleaning 96995 clauses out of 194029 with flag 19178251/8127413
923.53/922.03	c cleaning 97978 clauses out of 196033 with flag 19571737/8226412
941.22/939.75	c cleaning 99028 clauses out of 198055 with flag 19958433/8326412
955.50/953.98	c cleaning 99994 clauses out of 200027 with flag 20348587/8427412
971.40/969.83	c cleaning 101001 clauses out of 202033 with flag 20775583/8529412
986.49/984.98	c cleaning 102000 clauses out of 204036 with flag 21208123/8632416
1005.78/1004.24	c cleaning 103004 clauses out of 206032 with flag 21590533/8736412
1028.88/1027.37	c cleaning 104007 clauses out of 208029 with flag 21952323/8841413
1044.41/1042.80	c cleaning 105009 clauses out of 210021 with flag 22384690/8947412
1061.01/1059.38	c cleaning 105995 clauses out of 212012 with flag 22830414/9054412
1079.71/1078.08	c cleaning 107000 clauses out of 214017 with flag 23270083/9162412
1100.00/1098.35	c cleaning 108004 clauses out of 216017 with flag 23746196/9271412
1117.21/1115.56	c cleaning 109001 clauses out of 218016 with flag 24184503/9381415
1134.96/1133.24	c cleaning 110000 clauses out of 220012 with flag 24626454/9492412
1158.65/1156.93	c cleaning 111000 clauses out of 222016 with flag 25071699/9604416
1178.95/1177.22	c cleaning 112000 clauses out of 224012 with flag 25500919/9717412
1202.54/1200.85	c cleaning 112982 clauses out of 226012 with flag 25930239/9831412
1226.34/1224.57	c cleaning 114008 clauses out of 228030 with flag 26342895/9946412
1244.35/1242.55	c cleaning 115001 clauses out of 230024 with flag 26818457/10062414
1262.85/1261.09	c cleaning 115998 clauses out of 232023 with flag 27308990/10179414
1286.15/1284.32	c cleaning 116980 clauses out of 234023 with flag 27784734/10297412
1308.86/1307.00	c cleaning 118006 clauses out of 236043 with flag 28224287/10416412
1327.35/1325.48	c cleaning 119003 clauses out of 238037 with flag 28749546/10536412
1347.66/1345.73	c cleaning 120009 clauses out of 240036 with flag 29250919/10657414
1370.96/1369.03	c cleaning 121013 clauses out of 242025 with flag 29754124/10779412
1392.76/1390.80	c cleaning 121988 clauses out of 244012 with flag 30280696/10902412
1415.67/1413.67	c cleaning 123012 clauses out of 246024 with flag 30769138/11026412
1442.86/1440.84	c cleaning 124001 clauses out of 248012 with flag 31270540/11151412
1468.07/1466.00	c cleaning 125005 clauses out of 250011 with flag 31793617/11277412
1495.08/1493.04	c cleaning 125988 clauses out of 252007 with flag 32273071/11404413
1517.15/1515.07	c cleaning 126993 clauses out of 254018 with flag 32769156/11532412
1544.86/1542.79	c cleaning 128009 clauses out of 256025 with flag 33276090/11661412
1571.46/1569.34	c cleaning 129003 clauses out of 258018 with flag 33775265/11791414
1596.41/1594.29	c cleaning 130004 clauses out of 260016 with flag 34306113/11922415
1622.61/1620.44	c cleaning 130981 clauses out of 262009 with flag 34842115/12054412
1655.30/1653.19	c cleaning 132016 clauses out of 264032 with flag 35341375/12187416
1684.51/1682.30	c cleaning 132989 clauses out of 266012 with flag 35882538/12321412
1711.97/1709.77	c cleaning 134000 clauses out of 268023 with flag 36401614/12456412
1741.28/1739.07	c cleaning 134987 clauses out of 270023 with flag 36983469/12592412
1772.30/1770.10	c cleaning 136014 clauses out of 272038 with flag 37472125/12729414
1800.08/1797.70	c starts		: 44463
1800.08/1797.70	c conflicts		: 12854847
1800.08/1797.70	c decisions		: 81534909
1800.08/1797.70	c propagations		: 654904188
1800.08/1797.70	c inspects		: 36432739901
1800.08/1797.70	c shortcuts		: 0
1800.08/1797.70	c learnt literals	: 0
1800.08/1797.70	c learnt binary clauses	: 0
1800.08/1797.70	c learnt ternary clauses	: 0
1800.08/1797.70	c learnt constraints	: 12854847
1800.08/1797.70	c ignored constraints	: 0
1800.08/1797.70	c root simplifications	: 0
1800.08/1797.70	c removed literals (reason simplification)	: 0
1800.08/1797.70	c reason swapping (by a shorter reason)	: 0
1800.08/1797.70	c Calls to reduceDB	: 252
1800.08/1797.70	c Number of update (reduction) of LBD	: 6528024
1800.08/1797.70	c Imported unit clauses	: 0
1800.08/1797.70	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.70	c number of learned constraints concerned by reduction	: 0
1800.08/1797.70	c number of learning phase by resolution	: 0
1800.08/1797.70	c number of learning phase by cutting planes	: 0
1800.08/1797.70	c speed (assignments/second)	: 364360.5499477859
1800.08/1797.70	c non guided choices	0
1800.08/1797.74	c learnt constraints type 
1800.08/1797.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 261458
1800.08/1797.74	s SATISFIABLE
1800.08/1797.74	c Found 6 solution(s)
1800.08/1797.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 
1800.08/1797.74	c objective function=16
1800.08/1797.74	c Total wall clock time (in seconds): 1797.624

Verifier Data 

OK	16

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-4085188-1465231139/watcher-4085188-1465231139 -o /tmp/evaluation-result-4085188-1465231139/solver-4085188-1465231139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-755 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085188-1465231139.opb 

pid=3053
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.25 2.17 2.16 4/194 3056
/proc/meminfo: memFree=30457044/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/3056/stat : 3056 (java) R 3053 3056 737 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 105047094 278528 34 33554432000 1073741824 1073778376 140735469895424 140735385119288 272877317415 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3056/statm: 68 34 25 9 0 25 0

[startup+0.100113 s]
/proc/loadavg: 2.25 2.17 2.16 4/194 3056
/proc/meminfo: memFree=30457044/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 4390 0 1 0 8 1 0 0 20 0 18 0 105047094 9787879424 6021 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2389619 6021 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200261 s]
/proc/loadavg: 2.25 2.17 2.16 4/194 3056
/proc/meminfo: memFree=30457044/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 4986 0 1 0 26 2 0 0 20 0 18 0 105047094 9787879424 6994 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2389619 6994 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 2.25 2.17 2.16 4/194 3056
/proc/meminfo: memFree=30457044/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 7764 0 1 0 52 3 0 0 20 0 18 0 105047094 9787879424 10135 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2389619 10135 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700238 s]
/proc/loadavg: 2.25 2.17 2.16 4/194 3056
/proc/meminfo: memFree=30457044/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 10011 0 1 0 131 3 0 0 20 0 19 0 105047094 9856040960 11467 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 11467 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.25 2.17 2.16 4/213 3075
/proc/meminfo: memFree=30419980/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 10020 0 1 0 219 4 0 0 20 0 19 0 105047094 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 11986 2267 9 0 2396937 0
[pid=3056/tid=3058] ppid=3053 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/3056/task/3058/stat : 3058 (java) R 3053 3056 737 0 -1 4202560 2417 0 1 0 145 2 0 0 20 0 19 0 105047095 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407336899096 140407196115183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3059] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3059/stat : 3059 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407315000360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3060] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3060/stat : 3060 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407313947560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3061] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3061/stat : 3061 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407111412520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3062] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3062/stat : 3062 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407110359720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3063] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3063/stat : 3063 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407109306920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3064] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3064/stat : 3064 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407108254120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3065] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3065/stat : 3065 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407107201320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3066] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3066/stat : 3066 (java) S 3053 3056 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407106148520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3067] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3067/stat : 3067 (java) S 3053 3056 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407093738472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 35 2 0 0 20 0 19 0 105047100 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2920 0 0 0 36 0 0 0 20 0 19 0 105047100 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 11986 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.25 2.17 2.16 4/213 3075
/proc/meminfo: memFree=30415636/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 10024 0 1 0 381 4 0 0 20 0 19 0 105047094 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 13522 2267 9 0 2396937 0
[pid=3056/tid=3058] ppid=3053 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/3056/task/3058/stat : 3058 (java) R 3053 3056 737 0 -1 4202560 2421 0 1 0 304 2 0 0 20 0 19 0 105047095 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407336890032 140407195964156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3059] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3059/stat : 3059 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407315000360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3060] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3060/stat : 3060 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407313947560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3061] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3061/stat : 3061 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407111412520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3062] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3062/stat : 3062 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407110359720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3063] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3063/stat : 3063 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407109306920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3064] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3064/stat : 3064 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407108254120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3065] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3065/stat : 3065 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407107201320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3066] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3066/stat : 3066 (java) S 3053 3056 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407106148520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3067] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3067/stat : 3067 (java) S 3053 3056 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407093738472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 36 2 0 0 20 0 19 0 105047100 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2920 0 0 0 38 0 0 0 20 0 19 0 105047100 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 13522 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.23 2.17 2.16 3/213 3075
/proc/meminfo: memFree=30405468/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=7.05 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 10031 0 1 0 701 4 0 0 20 0 19 0 105047094 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 15883 2268 9 0 2396937 0
[pid=3056/tid=3058] ppid=3053 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/3056/task/3058/stat : 3058 (java) R 3053 3056 737 0 -1 4202560 2427 0 1 0 624 2 0 0 20 0 19 0 105047095 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407336890032 140407195873154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3059] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3059/stat : 3059 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407315000360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3060] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3060/stat : 3060 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407313947560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3061] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3061/stat : 3061 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407111412520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3062] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3062/stat : 3062 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407110359720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3063] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3063/stat : 3063 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407109306920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3064] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3064/stat : 3064 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407108254120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3065] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3065/stat : 3065 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407107201320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3066] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3066/stat : 3066 (java) S 3053 3056 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105047096 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407106148520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3067] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3067/stat : 3067 (java) S 3053 3056 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407093738472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 36 2 0 0 20 0 19 0 105047100 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2920 0 0 0 38 0 0 0 20 0 19 0 105047100 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 15883 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9625040


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

[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 36 2 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2932 0 0 0 45 0 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 100 0 0 0 20 29 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.57
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.10 2.14 2.14 3/213 3338
/proc/meminfo: memFree=30131660/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=1784.59 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 12170 0 1 0 178396 63 0 0 20 0 19 0 105047094 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 96146 2282 9 0 2396937 0
[pid=3056/tid=3058] ppid=3053 vsize=9625040 CPUtime=1781.61 cores=1,3,5,7
/proc/3056/task/3058/stat : 3058 (java) R 3053 3056 737 0 -1 4202560 2499 0 1 0 178128 33 0 0 20 0 19 0 105047095 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407336890128 140407195964156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3059] ppid=3053 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/3056/task/3059/stat : 3059 (java) S 3053 3056 737 0 -1 4202560 211 0 0 0 19 5 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407315000360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3060] ppid=3053 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/3056/task/3060/stat : 3060 (java) S 3053 3056 737 0 -1 4202560 303 0 0 0 18 3 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407313947560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3061] ppid=3053 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/3056/task/3061/stat : 3061 (java) S 3053 3056 737 0 -1 4202560 245 0 0 0 18 3 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407111412520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3062] ppid=3053 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/3056/task/3062/stat : 3062 (java) S 3053 3056 737 0 -1 4202560 84 0 0 0 25 4 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407110359720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3063] ppid=3053 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/3056/task/3063/stat : 3063 (java) S 3053 3056 737 0 -1 4202560 352 0 0 0 23 6 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407109306920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3064] ppid=3053 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/3056/task/3064/stat : 3064 (java) S 3053 3056 737 0 -1 4202560 68 0 0 0 15 3 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407108254120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3065] ppid=3053 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/3056/task/3065/stat : 3065 (java) S 3053 3056 737 0 -1 4202560 259 0 0 0 16 3 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407107201320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3066] ppid=3053 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3056/task/3066/stat : 3066 (java) S 3053 3056 737 0 -1 4202560 371 0 0 0 19 3 0 0 20 0 19 0 105047096 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407106148520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3067] ppid=3053 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3056/task/3067/stat : 3067 (java) S 3053 3056 737 0 -1 4202560 73 0 0 0 0 2 0 0 20 0 19 0 105047097 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407093738472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 36 2 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2932 0 0 0 45 0 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 104 0 0 0 21 30 0 0 20 0 19 0 105047100 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 96146 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.15 2.15 2.14 3/213 3338
/proc/meminfo: memFree=30107080/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 12185 0 1 0 179944 64 0 0 20 0 19 0 105047094 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 97713 2282 9 0 2396937 0
[pid=3056/tid=3058] ppid=3053 vsize=9625040 CPUtime=1796.97 cores=1,3,5,7
/proc/3056/task/3058/stat : 3058 (java) R 3053 3056 737 0 -1 4202560 2500 0 1 0 179664 33 0 0 20 0 19 0 105047095 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407336897840 140407195873183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3059] ppid=3053 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/3056/task/3059/stat : 3059 (java) S 3053 3056 737 0 -1 4202560 211 0 0 0 20 5 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407315000360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3060] ppid=3053 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/3056/task/3060/stat : 3060 (java) S 3053 3056 737 0 -1 4202560 306 0 0 0 20 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407313947560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3061] ppid=3053 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3056/task/3061/stat : 3061 (java) S 3053 3056 737 0 -1 4202560 247 0 0 0 19 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407111412520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3062] ppid=3053 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/3056/task/3062/stat : 3062 (java) S 3053 3056 737 0 -1 4202560 86 0 0 0 29 4 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407110359720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3063] ppid=3053 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/3056/task/3063/stat : 3063 (java) S 3053 3056 737 0 -1 4202560 356 0 0 0 25 6 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407109306920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3064] ppid=3053 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/3056/task/3064/stat : 3064 (java) S 3053 3056 737 0 -1 4202560 69 0 0 0 16 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407108254120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3065] ppid=3053 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/3056/task/3065/stat : 3065 (java) S 3053 3056 737 0 -1 4202560 259 0 0 0 17 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407107201320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3066] ppid=3053 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3056/task/3066/stat : 3066 (java) S 3053 3056 737 0 -1 4202560 371 0 0 0 19 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407106148520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3067] ppid=3053 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3056/task/3067/stat : 3067 (java) S 3053 3056 737 0 -1 4202560 75 0 0 0 0 2 0 0 20 0 19 0 105047097 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407093738472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 36 2 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2932 0 0 0 45 0 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 104 0 0 0 21 31 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 3056 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.7 s]
/proc/loadavg: 2.15 2.15 2.14 3/213 3338
/proc/meminfo: memFree=30107080/32872528 swapFree=16252/1391864
[pid=3056] ppid=3053 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/3056/stat : 3056 (java) S 3053 3056 737 0 -1 4202496 12185 0 1 0 179944 64 0 0 20 0 19 0 105047094 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140735469886560 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3056/statm: 2406260 97713 2282 9 0 2396937 0
[pid=3056/tid=3058] ppid=3053 vsize=9625040 CPUtime=1796.97 cores=1,3,5,7
/proc/3056/task/3058/stat : 3058 (java) R 3053 3056 737 0 -1 4202560 2500 0 1 0 179664 33 0 0 20 0 19 0 105047095 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407336897840 140407195873183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3059] ppid=3053 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/3056/task/3059/stat : 3059 (java) S 3053 3056 737 0 -1 4202560 211 0 0 0 20 5 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407315000360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3060] ppid=3053 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/3056/task/3060/stat : 3060 (java) S 3053 3056 737 0 -1 4202560 306 0 0 0 20 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407313947560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3061] ppid=3053 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3056/task/3061/stat : 3061 (java) S 3053 3056 737 0 -1 4202560 247 0 0 0 19 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407111412520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3062] ppid=3053 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/3056/task/3062/stat : 3062 (java) S 3053 3056 737 0 -1 4202560 86 0 0 0 29 4 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407110359720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3063] ppid=3053 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/3056/task/3063/stat : 3063 (java) S 3053 3056 737 0 -1 4202560 356 0 0 0 25 6 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407109306920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3064] ppid=3053 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/3056/task/3064/stat : 3064 (java) S 3053 3056 737 0 -1 4202560 69 0 0 0 16 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407108254120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3065] ppid=3053 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/3056/task/3065/stat : 3065 (java) S 3053 3056 737 0 -1 4202560 259 0 0 0 17 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407107201320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3066] ppid=3053 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3056/task/3066/stat : 3066 (java) S 3053 3056 737 0 -1 4202560 371 0 0 0 19 3 0 0 20 0 19 0 105047096 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407106148520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3067] ppid=3053 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3056/task/3067/stat : 3067 (java) S 3053 3056 737 0 -1 4202560 75 0 0 0 0 2 0 0 20 0 19 0 105047097 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407093738472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3068] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3068/stat : 3068 (java) S 3053 3056 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407092684536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3069] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3069/stat : 3069 (java) S 3053 3056 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105047097 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407091631624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3070] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3070/stat : 3070 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407090580112 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3071] ppid=3053 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3056/task/3071/stat : 3071 (java) S 3053 3056 737 0 -1 4202560 3407 0 0 0 36 2 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407089527224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3056/tid=3072] ppid=3053 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3056/task/3072/stat : 3072 (java) S 3053 3056 737 0 -1 4202560 2932 0 0 0 45 0 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407088474424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3056/tid=3073] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3073/stat : 3073 (java) S 3053 3056 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407087421816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3056/tid=3074] ppid=3053 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/3056/task/3074/stat : 3074 (java) S 3053 3056 737 0 -1 4202560 104 0 0 0 21 31 0 0 20 0 19 0 105047100 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407086369224 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3056/tid=3075] ppid=3053 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3056/task/3075/stat : 3075 (java) S 3053 3056 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105047124 9856040960 97713 33554432000 1073741824 1073778376 140735469895424 140407085315752 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1797.74
CPU time (s): 1800.64
CPU user time (s): 1799.52
CPU system time (s): 1.12183
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 1.12183
maximum resident set size= 392776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12225
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38573
involuntary context switches= 11892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2844 second user time and 13.5419 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-06 18:38:59
IDJOB=4085188
IDBENCH=2051
IDSOLVER=2546
FILE ID=node119/4085188-1465231139
RUNJOBID= node119-1465217315-755
PBS_JOBID= 19843200
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-clip.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085188-1465231139/watcher-4085188-1465231139 -o /tmp/evaluation-result-4085188-1465231139/solver-4085188-1465231139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-755 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085188-1465231139.opb

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

MD5SUM BENCH= 3b68d80e8ba1b8a702f9c691105ea9d4
RANDOM SEED=1950255306

node119.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.410
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.82
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.410
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.410
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.410
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.410
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.410
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.410
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.410
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:        30457836 kB
Buffers:           23180 kB
Cached:            88628 kB
SwapCached:          832 kB
Active:           264328 kB
Inactive:          53848 kB
Active(anon):     206988 kB
Inactive(anon):     1608 kB
Active(file):      57340 kB
Inactive(file):    52240 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       1603324 kB
Mapped:            15292 kB
Shmem:                 0 kB
Slab:             565812 kB
SReclaimable:       9640 kB
SUnreclaim:       556172 kB
KernelStack:        1600 kB
PageTables:         7068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2102684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 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= 71736 MiB
End job on node119 at 2016-06-06 19:08:57