Trace number 3710647

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)214 1800.39 1790.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
MD5SUM19bfc1d5b7087888ef5c79946c60f053
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1796.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints473
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 constraints473
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.07/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.07/0.13	c configuring ORDERS
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=true
0.07/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3710647-1338138816.opb
0.07/0.13	c reading problem ... 
0.23/0.24	c ... done. Wall clock time 0.108s.
0.23/0.24	c declared #vars     473
0.23/0.24	c #constraints  473
0.23/0.24	c constraints type 
0.23/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 473
0.23/0.24	c 473 constraints processed.
0.23/0.25	c SATISFIABLE
0.23/0.25	c OPTIMIZING...
0.23/0.25	c Got one! Elapsed wall clock time (in seconds):0.12
0.23/0.25	o 227
0.23/0.26	c Got one! Elapsed wall clock time (in seconds):0.133
0.23/0.26	o 225
1.06/0.61	c Got one! Elapsed wall clock time (in seconds):0.476
1.06/0.61	o 223
1.06/0.61	c Got one! Elapsed wall clock time (in seconds):0.48
1.06/0.61	o 222
1.20/0.74	c cleaning 2607 clauses out of 5217 with flag 2000/5217
1.43/0.90	c Got one! Elapsed wall clock time (in seconds):0.772
1.43/0.90	o 221
1.53/1.08	c cleaning 4123 clauses out of 8254 with flag 3001/10861
1.97/1.41	c cleaning 5064 clauses out of 10131 with flag 9001/16861
2.20/1.66	c Got one! Elapsed wall clock time (in seconds):1.53
2.20/1.66	o 220
2.30/1.73	c cleaning 5144 clauses out of 10300 with flag 1001/22094
2.64/2.08	c cleaning 5569 clauses out of 11156 with flag 7001/28094
3.05/2.49	c cleaning 6292 clauses out of 12587 with flag 14001/35094
3.55/2.96	c cleaning 7142 clauses out of 14295 with flag 22001/43094
4.15/3.59	c cleaning 8069 clauses out of 16152 with flag 31000/52093
4.76/4.17	c cleaning 9036 clauses out of 18083 with flag 41000/62093
5.47/4.85	c cleaning 10016 clauses out of 20047 with flag 52000/73093
6.00/5.30	c Got one! Elapsed wall clock time (in seconds):5.172
6.00/5.30	o 219
6.21/5.57	c cleaning 11026 clauses out of 22067 with flag 5000/85129
6.62/5.95	c cleaning 8513 clauses out of 17042 with flag 11001/91130
7.03/6.35	c cleaning 7759 clauses out of 15529 with flag 18001/98130
7.43/6.74	c Got one! Elapsed wall clock time (in seconds):6.609
7.43/6.74	o 218
7.73/7.03	c cleaning 9884 clauses out of 19777 with flag 5001/110137
8.16/7.40	c cleaning 7943 clauses out of 15893 with flag 11001/116137
8.48/7.79	c cleaning 7465 clauses out of 14950 with flag 18001/123137
8.99/8.26	c cleaning 7739 clauses out of 15485 with flag 26001/131137
9.50/8.77	c cleaning 8368 clauses out of 16746 with flag 35001/140137
10.11/9.37	c cleaning 9182 clauses out of 18378 with flag 45001/150137
10.81/10.03	c cleaning 10092 clauses out of 20195 with flag 56000/161136
11.66/10.81	c cleaning 11049 clauses out of 22103 with flag 68000/173136
12.39/11.55	c Got one! Elapsed wall clock time (in seconds):11.417
12.39/11.55	o 217
12.69/11.87	c cleaning 14373 clauses out of 28756 with flag 5001/190838
13.11/12.28	c cleaning 10185 clauses out of 20383 with flag 11001/196838
13.61/12.71	c cleaning 8592 clauses out of 17197 with flag 18000/203837
14.03/13.18	c cleaning 8300 clauses out of 16606 with flag 26001/211838
14.65/13.71	c cleaning 8646 clauses out of 17305 with flag 35000/220837
15.27/14.32	c cleaning 9325 clauses out of 18659 with flag 45000/230837
15.97/15.06	c cleaning 10162 clauses out of 20334 with flag 56000/241837
16.90/15.96	c cleaning 11079 clauses out of 22172 with flag 68000/253837
17.80/16.82	c cleaning 12042 clauses out of 24094 with flag 81001/266838
18.72/17.70	c cleaning 13020 clauses out of 26052 with flag 95001/280838
19.64/18.68	c cleaning 14010 clauses out of 28033 with flag 110002/295839
20.76/19.77	c cleaning 15004 clauses out of 30021 with flag 126000/311837
21.16/20.16	c Got one! Elapsed wall clock time (in seconds):20.029
21.16/20.16	o 216
21.46/20.47	c cleaning 12989 clauses out of 25995 with flag 5001/322815
21.87/20.84	c cleaning 9497 clauses out of 19006 with flag 11001/328815
22.27/21.26	c cleaning 8247 clauses out of 16508 with flag 18000/335814
22.77/21.75	c cleaning 8123 clauses out of 16261 with flag 26000/343814
23.37/22.30	c cleaning 8563 clauses out of 17138 with flag 35000/352814
24.07/23.02	c cleaning 9280 clauses out of 18575 with flag 45000/362814
24.89/23.82	c cleaning 10141 clauses out of 20295 with flag 56000/373814
25.81/24.76	c cleaning 11069 clauses out of 22154 with flag 68000/385814
26.61/25.61	c cleaning 12037 clauses out of 24085 with flag 81000/398814
27.52/26.45	c cleaning 13017 clauses out of 26048 with flag 95000/412814
28.53/27.42	c cleaning 14011 clauses out of 28031 with flag 110000/427814
29.54/28.47	c cleaning 15007 clauses out of 30021 with flag 126001/443815
30.66/29.58	c cleaning 15998 clauses out of 32014 with flag 143001/460815
31.97/30.87	c cleaning 17006 clauses out of 34015 with flag 161000/478814
33.29/32.15	c cleaning 17997 clauses out of 36010 with flag 180001/497815
34.91/33.71	c cleaning 18998 clauses out of 38013 with flag 200001/517815
36.22/35.09	c cleaning 20001 clauses out of 40015 with flag 221001/538815
38.25/37.03	c cleaning 20999 clauses out of 42013 with flag 243000/560814
40.49/39.26	c cleaning 22000 clauses out of 44015 with flag 266001/583815
42.22/40.92	c cleaning 22999 clauses out of 46014 with flag 290000/607814
43.82/42.55	c cleaning 24001 clauses out of 48016 with flag 315001/632815
45.66/44.38	c cleaning 25003 clauses out of 50014 with flag 341000/658814
47.60/46.25	c cleaning 25999 clauses out of 52012 with flag 368001/685815
49.84/48.47	c cleaning 27001 clauses out of 54013 with flag 396001/713815
51.85/50.49	c cleaning 27998 clauses out of 56011 with flag 425000/742814
54.36/52.99	c cleaning 29000 clauses out of 58014 with flag 455001/772815
56.78/55.31	c cleaning 30001 clauses out of 60013 with flag 486000/803814
59.60/58.11	c cleaning 30999 clauses out of 62013 with flag 518001/835815
60.73/59.24	c Got one! Elapsed wall clock time (in seconds):59.11
60.73/59.24	o 215
61.13/59.64	c cleaning 25257 clauses out of 50532 with flag 5000/855333
61.57/60.03	c cleaning 15634 clauses out of 31278 with flag 11003/861336
61.98/60.45	c cleaning 11316 clauses out of 22642 with flag 18001/868334
62.48/60.92	c cleaning 9655 clauses out of 19327 with flag 26002/876335
63.00/61.46	c cleaning 9331 clauses out of 18671 with flag 35001/885334
63.61/62.01	c cleaning 9667 clauses out of 19339 with flag 45000/895333
64.12/62.57	c cleaning 10330 clauses out of 20674 with flag 56002/906335
64.82/63.28	c cleaning 11165 clauses out of 22343 with flag 68001/918334
65.64/64.08	c cleaning 12084 clauses out of 24177 with flag 81000/931333
66.55/64.97	c cleaning 13036 clauses out of 26094 with flag 95001/945334
67.65/66.05	c cleaning 14022 clauses out of 28058 with flag 110001/960334
68.66/67.09	c cleaning 15012 clauses out of 30035 with flag 126000/976333
69.96/68.30	c cleaning 16004 clauses out of 32023 with flag 143000/993333
71.26/69.61	c cleaning 17003 clauses out of 34020 with flag 161001/1011334
72.46/70.86	c cleaning 18002 clauses out of 36016 with flag 180000/1030333
73.96/72.38	c cleaning 19000 clauses out of 38014 with flag 200000/1050333
75.57/73.94	c cleaning 20002 clauses out of 40015 with flag 221001/1071334
77.09/75.48	c cleaning 21000 clauses out of 42013 with flag 243001/1093334
79.21/77.54	c cleaning 22000 clauses out of 44013 with flag 266001/1116334
81.56/79.81	c cleaning 22999 clauses out of 46012 with flag 290000/1140333
83.77/82.09	c cleaning 23995 clauses out of 48014 with flag 315001/1165334
85.80/84.06	c cleaning 25006 clauses out of 50019 with flag 341001/1191334
88.20/86.43	c cleaning 25997 clauses out of 52013 with flag 368001/1218334
90.62/88.83	c cleaning 26998 clauses out of 54016 with flag 396001/1246334
93.05/91.29	c cleaning 28001 clauses out of 56017 with flag 425000/1275333
95.86/94.09	c cleaning 29000 clauses out of 58017 with flag 455001/1305334
98.47/96.70	c cleaning 30004 clauses out of 60016 with flag 486000/1336333
100.49/98.69	c cleaning 31000 clauses out of 62012 with flag 518000/1368333
102.80/100.91	c cleaning 32000 clauses out of 64012 with flag 551000/1401333
105.31/103.45	c cleaning 32996 clauses out of 66012 with flag 585000/1435333
107.81/105.91	c cleaning 34002 clauses out of 68018 with flag 620002/1470335
110.83/108.94	c cleaning 35000 clauses out of 70014 with flag 656000/1506333
113.45/111.58	c cleaning 36001 clauses out of 72015 with flag 693001/1543334
116.67/114.73	c cleaning 36999 clauses out of 74013 with flag 731000/1581333
120.30/118.38	c cleaning 38002 clauses out of 76015 with flag 770001/1620334
123.71/121.73	c cleaning 38998 clauses out of 78012 with flag 810000/1660333
127.46/125.46	c cleaning 39996 clauses out of 80014 with flag 851000/1701333
131.07/129.02	c cleaning 41000 clauses out of 82018 with flag 893000/1743333
134.50/132.44	c cleaning 42001 clauses out of 84019 with flag 936001/1786334
138.83/136.71	c cleaning 43000 clauses out of 86017 with flag 980000/1830333
143.65/141.52	c cleaning 44001 clauses out of 88018 with flag 1025001/1875334
148.50/146.38	c cleaning 44998 clauses out of 90016 with flag 1071000/1921333
153.54/151.38	c cleaning 46000 clauses out of 92018 with flag 1118000/1968333
157.48/155.27	c cleaning 47005 clauses out of 94019 with flag 1166001/2016334
160.81/158.59	c cleaning 48001 clauses out of 96014 with flag 1215001/2065334
165.14/162.88	c cleaning 49000 clauses out of 98013 with flag 1265001/2115334
169.38/167.05	c cleaning 49998 clauses out of 100012 with flag 1316000/2166333
173.27/170.88	c cleaning 50997 clauses out of 102014 with flag 1368000/2218333
178.28/175.88	c cleaning 52000 clauses out of 104017 with flag 1421000/2271333
182.62/180.17	c cleaning 53001 clauses out of 106018 with flag 1475001/2325334
188.06/185.55	c cleaning 54000 clauses out of 108016 with flag 1530000/2380333
193.50/190.97	c cleaning 55001 clauses out of 110016 with flag 1586000/2436333
198.83/196.28	c cleaning 56004 clauses out of 112017 with flag 1643002/2493335
203.88/201.27	c cleaning 57001 clauses out of 114012 with flag 1701001/2551334
209.80/207.17	c cleaning 57998 clauses out of 116010 with flag 1760000/2610333
215.73/213.02	c cleaning 58999 clauses out of 118012 with flag 1820000/2670333
221.36/218.66	c cleaning 60002 clauses out of 120013 with flag 1881000/2731333
227.79/225.03	c cleaning 61001 clauses out of 122011 with flag 1943000/2793333
234.66/231.81	c cleaning 61997 clauses out of 124011 with flag 2006001/2856334
241.30/238.41	c cleaning 63000 clauses out of 126014 with flag 2070001/2920334
248.34/245.42	c cleaning 64000 clauses out of 128015 with flag 2135002/2985335
253.37/250.45	c cleaning 65002 clauses out of 130013 with flag 2201000/3051333
259.20/256.21	c cleaning 66003 clauses out of 132013 with flag 2268002/3118335
265.42/262.49	c cleaning 66997 clauses out of 134008 with flag 2336000/3186333
273.79/270.73	c cleaning 68000 clauses out of 136012 with flag 2405001/3255334
279.79/276.65	c cleaning 68998 clauses out of 138012 with flag 2475001/3325334
287.02/283.86	c cleaning 69998 clauses out of 140013 with flag 2546000/3396333
293.15/289.95	c cleaning 71001 clauses out of 142015 with flag 2618000/3468333
300.38/297.14	c cleaning 71999 clauses out of 144015 with flag 2691001/3541334
309.34/306.02	c cleaning 73000 clauses out of 146016 with flag 2765001/3615334
316.27/312.98	c cleaning 74002 clauses out of 148017 with flag 2840002/3690335
324.00/320.60	c cleaning 74999 clauses out of 150013 with flag 2916000/3766333
331.54/328.18	c cleaning 76000 clauses out of 152014 with flag 2993000/3843333
339.19/335.73	c cleaning 76999 clauses out of 154014 with flag 3071000/3921333
346.44/342.94	c cleaning 78000 clauses out of 156016 with flag 3150001/4000334
355.96/352.41	c cleaning 79002 clauses out of 158016 with flag 3230001/4080334
364.82/361.21	c cleaning 80002 clauses out of 160014 with flag 3311001/4161334
374.16/370.53	c cleaning 80998 clauses out of 162013 with flag 3393002/4243335
383.69/380.02	c cleaning 81998 clauses out of 164013 with flag 3476000/4326333
394.13/390.45	c cleaning 82998 clauses out of 166015 with flag 3560000/4410333
404.65/400.97	c cleaning 84005 clauses out of 168017 with flag 3645000/4495333
411.38/407.61	c cleaning 84998 clauses out of 170013 with flag 3731001/4581334
418.62/414.84	c cleaning 85998 clauses out of 172014 with flag 3818000/4668333
427.05/423.21	c cleaning 87004 clauses out of 174016 with flag 3906000/4756333
435.30/431.43	c cleaning 88000 clauses out of 176013 with flag 3995001/4845334
446.15/442.21	c cleaning 89000 clauses out of 178013 with flag 4085001/4935334
455.43/451.46	c cleaning 89998 clauses out of 180012 with flag 4176000/5026333
465.16/461.16	c cleaning 91000 clauses out of 182014 with flag 4268000/5118333
473.72/469.64	c cleaning 92003 clauses out of 184014 with flag 4361000/5211333
483.75/479.67	c cleaning 92995 clauses out of 186011 with flag 4455000/5305333
495.03/490.84	c cleaning 93999 clauses out of 188017 with flag 4550001/5400334
507.21/502.97	c cleaning 95003 clauses out of 190017 with flag 4646000/5496333
518.27/513.91	c cleaning 95999 clauses out of 192014 with flag 4743000/5593333
529.92/525.55	c cleaning 97000 clauses out of 194017 with flag 4841002/5691335
542.69/538.23	c cleaning 98000 clauses out of 196016 with flag 4940001/5790334
555.07/550.54	c cleaning 99002 clauses out of 198016 with flag 5040001/5890334
566.78/562.17	c cleaning 100001 clauses out of 200013 with flag 5141000/5991333
581.43/576.77	c cleaning 100997 clauses out of 202012 with flag 5243000/6093333
596.88/592.11	c cleaning 101999 clauses out of 204016 with flag 5346001/6196334
611.64/606.87	c cleaning 103000 clauses out of 206018 with flag 5450002/6300335
624.96/620.17	c cleaning 104002 clauses out of 208017 with flag 5555001/6405334
639.31/634.49	c cleaning 104996 clauses out of 210014 with flag 5661000/6511333
654.18/649.26	c cleaning 106002 clauses out of 212018 with flag 5768000/6618333
670.16/665.11	c cleaning 106997 clauses out of 214016 with flag 5876000/6726333
674.90/669.89	c Got one! Elapsed wall clock time (in seconds):669.759
674.90/669.89	o 214
676.01/670.91	c cleaning 86442 clauses out of 172896 with flag 5000/6792210
676.63/671.54	c cleaning 46220 clauses out of 92454 with flag 11000/6798210
677.16/672.07	c cleaning 26612 clauses out of 53235 with flag 18001/6805211
677.76/672.61	c cleaning 17303 clauses out of 34622 with flag 26000/6813210
678.38/673.21	c cleaning 13151 clauses out of 26320 with flag 35001/6822211
679.09/673.95	c cleaning 11580 clauses out of 23170 with flag 45002/6832212
679.90/674.71	c cleaning 11287 clauses out of 22589 with flag 56001/6843211
680.82/675.63	c cleaning 11645 clauses out of 23301 with flag 68000/6855210
681.66/676.46	c cleaning 12323 clauses out of 24657 with flag 81001/6868211
682.69/677.49	c cleaning 13157 clauses out of 26334 with flag 95001/6882211
683.81/678.59	c cleaning 14084 clauses out of 28177 with flag 110001/6897211
685.05/679.79	c cleaning 15036 clauses out of 30092 with flag 126000/6913210
686.35/681.00	c cleaning 16023 clauses out of 32057 with flag 143001/6930211
687.67/682.38	c cleaning 17010 clauses out of 34034 with flag 161001/6948211
689.30/683.97	c cleaning 18007 clauses out of 36023 with flag 180000/6967210
691.02/685.61	c cleaning 19004 clauses out of 38017 with flag 200001/6987211
692.72/687.37	c cleaning 19995 clauses out of 40012 with flag 221000/7008210
694.44/689.08	c cleaning 21000 clauses out of 42017 with flag 243000/7030210
696.27/690.82	c cleaning 21999 clauses out of 44018 with flag 266001/7053211
698.09/692.67	c cleaning 23005 clauses out of 46019 with flag 290001/7077211
700.09/694.62	c cleaning 23999 clauses out of 48013 with flag 315000/7102210
702.00/696.58	c cleaning 24997 clauses out of 50014 with flag 341000/7128210
704.31/698.80	c cleaning 25999 clauses out of 52017 with flag 368000/7155210
706.32/700.82	c cleaning 27005 clauses out of 54019 with flag 396001/7183211
709.03/703.55	c cleaning 28002 clauses out of 56014 with flag 425001/7212211
711.67/706.18	c cleaning 28997 clauses out of 58011 with flag 455000/7242210
714.48/708.96	c cleaning 29997 clauses out of 60015 with flag 486001/7273211
717.59/712.06	c cleaning 31003 clauses out of 62019 with flag 518002/7305212
720.71/715.10	c cleaning 32000 clauses out of 64015 with flag 551001/7338211
723.54/717.93	c cleaning 33002 clauses out of 66015 with flag 585001/7372211
726.26/720.62	c cleaning 33998 clauses out of 68013 with flag 620001/7407211
729.17/723.57	c cleaning 35003 clauses out of 70016 with flag 656002/7443212
732.08/726.47	c cleaning 36000 clauses out of 72013 with flag 693002/7480212
735.11/729.48	c cleaning 36997 clauses out of 74012 with flag 731001/7518211
738.84/733.15	c cleaning 37998 clauses out of 76014 with flag 770000/7557210
742.56/736.83	c cleaning 39003 clauses out of 78016 with flag 810000/7597210
746.37/740.68	c cleaning 40001 clauses out of 80015 with flag 851002/7638212
750.08/744.35	c cleaning 40997 clauses out of 82013 with flag 893001/7680211
754.09/748.30	c cleaning 41998 clauses out of 84017 with flag 936002/7723212
757.99/752.24	c cleaning 43001 clauses out of 86019 with flag 980002/7767212
762.02/756.25	c cleaning 44002 clauses out of 88017 with flag 1025001/7812211
766.25/760.43	c cleaning 45000 clauses out of 90014 with flag 1071000/7858210
770.27/764.50	c cleaning 45999 clauses out of 92014 with flag 1118000/7905210
775.07/769.27	c cleaning 46997 clauses out of 94016 with flag 1166001/7953211
779.68/773.84	c cleaning 48003 clauses out of 96018 with flag 1215000/8002210
785.00/779.17	c cleaning 48996 clauses out of 98015 with flag 1265000/8052210
790.74/784.84	c cleaning 50003 clauses out of 100020 with flag 1316001/8103211
796.65/790.78	c cleaning 50999 clauses out of 102016 with flag 1368000/8155210
802.17/796.25	c cleaning 52003 clauses out of 104017 with flag 1421000/8208210
806.30/800.32	c cleaning 53002 clauses out of 106015 with flag 1475001/8262211
811.51/805.56	c cleaning 54000 clauses out of 108012 with flag 1530000/8317210
817.43/811.44	c cleaning 54997 clauses out of 110012 with flag 1586000/8373210
823.06/817.08	c cleaning 56000 clauses out of 112016 with flag 1643001/8430211
828.27/822.28	c cleaning 57001 clauses out of 114016 with flag 1701001/8488211
833.30/827.29	c cleaning 57998 clauses out of 116014 with flag 1760000/8547210
838.76/832.64	c cleaning 59003 clauses out of 118017 with flag 1820001/8607211
844.16/838.06	c cleaning 59997 clauses out of 120013 with flag 1881000/8668210
849.89/843.74	c cleaning 61001 clauses out of 122016 with flag 1943000/8730210
856.11/849.98	c cleaning 61999 clauses out of 124016 with flag 2006001/8793211
862.11/855.92	c cleaning 62999 clauses out of 126017 with flag 2070001/8857211
868.25/862.07	c cleaning 63997 clauses out of 128018 with flag 2135001/8922211
874.28/868.05	c cleaning 65004 clauses out of 130020 with flag 2201000/8988210
881.90/875.63	c cleaning 66002 clauses out of 132017 with flag 2268001/9055211
889.64/883.33	c cleaning 66998 clauses out of 134014 with flag 2336000/9123210
897.84/891.57	c cleaning 67997 clauses out of 136016 with flag 2405000/9192210
905.18/898.84	c cleaning 69002 clauses out of 138019 with flag 2475000/9262210
912.80/906.42	c cleaning 69998 clauses out of 140018 with flag 2546001/9333211
921.03/914.67	c cleaning 70995 clauses out of 142019 with flag 2618000/9405210
929.44/923.09	c cleaning 72005 clauses out of 144025 with flag 2691001/9478211
938.20/931.72	c cleaning 73001 clauses out of 146019 with flag 2765000/9552210
947.59/941.17	c cleaning 74002 clauses out of 148018 with flag 2840000/9627210
957.03/950.51	c cleaning 74999 clauses out of 150017 with flag 2916001/9703211
966.45/959.96	c cleaning 75998 clauses out of 152017 with flag 2993000/9780210
975.68/969.16	c cleaning 76997 clauses out of 154019 with flag 3071000/9858210
984.99/978.49	c cleaning 78001 clauses out of 156022 with flag 3150000/9937210
994.61/988.03	c cleaning 79004 clauses out of 158021 with flag 3230000/10017210
1004.26/997.66	c cleaning 80007 clauses out of 160017 with flag 3311000/10098210
1011.19/1004.51	c cleaning 80998 clauses out of 162010 with flag 3393000/10180210
1018.31/1011.64	c cleaning 81998 clauses out of 164012 with flag 3476000/10263210
1026.04/1019.38	c cleaning 83000 clauses out of 166014 with flag 3560000/10347210
1034.24/1027.41	c cleaning 83999 clauses out of 168015 with flag 3645001/10432211
1043.18/1036.35	c cleaning 84997 clauses out of 170015 with flag 3731000/10518210
1052.01/1045.19	c cleaning 86000 clauses out of 172018 with flag 3818000/10605210
1064.14/1057.20	c cleaning 87006 clauses out of 174019 with flag 3906001/10693211
1074.29/1067.37	c cleaning 87996 clauses out of 176013 with flag 3995001/10782211
1085.32/1078.37	c cleaning 89001 clauses out of 178016 with flag 4085000/10872210
1095.19/1088.15	c cleaning 90002 clauses out of 180016 with flag 4176001/10963211
1106.95/1099.83	c cleaning 90999 clauses out of 182013 with flag 4268000/11055210
1116.60/1109.49	c cleaning 92000 clauses out of 184014 with flag 4361000/11148210
1129.55/1122.31	c cleaning 92998 clauses out of 186014 with flag 4455000/11242210
1142.12/1134.84	c cleaning 93997 clauses out of 188016 with flag 4550000/11337210
1154.60/1147.29	c cleaning 95000 clauses out of 190020 with flag 4646001/11433211
1167.67/1160.23	c cleaning 96000 clauses out of 192020 with flag 4743001/11530211
1178.04/1170.50	c cleaning 97003 clauses out of 194019 with flag 4841000/11628210
1189.37/1181.87	c cleaning 97999 clauses out of 196016 with flag 4940000/11727210
1202.53/1194.91	c cleaning 99001 clauses out of 198018 with flag 5040001/11827211
1215.58/1207.99	c cleaning 100000 clauses out of 200017 with flag 5141001/11928211
1229.16/1221.48	c cleaning 100998 clauses out of 202016 with flag 5243000/12030210
1242.80/1235.00	c cleaning 102002 clauses out of 204020 with flag 5346002/12133212
1257.13/1249.36	c cleaning 102996 clauses out of 206017 with flag 5450001/12237211
1269.69/1261.88	c cleaning 104007 clauses out of 208021 with flag 5555001/12342211
1280.74/1272.88	c cleaning 104998 clauses out of 210014 with flag 5661001/12448211
1294.32/1286.31	c cleaning 105999 clauses out of 212016 with flag 5768001/12555211
1307.26/1299.29	c cleaning 107000 clauses out of 214016 with flag 5876000/12663210
1322.04/1313.94	c cleaning 107999 clauses out of 216017 with flag 5985001/12772211
1336.19/1328.08	c cleaning 109000 clauses out of 218017 with flag 6095000/12882210
1351.18/1342.97	c cleaning 109996 clauses out of 220018 with flag 6206001/12993211
1367.70/1359.41	c cleaning 111003 clauses out of 222023 with flag 6318002/13105212
1386.47/1378.14	c cleaning 112001 clauses out of 224018 with flag 6431000/13218210
1401.65/1393.24	c cleaning 113001 clauses out of 226017 with flag 6545000/13332210
1417.93/1409.41	c cleaning 113998 clauses out of 228016 with flag 6660000/13447210
1432.19/1423.64	c cleaning 115003 clauses out of 230019 with flag 6776001/13563211
1448.32/1439.76	c cleaning 116001 clauses out of 232015 with flag 6893000/13680210
1464.24/1455.66	c cleaning 117002 clauses out of 234015 with flag 7011001/13798211
1479.82/1471.11	c cleaning 118003 clauses out of 236015 with flag 7130003/13917213
1500.15/1491.40	c cleaning 119000 clauses out of 238010 with flag 7250001/14037211
1518.31/1509.53	c cleaning 119996 clauses out of 240010 with flag 7371001/14158211
1536.54/1527.73	c cleaning 120997 clauses out of 242013 with flag 7493000/14280210
1555.83/1546.95	c cleaning 121996 clauses out of 244017 with flag 7616001/14403211
1578.11/1569.19	c cleaning 123001 clauses out of 246020 with flag 7740000/14527210
1601.93/1592.93	c cleaning 124002 clauses out of 248021 with flag 7865002/14652212
1624.59/1615.55	c cleaning 125001 clauses out of 250017 with flag 7991000/14778210
1646.67/1637.53	c cleaning 126001 clauses out of 252017 with flag 8118001/14905211
1670.53/1661.33	c cleaning 126999 clauses out of 254015 with flag 8246000/15033210
1690.60/1681.36	c cleaning 128002 clauses out of 256016 with flag 8375000/15162210
1702.26/1692.99	c cleaning 129000 clauses out of 258014 with flag 8505000/15292210
1714.49/1705.18	c cleaning 130002 clauses out of 260014 with flag 8636000/15423210
1732.33/1722.93	c cleaning 130999 clauses out of 262012 with flag 8768000/15555210
1747.03/1737.59	c cleaning 131999 clauses out of 264014 with flag 8901001/15688211
1765.98/1756.47	c cleaning 133002 clauses out of 266015 with flag 9035001/15822211
1784.54/1774.87	c cleaning 133999 clauses out of 268013 with flag 9170001/15957211
1800.39/1790.40	c starts		: 358
1800.39/1790.40	c conflicts		: 16093210
1800.39/1790.40	c decisions		: 19738782
1800.39/1790.40	c propagations		: 356018172
1800.39/1790.40	c inspects		: 16389522600
1800.39/1790.40	c shortcuts		: 0
1800.39/1790.40	c learnt literals	: 0
1800.39/1790.40	c learnt binary clauses	: 0
1800.39/1790.40	c learnt ternary clauses	: 0
1800.39/1790.40	c learnt constraints	: 16093210
1800.39/1790.40	c ignored constraints	: 0
1800.39/1790.40	c root simplifications	: 358
1800.39/1790.40	c removed literals (reason simplification)	: 77703
1800.39/1790.40	c reason swapping (by a shorter reason)	: 0
1800.39/1790.40	c Calls to reduceDB	: 297
1800.39/1790.40	c number of reductions to clauses (during analyze)	: 0
1800.39/1790.40	c number of learned constraints concerned by reduction	: 0
1800.39/1790.40	c number of learning phase by resolution	: 0
1800.39/1790.40	c number of learning phase by cutting planes	: 0
1800.39/1790.40	c speed (assignments/second)	: 198875.39025906668
1800.39/1790.40	c non guided choices	775
1800.39/1790.43	c learnt constraints type 
1800.39/1790.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 270013
1800.39/1790.43	c constraints type 
1800.39/1790.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.39/1790.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 473
1800.39/1790.43	c 474 constraints processed.
1800.39/1790.43	s SATISFIABLE
1800.39/1790.43	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 
1800.39/1790.43	c objective function=214
1800.39/1790.43	c Total wall clock time (in seconds): 1790.304

