Trace number 3689576

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 RES // CP 2.3.2 SnapshotSAT (TO)22 1800.72 945.949

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_4_shg.opb
MD5SUM175e0a4a6cd805ac131e3fa3fd7ba75e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.138978
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables147
Total number of constraints240
Number of constraints which are clauses240
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint21
Number of terms in the objective function 147
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 147
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 147
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.2.v20120418
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		501472288
0.05/0.09	c Max memory 		7480803328
0.05/0.09	c Total memory 		504102912
0.05/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3689576-1337883188.opb
0.09/0.11	c reading problem ... 
0.26/0.20	c ... done. Wall clock time 0.088s.
0.26/0.20	c declared #vars     147
0.26/0.20	c #constraints  240
0.26/0.20	c constraints type 
0.26/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 239
0.26/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.26/0.20	c 240 constraints processed.
0.26/0.20	c constraints type 
0.26/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.26/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 239
0.26/0.20	c 240 constraints processed.
0.26/0.20	c objective function length is 147 literals
0.26/0.21	c  And the winner is solver0
0.29/0.70	c SATISFIABLE
0.29/0.70	c OPTIMIZING...
0.29/0.70	c Got one! Elapsed wall clock time (in seconds):0.589
0.29/0.70	o 32
0.29/0.71	c  And the winner is solver0
0.30/1.21	c Got one! Elapsed wall clock time (in seconds):1.092
0.30/1.21	o 31
0.30/1.24	c  And the winner is solver0
0.49/1.71	c Got one! Elapsed wall clock time (in seconds):1.594
0.49/1.71	o 30
0.49/1.74	c  And the winner is solver1
0.63/2.21	c Got one! Elapsed wall clock time (in seconds):2.095
0.63/2.21	o 29
0.95/2.32	c  And the winner is solver1
1.58/2.71	c Got one! Elapsed wall clock time (in seconds):2.596
1.58/2.71	o 28
1.58/2.75	c  And the winner is solver1
1.82/3.21	c Got one! Elapsed wall clock time (in seconds):3.098
1.82/3.21	o 27
1.85/3.30	c  And the winner is solver1
2.13/3.31	c cleaning 3077 clauses out of 6154 with flag 2000/6154
2.31/3.71	c Got one! Elapsed wall clock time (in seconds):3.599
2.31/3.71	o 26
2.56/3.84	c cleaning 4035 clauses out of 8077 with flag 5000/11154
2.80/3.95	c  And the winner is solver1
2.93/4.21	c Got one! Elapsed wall clock time (in seconds):4.1
2.93/4.21	o 25
2.93/4.27	c cleaning 4708 clauses out of 9426 with flag 2001/16538
3.34/4.47	c cleaning 5360 clauses out of 10720 with flag 8003/22540
3.92/4.71	c cleaning 6177 clauses out of 12357 with flag 15000/29537
4.30/4.97	c cleaning 7086 clauses out of 14180 with flag 23000/37537
4.48/5.04	c  And the winner is solver1
4.56/5.25	c Got one! Elapsed wall clock time (in seconds):5.132
4.56/5.25	o 24
4.69/5.38	c cleaning 6506 clauses out of 13016 with flag 5003/43459
5.09/5.59	c cleaning 6250 clauses out of 12507 with flag 11000/49456
5.66/5.84	c cleaning 6628 clauses out of 13258 with flag 18001/56457
6.23/6.13	c cleaning 7315 clauses out of 14629 with flag 26000/64456
6.79/6.44	c cleaning 8148 clauses out of 16314 with flag 35000/73456
7.34/6.77	c cleaning 9082 clauses out of 18167 with flag 45001/83457
8.08/7.16	c cleaning 10042 clauses out of 20088 with flag 56004/94460
8.82/7.59	c cleaning 11019 clauses out of 22044 with flag 68002/106458
10.05/8.10	c cleaning 12008 clauses out of 24024 with flag 81001/119457
10.99/8.65	c cleaning 13006 clauses out of 26015 with flag 95000/133456
12.10/9.28	c cleaning 13989 clauses out of 28009 with flag 110000/148456
13.45/9.94	c cleaning 15009 clauses out of 30022 with flag 126002/164458
14.78/10.66	c cleaning 15997 clauses out of 32011 with flag 143000/181456
16.11/11.38	c cleaning 17004 clauses out of 34014 with flag 161000/199456
17.63/12.12	c cleaning 18005 clauses out of 36013 with flag 180003/218459
19.14/12.94	c cleaning 18998 clauses out of 38006 with flag 200001/238457
20.86/13.83	c cleaning 19999 clauses out of 40007 with flag 221000/259456
22.79/14.85	c cleaning 20999 clauses out of 42008 with flag 243000/281456
24.66/15.86	c cleaning 22002 clauses out of 44011 with flag 266002/304458
26.58/16.88	c cleaning 22999 clauses out of 46008 with flag 290001/328457
28.49/17.86	c cleaning 23999 clauses out of 48010 with flag 315002/353458
30.59/18.92	c cleaning 25003 clauses out of 50009 with flag 341000/379456
33.06/20.29	c cleaning 26001 clauses out of 52006 with flag 368000/406456
35.95/21.70	c cleaning 26999 clauses out of 54006 with flag 396001/434457
38.47/23.09	c cleaning 27992 clauses out of 56006 with flag 425000/463456
41.54/24.61	c cleaning 29003 clauses out of 58015 with flag 455001/493457
44.81/26.34	c cleaning 29996 clauses out of 60012 with flag 486001/524457
48.31/28.14	c cleaning 31008 clauses out of 62015 with flag 518000/556456
51.43/29.76	c cleaning 31998 clauses out of 64008 with flag 551001/589457
54.49/31.37	c cleaning 32995 clauses out of 66009 with flag 585000/623456
55.32/31.82	c  And the winner is solver1
55.36/32.07	c Got one! Elapsed wall clock time (in seconds):31.96
55.36/32.07	o 23
55.81/32.32	c cleaning 22391 clauses out of 44811 with flag 5000/635253
56.28/32.64	c cleaning 14201 clauses out of 28420 with flag 11000/641253
56.78/32.99	c cleaning 10604 clauses out of 21219 with flag 18000/648253
57.46/33.35	c cleaning 9305 clauses out of 18616 with flag 26001/656254
58.26/33.81	c cleaning 9146 clauses out of 18310 with flag 35000/665253
58.95/34.24	c cleaning 9578 clauses out of 19164 with flag 45000/675253
59.82/34.70	c cleaning 10281 clauses out of 20586 with flag 56000/686253
60.52/35.18	c cleaning 11150 clauses out of 22305 with flag 68000/698253
61.51/35.75	c cleaning 12071 clauses out of 24155 with flag 81000/711253
62.40/36.28	c cleaning 13041 clauses out of 26084 with flag 95000/725253
63.46/36.84	c cleaning 14011 clauses out of 28043 with flag 110000/740253
64.54/37.45	c cleaning 15009 clauses out of 30033 with flag 126001/756254
65.93/38.21	c cleaning 16010 clauses out of 32023 with flag 143000/773253
67.01/38.89	c cleaning 17006 clauses out of 34015 with flag 161002/791255
68.51/39.63	c cleaning 18004 clauses out of 36007 with flag 180000/810253
69.99/40.41	c cleaning 18999 clauses out of 38005 with flag 200002/830255
71.38/41.29	c cleaning 19988 clauses out of 40004 with flag 221000/851253
73.04/42.14	c cleaning 20998 clauses out of 42016 with flag 243000/873253
74.72/43.03	c cleaning 22009 clauses out of 44019 with flag 266001/896254
76.59/44.01	c cleaning 23001 clauses out of 46009 with flag 290000/920253
78.40/45.09	c cleaning 23998 clauses out of 48008 with flag 315000/945253
80.66/46.24	c cleaning 25003 clauses out of 50011 with flag 341001/971254
82.73/47.38	c cleaning 25989 clauses out of 52007 with flag 368000/998253
85.19/48.63	c cleaning 27001 clauses out of 54018 with flag 396000/1026253
87.57/49.90	c cleaning 28002 clauses out of 56017 with flag 425000/1055253
89.82/51.13	c cleaning 29009 clauses out of 58017 with flag 455002/1085255
92.28/52.41	c cleaning 29997 clauses out of 60006 with flag 486000/1116253
94.73/53.76	c cleaning 30998 clauses out of 62009 with flag 518000/1148253
97.69/55.32	c cleaning 32002 clauses out of 64012 with flag 551001/1181254
100.73/56.90	c cleaning 32999 clauses out of 66009 with flag 585000/1215253
103.57/58.40	c cleaning 33991 clauses out of 68010 with flag 620000/1250253
106.62/60.06	c cleaning 35008 clauses out of 70019 with flag 656000/1286253
109.96/61.81	c cleaning 36000 clauses out of 72011 with flag 693000/1323253
113.02/63.43	c cleaning 37002 clauses out of 74011 with flag 731000/1361253
116.65/65.35	c cleaning 37997 clauses out of 76010 with flag 770001/1400254
120.49/67.33	c cleaning 0 clauses out of 6854 with flag 0/6855
121.89/68.09	c cleaning 39003 clauses out of 78012 with flag 810000/1440253
126.66/70.47	c cleaning 40004 clauses out of 80009 with flag 851000/1481253
131.28/72.87	c cleaning 41001 clauses out of 82005 with flag 893000/1523253
135.70/75.18	c cleaning 41998 clauses out of 84004 with flag 936000/1566253
140.21/77.55	c cleaning 43000 clauses out of 86007 with flag 980001/1610254
145.04/80.06	c cleaning 44002 clauses out of 88008 with flag 1025002/1655255
150.66/82.94	c cleaning 44999 clauses out of 90005 with flag 1071001/1701254
156.08/85.74	c cleaning 46001 clauses out of 92006 with flag 1118001/1748254
161.37/88.55	c cleaning 47002 clauses out of 94004 with flag 1166000/1796253
166.60/91.23	c cleaning 47994 clauses out of 96006 with flag 1215004/1845257
171.59/93.87	c cleaning 48998 clauses out of 98009 with flag 1265001/1895254
176.58/96.45	c cleaning 49998 clauses out of 100012 with flag 1316002/1946255
182.49/99.51	c cleaning 50997 clauses out of 102012 with flag 1368000/1998253
187.70/102.28	c cleaning 52000 clauses out of 104016 with flag 1421001/2051254
193.09/105.07	c cleaning 53005 clauses out of 106021 with flag 1475006/2105259
198.88/108.00	c cleaning 54003 clauses out of 108010 with flag 1530000/2160253
205.13/111.38	c cleaning 54996 clauses out of 110007 with flag 1586000/2216253
211.92/114.87	c cleaning 56000 clauses out of 112013 with flag 1643002/2273255
218.71/118.30	c cleaning 57003 clauses out of 114012 with flag 1701001/2331254
225.08/121.60	c cleaning 58001 clauses out of 116009 with flag 1760001/2390254
231.94/125.30	c cleaning 58990 clauses out of 118008 with flag 1820001/2450254
238.32/128.55	c cleaning 59999 clauses out of 120017 with flag 1881000/2511253
244.70/131.90	c cleaning 61001 clauses out of 122018 with flag 1943000/2573253
251.88/135.55	c cleaning 62001 clauses out of 124017 with flag 2006000/2636253
259.30/139.41	c cleaning 63007 clauses out of 126016 with flag 2070000/2700253
266.65/143.28	c cleaning 64005 clauses out of 128011 with flag 2135002/2765255
274.25/147.13	c cleaning 64993 clauses out of 130004 with flag 2201000/2831253
282.44/151.38	c cleaning 65994 clauses out of 132012 with flag 2268001/2898254
291.25/155.98	c cleaning 67010 clauses out of 134019 with flag 2336002/2966255
299.81/160.33	c cleaning 67998 clauses out of 136007 with flag 2405000/3035253
308.96/165.08	c cleaning 68994 clauses out of 138010 with flag 2475001/3105254
317.89/169.63	c cleaning 69999 clauses out of 140015 with flag 2546000/3176253
327.50/174.67	c cleaning 71004 clauses out of 142016 with flag 2618000/3248253
337.25/179.62	c cleaning 72002 clauses out of 144013 with flag 2691001/3321254
345.99/184.16	c cleaning 72995 clauses out of 146010 with flag 2765000/3395253
354.13/188.36	c cleaning 74002 clauses out of 148015 with flag 2840000/3470253
363.91/193.41	c cleaning 75003 clauses out of 150015 with flag 2916002/3546255
373.46/198.36	c cleaning 75999 clauses out of 152011 with flag 2993001/3623254
382.57/203.01	c cleaning 77002 clauses out of 154018 with flag 3071007/3701260
393.49/208.63	c cleaning 77998 clauses out of 156009 with flag 3150000/3780253
403.44/213.88	c cleaning 79001 clauses out of 158012 with flag 3230001/3860254
414.94/219.72	c cleaning 79999 clauses out of 160010 with flag 3311000/3941253
426.10/225.50	c cleaning 80999 clauses out of 162012 with flag 3393001/4023254
435.41/230.28	c cleaning 81994 clauses out of 164012 with flag 3476000/4106253
445.17/235.38	c cleaning 83001 clauses out of 166018 with flag 3560000/4190253
454.46/240.16	c cleaning 84006 clauses out of 168019 with flag 3645002/4275255
456.55/241.34	c cleaning 0 clauses out of 12851 with flag 0/12852
465.04/245.71	c cleaning 85000 clauses out of 170012 with flag 3731001/4361254
475.33/251.17	c cleaning 86000 clauses out of 172012 with flag 3818001/4448254
485.01/256.14	c cleaning 87003 clauses out of 174011 with flag 3906000/4536253
495.91/261.70	c cleaning 87998 clauses out of 176010 with flag 3995002/4625255
507.20/267.59	c cleaning 89000 clauses out of 178010 with flag 4085000/4715253
517.33/272.85	c cleaning 89997 clauses out of 180010 with flag 4176000/4806253
527.60/278.10	c cleaning 91000 clauses out of 182013 with flag 4268000/4898253
539.09/284.05	c cleaning 91994 clauses out of 184013 with flag 4361000/4991253
549.96/289.68	c cleaning 93006 clauses out of 186019 with flag 4455000/5085253
564.07/296.94	c cleaning 93993 clauses out of 188014 with flag 4550001/5180254
575.12/302.65	c cleaning 95006 clauses out of 190020 with flag 4646000/5276253
589.00/309.74	c cleaning 96003 clauses out of 192016 with flag 4743002/5373255
602.89/316.86	c cleaning 97002 clauses out of 194011 with flag 4841000/5471253
616.75/324.01	c cleaning 97997 clauses out of 196009 with flag 4940000/5570253
629.83/330.74	c cleaning 98997 clauses out of 198012 with flag 5040000/5670253
643.32/337.68	c cleaning 100006 clauses out of 200015 with flag 5141000/5771253
658.96/345.67	c cleaning 100997 clauses out of 202013 with flag 5243004/5873257
677.49/355.11	c cleaning 102002 clauses out of 204014 with flag 5346002/5976255
695.99/364.51	c cleaning 102999 clauses out of 206010 with flag 5450000/6080253
711.43/372.47	c cleaning 103996 clauses out of 208011 with flag 5555000/6185253
728.19/380.97	c cleaning 105006 clauses out of 210016 with flag 5661001/6291254
745.67/389.90	c cleaning 106002 clauses out of 212012 with flag 5768003/6398256
763.33/399.00	c cleaning 106999 clauses out of 214008 with flag 5876001/6506254
779.05/406.90	c cleaning 108004 clauses out of 216009 with flag 5985001/6615254
795.92/415.58	c cleaning 109004 clauses out of 218010 with flag 6095006/6725259
813.79/424.72	c cleaning 109998 clauses out of 220000 with flag 6206000/6836253
832.67/434.33	c cleaning 110995 clauses out of 222003 with flag 6318001/6948254
848.77/442.58	c cleaning 112004 clauses out of 224009 with flag 6431002/7061255
868.03/452.30	c cleaning 113001 clauses out of 226007 with flag 6545004/7175257
887.07/462.14	c cleaning 113997 clauses out of 228003 with flag 6660001/7290254
907.22/472.34	c cleaning 114997 clauses out of 230005 with flag 6776000/7406253
929.30/483.55	c cleaning 116006 clauses out of 232011 with flag 6893003/7523256
952.65/495.36	c cleaning 116994 clauses out of 234002 with flag 7011000/7641253
975.34/506.91	c cleaning 117994 clauses out of 236008 with flag 7130000/7760253
998.72/518.71	c cleaning 119002 clauses out of 238017 with flag 7250003/7880256
1023.22/531.15	c cleaning 120003 clauses out of 240012 with flag 7371000/8001253
1041.10/540.27	c cleaning 120997 clauses out of 242011 with flag 7493002/8123255
1062.33/551.19	c cleaning 121993 clauses out of 244014 with flag 7616002/8246255
1081.22/560.72	c cleaning 123007 clauses out of 246020 with flag 7740001/8370254
1098.69/569.61	c cleaning 124005 clauses out of 248012 with flag 7865000/8495253
1119.01/579.93	c cleaning 124997 clauses out of 250007 with flag 7991000/8621253
1132.16/586.82	c cleaning 0 clauses out of 19852 with flag 0/19853
1139.13/590.59	c cleaning 125995 clauses out of 252011 with flag 8118001/8748254
1158.62/600.45	c cleaning 127005 clauses out of 254016 with flag 8246001/8876254
1178.33/610.40	c cleaning 128000 clauses out of 256011 with flag 8375001/9005254
1199.53/621.34	c cleaning 129002 clauses out of 258010 with flag 8505000/9135253
1220.01/631.70	c cleaning 129995 clauses out of 260008 with flag 8636000/9266253
1233.70/638.73	c  And the winner is solver1
1233.93/639.22	c Got one! Elapsed wall clock time (in seconds):639.106
1233.93/639.22	o 22
1237.88/641.28	c cleaning 123679 clauses out of 247363 with flag 5001/9383603
1241.01/643.03	c cleaning 64833 clauses out of 129684 with flag 11001/9389603
1243.09/644.41	c cleaning 35920 clauses out of 71850 with flag 18000/9396602
1244.26/645.27	c cleaning 21957 clauses out of 43930 with flag 26000/9404602
1245.43/646.05	c cleaning 15486 clauses out of 30974 with flag 35001/9413603
1246.59/646.83	c cleaning 12743 clauses out of 25488 with flag 45001/9423603
1248.09/647.91	c cleaning 11868 clauses out of 23746 with flag 56002/9434604
1249.24/648.72	c cleaning 11931 clauses out of 23876 with flag 68000/9446602
1250.61/649.61	c cleaning 12465 clauses out of 24945 with flag 81000/9459602
1251.78/650.49	c cleaning 13242 clauses out of 26483 with flag 95003/9473605
1253.52/651.64	c cleaning 14116 clauses out of 28238 with flag 110000/9488602
1255.08/652.60	c cleaning 15055 clauses out of 30123 with flag 126001/9504603
1256.66/653.65	c cleaning 16032 clauses out of 32067 with flag 143000/9521602
1258.42/654.74	c cleaning 17016 clauses out of 34035 with flag 161000/9539602
1260.37/655.93	c cleaning 18005 clauses out of 36019 with flag 180000/9558602
1262.35/657.15	c cleaning 19003 clauses out of 38014 with flag 200000/9578602
1264.32/658.35	c cleaning 19995 clauses out of 40011 with flag 221000/9599602
1266.27/659.59	c cleaning 21007 clauses out of 42018 with flag 243002/9621604
1268.68/661.04	c cleaning 21997 clauses out of 44009 with flag 266000/9644602
1270.83/662.35	c cleaning 23008 clauses out of 46016 with flag 290004/9668606
1273.19/663.73	c cleaning 24000 clauses out of 48005 with flag 315001/9693603
1275.76/665.20	c cleaning 25000 clauses out of 50006 with flag 341002/9719604
1278.35/666.85	c cleaning 25998 clauses out of 52004 with flag 368000/9746602
1280.92/668.37	c cleaning 26999 clauses out of 54006 with flag 396000/9774602
1283.68/669.93	c cleaning 28001 clauses out of 56008 with flag 425001/9803603
1286.63/671.61	c cleaning 29003 clauses out of 58008 with flag 455002/9833604
1289.56/673.50	c cleaning 29994 clauses out of 60003 with flag 486000/9864602
1293.15/675.41	c cleaning 30994 clauses out of 62009 with flag 518000/9896602
1296.49/677.32	c cleaning 32005 clauses out of 64015 with flag 551000/9929602
1299.85/679.26	c cleaning 32999 clauses out of 66010 with flag 585000/9963602
1303.74/681.52	c cleaning 34002 clauses out of 68012 with flag 620001/9998603
1306.91/683.39	c cleaning 34999 clauses out of 70010 with flag 656001/10034603
1310.87/685.58	c cleaning 35995 clauses out of 72010 with flag 693000/10071602
1315.04/687.87	c cleaning 37007 clauses out of 74016 with flag 731001/10109603
1319.37/690.33	c cleaning 38000 clauses out of 76008 with flag 770000/10148602
1323.34/692.53	c cleaning 39005 clauses out of 78009 with flag 810001/10188603
1327.47/694.83	c cleaning 39989 clauses out of 80006 with flag 851003/10229605
1331.22/696.98	c cleaning 40996 clauses out of 82016 with flag 893002/10271604
1335.71/699.58	c cleaning 42007 clauses out of 84018 with flag 936000/10314602
1340.04/701.90	c cleaning 42989 clauses out of 86011 with flag 980000/10358602
1344.80/704.50	c cleaning 44004 clauses out of 88022 with flag 1025000/10403602
1349.35/707.01	c cleaning 45007 clauses out of 90019 with flag 1071001/10449603
1354.61/710.09	c cleaning 46001 clauses out of 92011 with flag 1118000/10496602
1359.76/712.85	c cleaning 47003 clauses out of 94010 with flag 1166000/10544602
1364.70/715.58	c cleaning 47998 clauses out of 96007 with flag 1215000/10593602
1370.23/718.54	c cleaning 48994 clauses out of 98009 with flag 1265000/10643602
1375.78/721.68	c cleaning 50001 clauses out of 100015 with flag 1316000/10694602
1381.72/724.82	c cleaning 50998 clauses out of 102014 with flag 1368000/10746602
1387.85/728.18	c cleaning 52002 clauses out of 104018 with flag 1421002/10799604
1394.21/731.50	c cleaning 53001 clauses out of 106015 with flag 1475001/10853603
1400.74/735.11	c cleaning 53994 clauses out of 108013 with flag 1530000/10908602
1406.49/738.23	c cleaning 55006 clauses out of 110020 with flag 1586001/10964603
1412.63/741.59	c cleaning 56001 clauses out of 112018 with flag 1643005/11021607
1420.17/745.50	c cleaning 56997 clauses out of 114012 with flag 1701000/11079602
1427.51/749.58	c cleaning 57997 clauses out of 116016 with flag 1760001/11138603
1435.25/753.67	c cleaning 59006 clauses out of 118018 with flag 1820000/11198602
1441.99/757.29	c cleaning 59993 clauses out of 120014 with flag 1881002/11259604
1449.10/761.07	c cleaning 61002 clauses out of 122019 with flag 1943000/11321602
1457.00/765.37	c cleaning 61998 clauses out of 124017 with flag 2006000/11384602
1464.93/769.54	c cleaning 63005 clauses out of 126019 with flag 2070000/11448602
1472.86/773.78	c cleaning 63993 clauses out of 128015 with flag 2135001/11513603
1480.62/777.87	c cleaning 65000 clauses out of 130021 with flag 2201000/11579602
1490.91/783.32	c cleaning 66008 clauses out of 132021 with flag 2268000/11646602
1499.23/787.74	c cleaning 67003 clauses out of 134013 with flag 2336000/11714602
1507.74/792.27	c cleaning 67991 clauses out of 136011 with flag 2405001/11783603
1517.08/797.19	c cleaning 68994 clauses out of 138020 with flag 2475001/11853603
1525.10/801.50	c cleaning 70009 clauses out of 140025 with flag 2546000/11924602
1532.45/805.45	c cleaning 70995 clauses out of 142016 with flag 2618000/11996602
1539.79/809.33	c cleaning 72000 clauses out of 144021 with flag 2691000/12069602
1548.30/813.86	c cleaning 73005 clauses out of 146021 with flag 2765000/12143602
1557.35/818.79	c cleaning 73993 clauses out of 148016 with flag 2840000/12218602
1565.88/823.25	c cleaning 74999 clauses out of 150023 with flag 2916000/12294602
1574.60/827.87	c cleaning 76007 clauses out of 152025 with flag 2993001/12371603
1583.71/832.70	c cleaning 77005 clauses out of 154017 with flag 3071000/12449602
1594.23/838.24	c cleaning 77996 clauses out of 156014 with flag 3150002/12528604
1603.78/843.29	c cleaning 78999 clauses out of 158017 with flag 3230001/12608603
1613.17/848.16	c cleaning 79991 clauses out of 160018 with flag 3311001/12689603
1624.72/854.15	c cleaning 81005 clauses out of 162026 with flag 3393000/12771602
1636.03/860.11	c cleaning 81998 clauses out of 164023 with flag 3476002/12854604
1646.39/865.59	c cleaning 83009 clauses out of 166023 with flag 3560000/12938602
1657.53/871.32	c cleaning 84001 clauses out of 168014 with flag 3645000/13023602
1668.88/877.21	c cleaning 85004 clauses out of 170014 with flag 3731001/13109603
1680.54/883.48	c cleaning 85998 clauses out of 172009 with flag 3818000/13196602
1692.07/889.43	c cleaning 86999 clauses out of 174011 with flag 3906000/13284602
1704.49/895.84	c cleaning 88001 clauses out of 176012 with flag 3995000/13373602
1715.65/901.63	c cleaning 89006 clauses out of 178012 with flag 4085001/13463603
1728.37/908.36	c cleaning 90004 clauses out of 180008 with flag 4176003/13554605
1739.72/914.24	c cleaning 90981 clauses out of 182002 with flag 4268001/13646603
1754.04/921.63	c cleaning 91998 clauses out of 184021 with flag 4361001/13739603
1766.79/928.22	c cleaning 93004 clauses out of 186023 with flag 4455001/13833603
1781.32/935.88	c cleaning 94004 clauses out of 188019 with flag 4550001/13928603
1795.94/943.60	c cleaning 95000 clauses out of 190014 with flag 4646000/14024602
1800.21/945.92	c starts		: 64
1800.21/945.92	c conflicts		: 24585
1800.21/945.92	c decisions		: 71688
1800.21/945.92	c propagations		: 459343
1800.21/945.92	c inspects		: 951756417
1800.21/945.92	c shortcuts		: 0
1800.21/945.92	c learnt literals	: 0
1800.21/945.92	c learnt binary clauses	: 0
1800.21/945.92	c learnt ternary clauses	: 0
1800.21/945.92	c learnt constraints	: 24583
1800.21/945.92	c ignored constraints	: 0
1800.21/945.92	c root simplifications	: 0
1800.21/945.92	c removed literals (reason simplification)	: 0
1800.21/945.92	c reason swapping (by a shorter reason)	: 0
1800.21/945.92	c Calls to reduceDB	: 3
1800.21/945.92	c number of reductions to clauses (during analyze)	: 0
1800.21/945.92	c number of learned constraints concerned by reduction	: 0
1800.21/945.92	c number of learning phase by resolution	: 0
1800.21/945.92	c number of learning phase by cutting planes	: 0
1800.21/945.92	c speed (assignments/second)	: 486.48599987714545
1800.21/945.92	c non guided choices	1
1800.21/945.93	c learnt constraints type 
1800.21/945.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1043
1800.21/945.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 23540
1800.21/945.93	c constraints type 
1800.21/945.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 239
1800.21/945.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.21/945.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
1800.21/945.93	c 241 constraints processed.
1800.21/945.93	c constraints type 
1800.21/945.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
1800.21/945.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 239
1800.21/945.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.21/945.93	c 241 constraints processed.
1800.21/945.93	s SATISFIABLE
1800.21/945.93	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 
1800.21/945.93	c objective function=22
1800.21/945.93	c Total wall clock time (in seconds): 945.818

