Trace number 3687678

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)6744 1800.46 1020.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4822
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/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-3687678-1337873371.opb
0.09/0.11	c reading problem ... 
0.27/0.29	c ... done. Wall clock time 0.176s.
0.27/0.29	c declared #vars     771
0.27/0.29	c #constraints  1916
0.27/0.29	c constraints type 
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1520
0.27/0.29	c ignored satisfied constraints => 35
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 385
0.27/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
0.27/0.29	c 1951 constraints processed.
0.27/0.29	c constraints type 
0.27/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 385
0.27/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1520
0.27/0.29	c ignored satisfied constraints => 35
0.27/0.29	c org.sat4j.pb.constraints.pb.UnitClausePB => 11
0.27/0.29	c 1951 constraints processed.
0.27/0.29	c objective function length is 771 literals
0.52/0.31	c  And the winner is solver0
0.61/0.79	c SATISFIABLE
0.61/0.79	c OPTIMIZING...
0.61/0.79	c Got one! Elapsed wall clock time (in seconds):0.679
0.61/0.79	o 7051
0.61/0.82	c  And the winner is solver0
0.71/1.31	c Got one! Elapsed wall clock time (in seconds):1.194
0.71/1.31	o 7045
0.71/1.33	c  And the winner is solver0
0.77/1.82	c Got one! Elapsed wall clock time (in seconds):1.707
0.77/1.82	o 6979
0.77/1.83	c  And the winner is solver0
1.34/2.33	c Got one! Elapsed wall clock time (in seconds):2.213
1.34/2.33	o 6956
1.99/2.58	c  And the winner is solver1
2.47/2.83	c Got one! Elapsed wall clock time (in seconds):2.716
2.47/2.83	o 6935
2.67/2.94	c  And the winner is solver1
2.76/3.33	c Got one! Elapsed wall clock time (in seconds):3.219
2.76/3.33	o 6933
2.90/3.42	c  And the winner is solver0
2.96/3.84	c Got one! Elapsed wall clock time (in seconds):3.722
2.96/3.84	o 6928
3.62/4.12	c cleaning 3090 clauses out of 6179 with flag 3000/6179
4.94/4.62	c cleaning 4541 clauses out of 9089 with flag 9000/12179
6.15/5.20	c cleaning 5775 clauses out of 11549 with flag 16001/19180
7.66/5.90	c cleaning 6883 clauses out of 13773 with flag 24000/27179
9.05/6.68	c cleaning 7944 clauses out of 15890 with flag 33000/36179
10.78/7.51	c cleaning 8973 clauses out of 17946 with flag 43000/46179
11.11/7.71	c  And the winner is solver1
11.15/7.84	c Got one! Elapsed wall clock time (in seconds):7.725
11.15/7.84	o 6922
11.70/8.16	c cleaning 7109 clauses out of 14217 with flag 4001/51423
12.84/8.73	c cleaning 6553 clauses out of 13108 with flag 10001/57423
13.89/9.39	c  And the winner is solver1
13.89/9.39	c Got one! Elapsed wall clock time (in seconds):9.275
13.89/9.39	o 6906
14.95/9.82	c cleaning 9237 clauses out of 18473 with flag 5000/69342
16.59/10.51	c cleaning 7619 clauses out of 15237 with flag 11001/75343
18.36/11.34	c cleaning 7309 clauses out of 14617 with flag 18000/82342
20.07/12.28	c cleaning 7652 clauses out of 15309 with flag 26001/90343
20.87/12.70	c  And the winner is solver1
20.90/13.02	c Got one! Elapsed wall clock time (in seconds):12.91
20.90/13.02	o 6884
21.35/13.26	c cleaning 6350 clauses out of 12704 with flag 3001/95390
22.41/13.90	c cleaning 6175 clauses out of 12353 with flag 9000/101389
23.87/14.61	c cleaning 6588 clauses out of 13179 with flag 16001/108390
25.39/15.47	c cleaning 7295 clauses out of 14590 with flag 24000/116389
27.14/16.46	c cleaning 8148 clauses out of 16296 with flag 33001/125390
28.98/17.48	c cleaning 9074 clauses out of 18147 with flag 43000/135389
31.03/18.57	c cleaning 10035 clauses out of 20073 with flag 54000/146389
33.33/19.77	c cleaning 11015 clauses out of 22039 with flag 66001/158390
36.02/21.23	c cleaning 12011 clauses out of 24024 with flag 79001/171390
38.62/22.68	c cleaning 13004 clauses out of 26013 with flag 93001/185390
41.43/24.18	c cleaning 13994 clauses out of 28008 with flag 108000/200389
44.39/25.80	c cleaning 15003 clauses out of 30015 with flag 124001/216390
47.67/27.60	c cleaning 16005 clauses out of 32011 with flag 141000/233389
51.18/29.46	c cleaning 17000 clauses out of 34010 with flag 159004/251393
54.92/31.48	c cleaning 18003 clauses out of 36006 with flag 178000/270389
58.82/33.57	c cleaning 18998 clauses out of 38004 with flag 198001/290390
63.11/35.97	c cleaning 20001 clauses out of 40007 with flag 219002/311391
67.79/38.47	c cleaning 21001 clauses out of 42004 with flag 241000/333389
72.85/41.17	c cleaning 21998 clauses out of 44003 with flag 264000/356389
77.73/43.74	c cleaning 23000 clauses out of 46005 with flag 288000/380389
80.36/45.36	c  And the winner is solver1
80.36/45.37	c Got one! Elapsed wall clock time (in seconds):45.255
80.36/45.37	o 6873
81.37/45.80	c cleaning 20457 clauses out of 40919 with flag 5001/398303
82.61/46.67	c cleaning 13221 clauses out of 26461 with flag 11000/404302
84.25/47.64	c cleaning 10115 clauses out of 20241 with flag 18001/411303
86.07/48.79	c cleaning 9058 clauses out of 18125 with flag 26000/419302
88.26/50.14	c cleaning 9025 clauses out of 18067 with flag 35000/428302
90.26/51.32	c cleaning 9518 clauses out of 19042 with flag 45000/438302
92.47/52.62	c cleaning 10256 clauses out of 20524 with flag 56000/449302
94.67/53.98	c cleaning 11134 clauses out of 22268 with flag 68000/461302
97.61/55.74	c cleaning 12061 clauses out of 24135 with flag 81001/474303
100.40/57.33	c cleaning 13035 clauses out of 26073 with flag 95000/488302
103.19/58.92	c cleaning 14012 clauses out of 28038 with flag 110000/503302
106.36/60.72	c cleaning 15013 clauses out of 30026 with flag 126000/519302
110.07/62.93	c cleaning 15999 clauses out of 32014 with flag 143001/536303
113.63/64.94	c cleaning 17004 clauses out of 34015 with flag 161001/554303
117.38/67.02	c cleaning 18002 clauses out of 36010 with flag 180000/573302
121.33/69.26	c cleaning 18997 clauses out of 38008 with flag 200000/593302
125.76/71.82	c cleaning 20001 clauses out of 40012 with flag 221001/614303
129.88/74.16	c cleaning 21001 clauses out of 42010 with flag 243000/636302
134.60/76.77	c cleaning 22003 clauses out of 44009 with flag 266000/659302
139.70/79.53	c cleaning 23003 clauses out of 46007 with flag 290001/683303
145.26/82.71	c cleaning 24002 clauses out of 48004 with flag 315001/708303
150.77/85.71	c cleaning 24998 clauses out of 50004 with flag 341003/734305
157.25/89.20	c cleaning 26002 clauses out of 52003 with flag 368000/761302
158.52/90.17	c  And the winner is solver1
158.68/90.30	c Got one! Elapsed wall clock time (in seconds):90.183
158.68/90.30	o 6836
158.87/90.40	c cleaning 15891 clauses out of 31790 with flag 1001/767091
160.59/91.77	c cleaning 10944 clauses out of 21898 with flag 7000/773090
162.24/92.89	c cleaning 8970 clauses out of 17955 with flag 14001/780091
164.31/94.11	c cleaning 8491 clauses out of 16984 with flag 22000/788090
166.15/95.36	c cleaning 8742 clauses out of 17494 with flag 31001/797091
168.63/97.01	c cleaning 9370 clauses out of 18751 with flag 41000/807090
170.87/98.47	c cleaning 10187 clauses out of 20382 with flag 52001/818091
173.54/100.06	c cleaning 11091 clauses out of 22194 with flag 64000/830090
176.37/101.77	c cleaning 12051 clauses out of 24104 with flag 77001/843091
179.84/103.92	c cleaning 13024 clauses out of 26053 with flag 91001/857091
180.67/104.69	c  And the winner is solver1
180.86/105.04	c Got one! Elapsed wall clock time (in seconds):104.93
180.86/105.04	o 6770
181.37/105.35	c cleaning 9477 clauses out of 18965 with flag 4000/863027
182.93/106.43	c cleaning 7742 clauses out of 15488 with flag 10000/869027
184.70/107.61	c cleaning 7367 clauses out of 14746 with flag 17000/876027
186.88/109.25	c cleaning 7685 clauses out of 15379 with flag 25000/884027
189.02/110.63	c cleaning 8345 clauses out of 16695 with flag 34001/893028
191.38/112.12	c cleaning 9174 clauses out of 18349 with flag 44000/903027
193.70/113.68	c cleaning 10082 clauses out of 20176 with flag 55001/914028
197.01/115.80	c cleaning 11041 clauses out of 22093 with flag 67000/926027
199.91/117.63	c cleaning 12022 clauses out of 24052 with flag 80000/939027
202.96/119.52	c cleaning 13011 clauses out of 26030 with flag 94000/953027
206.20/121.53	c cleaning 14009 clauses out of 28021 with flag 109002/968029
209.84/123.96	c cleaning 15001 clauses out of 30012 with flag 125002/984029
213.27/126.02	c cleaning 15999 clauses out of 32009 with flag 142000/1001027
214.73/127.13	c  And the winner is solver1
214.82/127.28	c Got one! Elapsed wall clock time (in seconds):127.169
214.82/127.28	o 6768
214.91/127.38	c cleaning 10917 clauses out of 21847 with flag 1000/1006864
216.58/128.55	c cleaning 8462 clauses out of 16930 with flag 7000/1012864
218.85/130.29	c cleaning 7730 clauses out of 15469 with flag 14001/1019865
220.94/131.63	c cleaning 7870 clauses out of 15739 with flag 22001/1027865
223.04/133.10	c cleaning 8434 clauses out of 16868 with flag 31000/1036864
225.70/134.70	c cleaning 9214 clauses out of 18434 with flag 41000/1046864
228.74/136.87	c cleaning 10106 clauses out of 20220 with flag 52000/1057864
231.41/138.57	c cleaning 11054 clauses out of 22115 with flag 64001/1069865
234.25/140.38	c cleaning 12024 clauses out of 24060 with flag 77000/1082864
237.30/142.22	c cleaning 13017 clauses out of 26036 with flag 91000/1096864
240.90/144.68	c cleaning 14004 clauses out of 28019 with flag 106000/1111864
244.32/146.74	c cleaning 15003 clauses out of 30015 with flag 122000/1127864
247.93/148.94	c cleaning 16004 clauses out of 32012 with flag 139000/1144864
251.52/151.18	c cleaning 16997 clauses out of 34008 with flag 157000/1162864
256.24/154.10	c cleaning 18003 clauses out of 36012 with flag 176001/1181865
260.17/156.56	c cleaning 19004 clauses out of 38009 with flag 196001/1201865
264.70/159.26	c cleaning 20000 clauses out of 40004 with flag 217000/1222864
269.21/161.94	c cleaning 20999 clauses out of 42004 with flag 239000/1244864
274.66/165.31	c cleaning 21994 clauses out of 44005 with flag 262000/1267864
279.55/168.27	c cleaning 23005 clauses out of 46011 with flag 286000/1291864
285.23/171.58	c cleaning 23999 clauses out of 48007 with flag 311001/1316865
290.65/174.80	c cleaning 24998 clauses out of 50007 with flag 337000/1342864
297.22/178.74	c cleaning 26003 clauses out of 52009 with flag 364000/1369864
303.45/182.36	c cleaning 27001 clauses out of 54007 with flag 392001/1397865
308.96/185.56	c cleaning 27996 clauses out of 56005 with flag 421000/1426864
314.75/188.89	c cleaning 29001 clauses out of 58010 with flag 451001/1456865
321.44/192.84	c cleaning 30005 clauses out of 60011 with flag 482003/1487867
328.00/196.57	c cleaning 30998 clauses out of 62003 with flag 514000/1519864
334.77/200.32	c cleaning 32000 clauses out of 64005 with flag 547000/1552864
341.54/204.14	c cleaning 33001 clauses out of 66006 with flag 581001/1586865
348.98/208.53	c cleaning 33988 clauses out of 68004 with flag 616000/1621864
355.95/212.41	c cleaning 35009 clauses out of 70017 with flag 652001/1657865
362.90/216.30	c cleaning 35990 clauses out of 72007 with flag 689000/1694864
369.66/220.16	c cleaning 36998 clauses out of 74017 with flag 727000/1732864
377.52/224.78	c cleaning 38006 clauses out of 76019 with flag 766000/1771864
385.07/228.95	c cleaning 39001 clauses out of 78013 with flag 806000/1811864
394.99/234.87	c cleaning 40006 clauses out of 80013 with flag 847001/1852865
405.34/240.43	c cleaning 40999 clauses out of 82006 with flag 889000/1894864
413.87/245.10	c cleaning 42000 clauses out of 84008 with flag 932001/1937865
422.62/249.99	c cleaning 42999 clauses out of 86008 with flag 976001/1981865
432.20/255.19	c cleaning 43999 clauses out of 88008 with flag 1021000/2026864
441.83/260.69	c cleaning 45001 clauses out of 90009 with flag 1067000/2072864
451.27/265.65	c cleaning 46000 clauses out of 92010 with flag 1114002/2119866
461.27/270.92	c cleaning 46995 clauses out of 94008 with flag 1162000/2167864
471.54/276.47	c cleaning 48002 clauses out of 96015 with flag 1211002/2216866
482.78/282.72	c cleaning 49002 clauses out of 98011 with flag 1261000/2266864
492.94/288.21	c cleaning 49999 clauses out of 100010 with flag 1312001/2317865
502.49/293.41	c cleaning 51001 clauses out of 102011 with flag 1364001/2369865
512.45/298.84	c cleaning 52004 clauses out of 104010 with flag 1417001/2422865
524.45/306.07	c cleaning 53002 clauses out of 106006 with flag 1471001/2476865
535.81/312.09	c cleaning 53998 clauses out of 108004 with flag 1526001/2531865
548.26/318.67	c cleaning 54996 clauses out of 110005 with flag 1582000/2587864
561.76/326.09	c cleaning 55998 clauses out of 112009 with flag 1639000/2644864
575.40/333.23	c cleaning 56996 clauses out of 114012 with flag 1697001/2702865
589.97/340.99	c cleaning 58002 clauses out of 116016 with flag 1756001/2761865
603.13/347.92	c cleaning 59004 clauses out of 118013 with flag 1816000/2821864
617.11/355.69	c cleaning 60004 clauses out of 120009 with flag 1877000/2882864
631.28/363.10	c cleaning 61001 clauses out of 122007 with flag 1939002/2944866
646.00/370.91	c cleaning 62000 clauses out of 124004 with flag 2002000/3007864
658.47/377.61	c cleaning 62999 clauses out of 126004 with flag 2066000/3071864
672.49/385.46	c cleaning 63997 clauses out of 128006 with flag 2131001/3136865
685.96/392.68	c cleaning 64993 clauses out of 130008 with flag 2197000/3202864
700.38/400.37	c cleaning 66008 clauses out of 132017 with flag 2264002/3269866
714.02/407.62	c cleaning 66996 clauses out of 134008 with flag 2332001/3337865
729.43/416.18	c cleaning 67999 clauses out of 136012 with flag 2401001/3406865
743.07/423.42	c cleaning 69000 clauses out of 138012 with flag 2471000/3476864
757.90/431.38	c cleaning 69994 clauses out of 140012 with flag 2542000/3547864
773.39/439.55	c cleaning 71004 clauses out of 142019 with flag 2614001/3619865
788.55/447.85	c cleaning 71999 clauses out of 144015 with flag 2687001/3692865
804.70/456.30	c cleaning 72998 clauses out of 146015 with flag 2761000/3766864
822.39/465.69	c cleaning 74005 clauses out of 148018 with flag 2836001/3841865
841.34/475.51	c cleaning 74997 clauses out of 150012 with flag 2912000/3917864
861.19/486.26	c cleaning 76007 clauses out of 152015 with flag 2989000/3994864
878.23/495.28	c cleaning 76998 clauses out of 154008 with flag 3067000/4072864
895.11/504.10	c cleaning 77999 clauses out of 156010 with flag 3146000/4151864
912.31/513.25	c cleaning 78999 clauses out of 158013 with flag 3226002/4231866
930.65/523.22	c cleaning 79998 clauses out of 160013 with flag 3307001/4312865
949.72/533.22	c cleaning 81004 clauses out of 162014 with flag 3389000/4394864
969.72/543.72	c cleaning 81999 clauses out of 164010 with flag 3472000/4477864
991.42/555.16	c cleaning 83002 clauses out of 166012 with flag 3556001/4561865
1007.66/564.13	c cleaning 0 clauses out of 7028 with flag 0/7035
1016.15/568.86	c cleaning 84001 clauses out of 168009 with flag 3641000/4646864
1039.45/581.06	c cleaning 85004 clauses out of 170009 with flag 3727001/4732865
1064.21/593.92	c cleaning 86002 clauses out of 172005 with flag 3814001/4819865
1093.21/609.31	c cleaning 86995 clauses out of 174002 with flag 3902000/4907864
1121.41/623.97	c cleaning 87996 clauses out of 176008 with flag 3991001/4996865
1152.20/639.87	c cleaning 89005 clauses out of 178012 with flag 4081001/5086865
1182.42/655.43	c cleaning 89994 clauses out of 180006 with flag 4172000/5177864
1188.31/659.45	c  And the winner is solver1
1188.63/659.70	c Got one! Elapsed wall clock time (in seconds):659.585
1188.63/659.70	o 6744
1190.03/660.44	c cleaning 55350 clauses out of 110704 with flag 5001/5198556
1192.75/662.45	c cleaning 30672 clauses out of 61354 with flag 11001/5204556
1195.26/664.39	c cleaning 18835 clauses out of 37682 with flag 18001/5211556
1197.98/666.39	c cleaning 13418 clauses out of 26846 with flag 26000/5219555
1201.62/669.29	c cleaning 11212 clauses out of 22429 with flag 35001/5228556
1204.75/671.45	c cleaning 10602 clauses out of 21218 with flag 45002/5238557
1207.87/673.68	c cleaning 10802 clauses out of 21614 with flag 56000/5249555
1211.39/676.07	c cleaning 11405 clauses out of 22812 with flag 68000/5261555
1215.97/679.31	c cleaning 12200 clauses out of 24407 with flag 81000/5274555
1219.68/681.84	c cleaning 13102 clauses out of 26207 with flag 95000/5288555
1223.79/684.51	c cleaning 14052 clauses out of 28105 with flag 110000/5303555
1227.68/687.19	c cleaning 15022 clauses out of 30053 with flag 126000/5319555
1232.91/690.82	c cleaning 16009 clauses out of 32031 with flag 143000/5336555
1237.19/693.62	c cleaning 17006 clauses out of 34022 with flag 161000/5354555
1242.09/696.76	c cleaning 18006 clauses out of 36018 with flag 180002/5373557
1247.79/700.21	c cleaning 19003 clauses out of 38012 with flag 200002/5393557
1253.82/704.37	c cleaning 20002 clauses out of 40008 with flag 221001/5414556
1259.11/707.68	c cleaning 21000 clauses out of 42005 with flag 243000/5436555
1264.60/711.10	c cleaning 22002 clauses out of 44005 with flag 266000/5459555
1270.26/714.52	c cleaning 22996 clauses out of 46003 with flag 290000/5483555
1276.84/718.98	c cleaning 24004 clauses out of 48007 with flag 315000/5508555
1283.12/722.76	c cleaning 24999 clauses out of 50003 with flag 341000/5534555
1289.57/726.64	c cleaning 25999 clauses out of 52004 with flag 368000/5561555
1296.42/730.74	c cleaning 27000 clauses out of 54006 with flag 396001/5589556
1303.39/735.38	c cleaning 27998 clauses out of 56005 with flag 425000/5618555
1309.64/739.15	c cleaning 28998 clauses out of 58008 with flag 455001/5648556
1316.89/743.46	c cleaning 29998 clauses out of 60009 with flag 486000/5679555
1324.35/747.83	c cleaning 30999 clauses out of 62011 with flag 518000/5711555
1332.65/753.12	c cleaning 32000 clauses out of 64012 with flag 551000/5744555
1339.88/757.45	c cleaning 33004 clauses out of 66012 with flag 585000/5778555
1347.52/761.97	c cleaning 33997 clauses out of 68008 with flag 620000/5813555
1355.77/766.75	c cleaning 35001 clauses out of 70012 with flag 656001/5849556
1365.27/772.68	c cleaning 36005 clauses out of 72010 with flag 693000/5886555
1374.30/777.84	c cleaning 36997 clauses out of 74005 with flag 731000/5924555
1383.69/783.20	c cleaning 38000 clauses out of 76008 with flag 770000/5963555
1394.23/789.32	c cleaning 38998 clauses out of 78008 with flag 810000/6003555
1406.78/796.97	c cleaning 40000 clauses out of 80010 with flag 851000/6044555
1418.22/803.59	c cleaning 40993 clauses out of 82010 with flag 893000/6086555
1427.90/809.27	c cleaning 42006 clauses out of 84017 with flag 936000/6129555
1438.60/815.41	c cleaning 43003 clauses out of 86013 with flag 980002/6173557
1450.91/822.98	c cleaning 43999 clauses out of 88008 with flag 1025000/6218555
1461.74/829.21	c cleaning 45005 clauses out of 90009 with flag 1071000/6264555
1472.78/835.69	c cleaning 46003 clauses out of 92005 with flag 1118001/6311556
1486.92/845.04	c cleaning 47001 clauses out of 94001 with flag 1166000/6359555
1498.15/851.29	c cleaning 47992 clauses out of 96003 with flag 1215003/6408558
1509.51/857.68	c cleaning 48999 clauses out of 98008 with flag 1265000/6458555
1521.42/864.36	c cleaning 49998 clauses out of 100009 with flag 1316000/6509555
1533.50/871.68	c cleaning 51000 clauses out of 102012 with flag 1368001/6561556
1545.59/878.40	c cleaning 52003 clauses out of 104013 with flag 1421002/6614557
1557.29/885.07	c cleaning 53001 clauses out of 106008 with flag 1475000/6668555
1570.43/892.36	c cleaning 53999 clauses out of 108008 with flag 1530001/6723556
1585.55/901.10	c cleaning 55000 clauses out of 110008 with flag 1586000/6779555
1600.50/909.37	c cleaning 56001 clauses out of 112008 with flag 1643000/6836555
1616.40/918.03	c cleaning 57004 clauses out of 114008 with flag 1701001/6894556
1630.72/925.98	c cleaning 57996 clauses out of 116003 with flag 1760000/6953555
1645.39/934.50	c cleaning 59001 clauses out of 118007 with flag 1820000/7013555
1660.09/942.63	c cleaning 59997 clauses out of 120006 with flag 1881000/7074555
1676.16/951.45	c cleaning 61001 clauses out of 122010 with flag 1943001/7136556
1690.79/959.59	c cleaning 62004 clauses out of 124008 with flag 2006000/7199555
1706.55/968.73	c cleaning 62996 clauses out of 126006 with flag 2070002/7263557
1721.59/977.03	c cleaning 64000 clauses out of 128008 with flag 2135000/7328555
1736.04/985.02	c cleaning 64999 clauses out of 130008 with flag 2201000/7394555
1751.08/993.32	c cleaning 66001 clauses out of 132009 with flag 2268000/7461555
1767.41/1002.88	c cleaning 67000 clauses out of 134008 with flag 2336000/7529555
1784.25/1012.01	c cleaning 67998 clauses out of 136008 with flag 2405000/7598555
1800.05/1020.72	c starts		: 48
1800.05/1020.72	c conflicts		: 9950
1800.05/1020.72	c decisions		: 92784
1800.05/1020.72	c propagations		: 708844
1800.05/1020.72	c inspects		: 458024569
1800.05/1020.72	c shortcuts		: 0
1800.05/1020.72	c learnt literals	: 6
1800.05/1020.72	c learnt binary clauses	: 3
1800.05/1020.72	c learnt ternary clauses	: 11
1800.05/1020.72	c learnt constraints	: 9942
1800.05/1020.72	c ignored constraints	: 0
1800.05/1020.72	c root simplifications	: 0
1800.05/1020.72	c removed literals (reason simplification)	: 0
1800.05/1020.72	c reason swapping (by a shorter reason)	: 0
1800.05/1020.72	c Calls to reduceDB	: 1
1800.05/1020.72	c number of reductions to clauses (during analyze)	: 0
1800.05/1020.72	c number of learned constraints concerned by reduction	: 0
1800.05/1020.72	c number of learning phase by resolution	: 0
1800.05/1020.72	c number of learning phase by cutting planes	: 0
1800.05/1020.72	c speed (assignments/second)	: 697.079391116133
1800.05/1020.72	c non guided choices	0
1800.05/1020.72	c learnt constraints type 
1800.05/1020.72	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 87
1800.05/1020.72	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 3
1800.05/1020.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9852
1800.05/1020.72	c constraints type 
1800.05/1020.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1520
1800.05/1020.72	c ignored satisfied constraints => 35
1800.05/1020.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 385
1800.05/1020.72	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
1800.05/1020.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.05/1020.72	c 1952 constraints processed.
1800.05/1020.72	c constraints type 
1800.05/1020.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 385
1800.05/1020.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1520
1800.05/1020.72	c ignored satisfied constraints => 35
1800.05/1020.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.05/1020.72	c org.sat4j.pb.constraints.pb.UnitClausePB => 11
1800.05/1020.72	c 1952 constraints processed.
1800.05/1020.72	s SATISFIABLE
1800.05/1020.72	v -x1 -x2 -x3 x4 -x5 -x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 x104 x105 x106 -x107 x108 -x109 -x110 x111 x112 x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 x122 x123 -x124 -x125 x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 x149 -x150 -x151 x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 x217 x218 x219 -x220 -x221 -x222 x223 -x224 x225 x226 x227 x228 -x229 -x230 x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 x271 x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 x287 x288 x289 -x290 x291 x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 -x333 x334 -x335 -x336 x337 x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 x350 -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 -x386 x387 -x388 -x389 x390 x391 -x392 x393 -x394 -x395 x396 x397 x398 x399 -x400 x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 x522 x523 x524 x525 -x526 x527 -x528 -x529 x530 -x531 x532 x533 -x534 x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 x575 -x576 -x577 x578 -x579 x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
1800.05/1020.72	c objective function=6744
1800.05/1020.72	c Total wall clock time (in seconds): 1020.61

