Trace number 3718015

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.61 1795.95

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap103_wcsp.wbo
MD5SUM731e2b3d085e2d31d63a0bd0dc294faf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark8943592
Best CPU time to get the best result obtained on this benchmark1800.61
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 61786724
Min constraint cost 1
Max constraint cost 61786724
Sum of constraints costs 77838680126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3718015-1338254911.wbo
0.08/0.11	c reading problem ... 
0.26/0.29	c ... done. Wall clock time 0.181s.
0.26/0.29	c declared #vars     1300
0.26/0.29	c internal #vars     3823
0.26/0.29	c #constraints  2674
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1300
0.26/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1323
0.26/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.26/0.29	c 2674 constraints processed.
0.26/0.29	c objective function length is 2523 literals
0.50/0.36	c SATISFIABLE
0.50/0.36	c OPTIMIZING...
0.50/0.36	c Got one! Elapsed wall clock time (in seconds):0.252
0.50/0.36	o 8943592
1.71/1.07	c cleaning 2499 clauses out of 5000 with flag 14335/5000
2.50/1.69	c cleaning 4251 clauses out of 8501 with flag 32432/11000
3.41/2.55	c cleaning 5619 clauses out of 11250 with flag 56883/18000
4.43/3.56	c cleaning 6809 clauses out of 13631 with flag 85395/26000
5.58/4.63	c cleaning 7912 clauses out of 15823 with flag 114987/35001
6.79/5.89	c cleaning 8940 clauses out of 17911 with flag 146965/45001
8.19/7.27	c cleaning 9973 clauses out of 19970 with flag 183411/56000
9.80/8.82	c cleaning 10991 clauses out of 21997 with flag 224757/68000
11.50/10.53	c cleaning 11969 clauses out of 24006 with flag 270659/81000
13.01/12.09	c cleaning 13013 clauses out of 26038 with flag 314531/95001
15.01/14.07	c cleaning 13997 clauses out of 28024 with flag 374172/110000
17.13/16.11	c cleaning 15005 clauses out of 30028 with flag 432673/126001
19.24/18.28	c cleaning 16003 clauses out of 32022 with flag 496866/143000
21.75/20.73	c cleaning 16989 clauses out of 34019 with flag 558760/161000
24.25/23.26	c cleaning 18013 clauses out of 36031 with flag 633242/180001
26.95/25.97	c cleaning 18997 clauses out of 38017 with flag 708742/200000
29.75/28.78	c cleaning 20006 clauses out of 40023 with flag 792076/221003
32.76/31.75	c cleaning 20995 clauses out of 42014 with flag 875351/243000
35.67/34.68	c cleaning 22006 clauses out of 44019 with flag 963225/266000
38.98/37.90	c cleaning 22991 clauses out of 46013 with flag 1053085/290000
42.28/41.23	c cleaning 23999 clauses out of 48023 with flag 1146364/315001
45.70/44.66	c cleaning 24994 clauses out of 50023 with flag 1236919/341000
49.40/48.32	c cleaning 26001 clauses out of 52030 with flag 1333347/368001
53.11/52.08	c cleaning 27016 clauses out of 54031 with flag 1439883/396003
57.02/55.93	c cleaning 27999 clauses out of 56012 with flag 1544817/425000
61.13/60.05	c cleaning 28995 clauses out of 58013 with flag 1652869/455000
65.66/64.58	c cleaning 30004 clauses out of 60018 with flag 1779288/486000
70.17/69.05	c cleaning 30998 clauses out of 62015 with flag 1908025/518001
75.09/73.95	c cleaning 31993 clauses out of 64018 with flag 2044188/551002
80.20/79.06	c cleaning 32998 clauses out of 66025 with flag 2190370/585002
85.30/84.14	c cleaning 33990 clauses out of 68026 with flag 2345342/620001
90.41/89.26	c cleaning 35017 clauses out of 70037 with flag 2483837/656002
95.65/94.41	c cleaning 35987 clauses out of 72021 with flag 2627531/693003
100.97/99.80	c cleaning 37004 clauses out of 74031 with flag 2773582/731000
106.58/105.38	c cleaning 38001 clauses out of 76027 with flag 2923619/770000
112.31/111.05	c cleaning 38980 clauses out of 78026 with flag 3086689/810000
118.51/117.26	c cleaning 40012 clauses out of 80047 with flag 3235072/851001
125.01/123.71	c cleaning 41009 clauses out of 82036 with flag 3409261/893002
131.71/130.48	c cleaning 41997 clauses out of 84025 with flag 3607801/936000
139.02/137.74	c cleaning 43000 clauses out of 86029 with flag 3808572/980001
146.14/144.85	c cleaning 43994 clauses out of 88028 with flag 4020109/1025000
153.55/152.29	c cleaning 44999 clauses out of 90034 with flag 4205773/1071000
161.26/159.90	c cleaning 45998 clauses out of 92036 with flag 4399910/1118001
169.08/167.74	c cleaning 47007 clauses out of 94037 with flag 4595662/1166000
177.60/176.28	c cleaning 47994 clauses out of 96031 with flag 4834160/1215001
186.03/184.64	c cleaning 49006 clauses out of 98036 with flag 5053080/1265000
194.04/192.63	c cleaning 50000 clauses out of 100030 with flag 5237094/1316000
202.39/200.97	c cleaning 50998 clauses out of 102031 with flag 5482502/1368001
211.01/209.59	c cleaning 52012 clauses out of 104032 with flag 5730342/1421000
219.92/218.49	c cleaning 53001 clauses out of 106025 with flag 5970073/1475005
228.64/227.16	c cleaning 53983 clauses out of 108019 with flag 6192732/1530000
237.35/235.81	c cleaning 55008 clauses out of 110036 with flag 6433470/1586000
246.48/244.90	c cleaning 55987 clauses out of 112028 with flag 6683650/1643000
255.41/253.88	c cleaning 56995 clauses out of 114041 with flag 6895617/1701000
264.44/262.86	c cleaning 58008 clauses out of 116046 with flag 7125968/1760000
273.85/272.23	c cleaning 58998 clauses out of 118040 with flag 7374801/1820002
283.76/282.20	c cleaning 59997 clauses out of 120043 with flag 7609580/1881003
294.07/292.41	c cleaning 61013 clauses out of 122045 with flag 7878900/1943002
304.58/302.93	c cleaning 62012 clauses out of 124030 with flag 8145838/2006000
314.90/313.26	c cleaning 62986 clauses out of 126020 with flag 8429240/2070002
326.43/324.70	c cleaning 64008 clauses out of 128033 with flag 8699062/2135001
337.76/336.00	c cleaning 65005 clauses out of 130026 with flag 8959167/2201002
349.08/347.38	c cleaning 66003 clauses out of 132020 with flag 9215303/2268001
361.40/359.68	c cleaning 67000 clauses out of 134017 with flag 9513478/2336001
373.74/371.92	c cleaning 67984 clauses out of 136016 with flag 9777767/2405000
386.46/384.64	c cleaning 69003 clauses out of 138035 with flag 10061076/2475003
399.50/397.62	c cleaning 69992 clauses out of 140029 with flag 10366504/2546000
412.64/410.78	c cleaning 71014 clauses out of 142037 with flag 10643058/2618000
426.85/424.90	c cleaning 71990 clauses out of 144024 with flag 10951909/2691001
440.78/438.87	c cleaning 73009 clauses out of 146033 with flag 11241468/2765000
456.50/454.51	c cleaning 73997 clauses out of 148024 with flag 11526793/2840000
471.53/469.50	c cleaning 74992 clauses out of 150027 with flag 11823577/2916000
487.07/485.01	c cleaning 75997 clauses out of 152036 with flag 12109064/2993001
502.10/500.09	c cleaning 76993 clauses out of 154038 with flag 12448303/3071000
517.84/515.78	c cleaning 78016 clauses out of 156046 with flag 12767929/3150001
533.87/531.76	c cleaning 79010 clauses out of 158031 with flag 13119097/3230002
548.68/546.54	c cleaning 79990 clauses out of 160020 with flag 13437327/3311001
563.20/561.08	c cleaning 80976 clauses out of 162029 with flag 13755405/3393000
578.22/576.05	c cleaning 82004 clauses out of 164053 with flag 14102429/3476000
593.84/591.68	c cleaning 83012 clauses out of 166049 with flag 14466958/3560000
609.17/606.96	c cleaning 83995 clauses out of 168038 with flag 14801121/3645001
625.40/623.18	c cleaning 85005 clauses out of 170043 with flag 15155629/3731001
641.83/639.51	c cleaning 86006 clauses out of 172039 with flag 15518913/3818002
658.05/655.74	c cleaning 87003 clauses out of 174031 with flag 15873931/3906000
674.99/672.64	c cleaning 87984 clauses out of 176029 with flag 16214530/3995001
691.83/689.47	c cleaning 88995 clauses out of 178044 with flag 16567605/4085000
708.46/706.02	c cleaning 90016 clauses out of 180051 with flag 16894749/4176002
725.47/723.00	c cleaning 90989 clauses out of 182033 with flag 17203437/4268000
742.73/740.28	c cleaning 92013 clauses out of 184044 with flag 17530401/4361000
759.84/757.37	c cleaning 93004 clauses out of 186032 with flag 17861205/4455001
778.96/776.49	c cleaning 93988 clauses out of 188027 with flag 18254316/4550000
797.31/794.71	c cleaning 95011 clauses out of 190041 with flag 18615826/4646002
815.32/812.75	c cleaning 95982 clauses out of 192028 with flag 18985397/4743000
833.66/831.02	c cleaning 97004 clauses out of 194048 with flag 19375269/4841002
852.48/849.81	c cleaning 98000 clauses out of 196044 with flag 19746942/4940002
871.01/868.39	c cleaning 99013 clauses out of 198042 with flag 20149487/5040000
889.80/887.09	c cleaning 100006 clauses out of 200030 with flag 20506316/5141001
909.27/906.48	c cleaning 101006 clauses out of 202023 with flag 20912456/5243000
928.89/926.02	c cleaning 101980 clauses out of 204019 with flag 21254553/5346002
949.12/946.22	c cleaning 103003 clauses out of 206038 with flag 21638306/5450001
969.97/967.04	c cleaning 103992 clauses out of 208036 with flag 22031194/5555002
990.32/987.37	c cleaning 105001 clauses out of 210044 with flag 22396761/5661002
1011.85/1008.82	c cleaning 106015 clauses out of 212041 with flag 22814710/5768000
1033.80/1030.78	c cleaning 106991 clauses out of 214028 with flag 23225885/5876002
1054.81/1051.78	c cleaning 108014 clauses out of 216035 with flag 23626897/5985000
1076.63/1073.58	c cleaning 108972 clauses out of 218022 with flag 24042735/6095001
1099.16/1096.08	c cleaning 110020 clauses out of 220049 with flag 24458407/6206000
1121.59/1118.43	c cleaning 110995 clauses out of 222030 with flag 24879070/6318001
1143.61/1140.40	c cleaning 111989 clauses out of 224037 with flag 25329056/6431003
1165.35/1162.19	c cleaning 112999 clauses out of 226047 with flag 25721987/6545002
1187.57/1184.33	c cleaning 113987 clauses out of 228048 with flag 26091765/6660002
1210.23/1206.96	c cleaning 115021 clauses out of 230060 with flag 26520903/6776001
1232.76/1229.46	c cleaning 116006 clauses out of 232038 with flag 27041432/6893000
1255.91/1252.55	c cleaning 117002 clauses out of 234032 with flag 27521491/7011000
1279.22/1275.86	c cleaning 117987 clauses out of 236030 with flag 28018139/7130000
1305.35/1301.94	c cleaning 119003 clauses out of 238045 with flag 28511458/7250002
1330.11/1326.67	c cleaning 119970 clauses out of 240040 with flag 28979811/7371000
1353.16/1349.63	c cleaning 121033 clauses out of 242074 with flag 29485258/7493004
1376.37/1372.84	c cleaning 121993 clauses out of 244039 with flag 29968629/7616002
1401.58/1398.07	c cleaning 123017 clauses out of 246044 with flag 30454329/7740000
1426.91/1423.33	c cleaning 123988 clauses out of 248027 with flag 30951714/7865000
1453.13/1449.51	c cleaning 125012 clauses out of 250041 with flag 31439222/7991002
1477.67/1474.02	c cleaning 125995 clauses out of 252028 with flag 31919815/8118001
1504.89/1501.24	c cleaning 126997 clauses out of 254033 with flag 32417233/8246001
1531.99/1528.28	c cleaning 127991 clauses out of 256035 with flag 32925562/8375000
1558.42/1554.69	c cleaning 129017 clauses out of 258044 with flag 33472700/8505000
1585.46/1581.63	c cleaning 130002 clauses out of 260028 with flag 33924062/8636001
1614.38/1610.55	c cleaning 131014 clauses out of 262027 with flag 34437143/8768002
1642.63/1638.79	c cleaning 131980 clauses out of 264011 with flag 34906502/8901000
1672.06/1668.14	c cleaning 133006 clauses out of 266032 with flag 35414936/9035001
1701.08/1697.14	c cleaning 134000 clauses out of 268026 with flag 35919931/9170001
1730.72/1726.73	c cleaning 134988 clauses out of 270025 with flag 36382812/9306000
1759.87/1755.81	c cleaning 135997 clauses out of 272040 with flag 36831976/9443003
1787.82/1783.77	c cleaning 136998 clauses out of 274041 with flag 37353755/9581001
1800.07/1795.91	c starts		: 301
1800.07/1795.91	c conflicts		: 9649059
1800.07/1795.91	c decisions		: 30218125
1800.07/1795.91	c propagations		: 4905576716
1800.07/1795.91	c inspects		: 9843931887
1800.07/1795.91	c shortcuts		: 0
1800.07/1795.91	c learnt literals	: 0
1800.07/1795.91	c learnt binary clauses	: 0
1800.07/1795.91	c learnt ternary clauses	: 0
1800.07/1795.91	c learnt constraints	: 9649059
1800.07/1795.91	c ignored constraints	: 0
1800.07/1795.91	c root simplifications	: 0
1800.07/1795.91	c removed literals (reason simplification)	: 0
1800.07/1795.91	c reason swapping (by a shorter reason)	: 0
1800.07/1795.91	c Calls to reduceDB	: 134
1800.07/1795.91	c Number of update (reduction) of LBD	: 4939076
1800.07/1795.91	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.91	c number of learned constraints concerned by reduction	: 0
1800.07/1795.91	c number of learning phase by resolution	: 0
1800.07/1795.91	c number of learning phase by cutting planes	: 0
1800.07/1795.91	c speed (assignments/second)	: 2732022.065789144
1800.07/1795.91	c non guided choices	27
1800.07/1795.94	c learnt constraints type 
1800.07/1795.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 205202
1800.07/1795.94	c constraints type 
1800.07/1795.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1300
1800.07/1795.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
1800.07/1795.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1323
1800.07/1795.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.07/1795.94	c 2675 constraints processed.
1800.07/1795.94	s SATISFIABLE
1800.07/1795.94	v x1 -x2 -x3 x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 -x17 x18 -x19 x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
1800.07/1795.94	c objective function=8943592
1800.07/1795.94	c Total wall clock time (in seconds): 1795.836