Verifier Data 

OK	22

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-3689576-1337883188/watcher-3689576-1337883188 -o /tmp/evaluation-result-3689576-1337883188/solver-3689576-1337883188 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689576-1337883188.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: 3.81 3.84 3.77 4/197 26253
/proc/meminfo: memFree=26359668/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26253/stat : 26253 (java) D 26251 26253 21497 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254444906 9515008 183 33554432000 1073741824 1073778376 140733949416176 140733949407208 266435641013 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/26253/statm: 2323 183 140 9 0 71 0

[startup+0.076015 s]
/proc/loadavg: 3.81 3.84 3.77 4/197 26253
/proc/meminfo: memFree=26359668/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 3304 0 1 0 4 1 0 0 20 0 18 0 254444906 9787813888 4512 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2389603 4513 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100207 s]
/proc/loadavg: 3.81 3.84 3.77 4/197 26253
/proc/meminfo: memFree=26359668/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 4302 0 1 0 8 1 0 0 20 0 18 0 254444906 9787813888 5495 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2389603 5497 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.30023 s]
/proc/loadavg: 3.81 3.84 3.77 4/197 26253
/proc/meminfo: memFree=26359668/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 5055 0 1 0 28 1 0 0 20 0 19 0 254444906 10060460032 7597 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 7597 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9824668