Verifier Data 

OK	214

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-3710647-1338138816/watcher-3710647-1338138816 -o /tmp/evaluation-result-3710647-1338138816/solver-3710647-1338138816 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710647-1338138816.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.00 1.12 1.49 2/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/23698/stat : 23698 (java) D 23694 23698 21372 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 280007113 2560000 46 33554432000 1073741824 1073778376 140733440451952 140733440449080 227503336743 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 626 46 37 9 0 30 0

[startup+0.0202849 s]
/proc/loadavg: 1.00 1.12 1.49 2/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=97336 CPUtime=0 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 1315 0 0 0 0 0 0 0 20 0 2 0 280007113 99672064 1015 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 24335 1020 779 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 97336

[startup+0.100163 s]
/proc/loadavg: 1.00 1.12 1.49 2/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 3886 0 1 0 6 1 0 0 20 0 18 0 280007113 9787842560 5094 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2389610 5094 2065 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.300153 s]
/proc/loadavg: 1.00 1.12 1.49 2/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 6949 0 1 0 47 2 0 0 20 0 19 0 280007113 9856004096 9290 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 9290 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625004

[startup+0.700216 s]
/proc/loadavg: 1.00 1.12 1.49 2/173 23699
/proc/meminfo: memFree=28722764/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 9356 0 1 0 118 2 0 0 20 0 19 0 280007113 9856004096 11421 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 11421 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 1.00 1.12 1.49 4/211 23737
/proc/meminfo: memFree=28627036/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=2.1 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 9451 0 1 0 207 3 0 0 20 0 19 0 280007113 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 16606 2276 9 0 2396937 0
[pid=23698/tid=23703] ppid=23694 vsize=9625004 CPUtime=1.41 cores=0,2,4,6
/proc/23698/task/23703/stat : 23703 (java) R 23694 23698 21372 0 -1 4202560 2507 0 1 0 140 1 0 0 20 0 19 0 280007115 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834323632552 139834153205107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23705] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23705/stat : 23705 (java) S 23694 23698 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834285124392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23707] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23707/stat : 23707 (java) S 23694 23698 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834284071592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23709] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23709/stat : 23709 (java) S 23694 23698 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834283019304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23711] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23711/stat : 23711 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834281966504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23713] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23713/stat : 23713 (java) S 23694 23698 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834280913192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23714] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23714/stat : 23714 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834279860392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23716] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23716/stat : 23716 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834278808104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23718] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23718/stat : 23718 (java) S 23694 23698 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834277755304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23721] ppid=23694 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/23698/task/23721/stat : 23721 (java) S 23694 23698 21372 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 280007117 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834147445480 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23723] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23723/stat : 23723 (java) S 23694 23698 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834146391544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23725] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23725/stat : 23725 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834145339144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23727] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23727/stat : 23727 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834144287632 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23729] ppid=23694 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3227 0 0 0 29 0 0 0 20 0 19 0 280007120 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 16606 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625004

