Trace number 3688713

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-90 1801.1 1787.12

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
MD5SUM8d62286ae12c02f1d9e42b05c51333f2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-116
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

Quality of the solution as a function of time


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

Solver Data 

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.2.v20120418
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization by upper bound
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3688713-1337886475.opb
0.06/0.14	c reading problem ... 
0.67/0.43	c ... done. Wall clock time 0.295s.
0.67/0.43	c declared #vars     500
0.67/0.43	c internal #vars     3664
0.67/0.43	c #constraints  6828
0.67/0.43	c constraints type 
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3164
0.67/0.43	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
0.67/0.43	c ignored satisfied constraints => 500
0.67/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3164
0.67/0.43	c 7328 constraints processed.
0.67/0.43	c objective function length is 500 literals
0.67/0.47	c SATISFIABLE
0.67/0.47	c OPTIMIZING...
0.67/0.47	c Got one! Elapsed wall clock time (in seconds):0.339
0.67/0.48	o -82
1.56/0.70	c Got one! Elapsed wall clock time (in seconds):0.562
1.56/0.70	o -83
1.98/1.09	c cleaning 2725 clauses out of 5450 with flag 5000/5450
2.32/1.32	c Got one! Elapsed wall clock time (in seconds):1.184
2.32/1.32	o -84
2.42/1.46	c cleaning 3957 clauses out of 7914 with flag 2001/10639
2.96/1.91	c cleaning 4977 clauses out of 9957 with flag 8001/16639
3.38/2.38	c cleaning 5985 clauses out of 11979 with flag 15000/23638
4.01/2.95	c cleaning 6992 clauses out of 13994 with flag 23000/31638
4.73/3.63	c cleaning 7997 clauses out of 16002 with flag 32000/40638
5.53/4.42	c cleaning 9001 clauses out of 18006 with flag 42001/50639
6.45/5.30	c cleaning 10000 clauses out of 20004 with flag 53000/61638
7.36/6.23	c cleaning 11001 clauses out of 22004 with flag 65000/73638
8.46/7.31	c cleaning 12002 clauses out of 24004 with flag 78001/86639
9.58/8.42	c cleaning 12999 clauses out of 26001 with flag 92000/100638
10.90/9.74	c cleaning 14002 clauses out of 28004 with flag 107002/115640
12.11/10.95	c Got one! Elapsed wall clock time (in seconds):10.813
12.11/10.95	o -85
12.67/11.40	c cleaning 16635 clauses out of 33276 with flag 5000/134914
13.10/11.89	c cleaning 11318 clauses out of 22641 with flag 11000/140914
13.70/12.44	c cleaning 9161 clauses out of 18323 with flag 18000/147914
14.31/13.03	c Got one! Elapsed wall clock time (in seconds):12.898
14.31/13.03	o -86
14.64/13.38	c cleaning 10944 clauses out of 21887 with flag 5001/160639
15.15/13.84	c cleaning 8471 clauses out of 16942 with flag 11000/166638
15.66/14.38	c cleaning 7730 clauses out of 15472 with flag 18001/173639
15.76/14.48	c Got one! Elapsed wall clock time (in seconds):14.345
15.76/14.48	o -87
16.06/14.77	c cleaning 6436 clauses out of 12881 with flag 4000/178778
16.56/15.21	c cleaning 6219 clauses out of 12445 with flag 10000/184778
17.06/15.74	c cleaning 6609 clauses out of 13226 with flag 17000/191778
17.66/16.32	c cleaning 7307 clauses out of 14617 with flag 25000/199778
18.28/16.95	c cleaning 8155 clauses out of 16310 with flag 34000/208778
19.11/17.72	c cleaning 9077 clauses out of 18156 with flag 44001/218779
20.02/18.61	c cleaning 10038 clauses out of 20079 with flag 55001/229779
21.03/19.66	c cleaning 11019 clauses out of 22041 with flag 67001/241779
22.26/20.83	c cleaning 12011 clauses out of 24022 with flag 80001/254779
23.58/22.10	c cleaning 13002 clauses out of 26010 with flag 94000/268778
24.88/23.47	c cleaning 13999 clauses out of 28009 with flag 109001/283779
26.40/24.91	c cleaning 15001 clauses out of 30010 with flag 125001/299779
27.92/26.45	c cleaning 16003 clauses out of 32009 with flag 142001/316779
29.53/28.09	c cleaning 17003 clauses out of 34006 with flag 160001/334779
31.26/29.77	c cleaning 17998 clauses out of 36002 with flag 179000/353778
33.07/31.57	c cleaning 19002 clauses out of 38004 with flag 199000/373778
34.98/33.40	c cleaning 19998 clauses out of 40002 with flag 220000/394778
36.89/35.33	c cleaning 20997 clauses out of 42004 with flag 242000/416778
39.01/37.45	c cleaning 22004 clauses out of 44007 with flag 265000/439778
41.03/39.47	c cleaning 23000 clauses out of 46003 with flag 289000/463778
41.74/40.12	c Got one! Elapsed wall clock time (in seconds):39.983
41.74/40.12	o -88
42.25/40.68	c cleaning 18169 clauses out of 36338 with flag 5000/477113
42.85/41.24	c cleaning 12080 clauses out of 24170 with flag 11001/483114
43.39/41.80	c cleaning 9540 clauses out of 19090 with flag 18001/490114
43.99/42.38	c cleaning 8767 clauses out of 17549 with flag 26000/498113
44.59/42.98	c cleaning 8884 clauses out of 17782 with flag 35000/507113
45.39/43.70	c cleaning 9449 clauses out of 18899 with flag 45001/517114
46.19/44.53	c cleaning 10224 clauses out of 20449 with flag 56000/528113
47.01/45.38	c cleaning 11111 clauses out of 22225 with flag 68000/540113
48.01/46.35	c cleaning 12054 clauses out of 24115 with flag 81001/553114
49.02/47.38	c cleaning 13029 clauses out of 26061 with flag 95001/567114
50.22/48.51	c cleaning 14013 clauses out of 28032 with flag 110001/582114
51.42/49.71	c cleaning 15004 clauses out of 30019 with flag 126001/598114
52.73/51.05	c cleaning 16006 clauses out of 32014 with flag 143000/615113
53.94/52.29	c cleaning 17001 clauses out of 34008 with flag 161000/633113
55.46/53.73	c cleaning 17997 clauses out of 36008 with flag 180001/652114
56.87/55.17	c cleaning 19006 clauses out of 38012 with flag 200002/672115
58.38/56.60	c cleaning 19999 clauses out of 40004 with flag 221000/693113
59.89/58.16	c cleaning 20999 clauses out of 42006 with flag 243001/715114
61.63/59.89	c cleaning 22003 clauses out of 44006 with flag 266000/738113
63.54/61.74	c cleaning 23000 clauses out of 46004 with flag 290001/762114
65.58/63.76	c cleaning 23997 clauses out of 48004 with flag 315001/787114
67.68/65.89	c cleaning 25001 clauses out of 50008 with flag 341002/813115
69.96/68.00	c cleaning 26002 clauses out of 52005 with flag 368000/840113
72.29/70.39	c cleaning 26996 clauses out of 54004 with flag 396001/868114
74.69/72.72	c cleaning 28000 clauses out of 56007 with flag 425000/897113
77.02/75.09	c cleaning 28998 clauses out of 58007 with flag 455000/927113
79.73/77.70	c cleaning 29998 clauses out of 60009 with flag 486000/958113
82.04/80.08	c cleaning 31001 clauses out of 62012 with flag 518001/990114
84.77/82.76	c cleaning 32002 clauses out of 64010 with flag 551000/1023113
87.68/85.65	c cleaning 33005 clauses out of 66009 with flag 585001/1057114
90.61/88.54	c cleaning 33995 clauses out of 68004 with flag 620001/1092114
93.93/91.86	c cleaning 35004 clauses out of 70009 with flag 656001/1128114
97.35/95.20	c cleaning 36002 clauses out of 72004 with flag 693000/1165113
100.67/98.53	c cleaning 36998 clauses out of 74002 with flag 731000/1203113
104.09/101.97	c cleaning 38002 clauses out of 76004 with flag 770000/1242113
107.91/105.75	c cleaning 39000 clauses out of 78003 with flag 810001/1282114
111.56/109.36	c cleaning 40000 clauses out of 80002 with flag 851000/1323113
115.40/113.13	c cleaning 40996 clauses out of 82003 with flag 893001/1365114
119.21/116.91	c cleaning 41999 clauses out of 84007 with flag 936001/1408114
123.53/121.27	c cleaning 43004 clauses out of 86007 with flag 980000/1452113
127.90/125.58	c cleaning 44001 clauses out of 88005 with flag 1025002/1497115
132.22/129.87	c cleaning 44996 clauses out of 90002 with flag 1071000/1543113
136.73/134.34	c cleaning 45999 clauses out of 92006 with flag 1118000/1590113
141.08/138.69	c cleaning 47001 clauses out of 94008 with flag 1166001/1638114
146.09/143.65	c cleaning 48002 clauses out of 96006 with flag 1215000/1687113
150.61/148.12	c cleaning 49003 clauses out of 98005 with flag 1265001/1737114
155.46/152.96	c cleaning 49998 clauses out of 100002 with flag 1316001/1788114
160.66/158.02	c cleaning 50998 clauses out of 102003 with flag 1368000/1840113
165.68/163.09	c cleaning 51997 clauses out of 104005 with flag 1421000/1893113
170.64/167.97	c cleaning 53005 clauses out of 106009 with flag 1475001/1947114
176.07/173.36	c cleaning 53994 clauses out of 108003 with flag 1530000/2002113
181.28/178.57	c cleaning 55001 clauses out of 110009 with flag 1586000/2058113
187.51/184.79	c cleaning 56005 clauses out of 112009 with flag 1643001/2115114
193.44/190.65	c cleaning 56999 clauses out of 114004 with flag 1701001/2173114
199.15/196.31	c cleaning 57999 clauses out of 116005 with flag 1760001/2232114
204.77/201.99	c cleaning 58996 clauses out of 118007 with flag 1820002/2292115
211.73/208.87	c cleaning 60001 clauses out of 120010 with flag 1881001/2353114
218.59/215.65	c cleaning 61004 clauses out of 122008 with flag 1943000/2415113
225.46/222.42	c cleaning 61996 clauses out of 124004 with flag 2006000/2478113
232.93/229.84	c cleaning 62999 clauses out of 126008 with flag 2070000/2542113
239.68/236.54	c cleaning 63999 clauses out of 128009 with flag 2135000/2607113
247.52/244.34	c cleaning 65001 clauses out of 130010 with flag 2201000/2673113
255.73/252.40	c cleaning 66000 clauses out of 132009 with flag 2268000/2740113
264.09/260.74	c cleaning 67002 clauses out of 134009 with flag 2336000/2808113
272.69/269.32	c cleaning 68000 clauses out of 136008 with flag 2405001/2877114
281.23/277.81	c cleaning 69002 clauses out of 138008 with flag 2475001/2947114
289.40/285.98	c cleaning 69998 clauses out of 140005 with flag 2546000/3018113
292.93/289.44	c Got one! Elapsed wall clock time (in seconds):289.308
292.93/289.44	o -89
293.84/290.38	c cleaning 57454 clauses out of 114907 with flag 5000/3063013
294.66/291.15	c cleaning 31727 clauses out of 63453 with flag 11000/3069013
295.38/291.89	c cleaning 19357 clauses out of 38726 with flag 18000/3076013
296.21/292.65	c cleaning 13678 clauses out of 27369 with flag 26000/3084013
296.90/293.36	c cleaning 11339 clauses out of 22691 with flag 35000/3093013
297.61/294.08	c cleaning 10671 clauses out of 21352 with flag 45000/3103013
298.42/294.89	c cleaning 10840 clauses out of 21681 with flag 56000/3114013
299.33/295.77	c cleaning 11418 clauses out of 22841 with flag 68000/3126013
300.34/296.75	c cleaning 12211 clauses out of 24423 with flag 81000/3139013
301.47/297.84	c cleaning 13105 clauses out of 26212 with flag 95000/3153013
302.69/299.07	c cleaning 14052 clauses out of 28107 with flag 110000/3168013
303.99/300.33	c cleaning 15026 clauses out of 30055 with flag 126000/3184013
304.61/300.95	c Got one! Elapsed wall clock time (in seconds):300.819
304.61/300.95	o -90
305.02/301.39	c cleaning 14414 clauses out of 28830 with flag 5002/3197814
305.62/301.91	c cleaning 10203 clauses out of 20415 with flag 11001/3203813
306.14/302.41	c cleaning 8602 clauses out of 17212 with flag 18001/3210813
306.66/302.94	c cleaning 8302 clauses out of 16609 with flag 26000/3218812
307.28/303.51	c cleaning 8648 clauses out of 17307 with flag 35000/3227812
307.88/304.13	c cleaning 9325 clauses out of 18660 with flag 45001/3237813
308.58/304.86	c cleaning 10167 clauses out of 20335 with flag 56001/3248813
309.39/305.69	c cleaning 11080 clauses out of 22168 with flag 68001/3260813
310.30/306.57	c cleaning 12042 clauses out of 24087 with flag 81000/3273812
311.41/307.60	c cleaning 13017 clauses out of 26045 with flag 95000/3287812
312.52/308.77	c cleaning 14013 clauses out of 28029 with flag 110001/3302813
313.83/310.08	c cleaning 15004 clauses out of 30015 with flag 126000/3318812
315.25/311.49	c cleaning 16006 clauses out of 32012 with flag 143001/3335813
316.75/312.94	c cleaning 17003 clauses out of 34005 with flag 161000/3353812
318.26/314.40	c cleaning 17996 clauses out of 36002 with flag 180000/3372812
319.89/316.00	c cleaning 19001 clauses out of 38006 with flag 200000/3392812
321.62/317.79	c cleaning 20000 clauses out of 40005 with flag 221000/3413812
323.63/319.77	c cleaning 21001 clauses out of 42005 with flag 243000/3435812
325.75/321.84	c cleaning 22002 clauses out of 44005 with flag 266001/3458813
327.95/324.03	c cleaning 22996 clauses out of 46002 with flag 290000/3482812
330.17/326.25	c cleaning 24000 clauses out of 48006 with flag 315000/3507812
332.57/328.68	c cleaning 25002 clauses out of 50006 with flag 341000/3533812
335.10/331.16	c cleaning 26000 clauses out of 52004 with flag 368000/3560812
338.12/334.10	c cleaning 27000 clauses out of 54005 with flag 396001/3588813
341.12/337.16	c cleaning 28003 clauses out of 56005 with flag 425001/3617813
344.14/340.15	c cleaning 28998 clauses out of 58002 with flag 455001/3647813
347.28/343.22	c cleaning 29997 clauses out of 60003 with flag 486000/3678812
350.27/346.23	c cleaning 31000 clauses out of 62006 with flag 518000/3710812
353.68/349.60	c cleaning 32003 clauses out of 64007 with flag 551001/3743813
357.09/353.03	c cleaning 32998 clauses out of 66004 with flag 585001/3777813
360.79/356.79	c cleaning 34003 clauses out of 68005 with flag 620000/3812812
364.51/360.49	c cleaning 34997 clauses out of 70002 with flag 656000/3848812
368.44/364.36	c cleaning 36003 clauses out of 72006 with flag 693001/3885813
372.57/368.43	c cleaning 36995 clauses out of 74002 with flag 731000/3923812
376.89/372.77	c cleaning 38000 clauses out of 76008 with flag 770001/3962813
381.40/377.21	c cleaning 38997 clauses out of 78008 with flag 810001/4002813
385.72/381.56	c cleaning 40003 clauses out of 80011 with flag 851001/4043813
390.23/386.04	c cleaning 41000 clauses out of 82008 with flag 893001/4085813
394.52/390.35	c cleaning 41999 clauses out of 84007 with flag 936000/4128812
398.84/394.62	c cleaning 43004 clauses out of 86008 with flag 980000/4172812
403.37/399.20	c cleaning 43994 clauses out of 88004 with flag 1025000/4217812
408.19/403.91	c cleaning 45001 clauses out of 90011 with flag 1071001/4263813
413.09/408.89	c cleaning 46003 clauses out of 92009 with flag 1118000/4310812
418.01/413.75	c cleaning 46998 clauses out of 94006 with flag 1166000/4358812
423.04/418.70	c cleaning 48002 clauses out of 96009 with flag 1215001/4407813
428.46/424.18	c cleaning 49000 clauses out of 98007 with flag 1265001/4457813
433.89/429.50	c cleaning 49999 clauses out of 100006 with flag 1316000/4508812
438.84/434.41	c cleaning 51001 clauses out of 102007 with flag 1368000/4560812
444.35/439.95	c cleaning 52002 clauses out of 104006 with flag 1421000/4613812
450.37/445.99	c cleaning 53000 clauses out of 106004 with flag 1475000/4667812
456.51/452.00	c cleaning 53997 clauses out of 108004 with flag 1530000/4722812
463.62/459.15	c cleaning 55000 clauses out of 110007 with flag 1586000/4778812
470.57/466.06	c cleaning 55996 clauses out of 112008 with flag 1643001/4835813
477.67/473.11	c cleaning 57000 clauses out of 114011 with flag 1701000/4893812
484.23/479.66	c cleaning 58005 clauses out of 116012 with flag 1760001/4952813
490.42/485.88	c cleaning 58999 clauses out of 118006 with flag 1820000/5012812
497.76/493.16	c cleaning 60004 clauses out of 120007 with flag 1881000/5073812
504.67/500.02	c cleaning 60997 clauses out of 122003 with flag 1943000/5135812
512.20/507.58	c cleaning 62000 clauses out of 124007 with flag 2006001/5198813
520.00/515.36	c cleaning 62998 clauses out of 126006 with flag 2070000/5262812
527.92/523.27	c cleaning 64001 clauses out of 128009 with flag 2135001/5327813
535.86/531.17	c cleaning 65001 clauses out of 130008 with flag 2201001/5393813
543.39/538.70	c cleaning 66000 clauses out of 132007 with flag 2268001/5460813
551.03/546.25	c cleaning 66996 clauses out of 134006 with flag 2336000/5528812
558.88/554.10	c cleaning 68003 clauses out of 136011 with flag 2405001/5597813
566.59/561.77	c cleaning 69002 clauses out of 138007 with flag 2475000/5667812
574.93/570.09	c cleaning 70000 clauses out of 140005 with flag 2546000/5738812
583.95/579.08	c cleaning 70998 clauses out of 142006 with flag 2618001/5810813
592.99/588.03	c cleaning 72004 clauses out of 144007 with flag 2691000/5883812
601.62/596.60	c cleaning 73000 clauses out of 146003 with flag 2765000/5957812
609.44/604.44	c cleaning 73998 clauses out of 148004 with flag 2840001/6032813
617.67/612.65	c cleaning 74998 clauses out of 150005 with flag 2916000/6108812
627.31/622.21	c cleaning 76000 clauses out of 152007 with flag 2993000/6185812
636.64/631.58	c cleaning 77000 clauses out of 154007 with flag 3071000/6263812
646.59/641.29	c cleaning 78004 clauses out of 156008 with flag 3150001/6342813
655.86/650.38	c cleaning 79001 clauses out of 158003 with flag 3230000/6422812
665.27/659.77	c cleaning 79997 clauses out of 160003 with flag 3311001/6503813
674.99/669.46	c cleaning 80999 clauses out of 162005 with flag 3393000/6585812
684.69/679.10	c cleaning 82000 clauses out of 164007 with flag 3476001/6668813
695.02/689.32	c cleaning 82998 clauses out of 166007 with flag 3560001/6752813
704.77/699.04	c cleaning 84004 clauses out of 168008 with flag 3645000/6837812
714.30/708.52	c cleaning 84998 clauses out of 170004 with flag 3731000/6923812
724.62/718.88	c cleaning 85997 clauses out of 172007 with flag 3818001/7010813
734.28/728.49	c cleaning 87001 clauses out of 174010 with flag 3906001/7098813
744.14/738.28	c cleaning 88001 clauses out of 176008 with flag 3995000/7187812
755.46/749.52	c cleaning 88999 clauses out of 178008 with flag 4085001/7277813
766.42/760.49	c cleaning 89999 clauses out of 180009 with flag 4176001/7368813
778.39/772.35	c cleaning 91002 clauses out of 182010 with flag 4268001/7460813
789.40/783.39	c cleaning 92002 clauses out of 184008 with flag 4361001/7553813
801.14/795.04	c cleaning 93000 clauses out of 186005 with flag 4455000/7647812
812.88/806.73	c cleaning 93998 clauses out of 188006 with flag 4550001/7742813
824.13/817.94	c cleaning 95002 clauses out of 190008 with flag 4646001/7838813
835.68/829.42	c cleaning 95997 clauses out of 192005 with flag 4743000/7935812
848.14/841.83	c cleaning 97005 clauses out of 194009 with flag 4841001/8033813
861.17/854.65	c cleaning 98002 clauses out of 196004 with flag 4940001/8132813
873.90/867.11	c cleaning 98996 clauses out of 198002 with flag 5040001/8232813
889.84/883.09	c cleaning 100001 clauses out of 200007 with flag 5141002/8333814
904.78/897.97	c cleaning 101000 clauses out of 202005 with flag 5243001/8435813
921.37/914.41	c cleaning 101996 clauses out of 204004 with flag 5346000/8538812
935.70/928.71	c cleaning 102999 clauses out of 206008 with flag 5450000/8642812
954.16/947.13	c cleaning 103999 clauses out of 208010 with flag 5555001/8747813
971.93/964.85	c cleaning 105004 clauses out of 210011 with flag 5661001/8853813
988.66/981.58	c cleaning 106000 clauses out of 212007 with flag 5768001/8960813
1004.05/996.81	c cleaning 107003 clauses out of 214008 with flag 5876002/9068814
1019.10/1011.89	c cleaning 107999 clauses out of 216003 with flag 5985000/9177812
1034.48/1027.15	c cleaning 108994 clauses out of 218004 with flag 6095000/9287812
1050.93/1043.52	c cleaning 110002 clauses out of 220010 with flag 6206000/9398812
1066.96/1059.50	c cleaning 110999 clauses out of 222009 with flag 6318001/9510813
1082.91/1075.41	c cleaning 112003 clauses out of 224010 with flag 6431001/9623813
1099.56/1092.03	c cleaning 113003 clauses out of 226006 with flag 6545000/9737812
1117.12/1109.53	c cleaning 113997 clauses out of 228004 with flag 6660001/9852813
1134.13/1126.58	c cleaning 114998 clauses out of 230006 with flag 6776000/9968812
1152.79/1145.13	c cleaning 116001 clauses out of 232008 with flag 6893000/10085812
1166.37/1158.70	c cleaning 116998 clauses out of 234008 with flag 7011001/10203813
1181.73/1173.99	c cleaning 118001 clauses out of 236009 with flag 7130000/10322812
1198.70/1190.88	c cleaning 118996 clauses out of 238008 with flag 7250000/10442812
1213.64/1205.72	c cleaning 120002 clauses out of 240012 with flag 7371000/10563812
1230.10/1222.10	c cleaning 121001 clauses out of 242012 with flag 7493002/10685814
1244.57/1236.58	c cleaning 122001 clauses out of 244010 with flag 7616001/10808813
1260.72/1252.67	c cleaning 123002 clauses out of 246009 with flag 7740001/10932813
1279.61/1271.12	c cleaning 124001 clauses out of 248007 with flag 7865001/11057813
1301.89/1292.80	c cleaning 124998 clauses out of 250006 with flag 7991001/11183813
1320.48/1311.06	c cleaning 126004 clauses out of 252007 with flag 8118000/11310812
1345.98/1336.12	c cleaning 126998 clauses out of 254004 with flag 8246001/11438813
1370.03/1359.82	c cleaning 128000 clauses out of 256006 with flag 8375001/11567813
1393.46/1383.14	c cleaning 128996 clauses out of 258005 with flag 8505000/11697812
1418.43/1407.94	c cleaning 130002 clauses out of 260009 with flag 8636000/11828812
1441.43/1430.71	c cleaning 130999 clauses out of 262007 with flag 8768000/11960812
1466.02/1455.10	c cleaning 132002 clauses out of 264010 with flag 8901002/12093814
1492.65/1481.53	c cleaning 132999 clauses out of 266008 with flag 9035002/12227814
1516.25/1504.88	c cleaning 133994 clauses out of 268007 with flag 9170000/12362812
1536.56/1524.80	c cleaning 135006 clauses out of 270014 with flag 9306001/12498813
1556.75/1544.77	c cleaning 136001 clauses out of 272007 with flag 9443000/12635812
1578.94/1566.80	c cleaning 136999 clauses out of 274006 with flag 9581000/12773812
1600.64/1588.35	c cleaning 138000 clauses out of 276008 with flag 9720001/12912813
1622.04/1609.62	c cleaning 139004 clauses out of 278008 with flag 9860001/13052813
1646.15/1633.64	c cleaning 139998 clauses out of 280004 with flag 10001001/13193813
1669.13/1656.57	c cleaning 141000 clauses out of 282005 with flag 10143000/13335812
1694.21/1681.58	c cleaning 141996 clauses out of 284005 with flag 10286000/13478812
1723.13/1710.29	c cleaning 143000 clauses out of 286009 with flag 10430000/13622812
1747.95/1735.09	c cleaning 144001 clauses out of 288009 with flag 10575000/13767812
1774.70/1761.71	c cleaning 145002 clauses out of 290008 with flag 10721000/13913812
1800.06/1787.07	c starts		: 334
1800.06/1787.07	c conflicts		: 14060812
1800.06/1787.07	c decisions		: 16311837
1800.06/1787.07	c propagations		: 156213305
1800.06/1787.08	c inspects		: 17421675894
1800.06/1787.08	c shortcuts		: 0
1800.06/1787.08	c learnt literals	: 0
1800.06/1787.08	c learnt binary clauses	: 0
1800.06/1787.08	c learnt ternary clauses	: 0
1800.06/1787.08	c learnt constraints	: 14060812
1800.06/1787.08	c ignored constraints	: 0
1800.06/1787.08	c root simplifications	: 0
1800.06/1787.08	c removed literals (reason simplification)	: 0
1800.06/1787.08	c reason swapping (by a shorter reason)	: 0
1800.06/1787.08	c Calls to reduceDB	: 260
1800.06/1787.08	c number of reductions to clauses (during analyze)	: 0
1800.06/1787.08	c number of learned constraints concerned by reduction	: 0
1800.06/1787.08	c number of learning phase by resolution	: 0
1800.06/1787.08	c number of learning phase by cutting planes	: 0
1800.06/1787.08	c speed (assignments/second)	: 87434.95689913316
1800.06/1787.08	c non guided choices	0
1800.40/1787.11	c learnt constraints type 
1800.40/1787.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 292006
1800.40/1787.11	c constraints type 
1800.40/1787.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3164
1800.40/1787.11	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.40/1787.11	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.40/1787.11	c ignored satisfied constraints => 500
1800.40/1787.11	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3164
1800.40/1787.11	c 7329 constraints processed.
1800.40/1787.11	s SATISFIABLE
1800.40/1787.11	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 
1800.40/1787.11	c objective function=-90
1800.40/1787.11	c Total wall clock time (in seconds): 1786.975