[startup+0.70026 s]
/proc/loadavg: 3.81 3.84 3.77 4/197 26253
/proc/meminfo: memFree=26359668/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 5055 0 1 0 28 1 0 0 20 0 19 0 254444906 10060460032 7597 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 7597 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9824668

[startup+1.50067 s]
/proc/loadavg: 3.81 3.84 3.77 3/216 26278
/proc/meminfo: memFree=26333932/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 6477 0 1 0 45 4 0 0 20 0 19 0 254444906 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 10259 2237 9 0 2446860 0
[pid=26253/tid=26255] ppid=26251 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 21497 0 -1 4202560 2453 0 1 0 16 2 0 0 20 0 19 0 254444907 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459898635256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26256] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459860126120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26257] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459741538856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26258] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459740485800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26259] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459739433256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26260] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459738381224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26261] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459737328680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26262] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26262/stat : 26262 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459736275624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26263] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26263/stat : 26263 (java) S 26251 26253 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459735223080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26264] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26264/stat : 26264 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254444910 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459252894056 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26265] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26265/stat : 26265 (java) S 26251 26253 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254444910 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459251840376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26266] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26266/stat : 26266 (java) S 26251 26253 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254444910 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459250787208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26267] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26267/stat : 26267 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444912 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459249735952 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26268] ppid=26251 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/26253/task/26268/stat : 26268 (java) S 26251 26253 21497 0 -1 4202560 1672 0 0 0 9 0 0 0 20 0 19 0 254444912 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459248683832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26269] ppid=26251 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/26253/task/26269/stat : 26269 (java) S 26251 26253 21497 0 -1 4202560 1032 0 0 0 10 0 0 0 20 0 19 0 254444912 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459247631288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26270] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26270/stat : 26270 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444912 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459246578424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26271] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26271/stat : 26271 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444912 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459245526088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26274] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26274/stat : 26274 (java) S 26251 26253 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254444927 10060460032 10259 33554432000 1073741824 1073778376 140736585537536 140459242365736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824668

