Trace number 3688243

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)3 1800.05 1795.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
Number of bits of the biggest sum of numbers12
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	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.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3688243-1337880915.opb
0.10/0.10	c reading problem ... 
0.10/0.14	c ... done. Wall clock time 0.031s.
0.10/0.14	c declared #vars     120
0.10/0.14	c #constraints  10
0.10/0.14	c constraints type 
0.10/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.10/0.14	c 10 constraints processed.
0.10/0.14	c objective function length is 80 literals
0.10/0.17	c SATISFIABLE
0.10/0.17	c OPTIMIZING...
0.10/0.17	c Got one! Elapsed wall clock time (in seconds):0.07
0.10/0.18	o 144
0.32/0.20	c Got one! Elapsed wall clock time (in seconds):0.096
0.32/0.20	o 141
0.32/0.21	c Got one! Elapsed wall clock time (in seconds):0.108
0.32/0.21	o 138
0.32/0.22	c Got one! Elapsed wall clock time (in seconds):0.116
0.32/0.22	o 56
0.32/0.27	c Got one! Elapsed wall clock time (in seconds):0.168
0.32/0.27	o 54
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.173
0.32/0.28	o 53
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.223
0.53/0.33	o 52
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.233
0.53/0.34	o 51
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.235
0.53/0.34	o 46
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.251
0.53/0.36	o 41
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.274
0.53/0.38	o 40
0.66/0.44	c Got one! Elapsed wall clock time (in seconds):0.34
0.66/0.44	o 39
0.77/0.55	c cleaning 4165 clauses out of 8329 with flag 2000/8329
0.77/0.57	c Got one! Elapsed wall clock time (in seconds):0.463
0.77/0.57	o 38
0.90/0.67	c Got one! Elapsed wall clock time (in seconds):0.563
0.90/0.67	o 37
0.90/0.68	c Got one! Elapsed wall clock time (in seconds):0.577
0.90/0.68	o 35
1.03/0.76	c Got one! Elapsed wall clock time (in seconds):0.657
1.03/0.76	o 33
1.13/0.81	c cleaning 5335 clauses out of 10669 with flag 1000/14834
1.13/0.84	c Got one! Elapsed wall clock time (in seconds):0.739
1.13/0.84	o 31
1.24/0.90	c Got one! Elapsed wall clock time (in seconds):0.794
1.24/0.90	o 29
1.24/0.98	c Got one! Elapsed wall clock time (in seconds):0.875
1.24/0.98	o 28
1.45/1.14	c cleaning 6235 clauses out of 12470 with flag 3002/21970
1.57/1.22	c Got one! Elapsed wall clock time (in seconds):1.113
1.57/1.22	o 26
1.57/1.24	c Got one! Elapsed wall clock time (in seconds):1.131
1.57/1.24	o 25
1.77/1.42	c cleaning 6114 clauses out of 12228 with flag 4000/27963
1.89/1.52	c Got one! Elapsed wall clock time (in seconds):1.418
1.89/1.52	o 22
1.99/1.60	c Got one! Elapsed wall clock time (in seconds):1.501
1.99/1.60	o 20
2.09/1.71	c cleaning 6225 clauses out of 12457 with flag 2000/34306
2.09/1.73	c Got one! Elapsed wall clock time (in seconds):1.625
2.09/1.73	o 18
2.29/1.93	c cleaning 5746 clauses out of 11496 with flag 5000/39570
2.51/2.15	c cleaning 5875 clauses out of 11752 with flag 11002/45572
2.82/2.43	c cleaning 6438 clauses out of 12877 with flag 18002/52572
3.12/2.74	c cleaning 7215 clauses out of 14437 with flag 26000/60570
3.12/2.76	c Got one! Elapsed wall clock time (in seconds):2.658
3.12/2.76	o 16
3.32/2.96	c cleaning 6334 clauses out of 12686 with flag 5001/66034
3.53/3.12	c Got one! Elapsed wall clock time (in seconds):3.015
3.53/3.12	o 14
3.74/3.39	c cleaning 8277 clauses out of 16553 with flag 5002/76235
4.04/3.63	c cleaning 7134 clauses out of 14274 with flag 11000/82233
4.34/3.91	c cleaning 7070 clauses out of 14140 with flag 18000/89233
4.54/4.19	c cleaning 7536 clauses out of 15071 with flag 26001/97234
4.94/4.50	c cleaning 8264 clauses out of 16535 with flag 35001/106234
4.94/4.53	c Got one! Elapsed wall clock time (in seconds):4.426
4.94/4.53	o 12
5.15/4.72	c cleaning 6960 clauses out of 13942 with flag 5000/111905
5.35/4.93	c cleaning 6493 clauses out of 12985 with flag 11003/117908
5.46/5.01	c Got one! Elapsed wall clock time (in seconds):4.906
5.46/5.01	o 11
5.56/5.12	c cleaning 5825 clauses out of 11666 with flag 3001/123082
5.76/5.32	c cleaning 5919 clauses out of 11841 with flag 9001/129082
5.96/5.57	c cleaning 6461 clauses out of 12923 with flag 16002/136083
6.26/5.85	c cleaning 7231 clauses out of 14461 with flag 24001/144082
6.26/5.89	c Got one! Elapsed wall clock time (in seconds):5.786
6.26/5.89	o 9
6.56/6.05	c cleaning 6192 clauses out of 12387 with flag 4000/149239
6.79/6.26	c cleaning 6097 clauses out of 12196 with flag 10001/155240
7.10/6.50	c cleaning 6550 clauses out of 13103 with flag 17005/162244
7.29/6.77	c cleaning 7269 clauses out of 14549 with flag 25001/170240
7.59/7.09	c cleaning 8141 clauses out of 16285 with flag 34006/179245
7.70/7.11	c Got one! Elapsed wall clock time (in seconds):7.003
7.70/7.11	o 7
7.80/7.29	c cleaning 6665 clauses out of 13339 with flag 5000/184440
8.10/7.50	c cleaning 6340 clauses out of 12684 with flag 11010/190450
8.31/7.75	c cleaning 6664 clauses out of 13334 with flag 18000/197440
8.61/8.03	c cleaning 7331 clauses out of 14670 with flag 26000/205440
8.91/8.36	c cleaning 8169 clauses out of 16339 with flag 35000/214440
9.32/8.75	c cleaning 9085 clauses out of 18171 with flag 45001/224441
9.81/9.20	c cleaning 10043 clauses out of 20085 with flag 56000/235440
10.31/9.70	c cleaning 11020 clauses out of 22042 with flag 68000/247440
10.82/10.29	c cleaning 12008 clauses out of 24022 with flag 81000/260440
11.42/10.86	c cleaning 13003 clauses out of 26014 with flag 95000/274440
12.12/11.56	c cleaning 14006 clauses out of 28012 with flag 110001/289441
12.93/12.30	c cleaning 14998 clauses out of 30006 with flag 126001/305441
13.84/13.25	c cleaning 16005 clauses out of 32010 with flag 143003/322443
14.74/14.15	c cleaning 16996 clauses out of 34002 with flag 161000/340440
15.66/15.09	c cleaning 18001 clauses out of 36009 with flag 180003/359443
16.77/16.15	c cleaning 19002 clauses out of 38007 with flag 200002/379442
17.87/17.28	c cleaning 20002 clauses out of 40006 with flag 221003/400443
18.98/18.38	c cleaning 21002 clauses out of 42004 with flag 243003/422443
20.18/19.54	c cleaning 21996 clauses out of 44001 with flag 266002/445442
21.49/20.86	c cleaning 22996 clauses out of 46003 with flag 290000/469440
22.89/22.25	c cleaning 24002 clauses out of 48008 with flag 315001/494441
24.30/23.65	c cleaning 24998 clauses out of 50005 with flag 341000/520440
25.93/25.25	c cleaning 25997 clauses out of 52007 with flag 368000/547440
27.65/26.97	c cleaning 27002 clauses out of 54010 with flag 396000/575440
29.37/28.68	c cleaning 28005 clauses out of 56011 with flag 425003/604443
30.67/29.94	c Got one! Elapsed wall clock time (in seconds):29.832
30.67/29.94	o 6
31.27/30.59	c cleaning 28122 clauses out of 56250 with flag 5003/632687
31.67/30.99	c cleaning 17053 clauses out of 34126 with flag 11001/638685
32.07/31.31	c cleaning 12033 clauses out of 24074 with flag 18002/645686
32.37/31.64	c cleaning 10015 clauses out of 20039 with flag 26000/653684
32.78/32.03	c cleaning 9515 clauses out of 19029 with flag 35005/662689
33.08/32.39	c cleaning 9753 clauses out of 19509 with flag 45000/672684
33.51/32.79	c cleaning 10375 clauses out of 20756 with flag 56000/683684
33.92/33.20	c cleaning 11189 clauses out of 22383 with flag 68002/695686
34.52/33.72	c cleaning 12097 clauses out of 24193 with flag 81001/708685
35.14/34.30	c cleaning 13044 clauses out of 26095 with flag 95000/722684
35.74/34.95	c cleaning 14023 clauses out of 28052 with flag 110001/737685
36.55/35.71	c cleaning 15014 clauses out of 30028 with flag 126000/753684
37.35/36.52	c cleaning 16006 clauses out of 32014 with flag 143000/770684
38.17/37.40	c cleaning 17000 clauses out of 34008 with flag 161000/788684
39.16/38.31	c cleaning 18004 clauses out of 36009 with flag 180001/807685
40.18/39.38	c cleaning 19000 clauses out of 38004 with flag 200000/827684
41.29/40.41	c cleaning 19996 clauses out of 40004 with flag 221000/848684
42.51/41.64	c cleaning 21001 clauses out of 42009 with flag 243001/870685
43.82/42.95	c cleaning 22000 clauses out of 44008 with flag 266001/893685
45.14/44.25	c cleaning 23000 clauses out of 46008 with flag 290001/917685
46.56/45.61	c cleaning 24005 clauses out of 48009 with flag 315002/942686
48.07/47.10	c cleaning 24997 clauses out of 50002 with flag 341000/968684
49.56/48.66	c cleaning 26003 clauses out of 52008 with flag 368003/995687
51.18/50.29	c cleaning 26999 clauses out of 54002 with flag 396000/1023684
52.98/52.03	c cleaning 28000 clauses out of 56003 with flag 425000/1052684
54.89/53.92	c cleaning 29001 clauses out of 58005 with flag 455002/1082686
56.79/55.86	c cleaning 29999 clauses out of 60002 with flag 486000/1113684
57.22/56.29	c Got one! Elapsed wall clock time (in seconds):56.186
57.22/56.29	o 4
57.71/56.79	c cleaning 22974 clauses out of 45964 with flag 5005/1129645
58.12/57.11	c cleaning 14483 clauses out of 28986 with flag 11001/1135641
58.42/57.40	c cleaning 10744 clauses out of 21503 with flag 18001/1142641
58.73/57.73	c cleaning 9373 clauses out of 18758 with flag 26000/1150640
59.05/58.08	c cleaning 9183 clauses out of 18388 with flag 35003/1159643
59.45/58.49	c cleaning 9595 clauses out of 19207 with flag 45005/1169645
59.95/58.95	c cleaning 10306 clauses out of 20612 with flag 56005/1180645
60.57/59.50	c cleaning 11147 clauses out of 22301 with flag 68000/1192640
61.07/60.09	c cleaning 12079 clauses out of 24158 with flag 81004/1205644
61.77/60.76	c cleaning 13035 clauses out of 26076 with flag 95001/1219641
62.48/61.47	c cleaning 14016 clauses out of 28041 with flag 110001/1234641
63.30/62.23	c cleaning 15010 clauses out of 30026 with flag 126002/1250642
64.11/63.02	c cleaning 16005 clauses out of 32014 with flag 143000/1267640
64.93/63.87	c cleaning 16998 clauses out of 34009 with flag 161000/1285640
65.83/64.78	c cleaning 17998 clauses out of 36012 with flag 180001/1304641
66.83/65.76	c cleaning 19005 clauses out of 38013 with flag 200000/1324640
67.83/66.73	c cleaning 20003 clauses out of 40012 with flag 221004/1345644
68.84/67.77	c cleaning 20997 clauses out of 42005 with flag 243000/1367640
70.04/68.96	c cleaning 22000 clauses out of 44009 with flag 266001/1390641
71.34/70.25	c cleaning 23005 clauses out of 46009 with flag 290001/1414641
72.67/71.53	c cleaning 23998 clauses out of 48004 with flag 315001/1439641
74.08/72.95	c cleaning 25003 clauses out of 50007 with flag 341002/1465642
75.50/74.37	c cleaning 26000 clauses out of 52002 with flag 368000/1492640
77.02/75.86	c cleaning 27000 clauses out of 54003 with flag 396001/1520641
78.74/77.58	c cleaning 27999 clauses out of 56003 with flag 425001/1549641
80.55/79.36	c cleaning 29001 clauses out of 58003 with flag 455000/1579640
82.35/81.19	c cleaning 29999 clauses out of 60005 with flag 486003/1610643
84.26/83.05	c cleaning 31000 clauses out of 62006 with flag 518003/1642643
84.46/83.21	c Got one! Elapsed wall clock time (in seconds):83.107
84.46/83.21	o 3
84.56/83.39	c cleaning 18165 clauses out of 36351 with flag 1000/1647988
84.87/83.65	c cleaning 12080 clauses out of 24186 with flag 7000/1653988
85.17/83.92	c cleaning 9542 clauses out of 19108 with flag 14002/1660990
85.49/84.22	c cleaning 8773 clauses out of 17566 with flag 22002/1668990
85.79/84.55	c cleaning 8891 clauses out of 17791 with flag 31000/1677988
86.19/84.92	c cleaning 9443 clauses out of 18902 with flag 41002/1687990
86.60/85.34	c cleaning 10216 clauses out of 20457 with flag 52000/1698988
87.13/85.86	c cleaning 11110 clauses out of 22242 with flag 64001/1710989
87.62/86.38	c cleaning 12060 clauses out of 24132 with flag 77001/1723989
88.33/87.04	c cleaning 13027 clauses out of 26072 with flag 91001/1737989
89.04/87.78	c cleaning 14016 clauses out of 28044 with flag 106000/1752988
89.96/88.61	c cleaning 15001 clauses out of 30028 with flag 122000/1768988
90.76/89.40	c cleaning 16013 clauses out of 32027 with flag 139000/1785988
91.66/90.35	c cleaning 17008 clauses out of 34015 with flag 157001/1803989
92.67/91.35	c cleaning 18002 clauses out of 36006 with flag 176000/1822988
93.80/92.42	c cleaning 19000 clauses out of 38005 with flag 196001/1842989
95.00/93.61	c cleaning 20002 clauses out of 40005 with flag 217001/1863989
96.31/94.95	c cleaning 20998 clauses out of 42003 with flag 239001/1885989
97.52/96.19	c cleaning 22001 clauses out of 44006 with flag 262002/1908990
98.92/97.59	c cleaning 22998 clauses out of 46003 with flag 286000/1932988
100.33/98.92	c cleaning 24002 clauses out of 48007 with flag 311002/1957990
101.83/100.41	c cleaning 25003 clauses out of 50005 with flag 337002/1983990
103.43/102.10	c cleaning 25998 clauses out of 52000 with flag 364000/2010988
105.34/103.97	c cleaning 27000 clauses out of 54002 with flag 392000/2038988
107.46/106.01	c cleaning 27998 clauses out of 56002 with flag 421000/2067988
109.68/108.23	c cleaning 29000 clauses out of 58005 with flag 451001/2097989
111.78/110.37	c cleaning 30001 clauses out of 60004 with flag 482000/2128988
114.09/112.65	c cleaning 30998 clauses out of 62004 with flag 514001/2160989
116.29/114.84	c cleaning 31999 clauses out of 64005 with flag 547000/2193988
118.81/117.31	c cleaning 32998 clauses out of 66006 with flag 581000/2227988
121.11/119.69	c cleaning 34003 clauses out of 68009 with flag 616001/2262989
123.41/122.00	c cleaning 34997 clauses out of 70008 with flag 652003/2298991
125.82/124.38	c cleaning 36000 clauses out of 72008 with flag 689000/2335988
128.33/126.82	c cleaning 37005 clauses out of 74010 with flag 727002/2373990
130.93/129.43	c cleaning 37995 clauses out of 76003 with flag 766000/2412988
133.73/132.29	c cleaning 39005 clauses out of 78009 with flag 806001/2452989
136.76/135.23	c cleaning 39999 clauses out of 80005 with flag 847002/2493990
139.67/138.11	c cleaning 40995 clauses out of 82005 with flag 889001/2535989
142.99/141.48	c cleaning 42004 clauses out of 84009 with flag 932000/2578988
146.41/144.81	c cleaning 43001 clauses out of 86006 with flag 976001/2622989
150.15/148.57	c cleaning 43997 clauses out of 88004 with flag 1021000/2667988
154.15/152.56	c cleaning 44996 clauses out of 90007 with flag 1067000/2713988
158.07/156.44	c cleaning 46001 clauses out of 92012 with flag 1114001/2760989
161.58/159.90	c cleaning 47003 clauses out of 94011 with flag 1162001/2808989
165.20/163.57	c cleaning 48001 clauses out of 96007 with flag 1211000/2857988
169.50/167.81	c cleaning 49000 clauses out of 98006 with flag 1261000/2907988
173.33/171.63	c cleaning 49999 clauses out of 100007 with flag 1312001/2958989
177.55/175.86	c cleaning 51002 clauses out of 102007 with flag 1364000/3010988
181.88/180.13	c cleaning 52004 clauses out of 104007 with flag 1417002/3063990
186.08/184.36	c cleaning 52998 clauses out of 106002 with flag 1471001/3117989
190.89/189.17	c cleaning 54003 clauses out of 108008 with flag 1526005/3172993
195.90/194.11	c cleaning 54999 clauses out of 110001 with flag 1582001/3228989
201.92/200.13	c cleaning 55999 clauses out of 112003 with flag 1639002/3285990
208.33/206.53	c cleaning 56999 clauses out of 114002 with flag 1697000/3343988
214.05/212.24	c cleaning 57999 clauses out of 116003 with flag 1756000/3402988
220.26/218.43	c cleaning 58999 clauses out of 118006 with flag 1816002/3462990
226.56/224.72	c cleaning 59999 clauses out of 120005 with flag 1877000/3523988
232.48/230.65	c cleaning 61001 clauses out of 122009 with flag 1939003/3585991
238.51/236.69	c cleaning 62002 clauses out of 124007 with flag 2002002/3648990
245.53/243.65	c cleaning 62998 clauses out of 126006 with flag 2066003/3712991
252.67/250.71	c cleaning 64003 clauses out of 128008 with flag 2131003/3777991
259.89/257.94	c cleaning 65000 clauses out of 130005 with flag 2197003/3843991
266.49/264.54	c cleaning 66000 clauses out of 132004 with flag 2264002/3910990
273.41/271.42	c cleaning 67000 clauses out of 134004 with flag 2332002/3978990
280.23/278.26	c cleaning 67998 clauses out of 136003 with flag 2401001/4047989
287.35/285.36	c cleaning 68995 clauses out of 138005 with flag 2471001/4117989
294.57/292.57	c cleaning 70002 clauses out of 140009 with flag 2542000/4188988
302.18/300.12	c cleaning 71002 clauses out of 142007 with flag 2614000/4260988
309.00/306.95	c cleaning 71994 clauses out of 144005 with flag 2687000/4333988
316.30/314.22	c cleaning 73005 clauses out of 146013 with flag 2761002/4407990
323.33/321.29	c cleaning 73999 clauses out of 148006 with flag 2836000/4482988
331.45/329.38	c cleaning 75000 clauses out of 150007 with flag 2912000/4558988
339.89/337.79	c cleaning 76001 clauses out of 152009 with flag 2989002/4635990
347.32/345.11	c cleaning 76994 clauses out of 154006 with flag 3067000/4713988
356.35/354.18	c cleaning 78000 clauses out of 156013 with flag 3146001/4792989
364.58/362.33	c cleaning 79006 clauses out of 158012 with flag 3226000/4872988
372.49/370.27	c cleaning 80000 clauses out of 160006 with flag 3307000/4953988
381.82/379.59	c cleaning 80995 clauses out of 162006 with flag 3389000/5035988
390.43/388.20	c cleaning 82005 clauses out of 164015 with flag 3472004/5118992
398.77/396.43	c cleaning 82999 clauses out of 166007 with flag 3556001/5202989
407.80/405.48	c cleaning 83998 clauses out of 168009 with flag 3641002/5287990
417.23/414.87	c cleaning 85002 clauses out of 170011 with flag 3727002/5373990
426.35/423.93	c cleaning 85999 clauses out of 172008 with flag 3814001/5460989
435.46/433.06	c cleaning 87000 clauses out of 174008 with flag 3902000/5548988
444.99/442.57	c cleaning 88002 clauses out of 176011 with flag 3991003/5637991
454.13/451.63	c cleaning 88994 clauses out of 178006 with flag 4081000/5727988
464.56/462.02	c cleaning 89999 clauses out of 180012 with flag 4172000/5818988
475.47/472.96	c cleaning 91005 clauses out of 182013 with flag 4264000/5910988
490.30/487.73	c cleaning 92000 clauses out of 184009 with flag 4357001/6003989
501.83/499.23	c cleaning 92997 clauses out of 186008 with flag 4451000/6097988
513.38/510.75	c cleaning 93999 clauses out of 188014 with flag 4546003/6192991
526.59/523.91	c cleaning 95003 clauses out of 190013 with flag 4642001/6288989
538.90/536.26	c cleaning 95997 clauses out of 192009 with flag 4739000/6385988
549.72/547.01	c cleaning 97002 clauses out of 194013 with flag 4837001/6483989
561.97/559.27	c cleaning 98002 clauses out of 196010 with flag 4936000/6582988
574.58/571.86	c cleaning 99000 clauses out of 198008 with flag 5036000/6682988
590.55/587.79	c cleaning 100001 clauses out of 200009 with flag 5137001/6783989
604.47/601.65	c cleaning 100997 clauses out of 202007 with flag 5239000/6885988
617.48/614.66	c cleaning 102001 clauses out of 204010 with flag 5342000/6988988
630.51/627.64	c cleaning 102998 clauses out of 206009 with flag 5446000/7092988
643.13/640.29	c cleaning 104006 clauses out of 208013 with flag 5551002/7197990
656.65/653.78	c cleaning 105001 clauses out of 210008 with flag 5657003/7303991
671.98/669.09	c cleaning 105998 clauses out of 212004 with flag 5764000/7410988
687.41/684.45	c cleaning 106998 clauses out of 214006 with flag 5872000/7518988
703.06/700.00	c cleaning 108002 clauses out of 216009 with flag 5981001/7627989
721.22/718.13	c cleaning 109003 clauses out of 218007 with flag 6091001/7737989
735.75/732.65	c cleaning 109999 clauses out of 220006 with flag 6202003/7848991
751.76/748.62	c cleaning 110995 clauses out of 222006 with flag 6314002/7960990
767.37/764.22	c cleaning 111998 clauses out of 224009 with flag 6427000/8073988
783.31/780.15	c cleaning 113002 clauses out of 226011 with flag 6541000/8187988
799.86/796.63	c cleaning 113999 clauses out of 228009 with flag 6656000/8302988
813.79/810.53	c cleaning 115000 clauses out of 230011 with flag 6772001/8418989
828.01/824.74	c cleaning 116004 clauses out of 232012 with flag 6889002/8535990
843.15/839.88	c cleaning 116997 clauses out of 234006 with flag 7007000/8653988
859.88/856.59	c cleaning 118004 clauses out of 236010 with flag 7126001/8772989
877.90/874.54	c cleaning 119001 clauses out of 238007 with flag 7246002/8892990
894.65/891.24	c cleaning 119998 clauses out of 240005 with flag 7367001/9013989
911.49/908.06	c cleaning 120995 clauses out of 242006 with flag 7489000/9135988
928.53/925.09	c cleaning 122006 clauses out of 244011 with flag 7612000/9258988
948.26/944.74	c cleaning 122999 clauses out of 246006 with flag 7736001/9382989
966.41/962.84	c cleaning 123999 clauses out of 248008 with flag 7861002/9507990
987.96/984.35	c cleaning 125003 clauses out of 250007 with flag 7987000/9633988
1005.28/1001.67	c cleaning 125996 clauses out of 252004 with flag 8114000/9760988
1024.70/1021.02	c cleaning 127003 clauses out of 254009 with flag 8242001/9888989
1042.83/1039.16	c cleaning 128000 clauses out of 256006 with flag 8371001/10017989
1065.18/1061.48	c cleaning 129002 clauses out of 258009 with flag 8501004/10147992
1086.61/1082.85	c cleaning 129994 clauses out of 260003 with flag 8632000/10278988
1114.91/1111.13	c cleaning 131002 clauses out of 262009 with flag 8764000/10410988
1144.67/1140.89	c cleaning 132005 clauses out of 264013 with flag 8897006/10543994
1170.93/1167.08	c cleaning 133000 clauses out of 266003 with flag 9031001/10677989
1198.42/1194.55	c cleaning 133995 clauses out of 268002 with flag 9166000/10812988
1222.05/1218.16	c cleaning 135004 clauses out of 270008 with flag 9302001/10948989
1241.20/1237.20	c cleaning 136002 clauses out of 272008 with flag 9439005/11085993
1266.01/1262.02	c cleaning 136994 clauses out of 274001 with flag 9577000/11223988
1293.93/1289.92	c cleaning 138002 clauses out of 276007 with flag 9716000/11362988
1316.95/1312.96	c cleaning 138998 clauses out of 278006 with flag 9856001/11502989
1344.08/1340.06	c cleaning 139998 clauses out of 280007 with flag 9997000/11643988
1366.83/1362.71	c cleaning 141005 clauses out of 282009 with flag 10139000/11785988
1387.39/1383.26	c cleaning 141998 clauses out of 284009 with flag 10282005/11928993
1408.82/1404.61	c cleaning 143000 clauses out of 286006 with flag 10426000/12072988
1433.13/1428.95	c cleaning 143998 clauses out of 288007 with flag 10571001/12217989
1458.92/1454.77	c cleaning 145001 clauses out of 290010 with flag 10717002/12363990
1486.25/1482.05	c cleaning 145999 clauses out of 292008 with flag 10864001/12510989
1512.95/1508.76	c cleaning 147003 clauses out of 294011 with flag 11012003/12658991
1538.16/1533.94	c cleaning 147998 clauses out of 296005 with flag 11161000/12807988
1566.90/1562.69	c cleaning 149001 clauses out of 298008 with flag 11311001/12957989
1590.11/1585.84	c cleaning 149996 clauses out of 300009 with flag 11462003/13108991
1616.64/1612.30	c cleaning 151003 clauses out of 302011 with flag 11614001/13260989
1646.65/1642.34	c cleaning 151997 clauses out of 304007 with flag 11767000/13413988
1677.96/1673.63	c cleaning 152996 clauses out of 306012 with flag 11921002/13567990
1705.93/1701.60	c cleaning 154007 clauses out of 308017 with flag 12076003/13722991
1739.25/1734.81	c cleaning 155001 clauses out of 310007 with flag 12232000/13878988
1767.63/1763.17	c cleaning 155999 clauses out of 312006 with flag 12389000/14035988
1800.05/1795.51	c starts		: 358
1800.05/1795.51	c conflicts		: 14193988
1800.05/1795.51	c decisions		: 14329996
1800.05/1795.51	c propagations		: 100160727
1800.05/1795.51	c inspects		: 23948989589
1800.05/1795.51	c shortcuts		: 0
1800.05/1795.51	c learnt literals	: 0
1800.05/1795.51	c learnt binary clauses	: 0
1800.05/1795.51	c learnt ternary clauses	: 0
1800.05/1795.51	c learnt constraints	: 14193988
1800.05/1795.51	c ignored constraints	: 0
1800.05/1795.51	c root simplifications	: 0
1800.05/1795.51	c removed literals (reason simplification)	: 0
1800.05/1795.51	c reason swapping (by a shorter reason)	: 0
1800.05/1795.51	c Calls to reduceDB	: 260
1800.05/1795.51	c number of reductions to clauses (during analyze)	: 0
1800.05/1795.51	c number of learned constraints concerned by reduction	: 0
1800.05/1795.51	c number of learning phase by resolution	: 0
1800.05/1795.51	c number of learning phase by cutting planes	: 0
1800.05/1795.51	c speed (assignments/second)	: 55788.317289295635
1800.05/1795.51	c non guided choices	610
1800.05/1795.54	c learnt constraints type 
1800.05/1795.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 314007
1800.05/1795.54	c constraints type 
1800.05/1795.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11
1800.05/1795.54	c 11 constraints processed.
1800.05/1795.54	s SATISFIABLE
1800.05/1795.54	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 
1800.05/1795.54	c objective function=3
1800.05/1795.54	c Total wall clock time (in seconds): 1795.44

