Trace number 4081169

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)1482 1800.16 904.359

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUMc919b2e3620f35e89404416810e81e0b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1194
Best CPU time to get the best result obtained on this benchmark11.7142
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1194
Optimality of the best value was proved YES
Number of variables239
Total number of constraints524
Number of constraints which are clauses520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4
Minimum length of a constraint1
Maximum length of a constraint36
Number of terms in the objective function 239
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 10012
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 10012
Number of bits of the biggest sum of numbers14
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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081169-1465224583.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.25/0.22	c ... done. Wall clock time 0.099s.
0.25/0.22	c declared #vars     239
0.25/0.22	c #constraints  524
0.25/0.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.22	c constraints type 
0.25/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 368
0.25/0.22	c org.sat4j.specs.Constr$1 => 4
0.25/0.22	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.25/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 151
0.25/0.22	c 524 constraints processed.
0.25/0.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.22	c constraints type 
0.25/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 151
0.25/0.22	c org.sat4j.specs.Constr$1 => 4
0.25/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 368
0.25/0.22	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.25/0.22	c 524 constraints processed.
0.25/0.22	c objective function length is 239 literals
0.25/0.23	c And the winner is solver0
0.32/0.72	c SATISFIABLE
0.32/0.72	c OPTIMIZING...
0.32/0.72	c Got one! Elapsed wall clock time (in seconds):0.604
0.32/0.72	o 1662
0.32/0.74	c And the winner is solver0
0.37/1.23	c Got one! Elapsed wall clock time (in seconds):1.112
0.37/1.23	o 1641
0.37/1.24	c And the winner is solver0
0.37/1.73	c Got one! Elapsed wall clock time (in seconds):1.615
0.37/1.73	o 1639
0.37/1.75	c And the winner is solver0
0.39/2.24	c Got one! Elapsed wall clock time (in seconds):2.121
0.39/2.24	o 1618
0.39/2.25	c And the winner is solver0
0.42/2.74	c Got one! Elapsed wall clock time (in seconds):2.624
0.42/2.74	o 1616
0.42/2.76	c And the winner is solver0
0.54/3.25	c Got one! Elapsed wall clock time (in seconds):3.127
0.54/3.25	o 1602
0.54/3.25	c And the winner is solver0
0.58/3.75	c Got one! Elapsed wall clock time (in seconds):3.629
0.58/3.75	o 1593
0.58/3.77	c And the winner is solver0
0.86/4.25	c Got one! Elapsed wall clock time (in seconds):4.131
0.86/4.25	o 1570
2.22/4.62	c cleaning 2549 clauses out of 5097 with flag 12106/5097
3.36/4.97	c cleaning 4274 clauses out of 8548 with flag 26679/11097
3.94/5.11	c And the winner is solver1
3.98/5.25	c Got one! Elapsed wall clock time (in seconds):5.133
3.98/5.25	o 1552
4.11/5.31	c And the winner is solver0
4.14/5.75	c Got one! Elapsed wall clock time (in seconds):5.635
4.14/5.75	o 1547
4.45/5.90	c cleaning 5396 clauses out of 10791 with flag 7544/17614
5.11/6.21	c cleaning 5697 clauses out of 11395 with flag 22752/23614
5.77/6.53	c And the winner is solver1
5.85/6.76	c Got one! Elapsed wall clock time (in seconds):6.636
5.85/6.76	o 1546
6.36/7.06	c cleaning 8512 clauses out of 17040 with flag 13663/34956
6.96/7.26	c And the winner is solver1
7.23/7.76	c Got one! Elapsed wall clock time (in seconds):7.638
7.23/7.76	o 1513
7.36/7.89	c cleaning 6941 clauses out of 13882 with flag 2706/40310
8.34/8.16	c cleaning 6470 clauses out of 12940 with flag 18351/46309
9.11/8.46	c cleaning 6734 clauses out of 13470 with flag 35841/53309
9.98/8.85	c cleaning 7368 clauses out of 14735 with flag 55620/61309
10.37/9.04	c And the winner is solver1
10.46/9.26	c Got one! Elapsed wall clock time (in seconds):9.139
10.46/9.26	o 1511
10.53/9.32	c cleaning 6366 clauses out of 12750 with flag 2808/66692
10.93/9.59	c cleaning 6191 clauses out of 12384 with flag 19759/72692
11.53/9.88	c cleaning 6588 clauses out of 13194 with flag 38966/79693
12.37/10.29	c cleaning 7303 clauses out of 14606 with flag 61667/87693
13.41/10.71	c cleaning 8151 clauses out of 16305 with flag 86816/96695
14.22/11.18	c cleaning 9072 clauses out of 18151 with flag 114295/106692
14.81/11.49	c And the winner is solver1
15.07/11.76	c Got one! Elapsed wall clock time (in seconds):11.641
15.07/11.76	o 1510
15.54/12.06	c cleaning 10165 clauses out of 20351 with flag 13288/117964
16.13/12.35	c cleaning 8086 clauses out of 16186 with flag 29613/123964
16.73/12.70	c cleaning 7545 clauses out of 15100 with flag 47704/130964
17.74/13.12	c cleaning 7771 clauses out of 15554 with flag 68881/138964
18.54/13.60	c cleaning 8387 clauses out of 16784 with flag 94136/147965
19.74/14.12	c cleaning 9194 clauses out of 18397 with flag 120447/157965
20.74/14.65	c cleaning 10098 clauses out of 20202 with flag 149222/168964
21.96/15.24	c cleaning 11052 clauses out of 22103 with flag 180649/180964
23.15/15.89	c cleaning 12021 clauses out of 24053 with flag 215930/193966
25.01/16.72	c cleaning 13016 clauses out of 26031 with flag 253025/207965
26.61/17.51	c cleaning 14007 clauses out of 28013 with flag 292899/222964
28.41/18.44	c cleaning 15001 clauses out of 30007 with flag 336031/238965
30.41/19.45	c cleaning 16002 clauses out of 32005 with flag 381619/255964
32.61/20.59	c cleaning 17000 clauses out of 34003 with flag 430829/273964
34.81/21.62	c cleaning 17996 clauses out of 36004 with flag 484622/292965
36.81/22.68	c cleaning 18994 clauses out of 38007 with flag 538073/312964
39.21/23.87	c cleaning 20007 clauses out of 40013 with flag 593058/333964
41.81/25.15	c cleaning 20997 clauses out of 42008 with flag 651087/355966
44.42/26.47	c cleaning 22004 clauses out of 44009 with flag 712829/378964
47.21/27.81	c cleaning 23002 clauses out of 46005 with flag 777191/402964
50.21/29.33	c cleaning 23994 clauses out of 48003 with flag 844256/427964
53.22/30.81	c cleaning 24997 clauses out of 50009 with flag 913913/453964
56.61/32.58	c cleaning 26002 clauses out of 52012 with flag 988954/480964
59.82/34.19	c cleaning 26998 clauses out of 54010 with flag 1066470/508964
63.81/36.12	c cleaning 28003 clauses out of 56012 with flag 1142598/537964
67.60/38.00	c cleaning 29005 clauses out of 58016 with flag 1222246/567971
71.20/39.82	c cleaning 30002 clauses out of 60004 with flag 1304164/598964
75.21/41.88	c cleaning 30998 clauses out of 62002 with flag 1386724/630964
79.61/44.09	c cleaning 31997 clauses out of 64005 with flag 1474597/663965
84.02/46.23	c cleaning 33002 clauses out of 66007 with flag 1566088/697964
89.81/49.18	c cleaning 34001 clauses out of 68008 with flag 1654028/732967
96.40/52.45	c cleaning 35001 clauses out of 70005 with flag 1743678/768965
103.52/55.91	c cleaning 36002 clauses out of 72003 with flag 1831903/805964
110.53/59.44	c cleaning 36992 clauses out of 74002 with flag 1926071/843965
117.33/62.84	c cleaning 38001 clauses out of 76010 with flag 2021782/882965
124.31/66.30	c cleaning 39002 clauses out of 78008 with flag 2120761/922964
131.31/69.80	c cleaning 39994 clauses out of 80006 with flag 2225431/963964
137.91/73.13	c cleaning 41000 clauses out of 82012 with flag 2335537/1005964
145.31/76.88	c cleaning 42000 clauses out of 84012 with flag 2450226/1048964
152.91/80.64	c cleaning 43001 clauses out of 86013 with flag 2559113/1092965
161.32/84.89	c cleaning 44003 clauses out of 88011 with flag 2671107/1137964
169.92/89.11	c cleaning 44995 clauses out of 90008 with flag 2782636/1183964
178.50/93.45	c cleaning 46007 clauses out of 92013 with flag 2899982/1230964
187.30/97.85	c cleaning 47000 clauses out of 94006 with flag 3017840/1278964
196.70/102.57	c cleaning 48001 clauses out of 96006 with flag 3139469/1327964
207.51/107.97	c cleaning 49002 clauses out of 98005 with flag 3263617/1377964
218.90/113.63	c cleaning 49999 clauses out of 100003 with flag 3393971/1428964
230.90/119.66	c cleaning 50996 clauses out of 102004 with flag 3531700/1480964
243.29/125.89	c cleaning 51995 clauses out of 104009 with flag 3670674/1533965
256.09/132.29	c cleaning 53002 clauses out of 106013 with flag 3811424/1587964
268.28/138.37	c cleaning 54001 clauses out of 108011 with flag 3951931/1642964
282.30/145.36	c cleaning 55005 clauses out of 110011 with flag 4093596/1698965
296.44/152.32	c cleaning 55998 clauses out of 112005 with flag 4235448/1755964
311.24/159.78	c cleaning 57001 clauses out of 114008 with flag 4379768/1813965
326.25/167.22	c cleaning 58003 clauses out of 116007 with flag 4534840/1872965
341.85/175.03	c cleaning 59002 clauses out of 118003 with flag 4694114/1932964
359.45/183.90	c cleaning 59991 clauses out of 120002 with flag 4855371/1993965
375.03/191.66	c cleaning 60998 clauses out of 122011 with flag 5018109/2055965
390.63/199.43	c cleaning 62006 clauses out of 124012 with flag 5185346/2118964
405.44/206.90	c cleaning 63004 clauses out of 126007 with flag 5350911/2182965
424.22/216.22	c cleaning 63998 clauses out of 128003 with flag 5519270/2247965
441.62/224.92	c cleaning 64998 clauses out of 130004 with flag 5693315/2313964
456.43/232.32	c cleaning 66004 clauses out of 132007 with flag 5867106/2380965
469.03/238.65	c cleaning 66991 clauses out of 134002 with flag 6038366/2448964
481.83/245.02	c And the winner is solver1
481.83/245.29	c Got one! Elapsed wall clock time (in seconds):245.174
481.83/245.29	o 1490
484.28/246.55	c cleaning 67775 clauses out of 135562 with flag 13038/2517515
486.42/247.55	c cleaning 36889 clauses out of 73787 with flag 28645/2523515
487.61/248.10	c cleaning 21939 clauses out of 43898 with flag 46098/2530515
488.62/248.62	c cleaning 14973 clauses out of 29959 with flag 65810/2538515
489.61/249.13	c cleaning 11983 clauses out of 23986 with flag 88449/2547515
490.61/249.64	c cleaning 10990 clauses out of 22004 with flag 115899/2557516
491.61/250.18	c cleaning 11000 clauses out of 22016 with flag 145820/2568518
492.81/250.78	c cleaning 11500 clauses out of 23015 with flag 177470/2580517
494.21/251.44	c cleaning 12255 clauses out of 24513 with flag 211936/2593515
495.61/252.13	c cleaning 13126 clauses out of 26258 with flag 246849/2607515
497.21/252.97	c cleaning 14063 clauses out of 28134 with flag 285146/2622517
499.01/253.85	c cleaning 15033 clauses out of 30069 with flag 322990/2638515
501.08/254.84	c cleaning 16012 clauses out of 32036 with flag 364424/2655515
503.10/255.80	c cleaning 17008 clauses out of 34026 with flag 415198/2673517
504.91/256.79	c cleaning 18008 clauses out of 36018 with flag 467849/2692517
507.41/257.96	c cleaning 19005 clauses out of 38009 with flag 522024/2712516
510.05/259.24	c cleaning 19999 clauses out of 40004 with flag 578513/2733516
512.90/260.66	c cleaning 21004 clauses out of 42009 with flag 633970/2755520
515.51/261.95	c cleaning 21996 clauses out of 44001 with flag 692497/2778516
518.50/263.46	c cleaning 22997 clauses out of 46004 with flag 753188/2802515
521.97/265.11	c cleaning 24000 clauses out of 48007 with flag 818035/2827515
524.96/266.60	c cleaning 24994 clauses out of 50007 with flag 886442/2853515
528.16/268.27	c cleaning 26001 clauses out of 52013 with flag 958647/2880515
529.59/268.99	c And the winner is solver1
529.65/269.33	c Got one! Elapsed wall clock time (in seconds):269.212
529.65/269.33	o 1485
530.38/269.77	c cleaning 21961 clauses out of 43932 with flag 12383/2898435
531.18/270.12	c cleaning 13981 clauses out of 27972 with flag 27877/2904436
531.98/270.52	c cleaning 10487 clauses out of 20989 with flag 46290/2911434
532.78/270.95	c cleaning 9249 clauses out of 18503 with flag 67427/2919435
533.58/271.37	c cleaning 9122 clauses out of 18253 with flag 90610/2928434
534.60/271.89	c cleaning 9560 clauses out of 19131 with flag 117449/2938434
535.78/272.45	c cleaning 10282 clauses out of 20571 with flag 146861/2949434
537.03/273.08	c cleaning 11144 clauses out of 22290 with flag 178351/2961435
538.43/273.78	c cleaning 12071 clauses out of 24145 with flag 211039/2974434
540.03/274.58	c cleaning 13033 clauses out of 26074 with flag 247774/2988434
541.83/275.41	c cleaning 14013 clauses out of 28041 with flag 287349/3003434
543.63/276.32	c cleaning 15016 clauses out of 30032 with flag 329386/3019438
545.70/277.36	c cleaning 16003 clauses out of 32012 with flag 373844/3036434
547.69/278.34	c cleaning 17000 clauses out of 34010 with flag 421043/3054435
549.89/279.43	c cleaning 18001 clauses out of 36010 with flag 472005/3073435
552.30/280.66	c cleaning 18997 clauses out of 38008 with flag 525176/3093434
554.91/281.97	c cleaning 20000 clauses out of 40011 with flag 580731/3114434
558.11/283.57	c cleaning 21006 clauses out of 42011 with flag 642784/3136434
561.16/285.03	c cleaning 22000 clauses out of 44005 with flag 704858/3159434
564.15/286.53	c cleaning 23003 clauses out of 46005 with flag 763502/3183434
567.15/288.03	c cleaning 23994 clauses out of 48002 with flag 829923/3208434
570.58/289.71	c cleaning 24997 clauses out of 50008 with flag 896938/3234434
574.19/291.55	c cleaning 26002 clauses out of 52012 with flag 969298/3261435
578.03/293.49	c cleaning 27007 clauses out of 54015 with flag 1042373/3289440
582.02/295.45	c cleaning 27994 clauses out of 56002 with flag 1117213/3318434
583.85/296.33	c And the winner is solver1
583.85/296.34	c Got one! Elapsed wall clock time (in seconds):296.218
583.85/296.34	o 1482
584.51/296.75	c cleaning 24274 clauses out of 48559 with flag 12567/3338985
585.12/297.08	c cleaning 15137 clauses out of 30287 with flag 28666/3344987
585.91/297.43	c cleaning 11061 clauses out of 22148 with flag 47528/3351985
586.71/297.83	c cleaning 9538 clauses out of 19087 with flag 68781/3359985
587.52/298.26	c cleaning 9267 clauses out of 18549 with flag 92412/3368985
588.51/298.74	c cleaning 9642 clauses out of 19284 with flag 118997/3378987
589.76/299.31	c cleaning 10314 clauses out of 20641 with flag 146698/3389986
590.94/299.93	c cleaning 11159 clauses out of 22327 with flag 180237/3401986
592.34/300.62	c cleaning 12081 clauses out of 24167 with flag 216957/3414985
593.74/301.40	c cleaning 13043 clauses out of 26086 with flag 256129/3428985
595.79/302.32	c cleaning 14015 clauses out of 28043 with flag 297516/3443985
597.59/303.26	c cleaning 15014 clauses out of 30028 with flag 338863/3459985
599.79/304.32	c cleaning 16003 clauses out of 32014 with flag 380377/3476985
601.84/305.37	c cleaning 17005 clauses out of 34013 with flag 427299/3494987
604.24/306.51	c cleaning 17997 clauses out of 36006 with flag 476697/3513985
606.44/307.68	c cleaning 18998 clauses out of 38010 with flag 529876/3533986
608.85/308.80	c cleaning 19997 clauses out of 40012 with flag 585197/3554986
611.25/310.04	c cleaning 21004 clauses out of 42014 with flag 643733/3576985
614.55/311.80	c cleaning 21999 clauses out of 44012 with flag 701983/3599987
617.55/313.36	c cleaning 23006 clauses out of 46011 with flag 765159/3623985
620.76/314.98	c cleaning 24001 clauses out of 48006 with flag 827757/3648986
623.96/316.53	c cleaning 24997 clauses out of 50005 with flag 894629/3674986
627.19/318.15	c cleaning 25998 clauses out of 52007 with flag 964260/3701985
630.99/320.08	c cleaning 27005 clauses out of 54010 with flag 1035842/3729986
634.99/322.03	c cleaning 28001 clauses out of 56004 with flag 1112418/3758985
640.20/324.68	c cleaning 29003 clauses out of 58005 with flag 1192828/3788987
645.22/327.16	c cleaning 29994 clauses out of 60001 with flag 1274357/3819986
650.24/329.61	c cleaning 30999 clauses out of 62006 with flag 1359566/3851985
655.07/332.03	c cleaning 31993 clauses out of 64007 with flag 1445326/3884985
659.93/334.47	c cleaning 33001 clauses out of 66015 with flag 1533142/3918986
665.74/337.32	c cleaning 34001 clauses out of 68013 with flag 1623777/3953985
671.77/340.32	c cleaning 35000 clauses out of 70013 with flag 1724827/3989986
677.40/343.16	c cleaning 36000 clauses out of 72016 with flag 1824882/4026989
683.03/345.93	c cleaning 37006 clauses out of 74012 with flag 1927577/4064985
689.65/349.29	c cleaning 38001 clauses out of 76006 with flag 2027464/4103985
695.51/352.16	c cleaning 38998 clauses out of 78006 with flag 2135841/4143986
701.31/355.09	c cleaning 40004 clauses out of 80008 with flag 2241888/4184986
706.71/357.76	c cleaning 41003 clauses out of 82005 with flag 2358534/4226987
712.94/360.83	c cleaning 41995 clauses out of 84000 with flag 2475318/4269985
718.93/363.85	c cleaning 43003 clauses out of 86006 with flag 2585912/4313986
726.14/367.45	c cleaning 43999 clauses out of 88004 with flag 2702653/4358987
733.13/370.91	c cleaning 44998 clauses out of 90003 with flag 2820727/4404985
740.32/374.58	c cleaning 45995 clauses out of 92006 with flag 2942430/4451986
748.20/378.47	c cleaning 47004 clauses out of 94011 with flag 3071988/4499986
755.18/381.95	c cleaning 47999 clauses out of 96006 with flag 3197454/4548985
762.18/385.41	c cleaning 48997 clauses out of 98008 with flag 3328186/4598986
770.05/389.37	c cleaning 49995 clauses out of 100010 with flag 3462359/4649985
778.05/393.33	c cleaning 51008 clauses out of 102016 with flag 3598186/4701986
787.90/398.21	c cleaning 51995 clauses out of 104007 with flag 3733932/4754985
796.70/402.70	c cleaning 53001 clauses out of 106015 with flag 3875826/4808988
805.08/406.89	c cleaning 54001 clauses out of 108011 with flag 4016909/4863985
814.68/411.67	c cleaning 54996 clauses out of 110010 with flag 4168490/4919985
824.68/416.61	c cleaning 56001 clauses out of 112014 with flag 4324260/4976985
834.53/421.53	c cleaning 56998 clauses out of 114013 with flag 4474621/5034985
843.33/425.95	c cleaning 57998 clauses out of 116015 with flag 4636366/5093985
852.93/430.71	c cleaning 59003 clauses out of 118017 with flag 4796736/5153985
863.13/435.85	c cleaning 59993 clauses out of 120015 with flag 4957764/5214986
872.92/440.73	c cleaning 61006 clauses out of 122021 with flag 5124970/5276985
883.92/446.22	c cleaning 62005 clauses out of 124016 with flag 5295238/5339986
895.52/452.03	c cleaning 63002 clauses out of 126011 with flag 5467168/5403986
907.75/458.39	c cleaning 64000 clauses out of 128009 with flag 5639221/5468986
919.35/464.16	c cleaning 64993 clauses out of 130008 with flag 5818499/5534985
930.35/469.70	c cleaning 65997 clauses out of 132015 with flag 5993510/5601985
942.35/475.69	c cleaning 67003 clauses out of 134019 with flag 6184589/5669986
954.39/481.63	c cleaning 68008 clauses out of 136016 with flag 6372907/5738986
967.39/488.10	c cleaning 68999 clauses out of 138007 with flag 6561408/5808985
980.39/494.67	c cleaning 70001 clauses out of 140008 with flag 6749735/5879985
994.40/501.67	c cleaning 70997 clauses out of 142007 with flag 6940128/5951985
1006.79/507.85	c cleaning 72000 clauses out of 144013 with flag 7129237/6024988
1020.39/514.65	c cleaning 73003 clauses out of 146010 with flag 7323998/6098985
1033.78/521.37	c cleaning 74000 clauses out of 148008 with flag 7518497/6173986
1047.65/528.24	c cleaning 75002 clauses out of 150009 with flag 7716633/6249987
1062.44/535.64	c cleaning 75989 clauses out of 152006 with flag 7915328/6326986
1076.84/542.87	c cleaning 77002 clauses out of 154016 with flag 8121089/6404985
1092.24/550.59	c cleaning 78006 clauses out of 156014 with flag 8327545/6483985
1108.72/558.73	c cleaning 78998 clauses out of 158010 with flag 8540698/6563987
1123.71/566.28	c cleaning 79993 clauses out of 160010 with flag 8751491/6644985
1139.72/574.26	c cleaning 81004 clauses out of 162017 with flag 8970700/6726985
1154.31/581.51	c cleaning 82007 clauses out of 164013 with flag 9199565/6809985
1171.70/590.20	c cleaning 82996 clauses out of 166007 with flag 9425514/6893986
1188.18/598.46	c cleaning 83999 clauses out of 168011 with flag 9649259/6978986
1203.78/606.24	c cleaning 85001 clauses out of 170012 with flag 9880890/7064986
1221.02/614.83	c cleaning 86004 clauses out of 172015 with flag 10112257/7151990
1236.22/622.46	c cleaning 86994 clauses out of 174007 with flag 10341725/7239986
1252.82/630.76	c cleaning 88006 clauses out of 176012 with flag 10577814/7328985
1269.42/639.10	c cleaning 88994 clauses out of 178006 with flag 10816193/7418985
1285.82/647.25	c cleaning 89996 clauses out of 180013 with flag 11058087/7509986
1303.35/656.16	c cleaning 91006 clauses out of 182016 with flag 11302168/7601985
1321.35/665.17	c cleaning 92000 clauses out of 184011 with flag 11550028/7694986
1337.34/673.16	c cleaning 93001 clauses out of 186010 with flag 11789393/7788985
1353.94/681.49	c cleaning 94000 clauses out of 188010 with flag 12045144/7883986
1373.35/691.13	c cleaning 95004 clauses out of 190011 with flag 12301571/7979987
1392.35/700.64	c cleaning 95997 clauses out of 192005 with flag 12546536/8076985
1412.84/710.82	c cleaning 97001 clauses out of 194009 with flag 12799560/8174986
1430.84/719.88	c cleaning 97994 clauses out of 196008 with flag 13054117/8273986
1450.05/729.50	c cleaning 99002 clauses out of 198013 with flag 13314026/8373985
1471.03/739.92	c cleaning 100003 clauses out of 200011 with flag 13574530/8474985
1489.23/749.08	c cleaning 101000 clauses out of 202008 with flag 13829012/8576985
1509.83/759.37	c cleaning 101998 clauses out of 204008 with flag 14100502/8679985
1529.63/769.20	c cleaning 103003 clauses out of 206011 with flag 14367296/8783986
1549.72/779.27	c cleaning 103997 clauses out of 208008 with flag 14640896/8888986
1570.52/789.64	c cleaning 105002 clauses out of 210010 with flag 14917225/8994985
1593.72/801.25	c cleaning 106004 clauses out of 212008 with flag 15195195/9101985
1615.72/812.22	c cleaning 106994 clauses out of 214005 with flag 15471592/9209986
1639.13/823.96	c cleaning 107988 clauses out of 216011 with flag 15757999/9318986
1660.19/834.41	c cleaning 109007 clauses out of 218025 with flag 16048180/9428988
1682.79/845.76	c cleaning 110002 clauses out of 220015 with flag 16340078/9539985
1707.79/858.26	c cleaning 111002 clauses out of 222013 with flag 16641910/9651985
1734.60/871.67	c cleaning 112003 clauses out of 224011 with flag 16934198/9764985
1763.20/885.92	c cleaning 113005 clauses out of 226010 with flag 17232141/9878987
1789.54/899.03	c cleaning 113993 clauses out of 228004 with flag 17528083/9993986
1800.16/904.31	c >>>>>>>>>> Solver number 0 (9 answers) <<<<<<<<<<<<<<<<<<
1800.16/904.31	c starts		: 161097
1800.16/904.31	c conflicts		: 10048801
1800.16/904.31	c decisions		: 23901230
1800.16/904.31	c propagations		: 396754396
1800.16/904.31	c inspects		: 12048878514
1800.16/904.31	c shortcuts		: 0
1800.16/904.31	c learnt literals	: 4
1800.16/904.31	c learnt binary clauses	: 4
1800.16/904.31	c learnt ternary clauses	: 12
1800.16/904.31	c learnt constraints	: 10048797
1800.16/904.31	c ignored constraints	: 0
1800.16/904.31	c root simplifications	: 0
1800.16/904.31	c removed literals (reason simplification)	: 57331675
1800.16/904.31	c reason swapping (by a shorter reason)	: 0
1800.16/904.31	c Calls to reduceDB	: 238
1800.16/904.31	c Number of update (reduction) of LBD	: 2079038
1800.16/904.31	c Imported unit clauses	: 0
1800.16/904.31	c number of reductions to clauses (during analyze)	: 0
1800.16/904.31	c number of learned constraints concerned by reduction	: 0
1800.16/904.31	c number of learning phase by resolution	: 0
1800.16/904.31	c number of learning phase by cutting planes	: 0
1800.16/904.31	c speed (assignments/second)	: 652587.6990843313
1800.16/904.31	c non guided choices	0
1800.16/904.34	c learnt constraints type 
1800.16/904.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.16/904.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 168822
1800.16/904.34	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.16/904.34	c starts		: 41
1800.16/904.34	c conflicts		: 5223
1800.16/904.34	c decisions		: 31529
1800.16/904.34	c propagations		: 202702
1800.16/904.34	c inspects		: 92921112
1800.16/904.34	c shortcuts		: 0
1800.16/904.34	c learnt literals	: 3
1800.16/904.34	c learnt binary clauses	: 2
1800.16/904.34	c learnt ternary clauses	: 4
1800.16/904.34	c learnt constraints	: 5216
1800.16/904.34	c ignored constraints	: 0
1800.16/904.34	c root simplifications	: 0
1800.16/904.34	c removed literals (reason simplification)	: 0
1800.16/904.34	c reason swapping (by a shorter reason)	: 0
1800.16/904.34	c Calls to reduceDB	: 0
1800.16/904.34	c Number of update (reduction) of LBD	: 0
1800.16/904.34	c Imported unit clauses	: 0
1800.16/904.34	c number of reductions to clauses (during analyze)	: 0
1800.16/904.34	c number of learned constraints concerned by reduction	: 0
1800.16/904.34	c number of learning phase by resolution	: 0
1800.16/904.34	c number of learning phase by cutting planes	: 0
1800.16/904.34	c speed (assignments/second)	: 225.57985804300554
1800.16/904.34	c non guided choices	0
1800.16/904.34	c learnt constraints type 
1800.16/904.34	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 40
1800.16/904.34	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2
1800.16/904.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5174
1800.16/904.34	s SATISFIABLE
1800.16/904.34	c Found 17 solution(s)
1800.16/904.34	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 
1800.16/904.34	c objective function=1482
1800.16/904.34	c Total wall clock time (in seconds): 904.223