Verifier Data 

OK	8943592

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 3/195 31307
/proc/meminfo: memFree=30627240/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31307/stat : 31307 (java) D 31305 31307 27324 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291617057 9515008 182 33554432000 1073741824 1073778376 140737436467216 140737436458248 217410518709 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/31307/statm: 2323 182 140 9 0 71 0

[startup+0.0158999 s]
/proc/loadavg: 1.99 2.00 2.00 3/195 31307
/proc/meminfo: memFree=30627240/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 291617057 103964672 1053 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 25382 1053 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100225 s]
/proc/loadavg: 1.99 2.00 2.00 3/195 31307
/proc/meminfo: memFree=30627240/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 4369 0 1 0 8 0 0 0 20 0 18 0 291617057 9787817984 5569 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2389604 5569 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300176 s]
/proc/loadavg: 1.99 2.00 2.00 3/195 31307
/proc/meminfo: memFree=30627240/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9558416 CPUtime=0.5 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 6164 0 1 0 49 1 0 0 20 0 18 0 291617057 9787817984 8707 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2389604 8707 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558416

[startup+0.700224 s]
/proc/loadavg: 1.99 2.00 2.00 3/195 31307
/proc/meminfo: memFree=30627240/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=1.39 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 10915 0 1 0 137 2 0 0 20 0 19 0 291617057 9855979520 11826 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 11826 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9624980