Verifier Data 

OK	3

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.95 1.98 1.98 3/192 25258
/proc/meminfo: memFree=29609076/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25258/stat : 25258 (java) R 25256 25258 23289 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 254216928 23793664 709 33554432000 1073741824 1073778376 140733435159024 140733435148088 252253877608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 5809 709 523 9 0 128 0

[startup+0.07468 s]
/proc/loadavg: 1.95 1.98 1.98 3/192 25258
/proc/meminfo: memFree=29609076/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 3368 0 1 0 5 1 0 0 20 0 18 0 254216928 9787813888 4577 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2389603 4577 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100253 s]
/proc/loadavg: 1.95 1.98 1.98 3/192 25258
/proc/meminfo: memFree=29609076/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 4391 0 1 0 9 1 0 0 20 0 18 0 254216928 9787813888 6091 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2389603 6091 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300209 s]
/proc/loadavg: 1.95 1.98 1.98 3/192 25258
/proc/meminfo: memFree=29609076/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 7800 0 1 0 52 1 0 0 20 0 19 0 254216928 9855975424 7932 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 7932 2223 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624976

[startup+0.700211 s]
/proc/loadavg: 1.95 1.98 1.98 3/192 25258
/proc/meminfo: memFree=29609076/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 8078 0 1 0 102 1 0 0 20 0 19 0 254216928 9855975424 10071 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 10071 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9624976