Verifier Data 

OK	6744

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

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

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


[startup+0 s]
/proc/loadavg: 3.86 3.75 2.98 4/197 22277
/proc/meminfo: memFree=28122728/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22277/stat : 22277 (java) D 22275 22277 21597 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253464512 9515008 182 33554432000 1073741824 1073778376 140736981604016 140736981595048 219513962165 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/22277/statm: 2323 182 140 9 0 71 0

[startup+0.0349911 s]
/proc/loadavg: 3.86 3.75 2.98 4/197 22277
/proc/meminfo: memFree=28122728/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 2931 0 1 0 1 0 0 0 20 0 11 0 253464512 9310650368 3632 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2273108 3632 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100305 s]
/proc/loadavg: 3.86 3.75 2.98 4/197 22277
/proc/meminfo: memFree=28122728/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 4344 0 1 0 8 1 0 0 20 0 18 0 253464512 9787813888 5530 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2389603 5532 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.30014 s]
/proc/loadavg: 3.86 3.75 2.98 4/197 22277
/proc/meminfo: memFree=28122728/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9691540 CPUtime=0.52 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 5947 0 1 0 50 2 0 0 20 0 20 0 253464512 9924136960 9454 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2422885 9454 2228 9 0 2413578 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9691540

[startup+0.700256 s]
/proc/loadavg: 3.86 3.75 2.98 4/197 22277
/proc/meminfo: memFree=28122728/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 6367 0 1 0 57 4 0 0 20 0 19 0 253464512 10060460032 9538 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 9538 2234 9 0 2446860 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9824668