[startup+3.10068 s]
/proc/loadavg: 3.81 3.84 3.77 3/216 26284
/proc/meminfo: memFree=26322508/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 17925 0 1 0 170 12 0 0 20 0 19 0 254444906 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 22279 2248 9 0 2446860 0
[pid=26253/tid=26255] ppid=26251 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 21497 0 -1 4202560 2454 0 1 0 17 2 0 0 20 0 19 0 254444907 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459898635256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26256] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459860126120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26257] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459741538856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26258] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459740485800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26259] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459739433256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26260] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459738381224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26261] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459737328680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26262] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26262/stat : 26262 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459736275624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26263] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26263/stat : 26263 (java) S 26251 26253 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254444908 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459735223080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26264] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26264/stat : 26264 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254444910 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459252894056 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26265] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26265/stat : 26265 (java) S 26251 26253 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254444910 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459251840376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26266] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26266/stat : 26266 (java) S 26251 26253 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254444910 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459250787208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26267] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26267/stat : 26267 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444912 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459249735952 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26268] ppid=26251 vsize=9824668 CPUtime=0.54 cores=0,2,4,6
/proc/26253/task/26268/stat : 26268 (java) S 26251 26253 21497 0 -1 4202560 6726 0 0 0 52 2 0 0 20 0 19 0 254444912 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459248683832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26269] ppid=26251 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/26253/task/26269/stat : 26269 (java) S 26251 26253 21497 0 -1 4202560 7390 0 0 0 60 2 0 0 20 0 19 0 254444912 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459247631288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26270] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26270/stat : 26270 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444912 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459246578424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26271] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26271/stat : 26271 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254444912 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459245526088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26284] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26284/stat : 26284 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254445078 10060460032 22279 33554432000 1073741824 1073778376 140736585537536 140459241313832 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.30079 s]
/proc/loadavg: 3.75 3.82 3.76 3/219 26302
/proc/meminfo: memFree=26187356/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=6.59 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 22226 0 1 0 638 21 0 0 20 0 22 0 254444906 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 48978 2281 9 0 2446860 0
[pid=26253/tid=26255] ppid=26251 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 21497 0 -1 4202560 2457 0 1 0 17 2 0 0 20 0 22 0 254444907 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459898635256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26256] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459860126120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26257] ppid=26251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 21497 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459741538856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26258] ppid=26251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 21497 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459740485800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26259] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 21497 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459739433256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26260] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459738381224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26261] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459737328680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26262] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26262/stat : 26262 (java) S 26251 26253 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459736275624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26263] ppid=26251 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/26253/task/26263/stat : 26263 (java) S 26251 26253 21497 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254444908 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459735223080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26264] ppid=26251 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/26253/task/26264/stat : 26264 (java) S 26251 26253 21497 0 -1 4202560 39 0 0 0 34 2 0 0 20 0 22 0 254444910 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459252894056 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26265] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26265/stat : 26265 (java) S 26251 26253 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459251840376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26266] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26266/stat : 26266 (java) S 26251 26253 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459250787208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26267] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26267/stat : 26267 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459249735952 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26268] ppid=26251 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/26253/task/26268/stat : 26268 (java) S 26251 26253 21497 0 -1 4202560 6730 0 0 0 73 2 0 0 20 0 22 0 254444912 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459248683832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26269] ppid=26251 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/26253/task/26269/stat : 26269 (java) S 26251 26253 21497 0 -1 4202560 11517 0 0 0 104 2 0 0 20 0 22 0 254444912 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459247631288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26270] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26270/stat : 26270 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459246578424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26271] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26271/stat : 26271 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459245526088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26284] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26284/stat : 26284 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254445078 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459241313832 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26300] ppid=26251 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/26253/task/26300/stat : 26300 (java) R 26251 26253 21497 0 -1 4202560 6 0 0 0 82 0 0 0 20 0 22 0 254445431 10060460032 48978 33554432000 1073741824 1073778376 140736585537536 140459244471136 140459742068148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26301] ppid=26251 vsize=9824668 CPUtime=0.82 cores=0,2,4,6

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