[startup+1.50062 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 31326
/proc/meminfo: memFree=30588636/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=2.37 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 15300 0 1 0 235 2 0 0 20 0 19 0 291617057 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 16973 2274 9 0 2396937 0
[pid=31307/tid=31309] ppid=31305 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/31307/task/31309/stat : 31309 (java) R 31305 31307 27324 0 -1 4202560 2460 0 1 0 145 0 0 0 20 0 19 0 291617058 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519304413560 140519133576126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31310] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31310/stat : 31310 (java) S 31305 31307 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519265905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31311] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31311/stat : 31311 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519264852776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31312] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31312/stat : 31312 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519263800232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31313] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31313/stat : 31313 (java) S 31305 31307 27324 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519262747688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31314] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31314/stat : 31314 (java) S 31305 31307 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519261694120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3704 0 0 0 36 0 0 0 20 0 19 0 291617063 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7889 0 0 0 50 0 0 0 20 0 19 0 291617063 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 16973 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9624980

[startup+3.10056 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 31326
/proc/meminfo: memFree=30563512/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=4.03 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 15314 0 1 0 400 3 0 0 20 0 19 0 291617057 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 18004 2275 9 0 2396937 0
[pid=31307/tid=31309] ppid=31305 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/31307/task/31309/stat : 31309 (java) R 31305 31307 27324 0 -1 4202560 2461 0 1 0 302 0 0 0 20 0 19 0 291617058 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519304413472 140519133529635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31310] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31310/stat : 31310 (java) S 31305 31307 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519265905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31311] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31311/stat : 31311 (java) S 31305 31307 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519264852776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31312] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31312/stat : 31312 (java) S 31305 31307 27324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519263800232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31313] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31313/stat : 31313 (java) S 31305 31307 27324 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519262747688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31314] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31314/stat : 31314 (java) S 31305 31307 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519261694120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 291617060 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3704 0 0 0 38 0 0 0 20 0 19 0 291617063 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7891 0 0 0 52 0 0 0 20 0 19 0 291617063 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 18004 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9624980