[startup+1.50062 s]
/proc/loadavg: 1.95 1.98 1.98 3/211 25277
/proc/meminfo: memFree=29574596/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=1.89 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 8565 0 1 0 187 2 0 0 20 0 19 0 254216928 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 11109 2263 9 0 2396937 0
[pid=25258/tid=25260] ppid=25256 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/25258/task/25260/stat : 25260 (java) R 25256 25258 23289 0 -1 4202560 2447 0 1 0 142 1 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873807626528 139873680260009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25261] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25261/stat : 25261 (java) S 25256 25258 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873651473192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25262] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25262/stat : 25262 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873650420392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25263] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25263/stat : 25263 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873649368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25264] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25264/stat : 25264 (java) S 25256 25258 23289 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873648315304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25265] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25265/stat : 25265 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873647261992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25266] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25266/stat : 25266 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873646209192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25267] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25267/stat : 25267 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873645156904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25268] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25268/stat : 25268 (java) S 25256 25258 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873644104104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25269] ppid=25256 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/25258/task/25269/stat : 25269 (java) S 25256 25258 23289 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 254216930 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873631693544 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25270] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25270/stat : 25270 (java) S 25256 25258 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873630639608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25271] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25271/stat : 25271 (java) S 25256 25258 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873629587208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25272] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25272/stat : 25272 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873628535696 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 2577 0 0 0 19 0 0 0 20 0 19 0 254216933 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 11109 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9624976