Verifier Data 

OK	-90

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-3688713-1337886475/watcher-3688713-1337886475 -o /tmp/evaluation-result-3688713-1337886475/solver-3688713-1337886475 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688713-1337886475.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.91 1.97 1.99 3/192 22297
/proc/meminfo: memFree=30017252/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/22297/stat : 22297 (java) R 22295 22297 20334 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 254776090 278528 33 33554432000 1073741824 1073778376 140733806181296 140733806178472 235365559591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22297/statm: 68 33 25 9 0 25 0

[startup+0.045301 s]
/proc/loadavg: 1.91 1.97 1.99 3/192 22297
/proc/meminfo: memFree=30017252/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9092432 CPUtime=0.02 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 2885 0 1 0 1 1 0 0 20 0 11 0 254776090 9310650368 3585 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2273108 3586 1619 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432

[startup+0.100241 s]
/proc/loadavg: 1.91 1.97 1.99 3/192 22297
/proc/meminfo: memFree=30017252/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 3336 0 1 0 5 1 0 0 20 0 18 0 254776090 9787813888 4545 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2389603 4546 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.300201 s]
/proc/loadavg: 1.91 1.97 1.99 3/192 22297
/proc/meminfo: memFree=30017252/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9558412 CPUtime=0.4 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 5154 0 1 0 38 2 0 0 20 0 18 0 254776090 9787813888 7429 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2389603 7429 2208 9 0 2380296 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9558412