[startup+6.30056 s]
/proc/loadavg: 1.91 1.98 1.99 3/214 31326
/proc/meminfo: memFree=30560720/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=7.29 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 15390 0 1 0 726 3 0 0 20 0 19 0 291617057 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 19078 2275 9 0 2396937 0
[pid=31307/tid=31309] ppid=31305 vsize=9624980 CPUtime=6.16 cores=1,3,5,7
/proc/31307/task/31309/stat : 31309 (java) R 31305 31307 27324 0 -1 4202560 2464 0 1 0 616 0 0 0 20 0 19 0 291617058 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519304413472 140519133540279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31310] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31310/stat : 31310 (java) S 31305 31307 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519265905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31311] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31311/stat : 31311 (java) S 31305 31307 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519264852776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31312] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31312/stat : 31312 (java) S 31305 31307 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519263800232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31313] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31313/stat : 31313 (java) S 31305 31307 27324 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519262747688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31314] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31314/stat : 31314 (java) S 31305 31307 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519261694120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291617059 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 291617060 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3712 0 0 0 38 0 0 0 20 0 19 0 291617063 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7943 0 0 0 57 0 0 0 20 0 19 0 291617063 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 19078 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 174 0 0 0 47 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 166 0 0 0 48 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 203 0 0 0 53 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=5.16 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 160 0 0 0 514 2 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3712 0 0 0 38 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7953 0 0 0 59 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 98 0 0 0 19 20 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.32
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 31601
/proc/meminfo: memFree=30691428/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=1786.42 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 17578 0 1 0 178604 38 0 0 20 0 19 0 291617057 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 56838 2276 9 0 2396937 0
[pid=31307/tid=31309] ppid=31305 vsize=9624980 CPUtime=1775.74 cores=1,3,5,7
/proc/31307/task/31309/stat : 31309 (java) R 31305 31307 27324 0 -1 4202560 2615 0 1 0 177545 29 0 0 20 0 19 0 291617058 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519304413472 140519133769343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31310] ppid=31305 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/31307/task/31310/stat : 31310 (java) S 31305 31307 27324 0 -1 4202560 244 0 0 0 52 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519265905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31311] ppid=31305 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/31307/task/31311/stat : 31311 (java) S 31305 31307 27324 0 -1 4202560 204 0 0 0 49 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519264852776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31312] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31312/stat : 31312 (java) S 31305 31307 27324 0 -1 4202560 137 0 0 0 50 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519263800232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31313] ppid=31305 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/31307/task/31313/stat : 31313 (java) S 31305 31307 27324 0 -1 4202560 471 0 0 0 49 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519262747688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31314] ppid=31305 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/31307/task/31314/stat : 31314 (java) S 31305 31307 27324 0 -1 4202560 247 0 0 0 52 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519261694120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 174 0 0 0 48 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 166 0 0 0 49 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 203 0 0 0 55 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=5.31 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 164 0 0 0 528 3 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3712 0 0 0 38 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7953 0 0 0 59 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 102 0 0 0 19 21 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.42
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 31601
/proc/meminfo: memFree=30691432/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 17581 0 1 0 179969 38 0 0 20 0 19 0 291617057 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 56838 2276 9 0 2396937 0
[pid=31307/tid=31309] ppid=31305 vsize=9624980 CPUtime=1789.27 cores=1,3,5,7
/proc/31307/task/31309/stat : 31309 (java) R 31305 31307 27324 0 -1 4202560 2616 0 1 0 178897 30 0 0 20 0 19 0 291617058 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519304413472 140519133621235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31310] ppid=31305 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/31307/task/31310/stat : 31310 (java) S 31305 31307 27324 0 -1 4202560 244 0 0 0 52 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519265905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31311] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31311/stat : 31311 (java) S 31305 31307 27324 0 -1 4202560 204 0 0 0 50 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519264852776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31312] ppid=31305 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/31307/task/31312/stat : 31312 (java) S 31305 31307 27324 0 -1 4202560 137 0 0 0 51 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519263800232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31313] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31313/stat : 31313 (java) S 31305 31307 27324 0 -1 4202560 471 0 0 0 50 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519262747688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31314] ppid=31305 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/31307/task/31314/stat : 31314 (java) S 31305 31307 27324 0 -1 4202560 247 0 0 0 53 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519261694120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 174 0 0 0 49 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 166 0 0 0 50 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 203 0 0 0 56 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=5.37 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 166 0 0 0 534 3 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3712 0 0 0 38 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7953 0 0 0 59 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 31601
/proc/meminfo: memFree=30691432/32873648 swapFree=7372/7372
[pid=31307] ppid=31305 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/31307/stat : 31307 (java) S 31305 31307 27324 0 -1 4202496 17581 0 1 0 179969 38 0 0 20 0 19 0 291617057 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140737211971856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31307/statm: 2406245 56838 2276 9 0 2396937 0
[pid=31307/tid=31309] ppid=31305 vsize=9624980 CPUtime=1789.27 cores=1,3,5,7
/proc/31307/task/31309/stat : 31309 (java) R 31305 31307 27324 0 -1 4202560 2616 0 1 0 178897 30 0 0 20 0 19 0 291617058 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519304413472 140519133621235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31310] ppid=31305 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/31307/task/31310/stat : 31310 (java) S 31305 31307 27324 0 -1 4202560 244 0 0 0 52 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519265905320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31311] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31311/stat : 31311 (java) S 31305 31307 27324 0 -1 4202560 204 0 0 0 50 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519264852776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31312] ppid=31305 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/31307/task/31312/stat : 31312 (java) S 31305 31307 27324 0 -1 4202560 137 0 0 0 51 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519263800232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31313] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31313/stat : 31313 (java) S 31305 31307 27324 0 -1 4202560 471 0 0 0 50 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519262747688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31314] ppid=31305 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/31307/task/31314/stat : 31314 (java) S 31305 31307 27324 0 -1 4202560 247 0 0 0 53 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519261694120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31315] ppid=31305 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/31307/task/31315/stat : 31315 (java) S 31305 31307 27324 0 -1 4202560 174 0 0 0 49 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519260641576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31316] ppid=31305 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/31307/task/31316/stat : 31316 (java) S 31305 31307 27324 0 -1 4202560 166 0 0 0 50 2 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519259589032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31317] ppid=31305 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/31307/task/31317/stat : 31317 (java) S 31305 31307 27324 0 -1 4202560 203 0 0 0 56 1 0 0 20 0 19 0 291617059 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519258536488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31318] ppid=31305 vsize=9624980 CPUtime=5.37 cores=1,3,5,7
/proc/31307/task/31318/stat : 31318 (java) S 31305 31307 27324 0 -1 4202560 166 0 0 0 534 3 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519128672872 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31319] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31319/stat : 31319 (java) S 31305 31307 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519127619192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31320] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31320/stat : 31320 (java) S 31305 31307 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291617060 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519126566536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31321] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31321/stat : 31321 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519125515280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31322] ppid=31305 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31307/task/31322/stat : 31322 (java) S 31305 31307 27324 0 -1 4202560 3712 0 0 0 38 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519124461624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31307/tid=31323] ppid=31305 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/31307/task/31323/stat : 31323 (java) S 31305 31307 27324 0 -1 4202560 7953 0 0 0 59 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519123409080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31307/tid=31324] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31324/stat : 31324 (java) S 31305 31307 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519122356728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31307/tid=31325] ppid=31305 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/31307/task/31325/stat : 31325 (java) S 31305 31307 27324 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 291617063 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519121304392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31307/tid=31326] ppid=31305 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31307/task/31326/stat : 31326 (java) S 31305 31307 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291617090 9855979520 56838 33554432000 1073741824 1073778376 140737211980720 140519119439144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