[startup+3.10069 s]
/proc/loadavg: 1.95 1.98 1.98 3/211 25277
/proc/meminfo: memFree=29572052/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=3.53 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 8987 0 1 0 351 2 0 0 20 0 19 0 254216928 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 11132 2267 9 0 2396937 0
[pid=25258/tid=25260] ppid=25256 vsize=9624976 CPUtime=2.97 cores=0,2,4,6
/proc/25258/task/25260/stat : 25260 (java) R 25256 25258 23289 0 -1 4202560 2455 0 1 0 296 1 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873807626528 139873680240488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25261] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25261/stat : 25261 (java) S 25256 25258 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873651473192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25262] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25262/stat : 25262 (java) S 25256 25258 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873650420392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25263] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25263/stat : 25263 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873649368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25264] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25264/stat : 25264 (java) S 25256 25258 23289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873648315304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25265] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25265/stat : 25265 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873647261992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25266] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25266/stat : 25266 (java) S 25256 25258 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873646209192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25267] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25267/stat : 25267 (java) S 25256 25258 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873645156904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25268] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25268/stat : 25268 (java) S 25256 25258 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873644104104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25269] ppid=25256 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/25258/task/25269/stat : 25269 (java) S 25256 25258 23289 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 254216930 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873631693544 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25270] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25270/stat : 25270 (java) S 25256 25258 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873630639608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25271] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25271/stat : 25271 (java) S 25256 25258 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873629587208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25272] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25272/stat : 25272 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873628535696 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 2972 0 0 0 23 0 0 0 20 0 19 0 254216933 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 11132 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9624976