[startup+0.700222 s]
/proc/loadavg: 1.91 1.97 1.99 3/192 22297
/proc/meminfo: memFree=30017252/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9624976 CPUtime=1.56 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 15920 0 1 0 152 4 0 0 20 0 19 0 254776090 9855975424 15237 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2406244 15237 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 1.91 1.97 1.99 3/211 22316
/proc/meminfo: memFree=29958352/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9624976 CPUtime=2.56 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 16208 0 1 0 250 6 0 0 20 0 19 0 254776090 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2406244 26048 2282 9 0 2396937 0
[pid=22297/tid=22299] ppid=22295 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/22297/task/22299/stat : 22299 (java) R 22295 22297 20334 0 -1 4202560 2471 0 1 0 139 2 0 0 20 0 19 0 254776092 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936781156584 139936628859099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22300] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22300/stat : 22300 (java) S 22295 22297 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936753609640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22301] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22301/stat : 22301 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936752557096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22302] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22302/stat : 22302 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936751504040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22303] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22303/stat : 22303 (java) S 22295 22297 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936750451496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22304] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22304/stat : 22304 (java) S 22295 22297 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936749398440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22305] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 19 0 254776094 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5895 0 0 0 50 2 0 0 20 0 19 0 254776098 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6578 0 0 0 53 2 0 0 20 0 19 0 254776098 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776136 9855975424 26048 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 1.91 1.97 1.99 3/211 22316
/proc/meminfo: memFree=29916648/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9624976 CPUtime=4.22 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 16247 0 1 0 416 6 0 0 20 0 19 0 254776090 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2406244 29143 2282 9 0 2396937 0
[pid=22297/tid=22299] ppid=22295 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/22297/task/22299/stat : 22299 (java) R 22295 22297 20334 0 -1 4202560 2472 0 1 0 292 2 0 0 20 0 19 0 254776092 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936781156744 139936628680352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22300] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22300/stat : 22300 (java) S 22295 22297 20334 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936753609640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22301] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22301/stat : 22301 (java) S 22295 22297 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936752557096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22302] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22302/stat : 22302 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936751504040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22303] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22303/stat : 22303 (java) S 22295 22297 20334 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936750451496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22304] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22304/stat : 22304 (java) S 22295 22297 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936749398440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22305] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 39 0 0 0 8 0 0 0 20 0 19 0 254776094 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5895 0 0 0 50 2 0 0 20 0 19 0 254776098 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6580 0 0 0 57 2 0 0 20 0 19 0 254776098 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776136 9855975424 29143 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 1.92 1.97 1.99 3/211 22316
/proc/meminfo: memFree=29898216/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9624976 CPUtime=7.46 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 16277 0 1 0 739 7 0 0 20 0 19 0 254776090 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2406244 32135 2282 9 0 2396937 0
[pid=22297/tid=22299] ppid=22295 vsize=9624976 CPUtime=6.03 cores=0,2,4,6
/proc/22297/task/22299/stat : 22299 (java) R 22295 22297 20334 0 -1 4202560 2477 0 1 0 601 2 0 0 20 0 19 0 254776092 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936781156744 139936628673150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22300] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22300/stat : 22300 (java) S 22295 22297 20334 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936753609640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22301] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22301/stat : 22301 (java) S 22295 22297 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936752557096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22302] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22302/stat : 22302 (java) S 22295 22297 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936751504040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22303] ppid=22295 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22297/task/22303/stat : 22303 (java) S 22295 22297 20334 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936750451496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22304] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22304/stat : 22304 (java) S 22295 22297 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936749398440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22305] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254776093 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9624976 CPUtime=0.16 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 43 0 0 0 16 0 0 0 20 0 19 0 254776094 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5895 0 0 0 50 2 0 0 20 0 19 0 254776098 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6580 0 0 0 57 2 0 0 20 0 19 0 254776098 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776136 9855975424 32135 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=22297/tid=22305] ppid=22295 vsize=9624976 CPUtime=1.91 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 634 0 0 0 176 15 0 0 20 0 19 0 254776093 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9624976 CPUtime=2.19 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 842 0 0 0 199 20 0 0 20 0 19 0 254776093 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9624976 CPUtime=2.01 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 481 0 0 0 186 15 0 0 20 0 19 0 254776093 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9624976 CPUtime=13.07 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 1368 0 0 0 1304 3 0 0 20 0 19 0 254776094 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5903 0 0 0 57 2 0 0 20 0 19 0 254776098 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6580 0 0 0 61 2 0 0 20 0 19 0 254776098 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 99 0 0 0 32 24 0 0 20 0 19 0 254776098 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776136 9855975424 298726 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1735.24
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/212 22391
/proc/meminfo: memFree=28599728/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9624976 CPUtime=1795.36 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 23095 0 1 0 179395 141 0 0 20 0 19 0 254776090 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2406244 298703 2283 9 0 2396937 0
[pid=22297/tid=22299] ppid=22295 vsize=9624976 CPUtime=1764.13 cores=0,2,4,6
/proc/22297/task/22299/stat : 22299 (java) R 22295 22297 20334 0 -1 4202560 2802 0 1 0 176381 32 0 0 20 0 19 0 254776092 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936781156688 139936628470823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22300] ppid=22295 vsize=9624976 CPUtime=2.01 cores=0,2,4,6
/proc/22297/task/22300/stat : 22300 (java) S 22295 22297 20334 0 -1 4202560 694 0 0 0 189 12 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936753609640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22301] ppid=22295 vsize=9624976 CPUtime=2.06 cores=0,2,4,6
/proc/22297/task/22301/stat : 22301 (java) S 22295 22297 20334 0 -1 4202560 849 0 0 0 192 14 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936752557096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22302] ppid=22295 vsize=9624976 CPUtime=1.98 cores=0,2,4,6
/proc/22297/task/22302/stat : 22302 (java) S 22295 22297 20334 0 -1 4202560 471 0 0 0 183 15 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936751504040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22303] ppid=22295 vsize=9624976 CPUtime=2.01 cores=0,2,4,6
/proc/22297/task/22303/stat : 22303 (java) S 22295 22297 20334 0 -1 4202560 592 0 0 0 191 10 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936750451496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22304] ppid=22295 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/22297/task/22304/stat : 22304 (java) S 22295 22297 20334 0 -1 4202560 595 0 0 0 219 13 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936749398440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22305] ppid=22295 vsize=9624976 CPUtime=1.94 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 634 0 0 0 179 15 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9624976 CPUtime=2.2 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 842 0 0 0 200 20 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9624976 CPUtime=2.02 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 481 0 0 0 187 15 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9624976 CPUtime=13.32 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 1370 0 0 0 1329 3 0 0 20 0 19 0 254776094 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5903 0 0 0 57 2 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6580 0 0 0 61 2 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 103 0 0 0 32 25 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776136 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1795.36
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 2.04 2.03 2.00 3/212 22391
/proc/meminfo: memFree=28591412/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 23095 0 1 0 179865 141 0 0 20 0 19 0 254776090 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2406244 298703 2283 9 0 2396937 0
[pid=22297/tid=22299] ppid=22295 vsize=9624976 CPUtime=1768.83 cores=0,2,4,6
/proc/22297/task/22299/stat : 22299 (java) R 22295 22297 20334 0 -1 4202560 2802 0 1 0 176851 32 0 0 20 0 19 0 254776092 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936781156688 139936628864959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22300] ppid=22295 vsize=9624976 CPUtime=2.01 cores=0,2,4,6
/proc/22297/task/22300/stat : 22300 (java) S 22295 22297 20334 0 -1 4202560 694 0 0 0 189 12 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936753609640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22301] ppid=22295 vsize=9624976 CPUtime=2.06 cores=0,2,4,6
/proc/22297/task/22301/stat : 22301 (java) S 22295 22297 20334 0 -1 4202560 849 0 0 0 192 14 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936752557096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22302] ppid=22295 vsize=9624976 CPUtime=1.98 cores=0,2,4,6
/proc/22297/task/22302/stat : 22302 (java) S 22295 22297 20334 0 -1 4202560 471 0 0 0 183 15 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936751504040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22303] ppid=22295 vsize=9624976 CPUtime=2.01 cores=0,2,4,6
/proc/22297/task/22303/stat : 22303 (java) S 22295 22297 20334 0 -1 4202560 592 0 0 0 191 10 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936750451496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22304] ppid=22295 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/22297/task/22304/stat : 22304 (java) S 22295 22297 20334 0 -1 4202560 595 0 0 0 219 13 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936749398440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22305] ppid=22295 vsize=9624976 CPUtime=1.94 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 634 0 0 0 179 15 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9624976 CPUtime=2.2 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 842 0 0 0 200 20 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9624976 CPUtime=2.02 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 481 0 0 0 187 15 0 0 20 0 19 0 254776093 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9624976 CPUtime=13.32 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 1370 0 0 0 1329 3 0 0 20 0 19 0 254776094 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254776095 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5903 0 0 0 57 2 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6580 0 0 0 61 2 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 103 0 0 0 32 25 0 0 20 0 19 0 254776098 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254776136 9855975424 298703 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1787.11 s]
/proc/loadavg: 2.04 2.03 2.00 3/212 22391
/proc/meminfo: memFree=28591412/32873844 swapFree=7104/7104
[pid=22297] ppid=22295 vsize=9758104 CPUtime=1800.4 cores=0,2,4,6
/proc/22297/stat : 22297 (java) S 22295 22297 20334 0 -1 4202496 23175 0 1 0 179899 141 0 0 20 0 21 0 254776090 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 140734376090432 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22297/statm: 2439526 298779 2283 9 0 2430219 0
[pid=22297/tid=22299] ppid=22295 vsize=9758104 CPUtime=1768.87 cores=0,2,4,6
/proc/22297/task/22299/stat : 22299 (java) R 22295 22297 20334 0 -1 4202560 2802 0 1 0 176855 32 0 0 20 0 21 0 254776092 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936781154800 139936628864979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22300] ppid=22295 vsize=9758104 CPUtime=2.07 cores=0,2,4,6
/proc/22297/task/22300/stat : 22300 (java) S 22295 22297 20334 0 -1 4202560 694 0 0 0 195 12 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936753609640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22301] ppid=22295 vsize=9758104 CPUtime=2.08 cores=0,2,4,6
/proc/22297/task/22301/stat : 22301 (java) S 22295 22297 20334 0 -1 4202560 849 0 0 0 194 14 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936752557096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22302] ppid=22295 vsize=9758104 CPUtime=2 cores=0,2,4,6
/proc/22297/task/22302/stat : 22302 (java) S 22295 22297 20334 0 -1 4202560 471 0 0 0 185 15 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936751504040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22297/tid=22303] ppid=22295 vsize=9758104 CPUtime=2.04 cores=0,2,4,6
/proc/22297/task/22303/stat : 22303 (java) S 22295 22297 20334 0 -1 4202560 592 0 0 0 194 10 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936750451496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22304] ppid=22295 vsize=9758104 CPUtime=2.34 cores=0,2,4,6
/proc/22297/task/22304/stat : 22304 (java) S 22295 22297 20334 0 -1 4202560 595 0 0 0 221 13 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936749398440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22305] ppid=22295 vsize=9758104 CPUtime=2 cores=0,2,4,6
/proc/22297/task/22305/stat : 22305 (java) S 22295 22297 20334 0 -1 4202560 634 0 0 0 185 15 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936748345896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22306] ppid=22295 vsize=9758104 CPUtime=2.22 cores=0,2,4,6
/proc/22297/task/22306/stat : 22306 (java) S 22295 22297 20334 0 -1 4202560 845 0 0 0 202 20 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936747292840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22297/tid=22307] ppid=22295 vsize=9758104 CPUtime=2.04 cores=0,2,4,6
/proc/22297/task/22307/stat : 22307 (java) S 22295 22297 20334 0 -1 4202560 481 0 0 0 189 15 0 0 20 0 21 0 254776093 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936616982824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22308] ppid=22295 vsize=9758104 CPUtime=13.32 cores=0,2,4,6
/proc/22297/task/22308/stat : 22308 (java) S 22295 22297 20334 0 -1 4202560 1416 0 0 0 1329 3 0 0 20 0 21 0 254776094 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936134036328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22309] ppid=22295 vsize=9758104 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22309/stat : 22309 (java) S 22295 22297 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254776095 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936132982648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22310] ppid=22295 vsize=9758104 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22310/stat : 22310 (java) S 22295 22297 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 254776095 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936131929480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22311] ppid=22295 vsize=9758104 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22311/stat : 22311 (java) S 22295 22297 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 254776098 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936130878224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22312] ppid=22295 vsize=9758104 CPUtime=0.6 cores=0,2,4,6
/proc/22297/task/22312/stat : 22312 (java) S 22295 22297 20334 0 -1 4202560 5904 0 0 0 58 2 0 0 20 0 21 0 254776098 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936129825080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22313] ppid=22295 vsize=9758104 CPUtime=0.65 cores=0,2,4,6
/proc/22297/task/22313/stat : 22313 (java) S 22295 22297 20334 0 -1 4202560 6580 0 0 0 63 2 0 0 20 0 21 0 254776098 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936128772536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22314] ppid=22295 vsize=9758104 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22314/stat : 22314 (java) S 22295 22297 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254776098 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936127719672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22297/tid=22315] ppid=22295 vsize=9758104 CPUtime=0.57 cores=0,2,4,6
/proc/22297/task/22315/stat : 22315 (java) S 22295 22297 20334 0 -1 4202560 103 0 0 0 32 25 0 0 20 0 21 0 254776098 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936126667336 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22297/tid=22316] ppid=22295 vsize=9758104 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22316/stat : 22316 (java) S 22295 22297 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 254776136 9992298496 298779 33554432000 1073741824 1073778376 140734376099296 139936125613608 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 9758104