[pid=26253/tid=26373] ppid=26251 vsize=9824668 CPUtime=195.55 cores=0,2,4,6
/proc/26253/task/26373/stat : 26373 (java) R 26251 26253 21497 0 -1 4202560 19 0 0 0 19553 2 0 0 20 0 22 0 254508829 10060460032 332806 33554432000 1073741824 1073778376 140736585537536 140459242364080 140459742097720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26374] ppid=26251 vsize=9824668 CPUtime=195.55 cores=0,2,4,6
/proc/26253/task/26374/stat : 26374 (java) R 26251 26253 21497 0 -1 4202560 462 0 0 0 19551 4 0 0 20 0 22 0 254508829 10060460032 332806 33554432000 1073741824 1073778376 140736585537536 140459244468544 140459742240904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26375] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26375/stat : 26375 (java) S 26251 26253 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254508829 10060460032 332806 33554432000 1073741824 1073778376 140736585537536 140459243419176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1678.34
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.94 3.87 3.81 5/219 26376
/proc/meminfo: memFree=24125828/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=1793.87 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 31230 0 1 0 179255 132 0 0 20 0 22 0 254444906 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 308466 2282 9 0 2446860 0
[pid=26253/tid=26255] ppid=26251 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 21497 0 -1 4202560 2603 0 1 0 20 3 0 0 20 0 22 0 254444907 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459898635256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26256] ppid=26251 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 21497 0 -1 4202560 473 0 0 0 311 3 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459860126120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26257] ppid=26251 vsize=9824668 CPUtime=3.06 cores=0,2,4,6
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 21497 0 -1 4202560 456 0 0 0 303 3 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459741538856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26258] ppid=26251 vsize=9824668 CPUtime=3.05 cores=0,2,4,6
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 21497 0 -1 4202560 471 0 0 0 301 4 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459740485800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26259] ppid=26251 vsize=9824668 CPUtime=3.11 cores=0,2,4,6
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 21497 0 -1 4202560 767 0 0 0 307 4 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459739433256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26260] ppid=26251 vsize=9824668 CPUtime=3.13 cores=0,2,4,6
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 21497 0 -1 4202560 699 0 0 0 310 3 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459738381224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26261] ppid=26251 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 21497 0 -1 4202560 506 0 0 0 319 4 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459737328680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26262] ppid=26251 vsize=9824668 CPUtime=3.01 cores=0,2,4,6
/proc/26253/task/26262/stat : 26262 (java) S 26251 26253 21497 0 -1 4202560 857 0 0 0 297 4 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459736275624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26263] ppid=26251 vsize=9824668 CPUtime=3.25 cores=0,2,4,6
/proc/26253/task/26263/stat : 26263 (java) S 26251 26253 21497 0 -1 4202560 554 0 0 0 320 5 0 0 20 0 22 0 254444908 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459735223080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26264] ppid=26251 vsize=9824668 CPUtime=95.07 cores=0,2,4,6
/proc/26253/task/26264/stat : 26264 (java) S 26251 26253 21497 0 -1 4202560 1382 0 0 0 9486 21 0 0 20 0 22 0 254444910 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459252894056 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26265] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26265/stat : 26265 (java) S 26251 26253 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459251840376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26266] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26266/stat : 26266 (java) S 26251 26253 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459250787208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26267] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26267/stat : 26267 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459249735952 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26268] ppid=26251 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/26253/task/26268/stat : 26268 (java) S 26251 26253 21497 0 -1 4202560 6753 0 0 0 78 2 0 0 20 0 22 0 254444912 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459248683832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26269] ppid=26251 vsize=9824668 CPUtime=1.6 cores=0,2,4,6
/proc/26253/task/26269/stat : 26269 (java) S 26251 26253 21497 0 -1 4202560 12151 0 0 0 158 2 0 0 20 0 22 0 254444912 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459247631288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26270] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26270/stat : 26270 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459246578424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26271] ppid=26251 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/26253/task/26271/stat : 26271 (java) S 26251 26253 21497 0 -1 4202560 55 0 0 0 14 18 0 0 20 0 22 0 254444912 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459245526088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26284] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26284/stat : 26284 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254445078 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459241313832 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26373] ppid=26251 vsize=9824668 CPUtime=249.42 cores=0,2,4,6
/proc/26253/task/26373/stat : 26373 (java) R 26251 26253 21497 0 -1 4202560 31 0 0 0 24939 3 0 0 20 0 22 0 254508829 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459242364080 140459742698484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26374] ppid=26251 vsize=9824668 CPUtime=249.42 cores=0,2,4,6
/proc/26253/task/26374/stat : 26374 (java) R 26251 26253 21497 0 -1 4202560 946 0 0 0 24936 6 0 0 20 0 22 0 254508829 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459244468544 140459742223275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26375] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26375/stat : 26375 (java) S 26251 26253 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254508829 10060460032 308466 33554432000 1073741824 1073778376 140736585537536 140459243419176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1793.87
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+945.901 s]
/proc/loadavg: 3.95 3.88 3.81 5/219 26376
/proc/meminfo: memFree=24109508/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=1800.21 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 32016 0 1 0 179888 133 0 0 20 0 22 0 254444906 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 312816 2282 9 0 2446860 0
[pid=26253/tid=26255] ppid=26251 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 21497 0 -1 4202560 2604 0 1 0 20 3 0 0 20 0 22 0 254444907 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459898635256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26256] ppid=26251 vsize=9824668 CPUtime=3.18 cores=0,2,4,6
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 21497 0 -1 4202560 474 0 0 0 314 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459860126120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26257] ppid=26251 vsize=9824668 CPUtime=3.12 cores=0,2,4,6
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 21497 0 -1 4202560 458 0 0 0 309 3 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459741538856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26258] ppid=26251 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 21497 0 -1 4202560 471 0 0 0 304 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459740485800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26259] ppid=26251 vsize=9824668 CPUtime=3.15 cores=0,2,4,6
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 21497 0 -1 4202560 768 0 0 0 311 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459739433256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26260] ppid=26251 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 21497 0 -1 4202560 699 0 0 0 314 3 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459738381224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26261] ppid=26251 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 21497 0 -1 4202560 507 0 0 0 327 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459737328680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26262] ppid=26251 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/26253/task/26262/stat : 26262 (java) S 26251 26253 21497 0 -1 4202560 858 0 0 0 310 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459736275624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26263] ppid=26251 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/26253/task/26263/stat : 26263 (java) S 26251 26253 21497 0 -1 4202560 555 0 0 0 331 5 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459735223080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26264] ppid=26251 vsize=9824668 CPUtime=96.21 cores=0,2,4,6
/proc/26253/task/26264/stat : 26264 (java) S 26251 26253 21497 0 -1 4202560 2159 0 0 0 9600 21 0 0 20 0 22 0 254444910 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459252894056 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26265] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26265/stat : 26265 (java) S 26251 26253 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459251840376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26266] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26266/stat : 26266 (java) S 26251 26253 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459250787208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26267] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26267/stat : 26267 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459249735952 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26268] ppid=26251 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/26253/task/26268/stat : 26268 (java) S 26251 26253 21497 0 -1 4202560 6753 0 0 0 78 2 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459248683832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26269] ppid=26251 vsize=9824668 CPUtime=1.6 cores=0,2,4,6
/proc/26253/task/26269/stat : 26269 (java) S 26251 26253 21497 0 -1 4202560 12151 0 0 0 158 2 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459247631288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26270] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26270/stat : 26270 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459246578424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26271] ppid=26251 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/26253/task/26271/stat : 26271 (java) S 26251 26253 21497 0 -1 4202560 55 0 0 0 14 19 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459245526088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26284] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26284/stat : 26284 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254445078 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459241313832 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26373] ppid=26251 vsize=9824668 CPUtime=251.76 cores=0,2,4,6
/proc/26253/task/26373/stat : 26373 (java) R 26251 26253 21497 0 -1 4202560 31 0 0 0 25173 3 0 0 20 0 22 0 254508829 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459242365024 140459742029999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26374] ppid=26251 vsize=9824668 CPUtime=251.76 cores=0,2,4,6
/proc/26253/task/26374/stat : 26374 (java) R 26251 26253 21497 0 -1 4202560 947 0 0 0 25170 6 0 0 20 0 22 0 254508829 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459244468720 140459742240964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26375] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26375/stat : 26375 (java) S 26251 26253 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254508829 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459243419176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 9824668

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

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