Verifier Data 

OK	1482

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

pid=4985
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.12 4.31 4.24 4/197 4988
/proc/meminfo: memFree=28449896/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/4988/stat : 4988 (java) R 4985 4988 32147 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 104392918 278528 34 33554432000 1073741824 1073778376 140736017928944 140733385870328 219504799015 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 68 34 25 9 0 25 0

[startup+0.100058 s]
/proc/loadavg: 4.12 4.31 4.24 4/197 4988
/proc/meminfo: memFree=28449896/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 4391 0 1 0 8 1 0 0 20 0 18 0 104392918 9787879424 6027 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2389619 6027 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 4.12 4.31 4.24 4/197 4988
/proc/meminfo: memFree=28449896/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 4679 0 1 0 24 1 0 0 20 0 18 0 104392918 9787879424 7286 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2389619 7286 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300315 s]
/proc/loadavg: 4.12 4.31 4.24 4/197 4988
/proc/meminfo: memFree=28449896/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 5159 0 1 0 31 1 0 0 20 0 19 0 104392918 10060525568 8145 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 8145 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824732

[startup+0.70025 s]
/proc/loadavg: 4.12 4.31 4.24 4/197 4988
/proc/meminfo: memFree=28449896/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 5159 0 1 0 31 1 0 0 20 0 19 0 104392918 10060525568 8145 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 8145 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 4.12 4.31 4.24 3/216 5013
/proc/meminfo: memFree=28423940/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 5187 0 1 0 35 2 0 0 20 0 19 0 104392918 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 10714 2240 9 0 2446860 0
[pid=4988/tid=4990] ppid=4985 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/4988/task/4990/stat : 4990 (java) S 4985 4988 32147 0 -1 4202560 2422 0 1 0 19 2 0 0 20 0 19 0 104392919 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731624641400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4991] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4991/stat : 4991 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731586132520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4992] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4992/stat : 4992 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731585079720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=4993] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4993/stat : 4993 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731584026920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4994] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4994/stat : 4994 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731465328808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4995] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4995/stat : 4995 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731464277032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4996] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4996/stat : 4996 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731463224232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4997] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4997/stat : 4997 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731462171432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4998] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4998/stat : 4998 (java) S 4985 4988 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140731461118632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4999] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4999/stat : 4999 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104392921 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730978789864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5000] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5000/stat : 5000 (java) S 4985 4988 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104392921 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730977735928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5001] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5001/stat : 5001 (java) S 4985 4988 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104392921 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730976683016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5002] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5002/stat : 5002 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392924 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730975631504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5003] ppid=4985 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/4988/task/5003/stat : 5003 (java) S 4985 4988 32147 0 -1 4202560 659 0 0 0 6 0 0 0 20 0 19 0 104392924 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730974579640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5004] ppid=4985 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/4988/task/5004/stat : 5004 (java) S 4985 4988 32147 0 -1 4202560 762 0 0 0 5 0 0 0 20 0 19 0 104392924 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730973526840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5005] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5005/stat : 5005 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392924 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730972474232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5006] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5006/stat : 5006 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392924 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730971421640 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5010] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5010/stat : 5010 (java) S 4985 4988 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104392941 10060525568 10714 33554432000 1073741824 1073778376 140736017928944 140730967208744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 4.12 4.31 4.24 3/216 5019
/proc/meminfo: memFree=28413452/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 7251 0 1 0 50 4 0 0 20 0 19 0 104392918 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 15846 2250 9 0 2446860 0
[pid=4988/tid=4990] ppid=4985 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/4988/task/4990/stat : 4990 (java) S 4985 4988 32147 0 -1 4202560 2423 0 1 0 20 2 0 0 20 0 19 0 104392919 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731624641400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4991] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4991/stat : 4991 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731586132520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4992] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4992/stat : 4992 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731585079720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=4993] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4993/stat : 4993 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731584026920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4994] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4994/stat : 4994 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731465328808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4995] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4995/stat : 4995 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731464277032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4996] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4996/stat : 4996 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731463224232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4997] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4997/stat : 4997 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731462171432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4998] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4998/stat : 4998 (java) S 4985 4988 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104392920 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140731461118632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4999] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4999/stat : 4999 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104392921 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730978789864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5000] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5000/stat : 5000 (java) S 4985 4988 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104392921 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730977735928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5001] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5001/stat : 5001 (java) S 4985 4988 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104392921 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730976683016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5002] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5002/stat : 5002 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392924 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730975631504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5003] ppid=4985 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/4988/task/5003/stat : 5003 (java) S 4985 4988 32147 0 -1 4202560 2021 0 0 0 13 0 0 0 20 0 19 0 104392924 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730974579640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5004] ppid=4985 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/4988/task/5004/stat : 5004 (java) S 4985 4988 32147 0 -1 4202560 1436 0 0 0 11 0 0 0 20 0 19 0 104392924 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730973526840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5005] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5005/stat : 5005 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392924 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730972474232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5006] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5006/stat : 5006 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104392924 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730971421640 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5010] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5010/stat : 5010 (java) S 4985 4988 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104392941 10060525568 15846 33554432000 1073741824 1073778376 140736017928944 140730967208744 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=19 pid=1770 uid=0 cmd=