[startup+1.50074 s]
/proc/loadavg: 3.86 3.75 2.98 3/216 22302
/proc/meminfo: memFree=28086800/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 7083 0 1 0 71 6 0 0 20 0 19 0 253464512 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 12646 2240 9 0 2446860 0
[pid=22277/tid=22279] ppid=22275 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22277 21597 0 -1 4202560 2496 0 1 0 29 0 0 0 20 0 19 0 253464513 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968290464760 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22280] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968134236584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22281] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968133184040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22282] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968132130984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22283] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968131078440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22284] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968130026408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22285] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968128973864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22286] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968127920808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22287] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22277 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968126868264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22288] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253464516 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968114669928 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22289] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22277 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253464516 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968113616248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22290] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22277 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253464516 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968112563080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22291] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464518 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968111511824 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22292] ppid=22275 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22277/task/22292/stat : 22292 (java) S 22275 22277 21597 0 -1 4202560 1442 0 0 0 19 0 0 0 20 0 19 0 253464518 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968110459704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22293] ppid=22275 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22277/task/22293/stat : 22293 (java) S 22275 22277 21597 0 -1 4202560 1829 0 0 0 16 0 0 0 20 0 19 0 253464519 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968109407160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22294] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22294/stat : 22294 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464519 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968108354296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22295] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22295/stat : 22295 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464519 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968107301960 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22298] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22298/stat : 22298 (java) S 22275 22277 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253464543 10060460032 12646 33554432000 1073741824 1073778376 140736798648512 139968104141608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9824668

