Trace number 4081115

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)294 1800.77 895.578

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
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 constraint18
Number of terms in the objective function 1278
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 1278
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1278
Number of bits of the biggest sum of numbers11
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@5d764be1
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@9f436f5
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@4413ee
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@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081115-1465225066.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.26/0.28	c ... done. Wall clock time 0.163s.
0.26/0.28	c declared #vars     1278
0.26/0.28	c #constraints  1087
0.26/0.29	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 970
0.26/0.29	c org.sat4j.specs.Constr$1 => 2
0.26/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 101
0.26/0.29	c 1087 constraints processed.
0.26/0.29	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 101
0.26/0.29	c org.sat4j.specs.Constr$1 => 2
0.26/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 970
0.26/0.29	c org.sat4j.pb.constraints.pb.UnitClausePB => 14
0.26/0.29	c 1087 constraints processed.
0.26/0.29	c objective function length is 1278 literals
0.49/0.31	c And the winner is solver0
0.55/0.79	c SATISFIABLE
0.55/0.79	c OPTIMIZING...
0.55/0.79	c Got one! Elapsed wall clock time (in seconds):0.67
0.55/0.79	o 301
1.58/1.14	c And the winner is solver1
1.67/1.30	c Got one! Elapsed wall clock time (in seconds):1.179
1.67/1.30	o 300
2.62/1.74	c cleaning 2841 clauses out of 5687 with flag 7424/5687
4.13/2.24	c And the winner is solver1
4.22/2.30	c Got one! Elapsed wall clock time (in seconds):2.186
4.22/2.30	o 299
4.71/2.59	c cleaning 4127 clauses out of 8254 with flag 4895/11095
6.58/3.43	c cleaning 5062 clauses out of 10127 with flag 19973/17095
8.63/4.45	c cleaning 6033 clauses out of 12065 with flag 37801/24095
11.14/5.61	c cleaning 7016 clauses out of 14033 with flag 59520/32096
14.00/7.02	c cleaning 8003 clauses out of 16016 with flag 82667/41095
17.19/8.63	c cleaning 9000 clauses out of 18013 with flag 108781/51095
20.89/10.47	c cleaning 9997 clauses out of 20014 with flag 137087/62096
25.38/12.60	c cleaning 11008 clauses out of 22017 with flag 167266/74096
29.98/14.99	c cleaning 12005 clauses out of 24009 with flag 199222/87096
35.93/17.83	c cleaning 13002 clauses out of 26003 with flag 233618/101095
41.93/20.85	c cleaning 14001 clauses out of 28001 with flag 269638/116095
48.67/24.16	c cleaning 14999 clauses out of 30002 with flag 308188/132097
55.69/27.67	c cleaning 15994 clauses out of 32003 with flag 349345/149097
64.52/32.00	c cleaning 16993 clauses out of 34007 with flag 393257/167095
73.11/36.21	c cleaning 18004 clauses out of 36014 with flag 439068/186095
82.57/40.81	c cleaning 18998 clauses out of 38011 with flag 486890/206096
91.78/45.41	c cleaning 20005 clauses out of 40013 with flag 539247/227096
100.38/49.78	c cleaning 20999 clauses out of 42009 with flag 593527/249097
109.98/54.58	c cleaning 21999 clauses out of 44008 with flag 650930/272095
122.14/60.78	c cleaning 22997 clauses out of 46010 with flag 711911/296096
133.78/66.59	c cleaning 23997 clauses out of 48012 with flag 774142/321095
146.38/72.80	c cleaning 24999 clauses out of 50015 with flag 839501/347095
160.35/79.76	c cleaning 26005 clauses out of 52016 with flag 906900/374095
162.55/80.85	c And the winner is solver1
162.69/81.19	c Got one! Elapsed wall clock time (in seconds):81.074
162.69/81.19	o 298
164.13/81.96	c cleaning 18278 clauses out of 36556 with flag 12749/384640
165.93/82.82	c cleaning 12133 clauses out of 24278 with flag 27906/390640
167.93/83.85	c cleaning 9571 clauses out of 19144 with flag 45395/397639
169.33/84.56	c And the winner is solver1
169.47/84.70	c Got one! Elapsed wall clock time (in seconds):84.579
169.47/84.70	o 297
170.86/85.43	c cleaning 9858 clauses out of 19722 with flag 12604/407788
172.66/86.32	c cleaning 7926 clauses out of 15864 with flag 27573/413788
174.66/87.33	c cleaning 7464 clauses out of 14939 with flag 45503/420789
177.56/88.66	c cleaning 7733 clauses out of 15474 with flag 67097/428788
180.36/90.05	c cleaning 8369 clauses out of 16741 with flag 90559/437788
183.36/91.55	c cleaning 9185 clauses out of 18373 with flag 116370/447789
186.76/93.20	c cleaning 10088 clauses out of 20188 with flag 144653/458789
190.56/95.13	c cleaning 11050 clauses out of 22100 with flag 174914/470789
194.56/97.11	c cleaning 12022 clauses out of 24049 with flag 208224/483788
199.16/99.43	c cleaning 13010 clauses out of 26027 with flag 244410/497788
204.16/101.92	c cleaning 14008 clauses out of 28017 with flag 287385/512788
209.57/104.66	c cleaning 15004 clauses out of 30010 with flag 335709/528789
215.55/107.64	c cleaning 15999 clauses out of 32005 with flag 392851/545788
222.75/111.08	c cleaning 17003 clauses out of 34007 with flag 446372/563789
229.15/114.25	c cleaning 18000 clauses out of 36003 with flag 496041/582788
233.16/116.26	c And the winner is solver1
233.31/116.73	c Got one! Elapsed wall clock time (in seconds):116.615
233.31/116.73	o 296
234.83/117.52	c cleaning 17602 clauses out of 35204 with flag 13022/599989
236.43/118.37	c cleaning 11801 clauses out of 23602 with flag 28532/605989
238.43/119.38	c cleaning 9401 clauses out of 18801 with flag 46469/612989
240.83/120.54	c cleaning 8696 clauses out of 17400 with flag 66965/620989
243.43/121.90	c cleaning 8852 clauses out of 17704 with flag 89836/629989
246.63/123.47	c cleaning 9426 clauses out of 18852 with flag 114730/639989
250.23/125.24	c cleaning 10207 clauses out of 20427 with flag 141445/650990
255.85/128.50	c cleaning 11106 clauses out of 22220 with flag 171526/662990
260.25/130.62	c cleaning 12056 clauses out of 24115 with flag 206183/675991
265.04/133.02	c cleaning 13026 clauses out of 26057 with flag 244983/689989
270.04/135.60	c cleaning 14013 clauses out of 28032 with flag 288086/704990
276.04/138.59	c cleaning 15010 clauses out of 30019 with flag 339110/720990
278.84/139.96	c And the winner is solver1
278.99/140.09	c Got one! Elapsed wall clock time (in seconds):139.968
278.99/140.09	o 295
280.42/140.86	c cleaning 13978 clauses out of 27961 with flag 12425/733942
282.20/141.72	c cleaning 9986 clauses out of 19982 with flag 27378/739941
284.19/142.74	c cleaning 8499 clauses out of 16997 with flag 44567/746942
286.38/143.89	c cleaning 8247 clauses out of 16497 with flag 66594/754941
289.53/145.33	c cleaning 8622 clauses out of 17250 with flag 92621/763941
292.71/146.93	c cleaning 9309 clauses out of 18628 with flag 119895/773941
296.31/148.72	c cleaning 10156 clauses out of 20320 with flag 147950/784942
299.92/150.53	c cleaning 11079 clauses out of 22163 with flag 178709/796941
303.92/152.51	c cleaning 12038 clauses out of 24084 with flag 211823/809941
308.12/154.67	c cleaning 13022 clauses out of 26047 with flag 248311/823942
312.92/157.08	c cleaning 14011 clauses out of 28025 with flag 286852/838942
318.52/159.81	c cleaning 15006 clauses out of 30014 with flag 329724/854942
324.31/162.72	c cleaning 16004 clauses out of 32008 with flag 377051/871942
331.41/166.12	c cleaning 17001 clauses out of 34004 with flag 427379/889942
338.59/169.70	c cleaning 17996 clauses out of 36002 with flag 483125/908941
345.41/173.13	c cleaning 0 clauses out of 6853 with flag 0/6853
346.31/173.41	c cleaning 19002 clauses out of 38007 with flag 544250/928942
354.37/177.44	c cleaning 19997 clauses out of 40005 with flag 612417/949942
363.18/181.89	c cleaning 21001 clauses out of 42008 with flag 684502/971942
373.57/186.81	c cleaning 22003 clauses out of 44006 with flag 757326/994941
383.57/191.88	c cleaning 23002 clauses out of 46004 with flag 839954/1018942
394.17/197.18	c cleaning 24000 clauses out of 48003 with flag 927887/1043943
405.96/203.05	c cleaning 24999 clauses out of 50001 with flag 1021841/1069941
417.44/208.52	c cleaning 26000 clauses out of 52002 with flag 1094954/1096941
428.24/213.97	c cleaning 27001 clauses out of 54002 with flag 1166995/1124941
440.05/219.84	c cleaning 27998 clauses out of 56001 with flag 1240756/1153941
454.58/226.92	c cleaning 28997 clauses out of 58003 with flag 1318669/1183941
469.34/234.15	c cleaning 29999 clauses out of 60006 with flag 1397449/1214941
484.14/241.54	c cleaning 31002 clauses out of 62008 with flag 1479334/1246942
501.41/249.93	c cleaning 32000 clauses out of 64005 with flag 1567179/1279941
518.55/258.25	c cleaning 33003 clauses out of 66005 with flag 1663709/1313941
535.15/266.54	c cleaning 34002 clauses out of 68003 with flag 1758175/1348942
556.22/277.86	c cleaning 34997 clauses out of 70000 with flag 1855868/1384941
574.62/287.01	c cleaning 35998 clauses out of 72004 with flag 1959430/1421942
594.83/296.98	c cleaning 36997 clauses out of 74005 with flag 2067504/1459941
613.62/306.33	c cleaning 38002 clauses out of 76008 with flag 2182722/1498941
632.67/315.72	c cleaning 39004 clauses out of 78007 with flag 2286746/1538942
652.94/325.71	c cleaning 39999 clauses out of 80004 with flag 2392551/1579943
673.13/335.86	c cleaning 40993 clauses out of 82004 with flag 2502826/1621942
695.38/346.81	c cleaning 42000 clauses out of 84011 with flag 2617399/1664942
719.34/358.65	c cleaning 43003 clauses out of 86010 with flag 2749832/1708941
741.92/369.91	c cleaning 43999 clauses out of 88007 with flag 2869280/1753941
766.47/382.08	c cleaning 44999 clauses out of 90008 with flag 2988107/1799941
792.11/394.68	c cleaning 46002 clauses out of 92010 with flag 3110920/1846942
816.70/406.94	c cleaning 46994 clauses out of 94007 with flag 3238053/1894941
845.00/420.84	c cleaning 48005 clauses out of 96013 with flag 3367149/1943941
863.96/430.08	c cleaning 0 clauses out of 12856 with flag 0/12856
872.56/434.39	c cleaning 49004 clauses out of 98008 with flag 3501437/1993941
903.75/449.61	c cleaning 49996 clauses out of 100004 with flag 3631531/2044941
930.67/462.86	c cleaning 51000 clauses out of 102008 with flag 3760304/2096941
962.98/478.77	c cleaning 52003 clauses out of 104008 with flag 3907223/2149941
997.45/497.49	c cleaning 52999 clauses out of 106005 with flag 4047371/2203941
1026.28/511.79	c cleaning 54000 clauses out of 108007 with flag 4187155/2258942
1042.10/519.65	c And the winner is solver1
1042.35/519.85	c Got one! Elapsed wall clock time (in seconds):519.73
1042.35/519.85	o 294
1044.66/520.92	c cleaning 46489 clauses out of 92983 with flag 12699/2297918
1046.66/521.93	c cleaning 26237 clauses out of 52494 with flag 27462/2303918
1048.86/523.01	c cleaning 16627 clauses out of 33257 with flag 45199/2310918
1051.26/524.21	c cleaning 12310 clauses out of 24631 with flag 66942/2318919
1053.86/525.54	c cleaning 10657 clauses out of 21321 with flag 91902/2327919
1056.87/527.07	c cleaning 10331 clauses out of 20664 with flag 119890/2337919
1060.26/528.70	c cleaning 10661 clauses out of 21332 with flag 147675/2348918
1063.87/530.56	c cleaning 11331 clauses out of 22671 with flag 178075/2360918
1068.44/532.74	c cleaning 12169 clauses out of 24341 with flag 212726/2373919
1072.84/534.93	c cleaning 13086 clauses out of 26171 with flag 248096/2387918
1077.44/537.25	c cleaning 14038 clauses out of 28085 with flag 285950/2402918
1082.64/539.89	c cleaning 15021 clauses out of 30048 with flag 327557/2418919
1088.87/542.89	c cleaning 16012 clauses out of 32026 with flag 375537/2435918
1095.27/546.06	c cleaning 17005 clauses out of 34014 with flag 431853/2453918
1101.87/549.35	c cleaning 18000 clauses out of 36010 with flag 485550/2472919
1108.88/552.75	c cleaning 19004 clauses out of 38009 with flag 538213/2492918
1116.08/556.35	c cleaning 20002 clauses out of 40005 with flag 596676/2513918
1123.88/560.29	c cleaning 20999 clauses out of 42003 with flag 651486/2535918
1133.14/564.74	c cleaning 21997 clauses out of 44004 with flag 713682/2558918
1141.94/569.19	c cleaning 23003 clauses out of 46007 with flag 776279/2582918
1152.44/574.25	c cleaning 24001 clauses out of 48004 with flag 841330/2607918
1162.03/579.04	c cleaning 24997 clauses out of 50003 with flag 908673/2633918
1172.45/584.30	c cleaning 26001 clauses out of 52006 with flag 995267/2660918
1184.15/589.97	c cleaning 27002 clauses out of 54005 with flag 1075119/2688918
1196.97/596.33	c cleaning 28002 clauses out of 56005 with flag 1155515/2717920
1210.52/602.91	c cleaning 29000 clauses out of 58001 with flag 1236252/2747918
1224.11/609.74	c cleaning 29997 clauses out of 60002 with flag 1314153/2778919
1239.66/617.35	c cleaning 31002 clauses out of 62005 with flag 1393454/2810919
1256.67/625.70	c cleaning 31996 clauses out of 64002 with flag 1483726/2843918
1272.88/633.77	c cleaning 33003 clauses out of 66006 with flag 1577976/2877918
1290.34/642.23	c cleaning 34002 clauses out of 68004 with flag 1666856/2912919
1306.01/649.81	c cleaning 34999 clauses out of 70002 with flag 1758928/2948919
1323.61/658.62	c cleaning 35996 clauses out of 72002 with flag 1860898/2985918
1341.84/667.56	c cleaning 37001 clauses out of 74007 with flag 1969528/3023919
1360.28/676.53	c cleaning 38001 clauses out of 76005 with flag 2068285/3062918
1380.88/686.60	c cleaning 38999 clauses out of 78004 with flag 2175971/3102918
1399.68/696.05	c cleaning 39998 clauses out of 80005 with flag 2284901/3143918
1422.32/707.12	c cleaning 41000 clauses out of 82007 with flag 2402742/3185918
1446.29/718.93	c cleaning 41994 clauses out of 84007 with flag 2515814/3228918
1470.66/730.92	c cleaning 43004 clauses out of 86013 with flag 2631695/3272918
1498.03/746.09	c cleaning 44000 clauses out of 88009 with flag 2746861/3317918
1523.96/759.00	c cleaning 45004 clauses out of 90010 with flag 2869198/3363919
1548.95/771.42	c cleaning 45999 clauses out of 92005 with flag 2997702/3410918
1552.29/773.09	c cleaning 0 clauses out of 18298 with flag 0/18298
1575.87/784.80	c cleaning 47000 clauses out of 94007 with flag 3125910/3458919
1604.23/798.87	c cleaning 48003 clauses out of 96006 with flag 3251292/3507918
1629.44/811.37	c cleaning 48998 clauses out of 98003 with flag 3375724/3557918
1655.69/824.34	c cleaning 49999 clauses out of 100005 with flag 3507378/3608918
1685.82/839.24	c cleaning 51003 clauses out of 102006 with flag 3655368/3660918
1715.56/853.96	c cleaning 51996 clauses out of 104004 with flag 3794543/3713919
1743.52/867.73	c cleaning 53001 clauses out of 106008 with flag 3942866/3767919
1774.47/883.09	c cleaning 53999 clauses out of 108006 with flag 4098062/3822918
1800.31/895.51	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.31/895.51	c starts		: 69926
1800.31/895.51	c conflicts		: 3872291
1800.31/895.51	c decisions		: 25914980
1800.31/895.51	c propagations		: 386958458
1800.31/895.51	c inspects		: 8559630828
1800.31/895.51	c shortcuts		: 0
1800.31/895.51	c learnt literals	: 0
1800.31/895.51	c learnt binary clauses	: 0
1800.31/895.51	c learnt ternary clauses	: 0
1800.31/895.51	c learnt constraints	: 3872291
1800.31/895.51	c ignored constraints	: 0
1800.31/895.51	c root simplifications	: 0
1800.31/895.51	c removed literals (reason simplification)	: 12036431
1800.31/895.51	c reason swapping (by a shorter reason)	: 0
1800.31/895.51	c Calls to reduceDB	: 156
1800.31/895.51	c Number of update (reduction) of LBD	: 543718
1800.31/895.51	c Imported unit clauses	: 0
1800.31/895.51	c number of reductions to clauses (during analyze)	: 0
1800.31/895.51	c number of learned constraints concerned by reduction	: 0
1800.31/895.51	c number of learning phase by resolution	: 0
1800.31/895.51	c number of learning phase by cutting planes	: 0
1800.31/895.51	c speed (assignments/second)	: 1030103.7082390523
1800.31/895.51	c non guided choices	0
1800.31/895.53	c learnt constraints type 
1800.31/895.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103380
1800.31/895.53	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.31/895.53	c starts		: 53
1800.31/895.53	c conflicts		: 20119
1800.31/895.53	c decisions		: 136897
1800.31/895.53	c propagations		: 605267
1800.31/895.53	c inspects		: 475623661
1800.31/895.53	c shortcuts		: 0
1800.31/895.53	c learnt literals	: 0
1800.31/895.53	c learnt binary clauses	: 0
1800.31/895.53	c learnt ternary clauses	: 0
1800.31/895.53	c learnt constraints	: 20118
1800.31/895.53	c ignored constraints	: 0
1800.31/895.53	c root simplifications	: 0
1800.31/895.53	c removed literals (reason simplification)	: 0
1800.31/895.53	c reason swapping (by a shorter reason)	: 0
1800.31/895.53	c Calls to reduceDB	: 3
1800.31/895.53	c Number of update (reduction) of LBD	: 0
1800.31/895.53	c Imported unit clauses	: 0
1800.31/895.53	c number of reductions to clauses (during analyze)	: 0
1800.31/895.53	c number of learned constraints concerned by reduction	: 0
1800.31/895.53	c number of learning phase by resolution	: 0
1800.31/895.53	c number of learning phase by cutting planes	: 0
1800.31/895.53	c speed (assignments/second)	: 676.4785432956461
1800.31/895.53	c non guided choices	118
1800.31/895.54	c learnt constraints type 
1800.31/895.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6571
1800.31/895.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13547
1800.31/895.54	s SATISFIABLE
1800.31/895.54	c Found 8 solution(s)
1800.31/895.55	v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 x70 x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 x213 -x214 -x215 -x216 x217 x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 x273 x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 -x336 -x337 x338 x339 x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 x450 x451 -x452 x453 -x454 -x455 x456 x457 -x458 -x459 -x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 x524 x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 x537 -x538 x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 x585 x586 x587 -x588 -x589 x590 -x591 -x592 x593 -x594 x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 -x607 -x608 -x609 x610 -x611 x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 x820 x821 x822 x823 x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 -x898 -x899 x900 -x901 -x902 x903 -x904 x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 x921 -x922 -x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 x959 -x960 -x961 x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 x995 -x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 x1005 -x1006 x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 x1019 x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 x1029 -x1030 x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 x1195 -x1196 -x1197 x1198 x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 x1257 x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 x1275 -x1276 -x1277 x1278 
1800.31/895.55	c objective function=294
1800.31/895.55	c Total wall clock time (in seconds): 895.427