[startup+6.3008 s]
/proc/loadavg: 4.27 4.34 4.25 3/216 5037
/proc/meminfo: memFree=28257680/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=5.32 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 18876 0 1 0 514 18 0 0 20 0 22 0 104392918 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 53289 2288 9 0 2446860 0
[pid=4988/tid=4990] ppid=4985 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/4988/task/4990/stat : 4990 (java) S 4985 4988 32147 0 -1 4202560 2424 0 1 0 21 2 0 0 20 0 22 0 104392919 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731624641400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4991] ppid=4985 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/4988/task/4991/stat : 4991 (java) S 4985 4988 32147 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731586132520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=4992] ppid=4985 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/4988/task/4992/stat : 4992 (java) S 4985 4988 32147 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731585079720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4993] ppid=4985 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/4988/task/4993/stat : 4993 (java) S 4985 4988 32147 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731584026920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4994] ppid=4985 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/4988/task/4994/stat : 4994 (java) S 4985 4988 32147 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731465328808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=4995] ppid=4985 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/4988/task/4995/stat : 4995 (java) S 4985 4988 32147 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731464277032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4996] ppid=4985 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/4988/task/4996/stat : 4996 (java) S 4985 4988 32147 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731463224232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4997] ppid=4985 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/4988/task/4997/stat : 4997 (java) S 4985 4988 32147 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731462171432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4998] ppid=4985 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/4988/task/4998/stat : 4998 (java) S 4985 4988 32147 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 104392920 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140731461118632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4999] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/4999/stat : 4999 (java) S 4985 4988 32147 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730978789864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=5000] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5000/stat : 5000 (java) S 4985 4988 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730977735928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5001] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5001/stat : 5001 (java) S 4985 4988 32147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730976683016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5002] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5002/stat : 5002 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730975631504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5003] ppid=4985 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/4988/task/5003/stat : 5003 (java) S 4985 4988 32147 0 -1 4202560 5744 0 0 0 93 2 0 0 20 0 22 0 104392924 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730974579640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5004] ppid=4985 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/4988/task/5004/stat : 5004 (java) S 4985 4988 32147 0 -1 4202560 9090 0 0 0 104 1 0 0 20 0 22 0 104392924 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730973526840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5005] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5005/stat : 5005 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730972474232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5006] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5006/stat : 5006 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730971421640 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5037] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5037/stat : 5037 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393443 10060525568 53289 33554432000 1073741824 1073778376 140736017928944 140730970367400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.32

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