[startup+3.10072 s]
/proc/loadavg: 3.71 3.72 2.97 3/216 22308
/proc/meminfo: memFree=28054836/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=2.76 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 18375 0 1 0 263 13 0 0 20 0 19 0 253464512 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 24686 2254 9 0 2446860 0
[pid=22277/tid=22279] ppid=22275 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22277 21597 0 -1 4202560 2497 0 1 0 30 0 0 0 20 0 19 0 253464513 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968290464760 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22280] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968134236584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22281] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968133184040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22282] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968132130984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22283] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968131078440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22284] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968130026408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22285] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968128973864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22286] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968127920808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22287] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22277 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253464515 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968126868264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22288] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253464516 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968114669928 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22289] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22277 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253464516 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968113616248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22290] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22277 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253464516 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968112563080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22291] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464518 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968111511824 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22292] ppid=22275 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/22277/task/22292/stat : 22292 (java) S 22275 22277 21597 0 -1 4202560 5728 0 0 0 71 2 0 0 20 0 19 0 253464518 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968110459704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22293] ppid=22275 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/22277/task/22293/stat : 22293 (java) S 22275 22277 21597 0 -1 4202560 8799 0 0 0 70 2 0 0 20 0 19 0 253464519 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968109407160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22294] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22294/stat : 22294 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464519 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968108354296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22295] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22295/stat : 22295 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253464519 10060460032 24686 33554432000 1073741824 1073778376 140736798648512 139968107301960 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9824668

