Trace number 3688075

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)72 1800.02 1796.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
MD5SUM5946eb43fefc6e626d35d99afd3eec42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1287
Total number of constraints2430
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688075-1337879775.opb
0.11/0.10	c reading problem ... 
0.88/0.43	c ... done. Wall clock time 0.331s.
0.88/0.43	c declared #vars     1287
0.88/0.43	c #constraints  2430
0.88/0.43	c constraints type 
0.88/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430
0.88/0.43	c 2430 constraints processed.
0.88/0.43	c objective function length is 7 literals
1.45/0.77	c SATISFIABLE
1.45/0.77	c OPTIMIZING...
1.45/0.77	c Got one! Elapsed wall clock time (in seconds):0.674
1.45/0.77	o 118
1.99/1.29	c Got one! Elapsed wall clock time (in seconds):1.193
1.99/1.29	o 116
2.29/1.53	c Got one! Elapsed wall clock time (in seconds):1.433
2.29/1.53	o 114
2.71/1.92	c Got one! Elapsed wall clock time (in seconds):1.816
2.71/1.92	o 113
3.36/2.50	c Got one! Elapsed wall clock time (in seconds):2.404
3.36/2.50	o 111
3.99/3.15	c cleaning 3825 clauses out of 7663 with flag 2000/7663
4.23/3.38	c Got one! Elapsed wall clock time (in seconds):3.284
4.23/3.38	o 97
5.15/4.25	c Got one! Elapsed wall clock time (in seconds):4.147
5.15/4.25	o 95
5.95/5.04	c Got one! Elapsed wall clock time (in seconds):4.94
5.95/5.04	o 94
6.26/5.37	c cleaning 5439 clauses out of 10882 with flag 1000/14707
8.06/7.19	c Got one! Elapsed wall clock time (in seconds):7.089
8.06/7.19	o 92
8.79/7.90	c Got one! Elapsed wall clock time (in seconds):7.796
8.79/7.90	o 91
10.29/9.37	c cleaning 8542 clauses out of 17093 with flag 4002/26357
10.62/9.65	c Got one! Elapsed wall clock time (in seconds):9.554
10.62/9.65	o 89
12.32/11.33	c cleaning 7128 clauses out of 14258 with flag 5000/32064
12.63/11.60	c Got one! Elapsed wall clock time (in seconds):11.5
12.63/11.60	o 86
14.24/13.28	c cleaning 6438 clauses out of 12889 with flag 5001/37823
16.15/15.18	c Got one! Elapsed wall clock time (in seconds):15.085
16.15/15.18	o 85
17.85/16.86	c cleaning 8235 clauses out of 16471 with flag 5001/47843
18.91/17.58	c Got one! Elapsed wall clock time (in seconds):17.479
18.91/17.58	o 83
20.17/18.78	c cleaning 6709 clauses out of 13424 with flag 3001/53031
22.67/20.93	c cleaning 6352 clauses out of 12714 with flag 9000/59030
24.57/22.81	c Got one! Elapsed wall clock time (in seconds):22.711
24.57/22.81	o 81
26.38/24.65	c cleaning 8263 clauses out of 16540 with flag 5000/69208
28.49/26.70	c cleaning 7138 clauses out of 14277 with flag 11000/75208
29.89/28.16	c Got one! Elapsed wall clock time (in seconds):28.059
29.89/28.16	o 78
30.30/28.58	c cleaning 6109 clauses out of 12233 with flag 1002/80302
32.79/31.06	c cleaning 6052 clauses out of 12123 with flag 7001/86301
35.50/33.78	c cleaning 6527 clauses out of 13070 with flag 14000/93300
38.80/37.03	c cleaning 7270 clauses out of 14543 with flag 22000/101300
42.30/40.53	c cleaning 8124 clauses out of 16273 with flag 31000/110300
45.61/43.90	c cleaning 9069 clauses out of 18150 with flag 41001/120301
49.71/47.94	c cleaning 10036 clauses out of 20083 with flag 52003/131303
53.71/51.91	c cleaning 11007 clauses out of 22044 with flag 64000/143300
59.03/57.25	c cleaning 12008 clauses out of 24037 with flag 77000/156300
64.63/62.83	c cleaning 13003 clauses out of 26029 with flag 91000/170300
70.35/68.54	c cleaning 14004 clauses out of 28027 with flag 106001/185301
76.76/74.97	c cleaning 15002 clauses out of 30022 with flag 122000/201300
80.16/78.37	c Got one! Elapsed wall clock time (in seconds):78.271
80.16/78.37	o 76
81.96/80.19	c cleaning 14134 clauses out of 28289 with flag 5002/214569
84.27/82.48	c cleaning 10070 clauses out of 20154 with flag 11001/220568
86.96/85.17	c cleaning 8530 clauses out of 17083 with flag 18000/227567
89.88/88.04	c cleaning 8266 clauses out of 16553 with flag 26000/235567
93.38/91.52	c cleaning 8635 clauses out of 17287 with flag 35000/244567
97.30/95.49	c cleaning 9316 clauses out of 18654 with flag 45002/254569
101.30/99.43	c cleaning 10164 clauses out of 20336 with flag 56000/265567
105.81/103.93	c cleaning 11074 clauses out of 22172 with flag 68000/277567
111.11/109.21	c cleaning 12039 clauses out of 24098 with flag 81000/290567
113.61/111.73	c Got one! Elapsed wall clock time (in seconds):111.627
113.61/111.73	o 75
115.61/113.70	c cleaning 11926 clauses out of 23860 with flag 5000/302368
117.82/115.93	c cleaning 8967 clauses out of 17934 with flag 11000/308368
120.32/118.43	c cleaning 7981 clauses out of 15968 with flag 18001/315369
123.02/121.12	c cleaning 7984 clauses out of 15986 with flag 26000/323368
126.02/124.17	c cleaning 8491 clauses out of 17003 with flag 35001/332369
128.22/126.38	c Got one! Elapsed wall clock time (in seconds):126.286
128.22/126.38	o 74
129.72/127.81	c cleaning 9843 clauses out of 19695 with flag 5002/343552
131.54/129.66	c cleaning 7919 clauses out of 15852 with flag 11002/349552
133.85/131.93	c cleaning 7461 clauses out of 14931 with flag 18000/356550
136.45/134.57	c cleaning 7732 clauses out of 15470 with flag 26000/364550
139.46/137.55	c cleaning 8365 clauses out of 16738 with flag 35000/373550
142.95/141.01	c cleaning 9177 clauses out of 18373 with flag 45000/383550
147.06/145.18	c cleaning 10093 clauses out of 20196 with flag 56000/394550
151.86/149.95	c cleaning 11043 clauses out of 22103 with flag 68000/406550
156.56/154.65	c cleaning 12024 clauses out of 24060 with flag 81000/419550
161.47/159.54	c cleaning 13013 clauses out of 26036 with flag 95000/433550
166.56/164.67	c cleaning 14002 clauses out of 28023 with flag 110000/448550
172.57/170.67	c cleaning 15004 clauses out of 30022 with flag 126001/464551
179.18/177.25	c cleaning 16003 clauses out of 32018 with flag 143001/481551
187.09/185.10	c cleaning 16998 clauses out of 34016 with flag 161002/499552
195.13/193.12	c cleaning 17999 clauses out of 36016 with flag 180000/518550
203.03/201.00	c cleaning 18994 clauses out of 38018 with flag 200001/538551
211.43/209.47	c cleaning 20003 clauses out of 40023 with flag 221000/559550
220.96/218.92	c cleaning 21004 clauses out of 42021 with flag 243001/581551
230.55/228.52	c cleaning 22004 clauses out of 44017 with flag 266001/604551
239.96/237.99	c cleaning 23001 clauses out of 46014 with flag 290002/628552
249.96/247.92	c cleaning 23995 clauses out of 48012 with flag 315001/653551
260.87/258.82	c cleaning 25002 clauses out of 50016 with flag 341000/679550
271.59/269.59	c cleaning 26004 clauses out of 52017 with flag 368003/706553
282.00/279.93	c cleaning 27000 clauses out of 54011 with flag 396001/734551
293.30/291.21	c cleaning 27994 clauses out of 56010 with flag 425000/763550
305.03/302.93	c cleaning 29000 clauses out of 58016 with flag 455000/793550
318.23/316.16	c cleaning 29997 clauses out of 60017 with flag 486001/824551
332.84/330.75	c cleaning 31008 clauses out of 62021 with flag 518002/856552
346.76/344.60	c cleaning 32003 clauses out of 64013 with flag 551002/889552
359.78/357.60	c cleaning 32995 clauses out of 66009 with flag 585001/923551
374.68/372.54	c cleaning 33996 clauses out of 68013 with flag 620000/958550
389.58/387.43	c cleaning 34996 clauses out of 70017 with flag 656000/994550
403.79/401.66	c cleaning 35998 clauses out of 72021 with flag 693000/1031550
419.00/416.87	c cleaning 37002 clauses out of 74023 with flag 731000/1069550
436.42/434.21	c cleaning 38006 clauses out of 76021 with flag 770000/1108550
456.03/453.80	c cleaning 38996 clauses out of 78015 with flag 810000/1148550
476.15/473.91	c cleaning 40000 clauses out of 80019 with flag 851000/1189550
495.47/493.29	c cleaning 41000 clauses out of 82019 with flag 893000/1231550
515.79/513.57	c cleaning 41997 clauses out of 84021 with flag 936002/1274552
536.29/534.02	c cleaning 43004 clauses out of 86023 with flag 980001/1318551
554.90/552.39	c cleaning 43998 clauses out of 88018 with flag 1025000/1363550
576.33/573.31	c cleaning 45003 clauses out of 90021 with flag 1071001/1409551
600.13/597.18	c cleaning 46004 clauses out of 92019 with flag 1118002/1456552
622.85/619.87	c cleaning 46999 clauses out of 94013 with flag 1166000/1504550
643.87/640.82	c cleaning 47999 clauses out of 96015 with flag 1215001/1553551
661.99/658.92	c Got one! Elapsed wall clock time (in seconds):658.824
661.99/658.92	o 72
664.09/661.01	c cleaning 47052 clauses out of 94103 with flag 5001/1599638
666.31/663.26	c cleaning 26523 clauses out of 53054 with flag 11004/1605641
668.82/665.73	c cleaning 16760 clauses out of 33527 with flag 18000/1612637
671.64/668.52	c cleaning 12381 clauses out of 24768 with flag 26001/1620638
674.44/671.38	c cleaning 10688 clauses out of 21387 with flag 35001/1629638
677.55/674.45	c cleaning 10339 clauses out of 20699 with flag 45001/1639638
681.28/678.11	c cleaning 10669 clauses out of 21359 with flag 56000/1650637
685.20/682.08	c cleaning 11339 clauses out of 22690 with flag 68000/1662637
689.60/686.46	c cleaning 12170 clauses out of 24351 with flag 81000/1675637
694.70/691.54	c cleaning 13084 clauses out of 26183 with flag 95002/1689639
700.51/697.32	c cleaning 14044 clauses out of 28099 with flag 110002/1704639
706.30/703.11	c cleaning 15025 clauses out of 30053 with flag 126000/1720637
713.20/710.06	c cleaning 16005 clauses out of 32028 with flag 143000/1737637
720.32/717.16	c cleaning 17007 clauses out of 34024 with flag 161001/1755638
727.13/723.94	c cleaning 18006 clauses out of 36018 with flag 180002/1774639
734.12/730.94	c cleaning 18995 clauses out of 38011 with flag 200001/1794638
741.26/738.09	c cleaning 19999 clauses out of 40016 with flag 221001/1815638
749.16/745.97	c cleaning 21007 clauses out of 42016 with flag 243000/1837637
758.16/754.91	c cleaning 21995 clauses out of 44009 with flag 266000/1860637
766.57/763.33	c cleaning 23002 clauses out of 46016 with flag 290002/1884639
775.08/771.82	c cleaning 24000 clauses out of 48012 with flag 315000/1909637
785.19/781.96	c cleaning 24999 clauses out of 50012 with flag 341000/1935637
796.50/793.20	c cleaning 26000 clauses out of 52013 with flag 368000/1962637
807.40/804.18	c cleaning 26997 clauses out of 54013 with flag 396000/1990637
819.00/815.72	c cleaning 28001 clauses out of 56017 with flag 425001/2019638
831.62/828.31	c cleaning 29006 clauses out of 58014 with flag 455000/2049637
845.64/842.32	c cleaning 29998 clauses out of 60008 with flag 486000/2080637
859.45/856.19	c cleaning 30995 clauses out of 62011 with flag 518001/2112638
874.48/871.19	c cleaning 32000 clauses out of 64016 with flag 551001/2145638
888.89/885.57	c cleaning 33003 clauses out of 66015 with flag 585000/2179637
903.41/900.00	c cleaning 33997 clauses out of 68012 with flag 620000/2214637
917.22/913.82	c cleaning 34994 clauses out of 70015 with flag 656000/2250637
931.92/928.56	c cleaning 36001 clauses out of 72021 with flag 693000/2287637
947.62/944.22	c cleaning 37002 clauses out of 74021 with flag 731001/2325638
962.92/959.51	c cleaning 38005 clauses out of 76019 with flag 770001/2364638
980.83/977.40	c cleaning 38996 clauses out of 78014 with flag 810001/2404638
997.35/993.97	c cleaning 39997 clauses out of 80019 with flag 851002/2445639
1018.78/1015.33	c cleaning 41001 clauses out of 82021 with flag 893001/2487638
1038.80/1035.35	c cleaning 41999 clauses out of 84020 with flag 936001/2530638
1059.41/1055.93	c cleaning 43004 clauses out of 86021 with flag 980001/2574638
1080.21/1076.72	c cleaning 43994 clauses out of 88016 with flag 1025000/2619637
1101.93/1098.40	c cleaning 45005 clauses out of 90022 with flag 1071000/2665637
1121.55/1118.03	c cleaning 46001 clauses out of 92017 with flag 1118000/2712637
1142.85/1139.39	c cleaning 46997 clauses out of 94018 with flag 1166002/2760639
1165.55/1162.01	c cleaning 47999 clauses out of 96020 with flag 1215001/2809638
1188.18/1184.67	c cleaning 49002 clauses out of 98020 with flag 1265000/2859637
1211.28/1207.77	c cleaning 49997 clauses out of 100018 with flag 1316000/2910637
1233.90/1230.36	c cleaning 51002 clauses out of 102022 with flag 1368001/2962638
1256.54/1252.94	c cleaning 52004 clauses out of 104019 with flag 1421000/3015637
1281.04/1277.45	c cleaning 53001 clauses out of 106015 with flag 1475000/3069637
1308.45/1304.85	c cleaning 53995 clauses out of 108014 with flag 1530000/3124637
1336.37/1332.73	c cleaning 55003 clauses out of 110019 with flag 1586000/3180637
1364.88/1361.27	c cleaning 55995 clauses out of 112017 with flag 1643001/3237638
1392.89/1389.23	c cleaning 57003 clauses out of 114022 with flag 1701001/3295638
1423.31/1419.63	c cleaning 58003 clauses out of 116019 with flag 1760001/3354638
1453.43/1449.73	c cleaning 59003 clauses out of 118015 with flag 1820000/3414637
1480.42/1476.79	c cleaning 59999 clauses out of 120012 with flag 1881000/3475637
1509.66/1505.96	c cleaning 60995 clauses out of 122013 with flag 1943000/3537637
1539.08/1535.32	c cleaning 62003 clauses out of 124018 with flag 2006000/3600637
1570.19/1566.41	c cleaning 62994 clauses out of 126015 with flag 2070000/3664637
1604.43/1600.66	c cleaning 64001 clauses out of 128021 with flag 2135000/3729637
1637.14/1633.40	c cleaning 65004 clauses out of 130020 with flag 2201000/3795637
1671.38/1667.55	c cleaning 66001 clauses out of 132018 with flag 2268002/3862639
1705.11/1701.28	c cleaning 66997 clauses out of 134015 with flag 2336000/3930637
1739.43/1735.56	c cleaning 68001 clauses out of 136018 with flag 2405000/3999637
1776.08/1772.11	c cleaning 68996 clauses out of 138017 with flag 2475000/4069637
1800.02/1796.01	c starts		: 273
1800.02/1796.01	c conflicts		: 4121302
1800.02/1796.01	c decisions		: 4596477
1800.02/1796.01	c propagations		: 312937610
1800.02/1796.01	c inspects		: 13364092618
1800.02/1796.01	c shortcuts		: 0
1800.02/1796.01	c learnt literals	: 1
1800.02/1796.01	c learnt binary clauses	: 10
1800.02/1796.01	c learnt ternary clauses	: 4
1800.02/1796.01	c learnt constraints	: 4121301
1800.02/1796.01	c ignored constraints	: 0
1800.02/1796.01	c root simplifications	: 0
1800.02/1796.01	c removed literals (reason simplification)	: 0
1800.02/1796.01	c reason swapping (by a shorter reason)	: 0
1800.02/1796.01	c Calls to reduceDB	: 147
1800.02/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.01	c number of learned constraints concerned by reduction	: 0
1800.02/1796.01	c number of learning phase by resolution	: 0
1800.02/1796.01	c number of learning phase by cutting planes	: 0
1800.02/1796.01	c speed (assignments/second)	: 174282.5862007512
1800.02/1796.01	c non guided choices	9893
1800.02/1796.04	c learnt constraints type 
1800.02/1796.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1800.02/1796.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120736
1800.02/1796.04	c constraints type 
1800.02/1796.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2431
1800.02/1796.04	c 2431 constraints processed.
1800.02/1796.04	s SATISFIABLE
1800.02/1796.05	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 -x1279 -x1280 -x1281 x1282 x1283 x1284 x1285 -x1286 -x1287 
1800.02/1796.05	c objective function=72
1800.02/1796.05	c Total wall clock time (in seconds): 1795.947