[pid=4988/tid=4998] ppid=4985 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/4988/task/4998/stat : 4998 (java) S 4985 4988 32147 0 -1 4202560 981 0 0 0 86 15 0 0 20 0 22 0 104392920 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140731461118632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4999] ppid=4985 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/4988/task/4999/stat : 4999 (java) S 4985 4988 32147 0 -1 4202560 1582 0 0 0 114 8 0 0 20 0 22 0 104392921 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730978789864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5000] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5000/stat : 5000 (java) S 4985 4988 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730977735928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5001] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5001/stat : 5001 (java) S 4985 4988 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730976683016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5002] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5002/stat : 5002 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730975631504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5003] ppid=4985 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/4988/task/5003/stat : 5003 (java) S 4985 4988 32147 0 -1 4202560 10200 0 0 0 159 2 0 0 20 0 22 0 104392924 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730974579640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=5004] ppid=4985 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/4988/task/5004/stat : 5004 (java) S 4985 4988 32147 0 -1 4202560 9536 0 0 0 153 2 0 0 20 0 22 0 104392924 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730973526840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5005] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5005/stat : 5005 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730972474232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5006] ppid=4985 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/4988/task/5006/stat : 5006 (java) S 4985 4988 32147 0 -1 4202560 52 0 0 0 9 11 0 0 20 0 22 0 104392924 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730971421640 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5040] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5040/stat : 5040 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393494 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730967209000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5068] ppid=4985 vsize=9824732 CPUtime=582.18 cores=0,2,4,6
/proc/4988/task/5068/stat : 5068 (java) R 4985 4988 32147 0 -1 4202560 31 0 0 0 58210 8 0 0 20 0 22 0 104422552 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730968252944 140731465915439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5069] ppid=4985 vsize=9824732 CPUtime=582.27 cores=0,2,4,6
/proc/4988/task/5069/stat : 5069 (java) R 4985 4988 32147 0 -1 4202560 15 0 0 0 58219 8 0 0 20 0 22 0 104422552 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730969312016 140731465963319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5070] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5070/stat : 5070 (java) S 4985 4988 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104422552 10060525568 540942 33554432000 1073741824 1073778376 140736017928944 140730970367400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1754.93
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.308 s]
/proc/loadavg: 4.23 4.13 4.13 5/219 5272
/proc/meminfo: memFree=27819600/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=1799.08 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 35304 0 1 0 179734 174 0 0 20 0 22 0 104392918 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 561587 2296 9 0 2446860 0
[pid=4988/tid=4990] ppid=4985 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/4988/task/4990/stat : 4990 (java) S 4985 4988 32147 0 -1 4202560 2427 0 1 0 23 3 0 0 20 0 22 0 104392919 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731624641400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4991] ppid=4985 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/4988/task/4991/stat : 4991 (java) S 4985 4988 32147 0 -1 4202560 716 0 0 0 80 11 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731586132520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4992] ppid=4985 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/4988/task/4992/stat : 4992 (java) S 4985 4988 32147 0 -1 4202560 915 0 0 0 70 11 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731585079720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4993] ppid=4985 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/4988/task/4993/stat : 4993 (java) S 4985 4988 32147 0 -1 4202560 685 0 0 0 75 12 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731584026920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4994] ppid=4985 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/4988/task/4994/stat : 4994 (java) S 4985 4988 32147 0 -1 4202560 935 0 0 0 67 8 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731465328808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4995] ppid=4985 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/4988/task/4995/stat : 4995 (java) S 4985 4988 32147 0 -1 4202560 2233 0 0 0 70 13 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731464277032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4996] ppid=4985 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/4988/task/4996/stat : 4996 (java) S 4985 4988 32147 0 -1 4202560 805 0 0 0 67 9 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731463224232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4997] ppid=4985 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/4988/task/4997/stat : 4997 (java) S 4985 4988 32147 0 -1 4202560 1290 0 0 0 83 10 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731462171432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4998] ppid=4985 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/4988/task/4998/stat : 4998 (java) S 4985 4988 32147 0 -1 4202560 992 0 0 0 88 16 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731461118632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4999] ppid=4985 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/4988/task/4999/stat : 4999 (java) S 4985 4988 32147 0 -1 4202560 1584 0 0 0 114 8 0 0 20 0 22 0 104392921 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730978789864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5000] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5000/stat : 5000 (java) S 4985 4988 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730977735928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5001] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5001/stat : 5001 (java) S 4985 4988 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730976683016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5002] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5002/stat : 5002 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730975631504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5003] ppid=4985 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/4988/task/5003/stat : 5003 (java) S 4985 4988 32147 0 -1 4202560 10200 0 0 0 159 2 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730974579640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=5004] ppid=4985 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/4988/task/5004/stat : 5004 (java) S 4985 4988 32147 0 -1 4202560 9536 0 0 0 153 2 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730973526840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5005] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5005/stat : 5005 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730972474232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5006] ppid=4985 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/4988/task/5006/stat : 5006 (java) S 4985 4988 32147 0 -1 4202560 54 0 0 0 9 12 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730971421640 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5040] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5040/stat : 5040 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393494 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730967209000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5068] ppid=4985 vsize=9824732 CPUtime=604.04 cores=0,2,4,6
/proc/4988/task/5068/stat : 5068 (java) R 4985 4988 32147 0 -1 4202560 32 0 0 0 60395 9 0 0 20 0 22 0 104422552 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730968252944 140731465860926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5069] ppid=4985 vsize=9824732 CPUtime=604.13 cores=0,2,4,6
/proc/4988/task/5069/stat : 5069 (java) R 4985 4988 32147 0 -1 4202560 15 0 0 0 60404 9 0 0 20 0 22 0 104422552 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730969311728 140731465963278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5070] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5070/stat : 5070 (java) S 4985 4988 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104422552 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730970367400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
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 4988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+904.308 s]
/proc/loadavg: 4.23 4.13 4.13 5/219 5272
/proc/meminfo: memFree=27819600/32872528 swapFree=12208/1156848
[pid=4988] ppid=4985 vsize=9824732 CPUtime=1799.08 cores=0,2,4,6
/proc/4988/stat : 4988 (java) S 4985 4988 32147 0 -1 4202496 35304 0 1 0 179734 174 0 0 20 0 22 0 104392918 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140736017920080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4988/statm: 2456183 561587 2296 9 0 2446860 0
[pid=4988/tid=4990] ppid=4985 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/4988/task/4990/stat : 4990 (java) S 4985 4988 32147 0 -1 4202560 2427 0 1 0 23 3 0 0 20 0 22 0 104392919 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731624641400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4991] ppid=4985 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/4988/task/4991/stat : 4991 (java) S 4985 4988 32147 0 -1 4202560 716 0 0 0 80 11 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731586132520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=4992] ppid=4985 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/4988/task/4992/stat : 4992 (java) S 4985 4988 32147 0 -1 4202560 915 0 0 0 70 11 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731585079720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4993] ppid=4985 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/4988/task/4993/stat : 4993 (java) S 4985 4988 32147 0 -1 4202560 685 0 0 0 75 12 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731584026920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4994] ppid=4985 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/4988/task/4994/stat : 4994 (java) S 4985 4988 32147 0 -1 4202560 935 0 0 0 67 8 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731465328808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=4995] ppid=4985 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/4988/task/4995/stat : 4995 (java) S 4985 4988 32147 0 -1 4202560 2233 0 0 0 70 13 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731464277032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4996] ppid=4985 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/4988/task/4996/stat : 4996 (java) S 4985 4988 32147 0 -1 4202560 805 0 0 0 67 9 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731463224232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4997] ppid=4985 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/4988/task/4997/stat : 4997 (java) S 4985 4988 32147 0 -1 4202560 1290 0 0 0 83 10 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731462171432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4998] ppid=4985 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/4988/task/4998/stat : 4998 (java) S 4985 4988 32147 0 -1 4202560 992 0 0 0 88 16 0 0 20 0 22 0 104392920 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140731461118632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=4999] ppid=4985 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/4988/task/4999/stat : 4999 (java) S 4985 4988 32147 0 -1 4202560 1584 0 0 0 114 8 0 0 20 0 22 0 104392921 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730978789864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5000] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5000/stat : 5000 (java) S 4985 4988 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730977735928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5001] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5001/stat : 5001 (java) S 4985 4988 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 104392921 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730976683016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5002] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5002/stat : 5002 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730975631504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5003] ppid=4985 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/4988/task/5003/stat : 5003 (java) S 4985 4988 32147 0 -1 4202560 10200 0 0 0 159 2 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730974579640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4988/tid=5004] ppid=4985 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/4988/task/5004/stat : 5004 (java) S 4985 4988 32147 0 -1 4202560 9536 0 0 0 153 2 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730973526840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5005] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5005/stat : 5005 (java) S 4985 4988 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730972474232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5006] ppid=4985 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/4988/task/5006/stat : 5006 (java) S 4985 4988 32147 0 -1 4202560 54 0 0 0 9 12 0 0 20 0 22 0 104392924 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730971421640 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4988/tid=5040] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5040/stat : 5040 (java) S 4985 4988 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393494 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730967209000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5068] ppid=4985 vsize=9824732 CPUtime=604.04 cores=0,2,4,6
/proc/4988/task/5068/stat : 5068 (java) R 4985 4988 32147 0 -1 4202560 32 0 0 0 60395 9 0 0 20 0 22 0 104422552 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730968252944 140731465860926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4988/tid=5069] ppid=4985 vsize=9824732 CPUtime=604.13 cores=0,2,4,6
/proc/4988/task/5069/stat : 5069 (java) R 4985 4988 32147 0 -1 4202560 15 0 0 0 60404 9 0 0 20 0 22 0 104422552 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730969311728 140731465963278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4988/tid=5070] ppid=4985 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4988/task/5070/stat : 5070 (java) S 4985 4988 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104422552 10060525568 561587 33554432000 1073741824 1073778376 140736017928944 140730970367400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4988 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=269229
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=130676
# CPU time returned by wait4() is 1796.4
# while last known CPU time is 1799.08
#
# 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): 1.08002
#  lost CPU user time (s): 1.14999
#  lost CPU system time (s): -0.07