Child status: 143
Real time (s): 1795.95
CPU time (s): 1800.61
CPU user time (s): 1799.81
CPU system time (s): 0.802877
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.802877
maximum resident set size= 227500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17621
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41675
involuntary context switches= 12897

runsolver used 5.39318 second user time and 15.6306 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-29 03:28:31
IDJOB=3718015
IDBENCH=79506
IDSOLVER=2301
FILE ID=node122/3718015-1338254911
RUNJOBID= node122-1338247599-29941
PBS_JOBID= 14624660
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap103_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718015-1338254911/watcher-3718015-1338254911 -o /tmp/evaluation-result-3718015-1338254911/solver-3718015-1338254911 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718015-1338254911.wbo

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

MD5SUM BENCH= 731e2b3d085e2d31d63a0bd0dc294faf
RANDOM SEED=1676630359

node122.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.533
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.06
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.533
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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
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.533
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.533
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.533
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	: 5438.54
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.533
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.91
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.533
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:       32873648 kB
MemFree:        30627884 kB
Buffers:          342812 kB
Cached:           491744 kB
SwapCached:         1104 kB
Active:          1288724 kB
Inactive:         101388 kB
Active(anon):     551436 kB
Inactive(anon):     6052 kB
Active(file):     737288 kB
Inactive(file):    95336 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102812 kB
Dirty:               428 kB
Writeback:             0 kB
AnonPages:        561568 kB
Mapped:            19040 kB
Shmem:                 8 kB
Slab:             715944 kB
SReclaimable:     159924 kB
SUnreclaim:       556020 kB
KernelStack:        1608 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1085788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    526336 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= 71684 MiB
End job on node122 at 2012-05-29 03:58:29