[startup+6.30083 s]
/proc/loadavg: 3.71 3.72 2.97 6/219 22320
/proc/meminfo: memFree=27950160/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=8.43 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 21850 0 1 0 822 21 0 0 20 0 22 0 253464512 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 47445 2280 9 0 2446860 0
[pid=22277/tid=22279] ppid=22275 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22277 21597 0 -1 4202560 2498 0 1 0 30 0 0 0 20 0 22 0 253464513 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968290464760 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22280] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22277 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968134236584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22281] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968133184040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22282] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22277 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968132130984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22283] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22277 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968131078440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22284] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22277 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968130026408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22285] ppid=22275 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22277 21597 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968128973864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22286] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22277 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968127920808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22287] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22277 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253464515 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968126868264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22288] ppid=22275 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22277 21597 0 -1 4202560 42 0 0 0 17 2 0 0 20 0 22 0 253464516 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968114669928 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22289] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22277 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968113616248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22290] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22277 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968112563080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22291] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464518 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968111511824 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22292] ppid=22275 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/22277/task/22292/stat : 22292 (java) S 22275 22277 21597 0 -1 4202560 6347 0 0 0 115 2 0 0 20 0 22 0 253464518 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968110459704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22293] ppid=22275 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/22277/task/22293/stat : 22293 (java) S 22275 22277 21597 0 -1 4202560 11505 0 0 0 98 3 0 0 20 0 22 0 253464519 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968109407160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22294] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22294/stat : 22294 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464519 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968108354296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22295] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22295/stat : 22295 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464519 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968107301960 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22317] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22317/stat : 22317 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464846 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968104142504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22318] ppid=22275 vsize=9824668 CPUtime=2.21 cores=1,3,5,7
/proc/22277/task/22318/stat : 22318 (java) R 22275 22277 21597 0 -1 4202560 7 0 0 0 221 0 0 0 20 0 22 0 253464897 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968103088696 139968163193754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22319] ppid=22275 vsize=9824668 CPUtime=2.2 cores=1,3,5,7
/proc/22277/task/22319/stat : 22319 (java) R 22275 22277 21597 0 -1 4202560 17 0 0 0 220 0 0 0 20 0 22 0 253464897 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968105192392 139968163292329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22320] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464897 10060460032 47445 33554432000 1073741824 1073778376 140736798648512 139968106247208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=22277/tid=22428] ppid=22275 vsize=9824668 CPUtime=182.42 cores=1,3,5,7
/proc/22277/task/22428/stat : 22428 (java) R 22275 22277 21597 0 -1 4202560 10 0 0 0 18240 2 0 0 20 0 22 0 253530483 10060460032 818514 33554432000 1073741824 1073778376 140736798648512 139968103087760 139968163922702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22429] ppid=22275 vsize=9824668 CPUtime=182.38 cores=1,3,5,7
/proc/22277/task/22429/stat : 22429 (java) R 22275 22277 21597 0 -1 4202560 47 0 0 0 18236 2 0 0 20 0 22 0 253530483 10060460032 818514 33554432000 1073741824 1073778376 140736798648512 139968104141696 139968163520268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22430] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22430/stat : 22430 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530483 10060460032 818514 33554432000 1073741824 1073778376 140736798648512 139968105194536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1659.48
Current children cumulated vsize (KiB) 9824668