[startup+6.30062 s]
/proc/loadavg: 1.95 1.98 1.98 3/211 25277
/proc/meminfo: memFree=29571680/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=6.89 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 13378 0 1 0 686 3 0 0 20 0 19 0 254216928 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 12964 2268 9 0 2396937 0
[pid=25258/tid=25260] ppid=25256 vsize=9624976 CPUtime=6.03 cores=0,2,4,6
/proc/25258/task/25260/stat : 25260 (java) R 25256 25258 23289 0 -1 4202560 2469 0 1 0 602 1 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873807626488 139873680255199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25261] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25261/stat : 25261 (java) S 25256 25258 23289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873651473192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25262] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25262/stat : 25262 (java) S 25256 25258 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873650420392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25263] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25263/stat : 25263 (java) S 25256 25258 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873649368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25264] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25264/stat : 25264 (java) S 25256 25258 23289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873648315304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25265] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25265/stat : 25265 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873647261992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25266] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25266/stat : 25266 (java) S 25256 25258 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873646209192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25267] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25267/stat : 25267 (java) S 25256 25258 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873645156904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25268] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25268/stat : 25268 (java) S 25256 25258 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254216929 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873644104104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25269] ppid=25256 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/25258/task/25269/stat : 25269 (java) S 25256 25258 23289 0 -1 4202560 33 0 0 0 18 0 0 0 20 0 19 0 254216930 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873631693544 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25270] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25270/stat : 25270 (java) S 25256 25258 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873630639608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25271] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25271/stat : 25271 (java) S 25256 25258 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873629587208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25272] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25272/stat : 25272 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873628535696 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 7342 0 0 0 37 0 0 0 20 0 19 0 254216933 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 12964 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 7362 0 0 0 39 0 0 0 20 0 19 0 254216933 9855975424 38635 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 38635 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 38635 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 98 0 0 0 19 22 0 0 20 0 19 0 254216933 9855975424 38635 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 38635 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.76
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25374
/proc/meminfo: memFree=29357972/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=1786.85 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 15715 0 1 0 178646 39 0 0 20 0 19 0 254216928 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 39659 2269 9 0 2396937 0
[pid=25258/tid=25260] ppid=25256 vsize=9624976 CPUtime=1769.14 cores=0,2,4,6
/proc/25258/task/25260/stat : 25260 (java) R 25256 25258 23289 0 -1 4202560 2715 0 1 0 176885 29 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873807626528 139873680280894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25261] ppid=25256 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/25258/task/25261/stat : 25261 (java) S 25256 25258 23289 0 -1 4202560 268 0 0 0 67 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873651473192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25262] ppid=25256 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/25258/task/25262/stat : 25262 (java) S 25256 25258 23289 0 -1 4202560 267 0 0 0 70 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873650420392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25263] ppid=25256 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/25258/task/25263/stat : 25263 (java) S 25256 25258 23289 0 -1 4202560 269 0 0 0 69 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873649368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25264] ppid=25256 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/25258/task/25264/stat : 25264 (java) S 25256 25258 23289 0 -1 4202560 189 0 0 0 72 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873648315304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25265] ppid=25256 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/25258/task/25265/stat : 25265 (java) S 25256 25258 23289 0 -1 4202560 246 0 0 0 69 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873647261992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25266] ppid=25256 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/25258/task/25266/stat : 25266 (java) S 25256 25258 23289 0 -1 4202560 223 0 0 0 71 1 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873646209192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25267] ppid=25256 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/25258/task/25267/stat : 25267 (java) S 25256 25258 23289 0 -1 4202560 177 0 0 0 72 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873645156904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25268] ppid=25256 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/25258/task/25268/stat : 25268 (java) S 25256 25258 23289 0 -1 4202560 272 0 0 0 72 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873644104104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25269] ppid=25256 vsize=9624976 CPUtime=6.65 cores=0,2,4,6
/proc/25258/task/25269/stat : 25269 (java) S 25256 25258 23289 0 -1 4202560 156 0 0 0 663 2 0 0 20 0 19 0 254216930 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873631693544 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25270] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25270/stat : 25270 (java) S 25256 25258 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873630639608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25271] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25271/stat : 25271 (java) S 25256 25258 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873629587208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25272] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25272/stat : 25272 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873628535696 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 7362 0 0 0 39 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 102 0 0 0 20 24 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.85
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25374
/proc/meminfo: memFree=29357848/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 15715 0 1 0 179966 39 0 0 20 0 19 0 254216928 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 39659 2269 9 0 2396937 0
[pid=25258/tid=25260] ppid=25256 vsize=9624976 CPUtime=1782.32 cores=0,2,4,6
/proc/25258/task/25260/stat : 25260 (java) R 25256 25258 23289 0 -1 4202560 2715 0 1 0 178202 30 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873807626528 139873680442576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25261] ppid=25256 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/25258/task/25261/stat : 25261 (java) S 25256 25258 23289 0 -1 4202560 268 0 0 0 67 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873651473192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25262] ppid=25256 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/25258/task/25262/stat : 25262 (java) S 25256 25258 23289 0 -1 4202560 267 0 0 0 70 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873650420392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25263] ppid=25256 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/25258/task/25263/stat : 25263 (java) S 25256 25258 23289 0 -1 4202560 269 0 0 0 69 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873649368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25264] ppid=25256 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/25258/task/25264/stat : 25264 (java) S 25256 25258 23289 0 -1 4202560 189 0 0 0 72 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873648315304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25265] ppid=25256 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/25258/task/25265/stat : 25265 (java) S 25256 25258 23289 0 -1 4202560 246 0 0 0 69 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873647261992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25266] ppid=25256 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/25258/task/25266/stat : 25266 (java) S 25256 25258 23289 0 -1 4202560 223 0 0 0 71 1 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873646209192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25267] ppid=25256 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/25258/task/25267/stat : 25267 (java) S 25256 25258 23289 0 -1 4202560 177 0 0 0 72 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873645156904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25268] ppid=25256 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/25258/task/25268/stat : 25268 (java) S 25256 25258 23289 0 -1 4202560 272 0 0 0 72 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873644104104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25269] ppid=25256 vsize=9624976 CPUtime=6.65 cores=0,2,4,6
/proc/25258/task/25269/stat : 25269 (java) S 25256 25258 23289 0 -1 4202560 156 0 0 0 663 2 0 0 20 0 19 0 254216930 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873631693544 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25270] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25270/stat : 25270 (java) S 25256 25258 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873630639608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25271] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25271/stat : 25271 (java) S 25256 25258 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873629587208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25272] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25272/stat : 25272 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873628535696 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 7362 0 0 0 39 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 102 0 0 0 20 24 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25374
/proc/meminfo: memFree=29357848/32873852 swapFree=7616/7616
[pid=25258] ppid=25256 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/25258/stat : 25258 (java) S 25256 25258 23289 0 -1 4202496 15715 0 1 0 179966 39 0 0 20 0 19 0 254216928 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 140733435150160 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25258/statm: 2406244 39659 2269 9 0 2396937 0
[pid=25258/tid=25260] ppid=25256 vsize=9624976 CPUtime=1782.32 cores=0,2,4,6
/proc/25258/task/25260/stat : 25260 (java) R 25256 25258 23289 0 -1 4202560 2715 0 1 0 178202 30 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873807626528 139873680442576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25261] ppid=25256 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/25258/task/25261/stat : 25261 (java) S 25256 25258 23289 0 -1 4202560 268 0 0 0 67 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873651473192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25262] ppid=25256 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/25258/task/25262/stat : 25262 (java) S 25256 25258 23289 0 -1 4202560 267 0 0 0 70 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873650420392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25263] ppid=25256 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/25258/task/25263/stat : 25263 (java) S 25256 25258 23289 0 -1 4202560 269 0 0 0 69 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873649368104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25258/tid=25264] ppid=25256 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/25258/task/25264/stat : 25264 (java) S 25256 25258 23289 0 -1 4202560 189 0 0 0 72 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873648315304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25265] ppid=25256 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/25258/task/25265/stat : 25265 (java) S 25256 25258 23289 0 -1 4202560 246 0 0 0 69 0 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873647261992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25266] ppid=25256 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/25258/task/25266/stat : 25266 (java) S 25256 25258 23289 0 -1 4202560 223 0 0 0 71 1 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873646209192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25267] ppid=25256 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/25258/task/25267/stat : 25267 (java) S 25256 25258 23289 0 -1 4202560 177 0 0 0 72 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873645156904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25268] ppid=25256 vsize=9624976 CPUtime=0.74 cores=0,2,4,6
/proc/25258/task/25268/stat : 25268 (java) S 25256 25258 23289 0 -1 4202560 272 0 0 0 72 2 0 0 20 0 19 0 254216929 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873644104104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25269] ppid=25256 vsize=9624976 CPUtime=6.65 cores=0,2,4,6
/proc/25258/task/25269/stat : 25269 (java) S 25256 25258 23289 0 -1 4202560 156 0 0 0 663 2 0 0 20 0 19 0 254216930 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873631693544 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25270] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25270/stat : 25270 (java) S 25256 25258 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873630639608 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25271] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25271/stat : 25271 (java) S 25256 25258 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254216931 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873629587208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25272] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25272/stat : 25272 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873628535696 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25273] ppid=25256 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/25258/task/25273/stat : 25273 (java) S 25256 25258 23289 0 -1 4202560 7362 0 0 0 39 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873627482296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25274] ppid=25256 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/25258/task/25274/stat : 25274 (java) S 25256 25258 23289 0 -1 4202560 2289 0 0 0 17 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873626429496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25258/tid=25275] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25275/stat : 25275 (java) S 25256 25258 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873625377400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25258/tid=25276] ppid=25256 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25258/task/25276/stat : 25276 (java) S 25256 25258 23289 0 -1 4202560 102 0 0 0 20 24 0 0 20 0 19 0 254216933 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873624324808 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25258/tid=25277] ppid=25256 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25258/task/25277/stat : 25277 (java) S 25256 25258 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254216942 9855975424 39659 33554432000 1073741824 1073778376 140733435159024 139873623270824 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1795.55
CPU time (s): 1800.05
CPU user time (s): 1799.66
CPU system time (s): 0.39
CPU usage (%): 100.251
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 0.773882
maximum resident set size= 162888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15760
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44863
involuntary context switches= 24299

runsolver used 5.72113 second user time and 14.7028 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-24 19:35:15
IDJOB=3688243
IDBENCH=2923
IDSOLVER=2269
FILE ID=node131/3688243-1337880915
RUNJOBID= node131-1337871881-23305
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/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688243-1337880915/watcher-3688243-1337880915 -o /tmp/evaluation-result-3688243-1337880915/solver-3688243-1337880915 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688243-1337880915.opb

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

MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad
RANDOM SEED=698857102

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:        29609084 kB
Buffers:          215340 kB
Cached:          2137064 kB
SwapCached:            0 kB
Active:           642340 kB
Inactive:        1856552 kB
Active(anon):     149088 kB
Inactive(anon):        0 kB
Active(file):     493252 kB
Inactive(file):  1856552 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               116 kB
Writeback:             0 kB
AnonPages:        184928 kB
Mapped:            22588 kB
Shmem:               204 kB
Slab:             628772 kB
SReclaimable:      71320 kB
SUnreclaim:       557452 kB
KernelStack:        1744 kB
PageTables:         4916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     696948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71596 MiB
End job on node131 at 2012-05-24 20:05:12