Verifier Data 

OK	72

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688075-1337879775/watcher-3688075-1337879775 -o /tmp/evaluation-result-3688075-1337879775/solver-3688075-1337879775 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688075-1337879775.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.96 3/192 25131
/proc/meminfo: memFree=29527288/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25131/stat : 25131 (java) R 25129 25131 23289 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 254102948 23793664 717 33554432000 1073741824 1073778376 140734175454496 140734175443560 252253878352 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 5809 717 531 9 0 128 0

[startup+0.0765091 s]
/proc/loadavg: 1.93 1.99 1.96 3/192 25131
/proc/meminfo: memFree=29527288/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 3762 0 1 0 6 0 0 0 20 0 18 0 254102948 9787813888 4969 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2389603 4972 1990 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100332 s]
/proc/loadavg: 1.93 1.99 1.96 3/192 25131
/proc/meminfo: memFree=29527288/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 4443 0 1 0 10 1 0 0 20 0 18 0 254102948 9787813888 6112 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2389603 6112 2137 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.30017 s]
/proc/loadavg: 1.93 1.99 1.96 3/192 25131
/proc/meminfo: memFree=29527288/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9558412 CPUtime=0.6 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 9917 0 1 0 58 2 0 0 20 0 18 0 254102948 9787813888 11802 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2389603 11802 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9558412