Verifier Data 

OK	294

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

pid=10536
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: 3.91 4.09 4.11 4/197 10539
/proc/meminfo: memFree=28165848/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/10539/stat : 10539 (java) R 10536 10539 3970 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 104441970 3653632 49 33554432000 1073741824 1073778376 140734350731072 140734350728200 249640817025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 892 49 38 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 3.91 4.09 4.11 4/197 10539
/proc/meminfo: memFree=28165848/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 4465 0 1 0 8 1 0 0 20 0 18 0 104441970 9787879424 5588 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2389619 5588 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200255 s]
/proc/loadavg: 3.91 4.09 4.11 4/197 10539
/proc/meminfo: memFree=28165848/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 5055 0 1 0 25 1 0 0 20 0 18 0 104441970 9787879424 6562 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2389619 6562 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300233 s]
/proc/loadavg: 3.91 4.09 4.11 4/197 10539
/proc/meminfo: memFree=28165848/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 6108 0 1 0 48 1 0 0 20 0 22 0 104441970 10060525568 9766 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 9766 2239 9 0 2446860 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824732

[startup+0.700224 s]
/proc/loadavg: 3.91 4.09 4.11 4/197 10539
/proc/meminfo: memFree=28165848/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 6417 0 1 0 52 3 0 0 20 0 19 0 104441970 10060525568 9803 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 9803 2244 9 0 2446860 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 3.91 4.09 4.11 6/219 10564
/proc/meminfo: memFree=28122652/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 9088 0 1 0 210 6 0 0 20 0 22 0 104441970 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 15551 2260 9 0 2446860 0
[pid=10539/tid=10541] ppid=10536 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 3970 0 -1 4202560 2484 0 1 0 26 1 0 0 20 0 22 0 104441971 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022981837688 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10542] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022825609896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10543] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022824557352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10544] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022823504808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10545] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022822452264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10546] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022821398696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10547] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022820346152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10548] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022819293608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10549] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022818241064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10550] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022806043240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10551] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022804989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10552] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022803936904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10553] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022802885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10554] ppid=10536 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 3970 0 -1 4202560 3019 0 0 0 41 0 0 0 20 0 22 0 104441976 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022801831992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10555] ppid=10536 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/10539/task/10555/stat : 10555 (java) S 10536 10539 3970 0 -1 4202560 2219 0 0 0 33 0 0 0 20 0 22 0 104441976 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022800779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10556] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10556/stat : 10556 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022799727096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10557] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10557/stat : 10557 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022798674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10564] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10564/stat : 10564 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104442050 10060525568 15551 33554432000 1073741824 1073778376 140734350731072 140022797620264 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 3.91 4.09 4.11 5/219 10567
/proc/meminfo: memFree=28068804/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=5.96 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 18742 0 1 0 585 11 0 0 20 0 22 0 104441970 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 36426 2269 9 0 2446860 0
[pid=10539/tid=10541] ppid=10536 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 3970 0 -1 4202560 2484 0 1 0 26 1 0 0 20 0 22 0 104441971 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022981837688 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10542] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022825609896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10543] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022824557352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10544] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022823504808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10545] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022822452264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10546] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022821398696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10547] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022820346152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10548] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022819293608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10549] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104441972 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022818241064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10550] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022806043240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10551] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022804989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10552] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022803936904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10553] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022802885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10554] ppid=10536 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 3970 0 -1 4202560 10190 0 0 0 80 2 0 0 20 0 22 0 104441976 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022801831992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10555] ppid=10536 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/10539/task/10555/stat : 10555 (java) S 10536 10539 3970 0 -1 4202560 4649 0 0 0 66 0 0 0 20 0 22 0 104441976 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022800779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10556] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10556/stat : 10556 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022799727096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10557] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10557/stat : 10557 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022798674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10564] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10564/stat : 10564 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104442050 10060525568 36426 33554432000 1073741824 1073778376 140734350731072 140022797620264 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.00 4.10 4.11 5/219 10570
/proc/meminfo: memFree=27972440/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=12.59 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 19601 0 1 0 1238 21 0 0 20 0 22 0 104441970 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 62365 2282 9 0 2446860 0
[pid=10539/tid=10541] ppid=10536 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 3970 0 -1 4202560 2484 0 1 0 26 1 0 0 20 0 22 0 104441971 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022981837688 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10542] ppid=10536 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 3970 0 -1 4202560 31 0 0 0 1 1 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022825609896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10543] ppid=10536 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 3970 0 -1 4202560 142 0 0 0 2 0 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022824557352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10544] ppid=10536 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 3970 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022823504808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10545] ppid=10536 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 3970 0 -1 4202560 34 0 0 0 1 2 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022822452264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10546] ppid=10536 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 3970 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022821398696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10547] ppid=10536 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 3970 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022820346152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10548] ppid=10536 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 3970 0 -1 4202560 141 0 0 0 2 0 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022819293608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10549] ppid=10536 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 3970 0 -1 4202560 140 0 0 0 2 2 0 0 20 0 22 0 104441972 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022818241064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10550] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 3970 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022806043240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10551] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022804989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10552] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022803936904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10553] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022802885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10554] ppid=10536 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 3970 0 -1 4202560 10198 0 0 0 88 2 0 0 20 0 22 0 104441976 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022801831992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10555] ppid=10536 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/10539/task/10555/stat : 10555 (java) S 10536 10539 3970 0 -1 4202560 4762 0 0 0 74 0 0 0 20 0 22 0 104441976 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022800779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10556] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10556/stat : 10556 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022799727096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10557] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10557/stat : 10557 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022798674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10564] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10564/stat : 10564 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104442050 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022797620264 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10568] ppid=10536 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/10539/task/10568/stat : 10568 (java) R 10536 10539 3970 0 -1 4202560 9 0 0 0 386 0 0 0 20 0 22 0 104442201 10060525568 62365 33554432000 1073741824 1073778376 140734350731072 140022794460144 140022854588544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10569] ppid=10536 vsize=9824732 CPUtime=3.85 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.04 4.06 4.08 5/219 10720
/proc/meminfo: memFree=23891384/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=1773.09 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 37027 0 1 0 176899 410 0 0 20 0 22 0 104441970 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 1113547 2293 9 0 2446860 0
[pid=10539/tid=10541] ppid=10536 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 3970 0 -1 4202560 2499 0 1 0 32 3 0 0 20 0 22 0 104441971 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022981837688 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10542] ppid=10536 vsize=9824732 CPUtime=5.45 cores=1,3,5,7
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 3970 0 -1 4202560 1264 0 0 0 501 44 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022825609896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10543] ppid=10536 vsize=9824732 CPUtime=5.3 cores=1,3,5,7
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 3970 0 -1 4202560 1215 0 0 0 488 42 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022824557352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10544] ppid=10536 vsize=9824732 CPUtime=5.75 cores=1,3,5,7
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 3970 0 -1 4202560 1223 0 0 0 532 43 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022823504808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10545] ppid=10536 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 3970 0 -1 4202560 935 0 0 0 535 38 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022822452264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10546] ppid=10536 vsize=9824732 CPUtime=5.56 cores=1,3,5,7
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 3970 0 -1 4202560 1078 0 0 0 513 43 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022821398696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10547] ppid=10536 vsize=9824732 CPUtime=5.09 cores=1,3,5,7
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 3970 0 -1 4202560 1300 0 0 0 466 43 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022820346152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10548] ppid=10536 vsize=9824732 CPUtime=4.83 cores=1,3,5,7
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 3970 0 -1 4202560 1103 0 0 0 448 35 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022819293608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10549] ppid=10536 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 3970 0 -1 4202560 1050 0 0 0 458 40 0 0 20 0 22 0 104441972 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022818241064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10550] ppid=10536 vsize=9824732 CPUtime=10.42 cores=1,3,5,7
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 3970 0 -1 4202560 4055 0 0 0 1034 8 0 0 20 0 22 0 104441973 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022806043240 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10551] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022804989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10552] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 3970 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022803936904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10553] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022802885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10554] ppid=10536 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 3970 0 -1 4202560 10247 0 0 0 121 2 0 0 20 0 22 0 104441976 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022801831992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10555] ppid=10536 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/10539/task/10555/stat : 10555 (java) S 10536 10539 3970 0 -1 4202560 8210 0 0 0 132 2 0 0 20 0 22 0 104441976 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022800779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10556] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10556/stat : 10556 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022799727096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10557] ppid=10536 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/10539/task/10557/stat : 10557 (java) S 10536 10539 3970 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 104441976 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022798674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10564] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10564/stat : 10564 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104442050 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022797620264 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10708] ppid=10536 vsize=9824732 CPUtime=354.4 cores=1,3,5,7
/proc/10539/task/10708/stat : 10708 (java) R 10536 10539 3970 0 -1 4202560 14 0 0 0 35433 7 0 0 20 0 22 0 104493956 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022794461072 140022854548331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10709] ppid=10536 vsize=9824732 CPUtime=354.36 cores=1,3,5,7
/proc/10539/task/10709/stat : 10709 (java) R 10536 10539 3970 0 -1 4202560 21 0 0 0 35431 5 0 0 20 0 22 0 104493956 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022796567832 140022854546501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10710] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10710/stat : 10710 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104493956 10060525568 1113547 33554432000 1073741824 1073778376 140734350731072 140022795515560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1773.09
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.508 s]
/proc/loadavg: 4.03 4.05 4.08 11/219 10720
/proc/meminfo: memFree=23891260/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=1800.31 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 37448 0 1 0 179617 414 0 0 20 0 22 0 104441970 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 1123118 2293 9 0 2446860 0
[pid=10539/tid=10541] ppid=10536 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 3970 0 -1 4202560 2499 0 1 0 32 3 0 0 20 0 22 0 104441971 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022981837688 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10542] ppid=10536 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/10539/task/10542/stat : 10542 (java) R 10536 10539 3970 0 -1 4202560 1371 0 0 0 528 45 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022825610072 249649990791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10543] ppid=10536 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/10539/task/10543/stat : 10543 (java) R 10536 10539 3970 0 -1 4202560 1218 0 0 0 501 42 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022824557480 249649990791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10544] ppid=10536 vsize=9824732 CPUtime=6.04 cores=1,3,5,7
/proc/10539/task/10544/stat : 10544 (java) R 10536 10539 3970 0 -1 4202560 1238 0 0 0 561 43 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022823504936 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10545] ppid=10536 vsize=9824732 CPUtime=5.9 cores=1,3,5,7
/proc/10539/task/10545/stat : 10545 (java) R 10536 10539 3970 0 -1 4202560 1069 0 0 0 552 38 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022822452392 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10546] ppid=10536 vsize=9824732 CPUtime=5.7 cores=1,3,5,7
/proc/10539/task/10546/stat : 10546 (java) R 10536 10539 3970 0 -1 4202560 1118 0 0 0 526 44 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022821398824 249649990791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10547] ppid=10536 vsize=9824732 CPUtime=5.36 cores=1,3,5,7
/proc/10539/task/10547/stat : 10547 (java) R 10536 10539 3970 0 -1 4202560 1306 0 0 0 492 44 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022820346280 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10548] ppid=10536 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/10539/task/10548/stat : 10548 (java) R 10536 10539 3970 0 -1 4202560 1209 0 0 0 479 36 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022819293736 140022989882537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10549] ppid=10536 vsize=9824732 CPUtime=5.11 cores=1,3,5,7
/proc/10539/task/10549/stat : 10549 (java) R 10536 10539 3970 0 -1 4202560 1055 0 0 0 471 40 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022818241240 140022988345769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10550] ppid=10536 vsize=9824732 CPUtime=10.42 cores=1,3,5,7
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 3970 0 -1 4202560 4057 0 0 0 1034 8 0 0 20 0 22 0 104441973 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022806042120 249653408828 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10551] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022804989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10552] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 3970 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022803936904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10553] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022802885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10554] ppid=10536 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 3970 0 -1 4202560 10247 0 0 0 121 2 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022801831992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10555] ppid=10536 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/10539/task/10555/stat : 10555 (java) S 10536 10539 3970 0 -1 4202560 8210 0 0 0 132 2 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022800779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10556] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10556/stat : 10556 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022799727096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10557] ppid=10536 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/10539/task/10557/stat : 10557 (java) S 10536 10539 3970 0 -1 4202560 53 0 0 0 18 20 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022798674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10564] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10564/stat : 10564 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104442050 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022797620264 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10708] ppid=10536 vsize=9824732 CPUtime=367.15 cores=1,3,5,7
/proc/10539/task/10708/stat : 10708 (java) S 10536 10539 3970 0 -1 4202560 15 0 0 0 36708 7 0 0 20 0 22 0 104493956 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022794461192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10709] ppid=10536 vsize=9824732 CPUtime=367.11 cores=1,3,5,7
/proc/10539/task/10709/stat : 10709 (java) S 10536 10539 3970 0 -1 4202560 21 0 0 0 36704 7 0 0 20 0 22 0 104493956 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022796565608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10710] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10710/stat : 10710 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104493956 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022795515560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
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 10539 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.508 s]
/proc/loadavg: 4.03 4.05 4.08 11/219 10720
/proc/meminfo: memFree=23891260/32872528 swapFree=10608/190480
[pid=10539] ppid=10536 vsize=9824732 CPUtime=1800.31 cores=1,3,5,7
/proc/10539/stat : 10539 (java) S 10536 10539 3970 0 -1 4202496 37448 0 1 0 179617 414 0 0 20 0 22 0 104441970 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140734350722208 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10539/statm: 2456183 1123118 2293 9 0 2446860 0
[pid=10539/tid=10541] ppid=10536 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 3970 0 -1 4202560 2499 0 1 0 32 3 0 0 20 0 22 0 104441971 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022981837688 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10542] ppid=10536 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/10539/task/10542/stat : 10542 (java) R 10536 10539 3970 0 -1 4202560 1371 0 0 0 528 45 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022825610072 249649990791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10543] ppid=10536 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/10539/task/10543/stat : 10543 (java) R 10536 10539 3970 0 -1 4202560 1218 0 0 0 501 42 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022824557480 249649990791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10544] ppid=10536 vsize=9824732 CPUtime=6.04 cores=1,3,5,7
/proc/10539/task/10544/stat : 10544 (java) R 10536 10539 3970 0 -1 4202560 1238 0 0 0 561 43 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022823504936 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10545] ppid=10536 vsize=9824732 CPUtime=5.9 cores=1,3,5,7
/proc/10539/task/10545/stat : 10545 (java) R 10536 10539 3970 0 -1 4202560 1069 0 0 0 552 38 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022822452392 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10546] ppid=10536 vsize=9824732 CPUtime=5.7 cores=1,3,5,7
/proc/10539/task/10546/stat : 10546 (java) R 10536 10539 3970 0 -1 4202560 1118 0 0 0 526 44 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022821398824 249649990791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10547] ppid=10536 vsize=9824732 CPUtime=5.36 cores=1,3,5,7
/proc/10539/task/10547/stat : 10547 (java) R 10536 10539 3970 0 -1 4202560 1306 0 0 0 492 44 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022820346280 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10548] ppid=10536 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/10539/task/10548/stat : 10548 (java) R 10536 10539 3970 0 -1 4202560 1209 0 0 0 479 36 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022819293736 140022989882537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10549] ppid=10536 vsize=9824732 CPUtime=5.11 cores=1,3,5,7
/proc/10539/task/10549/stat : 10549 (java) R 10536 10539 3970 0 -1 4202560 1055 0 0 0 471 40 0 0 20 0 22 0 104441972 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022818241240 140022988345769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10550] ppid=10536 vsize=9824732 CPUtime=10.42 cores=1,3,5,7
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 3970 0 -1 4202560 4057 0 0 0 1034 8 0 0 20 0 22 0 104441973 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022806042120 249653408828 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10551] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022804989560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10552] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 3970 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104441973 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022803936904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10553] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022802885648 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10554] ppid=10536 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 3970 0 -1 4202560 10247 0 0 0 121 2 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022801831992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10539/tid=10555] ppid=10536 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/10539/task/10555/stat : 10555 (java) S 10536 10539 3970 0 -1 4202560 8210 0 0 0 132 2 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022800779448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10556] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10556/stat : 10556 (java) S 10536 10539 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022799727096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10539/tid=10557] ppid=10536 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/10539/task/10557/stat : 10557 (java) S 10536 10539 3970 0 -1 4202560 53 0 0 0 18 20 0 0 20 0 22 0 104441976 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022798674760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10564] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10564/stat : 10564 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104442050 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022797620264 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10539/tid=10708] ppid=10536 vsize=9824732 CPUtime=367.15 cores=1,3,5,7
/proc/10539/task/10708/stat : 10708 (java) S 10536 10539 3970 0 -1 4202560 15 0 0 0 36708 7 0 0 20 0 22 0 104493956 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022794461192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10709] ppid=10536 vsize=9824732 CPUtime=367.11 cores=1,3,5,7
/proc/10539/task/10709/stat : 10709 (java) S 10536 10539 3970 0 -1 4202560 21 0 0 0 36704 7 0 0 20 0 22 0 104493956 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022796565608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10539/tid=10710] ppid=10536 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10539/task/10710/stat : 10710 (java) S 10536 10539 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104493956 10060525568 1123118 33554432000 1073741824 1073778376 140734350731072 140022795515560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 895.578
CPU time (s): 1800.77
CPU user time (s): 1796.3
CPU system time (s): 4.47132
CPU usage (%): 201.073
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.3
system time used= 4.47132
maximum resident set size= 4492612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37493
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23246
involuntary context switches= 26179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9011 second user time and 7.37588 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-06 16:57:47
IDJOB=4081115
IDBENCH=2043
IDSOLVER=2543
FILE ID=node102/4081115-1465225066
RUNJOBID= node102-1465216787-3987
PBS_JOBID= 19843204
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081115-1465225066/watcher-4081115-1465225066 -o /tmp/evaluation-result-4081115-1465225066/solver-4081115-1465225066 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3987 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081115-1465225066.opb

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

MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30
RANDOM SEED=919275279

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.470
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:        28166352 kB
Buffers:           15500 kB
Cached:            51140 kB
SwapCached:         2324 kB
Active:          3735016 kB
Inactive:          42592 kB
Active(anon):    3712044 kB
Inactive(anon):     1568 kB
Active(file):      22972 kB
Inactive(file):    41024 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098416 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:       3935632 kB
Mapped:            15516 kB
Shmem:                 0 kB
Slab:             566084 kB
SReclaimable:       9984 kB
SUnreclaim:       556100 kB
KernelStack:        1616 kB
PageTables:        12224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4324308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3854336 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= 71740 MiB
End job on node102 at 2016-06-06 17:12:42