[startup+3.10064 s]
/proc/loadavg: 1.00 1.12 1.49 4/211 23737
/proc/meminfo: memFree=28601212/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=3.75 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 9481 0 1 0 372 3 0 0 20 0 19 0 280007113 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 18675 2276 9 0 2396937 0
[pid=23698/tid=23703] ppid=23694 vsize=9625004 CPUtime=2.95 cores=0,2,4,6
/proc/23698/task/23703/stat : 23703 (java) R 23694 23698 21372 0 -1 4202560 2510 0 1 0 294 1 0 0 20 0 19 0 280007115 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834323632552 139834153248382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23705] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23705/stat : 23705 (java) S 23694 23698 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834285124392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23707] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23707/stat : 23707 (java) S 23694 23698 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834284071592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23709] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23709/stat : 23709 (java) S 23694 23698 21372 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834283019304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23711] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23711/stat : 23711 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834281966504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23713] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23713/stat : 23713 (java) S 23694 23698 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834280913192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23714] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23714/stat : 23714 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834279860392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23716] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23716/stat : 23716 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834278808104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23718] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23718/stat : 23718 (java) S 23694 23698 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834277755304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23721] ppid=23694 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/23698/task/23721/stat : 23721 (java) S 23694 23698 21372 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 19 0 280007117 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834147445480 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23723] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23723/stat : 23723 (java) S 23694 23698 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834146391544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23725] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23725/stat : 23725 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834145339144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23727] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23727/stat : 23727 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834144287632 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23729] ppid=23694 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3239 0 0 0 33 0 0 0 20 0 19 0 280007120 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 18675 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 1.08 1.13 1.49 4/211 23737
/proc/meminfo: memFree=28571912/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=7.03 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 9510 0 1 0 700 3 0 0 20 0 19 0 280007113 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 20575 2277 9 0 2396937 0
[pid=23698/tid=23703] ppid=23694 vsize=9625004 CPUtime=6.03 cores=0,2,4,6
/proc/23698/task/23703/stat : 23703 (java) R 23694 23698 21372 0 -1 4202560 2516 0 1 0 602 1 0 0 20 0 19 0 280007115 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834323632432 139834153248413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23705] ppid=23694 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/23698/task/23705/stat : 23705 (java) S 23694 23698 21372 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834285124392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23707] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23707/stat : 23707 (java) S 23694 23698 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834284071592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23709] ppid=23694 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/23698/task/23709/stat : 23709 (java) S 23694 23698 21372 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834283019304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23711] ppid=23694 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/23698/task/23711/stat : 23711 (java) S 23694 23698 21372 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834281966504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23713] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23713/stat : 23713 (java) S 23694 23698 21372 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834280913192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23714] ppid=23694 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/23698/task/23714/stat : 23714 (java) S 23694 23698 21372 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834279860392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23716] ppid=23694 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/23698/task/23716/stat : 23716 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834278808104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23718] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23718/stat : 23718 (java) S 23694 23698 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280007116 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834277755304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23721] ppid=23694 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/23698/task/23721/stat : 23721 (java) S 23694 23698 21372 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 280007117 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834147445480 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23723] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23723/stat : 23723 (java) S 23694 23698 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834146391544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23725] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23725/stat : 23725 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834145339144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23727] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23727/stat : 23727 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834144287632 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23729] ppid=23694 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3241 0 0 0 34 0 0 0 20 0 19 0 280007120 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 20575 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=23698/tid=23729] ppid=23694 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3254 0 0 0 37 0 0 0 20 0 19 0 280007120 9856004096 104376 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 104376 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 104376 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 98 0 0 0 19 17 0 0 20 0 19 0 280007120 9856004096 104376 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 104376 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1731.73
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/211 23752
/proc/meminfo: memFree=27863336/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=1792.13 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 12085 0 1 0 179156 57 0 0 20 0 19 0 280007113 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 115640 2278 9 0 2396937 0
[pid=23698/tid=23703] ppid=23694 vsize=9625004 CPUtime=1761.14 cores=0,2,4,6
/proc/23698/task/23703/stat : 23703 (java) R 23694 23698 21372 0 -1 4202560 2855 0 1 0 176083 31 0 0 20 0 19 0 280007115 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834323632432 139834153270438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23705] ppid=23694 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/23698/task/23705/stat : 23705 (java) S 23694 23698 21372 0 -1 4202560 351 0 0 0 158 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834285124392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23707] ppid=23694 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/23698/task/23707/stat : 23707 (java) S 23694 23698 21372 0 -1 4202560 130 0 0 0 142 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834284071592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23709] ppid=23694 vsize=9625004 CPUtime=1.55 cores=0,2,4,6
/proc/23698/task/23709/stat : 23709 (java) S 23694 23698 21372 0 -1 4202560 309 0 0 0 151 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834283019304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23711] ppid=23694 vsize=9625004 CPUtime=1.75 cores=0,2,4,6
/proc/23698/task/23711/stat : 23711 (java) S 23694 23698 21372 0 -1 4202560 458 0 0 0 171 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834281966504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23713] ppid=23694 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/23698/task/23713/stat : 23713 (java) S 23694 23698 21372 0 -1 4202560 274 0 0 0 157 5 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834280913192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23714] ppid=23694 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/23698/task/23714/stat : 23714 (java) S 23694 23698 21372 0 -1 4202560 137 0 0 0 150 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834279860392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23716] ppid=23694 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/23698/task/23716/stat : 23716 (java) S 23694 23698 21372 0 -1 4202560 145 0 0 0 155 3 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834278808104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23718] ppid=23694 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/23698/task/23718/stat : 23718 (java) S 23694 23698 21372 0 -1 4202560 278 0 0 0 155 3 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834277755304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23721] ppid=23694 vsize=9625004 CPUtime=12.76 cores=0,2,4,6
/proc/23698/task/23721/stat : 23721 (java) S 23694 23698 21372 0 -1 4202560 161 0 0 0 1274 2 0 0 20 0 19 0 280007117 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834147445480 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23723] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23723/stat : 23723 (java) S 23694 23698 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834146391544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23725] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23725/stat : 23725 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834145339144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23727] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23727/stat : 23727 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834144287632 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23729] ppid=23694 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3254 0 0 0 37 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 102 0 0 0 20 18 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1792.13
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.2 s]
/proc/loadavg: 2.00 1.99 1.90 2/191 23755
/proc/meminfo: memFree=28263304/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 12085 0 1 0 179946 57 0 0 20 0 19 0 280007113 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2406251 115640 2278 9 0 2396937 0
[pid=23698/tid=23703] ppid=23694 vsize=9625004 CPUtime=1769.03 cores=0,2,4,6
/proc/23698/task/23703/stat : 23703 (java) R 23694 23698 21372 0 -1 4202560 2855 0 1 0 176872 31 0 0 20 0 19 0 280007115 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834323632432 139834153448300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23705] ppid=23694 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/23698/task/23705/stat : 23705 (java) S 23694 23698 21372 0 -1 4202560 351 0 0 0 158 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834285124392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23707] ppid=23694 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/23698/task/23707/stat : 23707 (java) S 23694 23698 21372 0 -1 4202560 130 0 0 0 142 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834284071592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23709] ppid=23694 vsize=9625004 CPUtime=1.55 cores=0,2,4,6
/proc/23698/task/23709/stat : 23709 (java) S 23694 23698 21372 0 -1 4202560 309 0 0 0 151 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834283019304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23711] ppid=23694 vsize=9625004 CPUtime=1.75 cores=0,2,4,6
/proc/23698/task/23711/stat : 23711 (java) S 23694 23698 21372 0 -1 4202560 458 0 0 0 171 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834281966504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23713] ppid=23694 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/23698/task/23713/stat : 23713 (java) S 23694 23698 21372 0 -1 4202560 274 0 0 0 157 5 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834280913192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23714] ppid=23694 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/23698/task/23714/stat : 23714 (java) S 23694 23698 21372 0 -1 4202560 137 0 0 0 150 4 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834279860392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23716] ppid=23694 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/23698/task/23716/stat : 23716 (java) S 23694 23698 21372 0 -1 4202560 145 0 0 0 155 3 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834278808104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23718] ppid=23694 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/23698/task/23718/stat : 23718 (java) S 23694 23698 21372 0 -1 4202560 278 0 0 0 155 3 0 0 20 0 19 0 280007116 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834277755304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23721] ppid=23694 vsize=9625004 CPUtime=12.76 cores=0,2,4,6
/proc/23698/task/23721/stat : 23721 (java) S 23694 23698 21372 0 -1 4202560 161 0 0 0 1274 2 0 0 20 0 19 0 280007117 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834147445480 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23723] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23723/stat : 23723 (java) S 23694 23698 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834146391544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23725] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23725/stat : 23725 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280007118 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834145339144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23727] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23727/stat : 23727 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834144287632 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23729] ppid=23694 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3254 0 0 0 37 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 102 0 0 0 20 18 0 0 20 0 19 0 280007120 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280007138 9856004096 115640 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1790.4 s]
/proc/loadavg: 2.00 1.99 1.90 2/191 23755
/proc/meminfo: memFree=28263304/32873624 swapFree=7104/7104
[pid=23698] ppid=23694 vsize=9758132 CPUtime=1800.39 cores=0,2,4,6
/proc/23698/stat : 23698 (java) S 23694 23698 21372 0 -1 4202496 12182 0 1 0 179978 61 0 0 20 0 21 0 280007113 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 140737250497280 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23698/statm: 2439533 126935 2278 9 0 2430219 0
[pid=23698/tid=23703] ppid=23694 vsize=9758132 CPUtime=1769.03 cores=0,2,4,6
/proc/23698/task/23703/stat : 23703 (java) S 23694 23698 21372 0 -1 4202560 2855 0 1 0 176872 31 0 0 20 0 21 0 280007115 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834323630632 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23705] ppid=23694 vsize=9758132 CPUtime=1.64 cores=0,2,4,6
/proc/23698/task/23705/stat : 23705 (java) S 23694 23698 21372 0 -1 4202560 358 0 0 0 160 4 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834285124392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23707] ppid=23694 vsize=9758132 CPUtime=1.52 cores=0,2,4,6
/proc/23698/task/23707/stat : 23707 (java) S 23694 23698 21372 0 -1 4202560 145 0 0 0 147 5 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834284071592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23709] ppid=23694 vsize=9758132 CPUtime=1.57 cores=0,2,4,6
/proc/23698/task/23709/stat : 23709 (java) S 23694 23698 21372 0 -1 4202560 310 0 0 0 153 4 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834283019304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23711] ppid=23694 vsize=9758132 CPUtime=1.76 cores=0,2,4,6
/proc/23698/task/23711/stat : 23711 (java) S 23694 23698 21372 0 -1 4202560 468 0 0 0 171 5 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834281966504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23713] ppid=23694 vsize=9758132 CPUtime=1.64 cores=0,2,4,6
/proc/23698/task/23713/stat : 23713 (java) S 23694 23698 21372 0 -1 4202560 281 0 0 0 158 6 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834280913192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23714] ppid=23694 vsize=9758132 CPUtime=1.55 cores=0,2,4,6
/proc/23698/task/23714/stat : 23714 (java) S 23694 23698 21372 0 -1 4202560 139 0 0 0 151 4 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834279860392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23716] ppid=23694 vsize=9758132 CPUtime=1.6 cores=0,2,4,6
/proc/23698/task/23716/stat : 23716 (java) S 23694 23698 21372 0 -1 4202560 149 0 0 0 157 3 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834278808104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23718] ppid=23694 vsize=9758132 CPUtime=1.62 cores=0,2,4,6
/proc/23698/task/23718/stat : 23718 (java) S 23694 23698 21372 0 -1 4202560 293 0 0 0 158 4 0 0 20 0 21 0 280007116 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834277755304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23721] ppid=23694 vsize=9758132 CPUtime=12.89 cores=0,2,4,6
/proc/23698/task/23721/stat : 23721 (java) R 23694 23698 21372 0 -1 4202560 168 0 0 0 1286 3 0 0 20 0 21 0 280007117 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834147444240 227512172869 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23723] ppid=23694 vsize=9758132 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23723/stat : 23723 (java) S 23694 23698 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 280007118 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834146391544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23725] ppid=23694 vsize=9758132 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23725/stat : 23725 (java) S 23694 23698 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 280007118 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834145339144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23727] ppid=23694 vsize=9758132 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23727/stat : 23727 (java) S 23694 23698 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 280007120 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834144287632 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23698/tid=23729] ppid=23694 vsize=9758132 CPUtime=0.37 cores=0,2,4,6
/proc/23698/task/23729/stat : 23729 (java) S 23694 23698 21372 0 -1 4202560 3254 0 0 0 37 0 0 0 20 0 21 0 280007120 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834143234232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23698/tid=23731] ppid=23694 vsize=9758132 CPUtime=0.28 cores=0,2,4,6
/proc/23698/task/23731/stat : 23731 (java) S 23694 23698 21372 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 21 0 280007120 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834142181432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23733] ppid=23694 vsize=9758132 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23733/stat : 23733 (java) S 23694 23698 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 280007120 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834141129336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23698/tid=23735] ppid=23694 vsize=9758132 CPUtime=0.38 cores=0,2,4,6
/proc/23698/task/23735/stat : 23735 (java) S 23694 23698 21372 0 -1 4202560 102 0 0 0 20 18 0 0 20 0 21 0 280007120 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834140076744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23698/tid=23737] ppid=23694 vsize=9758132 CPUtime=0 cores=0,2,4,6
/proc/23698/task/23737/stat : 23737 (java) S 23694 23698 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 280007138 9992327168 126935 33554432000 1073741824 1073778376 140737250506144 139834139022760 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 9758132

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23698 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=187090
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=15845
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.44
CPU time (s): 1800.39
CPU user time (s): 1799.78
CPU system time (s): 0.61
CPU usage (%): 100.556
Max. virtual memory (cumulated for all children) (KiB): 9758132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 1.01585
maximum resident set size= 517096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12479
page faults= 1
swaps= 0
block input operations= 88
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46410
involuntary context switches= 34532