Child status: 143
Real time (s): 1787.12
CPU time (s): 1801.1
CPU user time (s): 1799.17
CPU system time (s): 1.9367
CPU usage (%): 100.782
Max. virtual memory (cumulated for all children) (KiB): 9758104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.9367
maximum resident set size= 1195120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23177
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= 46077
involuntary context switches= 33468

runsolver used 5.36218 second user time and 14.2218 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-24 21:07:55
IDJOB=3688713
IDBENCH=48220
IDSOLVER=2269
FILE ID=node104/3688713-1337886475
RUNJOBID= node104-1337871880-20350
PBS_JOBID= 14620100
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688713-1337886475/watcher-3688713-1337886475 -o /tmp/evaluation-result-3688713-1337886475/solver-3688713-1337886475 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688713-1337886475.opb

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

MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2
RANDOM SEED=232779606

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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.92
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.266
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.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30017516 kB
Buffers:          209052 kB
Cached:          1793044 kB
SwapCached:            0 kB
Active:           431884 kB
Inactive:        1665092 kB
Active(anon):      97608 kB
Inactive(anon):        0 kB
Active(file):     334276 kB
Inactive(file):  1665092 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               708 kB
Writeback:             0 kB
AnonPages:        103752 kB
Mapped:            21540 kB
Shmem:               200 kB
Slab:             622096 kB
SReclaimable:      64752 kB
SUnreclaim:       557344 kB
KernelStack:        1576 kB
PageTables:         4692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     686308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node104 at 2012-05-24 21:37:44