[startup+0.700172 s]
/proc/loadavg: 1.93 1.99 1.96 3/192 25131
/proc/meminfo: memFree=29527288/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 10179 0 1 0 142 3 0 0 20 0 19 0 254102948 9855975424 20140 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 20140 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 1.93 1.99 1.96 3/211 25150
/proc/meminfo: memFree=29455772/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=2.29 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 10184 0 1 0 226 3 0 0 20 0 19 0 254102948 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 20144 2247 9 0 2396937 0
[pid=25131/tid=25133] ppid=25129 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/25131/task/25133/stat : 25133 (java) R 25129 25131 23289 0 -1 4202560 2470 0 1 0 146 2 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334853374328 140334718355419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25134] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25134/stat : 25134 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334842436264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25135] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25135/stat : 25135 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334841383720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25136] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25136/stat : 25136 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334840331176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25137] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25137/stat : 25137 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334839278632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25138] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25138/stat : 25138 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334838225064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25139] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25139/stat : 25139 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334837172520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25140] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25140/stat : 25140 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334690154920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25141] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25141/stat : 25141 (java) S 25129 25131 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334689102376 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25142] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25142/stat : 25142 (java) S 25129 25131 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254102950 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334676904552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25143] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25143/stat : 25143 (java) S 25129 25131 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334675850872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25144] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25144/stat : 25144 (java) S 25129 25131 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334674798216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25145] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25145/stat : 25145 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334673746960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 2454 0 0 0 34 0 0 0 20 0 19 0 254102953 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 4062 0 0 0 43 0 0 0 20 0 19 0 254102953 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 20144 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 1.93 1.99 1.96 3/211 25150
/proc/meminfo: memFree=29455152/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=3.99 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 10255 0 1 0 396 3 0 0 20 0 19 0 254102948 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 20662 2253 9 0 2396937 0
[pid=25131/tid=25133] ppid=25129 vsize=9624976 CPUtime=3.08 cores=1,3,5,7
/proc/25131/task/25133/stat : 25133 (java) R 25129 25131 23289 0 -1 4202560 2472 0 1 0 306 2 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334853374536 140334718355854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25134] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25134/stat : 25134 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334842436264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25135] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25135/stat : 25135 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334841383720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25136] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25136/stat : 25136 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334840331176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25137] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25137/stat : 25137 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334839278632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25138] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25138/stat : 25138 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334838225064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25139] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25139/stat : 25139 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334837172520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25140] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25140/stat : 25140 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334690154920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25141] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25141/stat : 25141 (java) S 25129 25131 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334689102376 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25142] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25142/stat : 25142 (java) S 25129 25131 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254102950 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334676904552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25143] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25143/stat : 25143 (java) S 25129 25131 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334675850872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25144] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25144/stat : 25144 (java) S 25129 25131 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334674798216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25145] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25145/stat : 25145 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334673746960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 2520 0 0 0 41 0 0 0 20 0 19 0 254102953 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 4065 0 0 0 46 0 0 0 20 0 19 0 254102953 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 20662 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9624976