[startup+1002.3 s]
/proc/loadavg: 3.78 3.67 3.40 5/219 22431
/proc/meminfo: memFree=25086532/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=1766.41 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 54791 0 1 0 176398 243 0 0 20 0 22 0 253464512 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 833373 2282 9 0 2446860 0
[pid=22277/tid=22279] ppid=22275 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22277 21597 0 -1 4202560 2581 0 1 0 34 3 0 0 20 0 22 0 253464513 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968290464760 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22280] ppid=22275 vsize=9824668 CPUtime=3.78 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22277 21597 0 -1 4202560 1438 0 0 0 356 22 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968134236584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22281] ppid=22275 vsize=9824668 CPUtime=3.41 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22277 21597 0 -1 4202560 1355 0 0 0 327 14 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968133184040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22282] ppid=22275 vsize=9824668 CPUtime=3.15 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22277 21597 0 -1 4202560 1100 0 0 0 303 12 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968132130984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22283] ppid=22275 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22277 21597 0 -1 4202560 804 0 0 0 344 14 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968131078440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22284] ppid=22275 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22277 21597 0 -1 4202560 950 0 0 0 336 19 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968130026408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22285] ppid=22275 vsize=9824668 CPUtime=3.28 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22277 21597 0 -1 4202560 652 0 0 0 314 14 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968128973864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22286] ppid=22275 vsize=9824668 CPUtime=3.49 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22277 21597 0 -1 4202560 901 0 0 0 333 16 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968127920808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22287] ppid=22275 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22277 21597 0 -1 4202560 771 0 0 0 313 14 0 0 20 0 22 0 253464515 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968126868264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22288] ppid=22275 vsize=9824668 CPUtime=246.13 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22277 21597 0 -1 4202560 8354 0 0 0 24575 38 0 0 20 0 22 0 253464516 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968114669928 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22289] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22277 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968113616248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22290] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22277 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968112563080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22291] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464518 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968111511824 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22292] ppid=22275 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22277/task/22292/stat : 22292 (java) S 22275 22277 21597 0 -1 4202560 9455 0 0 0 162 2 0 0 20 0 22 0 253464518 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968110459704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22293] ppid=22275 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/22277/task/22293/stat : 22293 (java) S 22275 22277 21597 0 -1 4202560 23618 0 0 0 263 5 0 0 20 0 22 0 253464519 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968109407160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22294] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22294/stat : 22294 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464519 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968108354296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22295] ppid=22275 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22277/task/22295/stat : 22295 (java) S 22275 22277 21597 0 -1 4202560 60 0 0 0 15 22 0 0 20 0 22 0 253464519 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968107301960 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22320] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464897 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968106247208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22428] ppid=22275 vsize=9824668 CPUtime=227.83 cores=1,3,5,7
/proc/22277/task/22428/stat : 22428 (java) R 22275 22277 21597 0 -1 4202560 15 0 0 0 22780 3 0 0 20 0 22 0 253530483 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968103087760 139968164536243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22429] ppid=22275 vsize=9824668 CPUtime=227.79 cores=1,3,5,7
/proc/22277/task/22429/stat : 22429 (java) R 22275 22277 21597 0 -1 4202560 59 0 0 0 22776 3 0 0 20 0 22 0 253530483 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968104141840 139968163520268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22430] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22430/stat : 22430 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530483 10060460032 833373 33554432000 1073741824 1073778376 140736798648512 139968105194536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1766.41
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1020.7 s]
/proc/loadavg: 3.75 3.67 3.40 5/219 22431
/proc/meminfo: memFree=25056868/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=1800.05 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 54918 0 1 0 179760 245 0 0 20 0 22 0 253464512 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 840031 2282 9 0 2446860 0
[pid=22277/tid=22279] ppid=22275 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22277 21597 0 -1 4202560 2581 0 1 0 34 3 0 0 20 0 22 0 253464513 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968290464760 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22280] ppid=22275 vsize=9824668 CPUtime=3.86 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22277 21597 0 -1 4202560 1438 0 0 0 364 22 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968134236584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22281] ppid=22275 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22277 21597 0 -1 4202560 1355 0 0 0 334 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968133184040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22282] ppid=22275 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22277 21597 0 -1 4202560 1100 0 0 0 309 12 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968132130984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22283] ppid=22275 vsize=9824668 CPUtime=3.68 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22277 21597 0 -1 4202560 805 0 0 0 354 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968131078440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22284] ppid=22275 vsize=9824668 CPUtime=3.62 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22277 21597 0 -1 4202560 950 0 0 0 343 19 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968130026408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22285] ppid=22275 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22277 21597 0 -1 4202560 654 0 0 0 321 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968128973864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22286] ppid=22275 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22277 21597 0 -1 4202560 903 0 0 0 339 16 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968127920808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22287] ppid=22275 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22277 21597 0 -1 4202560 772 0 0 0 319 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968126868264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22288] ppid=22275 vsize=9824668 CPUtime=249.58 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22277 21597 0 -1 4202560 8471 0 0 0 24919 39 0 0 20 0 22 0 253464516 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968114669928 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22289] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22277 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968113616248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22290] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22277 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968112563080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22291] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464518 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968111511824 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22292] ppid=22275 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22277/task/22292/stat : 22292 (java) S 22275 22277 21597 0 -1 4202560 9455 0 0 0 162 2 0 0 20 0 22 0 253464518 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968110459704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22293] ppid=22275 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/22277/task/22293/stat : 22293 (java) S 22275 22277 21597 0 -1 4202560 23618 0 0 0 263 5 0 0 20 0 22 0 253464519 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968109407160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22294] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22294/stat : 22294 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464519 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968108354296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22295] ppid=22275 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22277/task/22295/stat : 22295 (java) S 22275 22277 21597 0 -1 4202560 60 0 0 0 15 22 0 0 20 0 22 0 253464519 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968107301960 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22320] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464897 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968106247208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22428] ppid=22275 vsize=9824668 CPUtime=242.64 cores=1,3,5,7
/proc/22277/task/22428/stat : 22428 (java) R 22275 22277 21597 0 -1 4202560 15 0 0 0 24259 5 0 0 20 0 22 0 253530483 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968103086928 139968163922781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22429] ppid=22275 vsize=9824668 CPUtime=242.6 cores=1,3,5,7
/proc/22277/task/22429/stat : 22429 (java) R 22275 22277 21597 0 -1 4202560 63 0 0 0 24257 3 0 0 20 0 22 0 253530483 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968104140608 139968163520255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22430] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22430/stat : 22430 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530483 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968105194536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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+1020.7 s]
/proc/loadavg: 3.75 3.67 3.40 5/219 22431
/proc/meminfo: memFree=25056868/32873648 swapFree=7108/7108
[pid=22277] ppid=22275 vsize=9824668 CPUtime=1800.05 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22277 21597 0 -1 4202496 54918 0 1 0 179760 245 0 0 20 0 22 0 253464512 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 140736798639648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22277/statm: 2456167 840031 2282 9 0 2446860 0
[pid=22277/tid=22279] ppid=22275 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22277 21597 0 -1 4202560 2581 0 1 0 34 3 0 0 20 0 22 0 253464513 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968290464760 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22280] ppid=22275 vsize=9824668 CPUtime=3.86 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22277 21597 0 -1 4202560 1438 0 0 0 364 22 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968134236584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22281] ppid=22275 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22277 21597 0 -1 4202560 1355 0 0 0 334 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968133184040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22282] ppid=22275 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22277 21597 0 -1 4202560 1100 0 0 0 309 12 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968132130984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22283] ppid=22275 vsize=9824668 CPUtime=3.68 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22277 21597 0 -1 4202560 805 0 0 0 354 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968131078440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22284] ppid=22275 vsize=9824668 CPUtime=3.62 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22277 21597 0 -1 4202560 950 0 0 0 343 19 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968130026408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22285] ppid=22275 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22277 21597 0 -1 4202560 654 0 0 0 321 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968128973864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22286] ppid=22275 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22277 21597 0 -1 4202560 903 0 0 0 339 16 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968127920808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22287] ppid=22275 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22277 21597 0 -1 4202560 772 0 0 0 319 14 0 0 20 0 22 0 253464515 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968126868264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22288] ppid=22275 vsize=9824668 CPUtime=249.58 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22277 21597 0 -1 4202560 8471 0 0 0 24919 39 0 0 20 0 22 0 253464516 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968114669928 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22289] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22277 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968113616248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22290] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22277 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253464516 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968112563080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22291] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464518 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968111511824 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22292] ppid=22275 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22277/task/22292/stat : 22292 (java) S 22275 22277 21597 0 -1 4202560 9455 0 0 0 162 2 0 0 20 0 22 0 253464518 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968110459704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22293] ppid=22275 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/22277/task/22293/stat : 22293 (java) S 22275 22277 21597 0 -1 4202560 23618 0 0 0 263 5 0 0 20 0 22 0 253464519 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968109407160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22294] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22294/stat : 22294 (java) S 22275 22277 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253464519 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968108354296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22295] ppid=22275 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22277/task/22295/stat : 22295 (java) S 22275 22277 21597 0 -1 4202560 60 0 0 0 15 22 0 0 20 0 22 0 253464519 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968107301960 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22277/tid=22320] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253464897 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968106247208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22277/tid=22428] ppid=22275 vsize=9824668 CPUtime=242.64 cores=1,3,5,7
/proc/22277/task/22428/stat : 22428 (java) R 22275 22277 21597 0 -1 4202560 15 0 0 0 24259 5 0 0 20 0 22 0 253530483 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968103086928 139968163922781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22277/tid=22429] ppid=22275 vsize=9824668 CPUtime=242.6 cores=1,3,5,7
/proc/22277/task/22429/stat : 22429 (java) R 22275 22277 21597 0 -1 4202560 63 0 0 0 24257 3 0 0 20 0 22 0 253530483 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968104140608 139968163520255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22277/tid=22430] ppid=22275 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22430/stat : 22430 (java) S 22275 22277 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253530483 10060460032 840031 33554432000 1073741824 1073778376 140736798648512 139968105194536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 1020.74
CPU time (s): 1800.46
CPU user time (s): 1797.71
CPU system time (s): 2.75358
CPU usage (%): 176.387
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.71
system time used= 2.75358
maximum resident set size= 3360240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54948
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31344
involuntary context switches= 50519