[startup+945.901 s]
/proc/loadavg: 3.95 3.88 3.81 5/219 26376
/proc/meminfo: memFree=24109508/32873648 swapFree=6852/6852
[pid=26253] ppid=26251 vsize=9824668 CPUtime=1800.21 cores=0,2,4,6
/proc/26253/stat : 26253 (java) S 26251 26253 21497 0 -1 4202496 32016 0 1 0 179888 133 0 0 20 0 22 0 254444906 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140736585528672 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26253/statm: 2456167 312816 2282 9 0 2446860 0
[pid=26253/tid=26255] ppid=26251 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/26253/task/26255/stat : 26255 (java) S 26251 26253 21497 0 -1 4202560 2604 0 1 0 20 3 0 0 20 0 22 0 254444907 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459898635256 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26256] ppid=26251 vsize=9824668 CPUtime=3.18 cores=0,2,4,6
/proc/26253/task/26256/stat : 26256 (java) S 26251 26253 21497 0 -1 4202560 474 0 0 0 314 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459860126120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26257] ppid=26251 vsize=9824668 CPUtime=3.12 cores=0,2,4,6
/proc/26253/task/26257/stat : 26257 (java) S 26251 26253 21497 0 -1 4202560 458 0 0 0 309 3 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459741538856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26258] ppid=26251 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/26253/task/26258/stat : 26258 (java) S 26251 26253 21497 0 -1 4202560 471 0 0 0 304 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459740485800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26259] ppid=26251 vsize=9824668 CPUtime=3.15 cores=0,2,4,6
/proc/26253/task/26259/stat : 26259 (java) S 26251 26253 21497 0 -1 4202560 768 0 0 0 311 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459739433256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26260] ppid=26251 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/26253/task/26260/stat : 26260 (java) S 26251 26253 21497 0 -1 4202560 699 0 0 0 314 3 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459738381224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26261] ppid=26251 vsize=9824668 CPUtime=3.31 cores=0,2,4,6
/proc/26253/task/26261/stat : 26261 (java) S 26251 26253 21497 0 -1 4202560 507 0 0 0 327 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459737328680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26262] ppid=26251 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/26253/task/26262/stat : 26262 (java) S 26251 26253 21497 0 -1 4202560 858 0 0 0 310 4 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459736275624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26263] ppid=26251 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/26253/task/26263/stat : 26263 (java) S 26251 26253 21497 0 -1 4202560 555 0 0 0 331 5 0 0 20 0 22 0 254444908 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459735223080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26264] ppid=26251 vsize=9824668 CPUtime=96.21 cores=0,2,4,6
/proc/26253/task/26264/stat : 26264 (java) S 26251 26253 21497 0 -1 4202560 2159 0 0 0 9600 21 0 0 20 0 22 0 254444910 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459252894056 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26265] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26265/stat : 26265 (java) S 26251 26253 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459251840376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26266] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26266/stat : 26266 (java) S 26251 26253 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254444910 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459250787208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26267] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26267/stat : 26267 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459249735952 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26268] ppid=26251 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/26253/task/26268/stat : 26268 (java) S 26251 26253 21497 0 -1 4202560 6753 0 0 0 78 2 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459248683832 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26269] ppid=26251 vsize=9824668 CPUtime=1.6 cores=0,2,4,6
/proc/26253/task/26269/stat : 26269 (java) S 26251 26253 21497 0 -1 4202560 12151 0 0 0 158 2 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459247631288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26270] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26270/stat : 26270 (java) S 26251 26253 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459246578424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26271] ppid=26251 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/26253/task/26271/stat : 26271 (java) S 26251 26253 21497 0 -1 4202560 55 0 0 0 14 19 0 0 20 0 22 0 254444912 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459245526088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26253/tid=26284] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26284/stat : 26284 (java) S 26251 26253 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254445078 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459241313832 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26253/tid=26373] ppid=26251 vsize=9824668 CPUtime=251.76 cores=0,2,4,6
/proc/26253/task/26373/stat : 26373 (java) R 26251 26253 21497 0 -1 4202560 31 0 0 0 25173 3 0 0 20 0 22 0 254508829 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459242365024 140459742029999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26253/tid=26374] ppid=26251 vsize=9824668 CPUtime=251.76 cores=0,2,4,6
/proc/26253/task/26374/stat : 26374 (java) R 26251 26253 21497 0 -1 4202560 947 0 0 0 25170 6 0 0 20 0 22 0 254508829 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459244468720 140459742240964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26253/tid=26375] ppid=26251 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26253/task/26375/stat : 26375 (java) S 26251 26253 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254508829 10060460032 312816 33554432000 1073741824 1073778376 140736585537536 140459243419176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 945.949
CPU time (s): 1800.72
CPU user time (s): 1799.06
CPU system time (s): 1.66075
CPU usage (%): 190.361
Max. virtual memory (cumulated for all children) (KiB): 9825184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.66075
maximum resident set size= 2369296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32050
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32504
involuntary context switches= 54332