[startup+6.30065 s]
/proc/loadavg: 1.94 1.99 1.96 3/211 25150
/proc/meminfo: memFree=29440568/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=7.26 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 10325 0 1 0 722 4 0 0 20 0 19 0 254102948 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 23656 2279 9 0 2396937 0
[pid=25131/tid=25133] ppid=25129 vsize=9624976 CPUtime=6.23 cores=1,3,5,7
/proc/25131/task/25133/stat : 25133 (java) R 25129 25131 23289 0 -1 4202560 2478 0 1 0 621 2 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334853374224 140334718355838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25134] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25134/stat : 25134 (java) S 25129 25131 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334842436264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25135] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25135/stat : 25135 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334841383720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25136] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25136/stat : 25136 (java) S 25129 25131 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334840331176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25137] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25137/stat : 25137 (java) S 25129 25131 23289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334839278632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25138] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25138/stat : 25138 (java) S 25129 25131 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334838225064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25139] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25139/stat : 25139 (java) S 25129 25131 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334837172520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25140] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25140/stat : 25140 (java) S 25129 25131 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334690154920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25141] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25141/stat : 25141 (java) S 25129 25131 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254102949 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334689102376 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25142] ppid=25129 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25131/task/25142/stat : 25142 (java) S 25129 25131 23289 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 254102950 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334676904552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25143] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25143/stat : 25143 (java) S 25129 25131 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334675850872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25144] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25144/stat : 25144 (java) S 25129 25131 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334674798216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25145] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25145/stat : 25145 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334673746960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 2524 0 0 0 44 0 0 0 20 0 19 0 254102953 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 4066 0 0 0 48 0 0 0 20 0 19 0 254102953 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 23656 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 13075 0 0 0 122 3 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 13470 0 0 0 124 3 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 96 0 0 0 15 18 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1666.16
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/211 25282
/proc/meminfo: memFree=29479496/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=1726.23 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 31029 0 1 0 172592 31 0 0 20 0 19 0 254102948 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 38706 2280 9 0 2396937 0
[pid=25131/tid=25133] ppid=25129 vsize=9624976 CPUtime=1713.76 cores=1,3,5,7
/proc/25131/task/25133/stat : 25133 (java) R 25129 25131 23289 0 -1 4202560 2624 0 1 0 171348 28 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334853374224 140334718434075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25134] ppid=25129 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/25131/task/25134/stat : 25134 (java) S 25129 25131 23289 0 -1 4202560 45 0 0 0 22 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334842436264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25135] ppid=25129 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25131/task/25135/stat : 25135 (java) S 25129 25131 23289 0 -1 4202560 25 0 0 0 23 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334841383720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25136] ppid=25129 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/25131/task/25136/stat : 25136 (java) S 25129 25131 23289 0 -1 4202560 43 0 0 0 22 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334840331176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25137] ppid=25129 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25131/task/25137/stat : 25137 (java) S 25129 25131 23289 0 -1 4202560 126 0 0 0 27 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334839278632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25138] ppid=25129 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25131/task/25138/stat : 25138 (java) S 25129 25131 23289 0 -1 4202560 31 0 0 0 24 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334838225064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25139] ppid=25129 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25131/task/25139/stat : 25139 (java) S 25129 25131 23289 0 -1 4202560 63 0 0 0 27 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334837172520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25140] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25140/stat : 25140 (java) S 25129 25131 23289 0 -1 4202560 33 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334690154920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25141] ppid=25129 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25131/task/25141/stat : 25141 (java) S 25129 25131 23289 0 -1 4202560 49 0 0 0 27 0 0 0 20 0 19 0 254102949 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334689102376 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25142] ppid=25129 vsize=9624976 CPUtime=3.39 cores=1,3,5,7
/proc/25131/task/25142/stat : 25142 (java) S 25129 25131 23289 0 -1 4202560 163 0 0 0 336 3 0 0 20 0 19 0 254102950 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334676904552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25143] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25143/stat : 25143 (java) S 25129 25131 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334675850872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25144] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25144/stat : 25144 (java) S 25129 25131 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334674798216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25145] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25145/stat : 25145 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334673746960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 13075 0 0 0 122 3 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 13470 0 0 0 124 3 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 98 0 0 0 16 20 0 0 20 0 19 0 254102953 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 38706 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.23
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/211 25282
/proc/meminfo: memFree=29473104/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=1786.3 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 31048 0 1 0 178598 32 0 0 20 0 19 0 254102948 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 40242 2280 9 0 2396937 0
[pid=25131/tid=25133] ppid=25129 vsize=9624976 CPUtime=1773.5 cores=1,3,5,7
/proc/25131/task/25133/stat : 25133 (java) R 25129 25131 23289 0 -1 4202560 2626 0 1 0 177322 28 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334853374224 140334718355516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25134] ppid=25129 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25131/task/25134/stat : 25134 (java) S 25129 25131 23289 0 -1 4202560 47 0 0 0 23 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334842436264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25135] ppid=25129 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/25131/task/25135/stat : 25135 (java) S 25129 25131 23289 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334841383720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25136] ppid=25129 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25131/task/25136/stat : 25136 (java) S 25129 25131 23289 0 -1 4202560 43 0 0 0 24 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334840331176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25137] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25137/stat : 25137 (java) S 25129 25131 23289 0 -1 4202560 128 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334839278632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25138] ppid=25129 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/25131/task/25138/stat : 25138 (java) S 25129 25131 23289 0 -1 4202560 31 0 0 0 25 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334838225064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25139] ppid=25129 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25131/task/25139/stat : 25139 (java) S 25129 25131 23289 0 -1 4202560 63 0 0 0 27 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334837172520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25140] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25140/stat : 25140 (java) S 25129 25131 23289 0 -1 4202560 33 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334690154920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25141] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25141/stat : 25141 (java) S 25129 25131 23289 0 -1 4202560 51 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334689102376 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25142] ppid=25129 vsize=9624976 CPUtime=3.47 cores=1,3,5,7
/proc/25131/task/25142/stat : 25142 (java) S 25129 25131 23289 0 -1 4202560 168 0 0 0 344 3 0 0 20 0 19 0 254102950 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334676904552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25143] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25143/stat : 25143 (java) S 25129 25131 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334675850872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25144] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25144/stat : 25144 (java) S 25129 25131 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334674798216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25145] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25145/stat : 25145 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334673746960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 13075 0 0 0 122 3 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 13470 0 0 0 124 3 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 102 0 0 0 17 21 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.3
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.99 3/211 25282
/proc/meminfo: memFree=29472536/32873852 swapFree=7616/7616
[pid=25131] ppid=25129 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/25131/stat : 25131 (java) S 25129 25131 23289 0 -1 4202496 31050 0 1 0 179969 33 0 0 20 0 19 0 254102948 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140734175445632 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25131/statm: 2406244 40242 2280 9 0 2396937 0
[pid=25131/tid=25133] ppid=25129 vsize=9624976 CPUtime=1787.18 cores=1,3,5,7
/proc/25131/task/25133/stat : 25133 (java) R 25129 25131 23289 0 -1 4202560 2626 0 1 0 178689 29 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334853374224 140334717999030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25134] ppid=25129 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25131/task/25134/stat : 25134 (java) S 25129 25131 23289 0 -1 4202560 47 0 0 0 23 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334842436264 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25135] ppid=25129 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/25131/task/25135/stat : 25135 (java) S 25129 25131 23289 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334841383720 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25136] ppid=25129 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25131/task/25136/stat : 25136 (java) S 25129 25131 23289 0 -1 4202560 43 0 0 0 24 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334840331176 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25137] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25137/stat : 25137 (java) S 25129 25131 23289 0 -1 4202560 128 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334839278632 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25138] ppid=25129 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/25131/task/25138/stat : 25138 (java) S 25129 25131 23289 0 -1 4202560 31 0 0 0 25 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334838225064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25139] ppid=25129 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25131/task/25139/stat : 25139 (java) S 25129 25131 23289 0 -1 4202560 63 0 0 0 27 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334837172520 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25140] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25140/stat : 25140 (java) S 25129 25131 23289 0 -1 4202560 33 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334690154920 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25141] ppid=25129 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/25131/task/25141/stat : 25141 (java) S 25129 25131 23289 0 -1 4202560 51 0 0 0 28 0 0 0 20 0 19 0 254102949 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334689102376 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25131/tid=25142] ppid=25129 vsize=9624976 CPUtime=3.47 cores=1,3,5,7
/proc/25131/task/25142/stat : 25142 (java) S 25129 25131 23289 0 -1 4202560 168 0 0 0 344 3 0 0 20 0 19 0 254102950 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334676904552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25143] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25143/stat : 25143 (java) S 25129 25131 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334675850872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25144] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25144/stat : 25144 (java) S 25129 25131 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254102951 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334674798216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25145] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25145/stat : 25145 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334673746960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25131/tid=25146] ppid=25129 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/25131/task/25146/stat : 25146 (java) S 25129 25131 23289 0 -1 4202560 13075 0 0 0 122 3 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334672693304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25147] ppid=25129 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/25131/task/25147/stat : 25147 (java) S 25129 25131 23289 0 -1 4202560 13470 0 0 0 124 3 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334671640760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25148] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25148/stat : 25148 (java) S 25129 25131 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334670588408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25131/tid=25149] ppid=25129 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25131/task/25149/stat : 25149 (java) S 25129 25131 23289 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 254102953 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334669536072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25131/tid=25150] ppid=25129 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25131/task/25150/stat : 25150 (java) S 25129 25131 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254102992 9855975424 40242 33554432000 1073741824 1073778376 140734175454496 140334668481832 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25131 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=279076
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=731888
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.05
CPU time (s): 1800.02
CPU user time (s): 1799.69
CPU system time (s): 0.33
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.28
system time used= 0.731888
maximum resident set size= 161096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31086
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41718
involuntary context switches= 12620

runsolver used 6.07108 second user time and 14.1438 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-24 19:16:15
IDJOB=3688075
IDBENCH=2643
IDSOLVER=2269
FILE ID=node131/3688075-1337879775
RUNJOBID= node131-1337871881-23306
PBS_JOBID= 14620073
Free space on /tmp= 71600 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688075-1337879775/watcher-3688075-1337879775 -o /tmp/evaluation-result-3688075-1337879775/solver-3688075-1337879775 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688075-1337879775.opb

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

MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42
RANDOM SEED=186688073

node131.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.805
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.61
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.92
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.805
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29527296 kB
Buffers:          214184 kB
Cached:          2136564 kB
SwapCached:            0 kB
Active:           718320 kB
Inactive:        1855384 kB
Active(anon):     225300 kB
Inactive(anon):        0 kB
Active(file):     493020 kB
Inactive(file):  1855384 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               728 kB
Writeback:             0 kB
AnonPages:        267012 kB
Mapped:            22588 kB
Shmem:               204 kB
Slab:             629072 kB
SReclaimable:      71308 kB
SUnreclaim:       557764 kB
KernelStack:        1744 kB
PageTables:         4632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     696740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71600 MiB
End job on node131 at 2012-05-24 19:46:13