Real time (s): 904.359
CPU time (s): 1800.16
CPU user time (s): 1798.49
CPU system time (s): 1.67
CPU usage (%): 199.054
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 2.13068
maximum resident set size= 2938448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35348
page faults= 1
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23688
involuntary context switches= 24530

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42302 second user time and 6.48601 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-06 16:49:44
IDJOB=4081169
IDBENCH=2021
IDSOLVER=2543
FILE ID=node114/4081169-1465224583
RUNJOBID= node114-1465217569-32163
PBS_JOBID= 19843208
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081169-1465224583/watcher-4081169-1465224583 -o /tmp/evaluation-result-4081169-1465224583/solver-4081169-1465224583 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32163 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081169-1465224583.opb

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

MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b
RANDOM SEED=129893196

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.852
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.70
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.852
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.852
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.852
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.852
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.852
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.852
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.54
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.852
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:        28450872 kB
Buffers:           18924 kB
Cached:           130408 kB
SwapCached:         1736 kB
Active:          2467660 kB
Inactive:          92476 kB
Active(anon):    2411720 kB
Inactive(anon):     1200 kB
Active(file):      55940 kB
Inactive(file):    91276 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096588 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:       3566688 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             566828 kB
SReclaimable:      10720 kB
SUnreclaim:       556108 kB
KernelStack:        1600 kB
PageTables:        11868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3778896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3508224 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 node114 at 2016-06-06 17:04:48