runsolver used 3.15052 second user time and 8.78566 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-24 20:13:09
IDJOB=3689576
IDBENCH=89907
IDSOLVER=2268
FILE ID=node116/3689576-1337883188
RUNJOBID= node116-1337871880-21513
PBS_JOBID= 14620088
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-sbox_4_shg.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689576-1337883188/watcher-3689576-1337883188 -o /tmp/evaluation-result-3689576-1337883188/solver-3689576-1337883188 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689576-1337883188.opb

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

MD5SUM BENCH= 175e0a4a6cd805ac131e3fa3fd7ba75e
RANDOM SEED=862335654

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.92
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.556
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.92
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.556
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.90
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.556
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:        26360196 kB
Buffers:          214580 kB
Cached:          2941680 kB
SwapCached:            0 kB
Active:          3074976 kB
Inactive:        2674036 kB
Active(anon):    2595340 kB
Inactive(anon):        0 kB
Active(file):     479636 kB
Inactive(file):  2674036 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               196 kB
Writeback:             0 kB
AnonPages:       2599408 kB
Mapped:            21716 kB
Shmem:               200 kB
Slab:             623736 kB
SReclaimable:      68072 kB
SUnreclaim:       555664 kB
KernelStack:        1616 kB
PageTables:         8820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2803344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2514944 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= 71728 MiB
End job on node116 at 2012-05-24 20:28:56