runsolver used 3.64945 second user time and 9.14661 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-24 17:29:32
IDJOB=3687678
IDBENCH=2018
IDSOLVER=2268
FILE ID=node114/3687678-1337873371
RUNJOBID= node114-1337871881-21614
PBS_JOBID= 14620090
Free space on /tmp= 71656 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687678-1337873371/watcher-3687678-1337873371 -o /tmp/evaluation-result-3687678-1337873371/solver-3687678-1337873371 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687678-1337873371.opb

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

MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b
RANDOM SEED=1473233965

node114.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.242
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.48
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.242
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.242
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	: 5451.90
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.242
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.242
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.242
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.242
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.242
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:        28123264 kB
Buffers:          198048 kB
Cached:          2501652 kB
SwapCached:            0 kB
Active:          1918500 kB
Inactive:        2070148 kB
Active(anon):    1291148 kB
Inactive(anon):        0 kB
Active(file):     627352 kB
Inactive(file):  2070148 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:       1295624 kB
Mapped:            21708 kB
Shmem:               200 kB
Slab:             621668 kB
SReclaimable:      66020 kB
SUnreclaim:       555648 kB
KernelStack:        1632 kB
PageTables:         6796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1649120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 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= 71668 MiB
End job on node114 at 2012-05-24 17:46:34