runsolver used 6.06008 second user time and 14.6028 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-27 19:13:36
IDJOB=3710647
IDBENCH=1953
IDSOLVER=2289
FILE ID=node121/3710647-1338138816
RUNJOBID= node121-1338138816-23672
PBS_JOBID= 14624482
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710647-1338138816/watcher-3710647-1338138816 -o /tmp/evaluation-result-3710647-1338138816/solver-3710647-1338138816 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710647-1338138816.opb

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

MD5SUM BENCH= 19bfc1d5b7087888ef5c79946c60f053
RANDOM SEED=1917473025

node121.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		: 2667.042
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	: 5334.08
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		: 2667.042
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		: 2667.042
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.92
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28724044 kB
Buffers:          509596 kB
Cached:          2772928 kB
SwapCached:            0 kB
Active:           773908 kB
Inactive:        2520672 kB
Active(anon):      12892 kB
Inactive(anon):        0 kB
Active(file):     761016 kB
Inactive(file):  2520672 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1568 kB
Writeback:             0 kB
AnonPages:         17204 kB
Mapped:            13436 kB
Shmem:               200 kB
Slab:             717584 kB
SReclaimable:     162000 kB
SUnreclaim:       555584 kB
KernelStack:        1376 kB
PageTables:         4036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:      92492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node121 at 2012-05-27 19:43:29