Trace number 3687755

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)143 1800.06 1789.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUMd9e9e5fece70ebbc4c28befed36e7afc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark139
Best CPU time to get the best result obtained on this benchmark5.85411
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 139
Optimality of the best value was proved NO
Number of variables360
Total number of constraints980
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 360
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687755-1337875517.opb
0.10/0.11	c reading problem ... 
0.28/0.20	c ... done. Wall clock time 0.097s.
0.28/0.20	c declared #vars     360
0.28/0.20	c #constraints  980
0.28/0.20	c constraints type 
0.28/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
0.28/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 900
0.28/0.20	c 980 constraints processed.
0.28/0.20	c objective function length is 360 literals
0.28/0.22	c SATISFIABLE
0.28/0.22	c OPTIMIZING...
0.28/0.22	c Got one! Elapsed wall clock time (in seconds):0.108
0.28/0.22	o 155
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.118
0.28/0.23	o 154
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.126
0.28/0.23	o 150
0.84/0.54	c cleaning 2502 clauses out of 5006 with flag 5000/5006
1.06/0.76	c cleaning 4244 clauses out of 8504 with flag 11000/11006
1.41/1.01	c cleaning 5629 clauses out of 11260 with flag 18000/18006
1.62/1.29	c cleaning 6816 clauses out of 13631 with flag 26000/26006
2.05/1.61	c cleaning 7908 clauses out of 15815 with flag 35000/35006
2.37/1.97	c cleaning 8948 clauses out of 17907 with flag 45000/45006
2.87/2.40	c cleaning 9974 clauses out of 19960 with flag 56001/56007
3.27/2.84	c cleaning 10985 clauses out of 21985 with flag 68000/68006
3.78/3.38	c cleaning 11991 clauses out of 24001 with flag 81001/81007
4.40/3.90	c cleaning 13002 clauses out of 26009 with flag 95000/95006
4.93/4.48	c cleaning 14000 clauses out of 28007 with flag 110000/110006
5.63/5.12	c cleaning 15004 clauses out of 30007 with flag 126000/126006
6.34/5.84	c cleaning 15999 clauses out of 32003 with flag 143000/143006
7.06/6.57	c cleaning 16992 clauses out of 34006 with flag 161002/161008
7.85/7.35	c cleaning 18005 clauses out of 36012 with flag 180000/180006
8.67/8.16	c cleaning 19002 clauses out of 38007 with flag 200000/200006
9.58/9.04	c cleaning 19992 clauses out of 40005 with flag 221000/221006
10.51/9.97	c cleaning 21007 clauses out of 42014 with flag 243001/243007
11.65/11.04	c cleaning 21996 clauses out of 44006 with flag 266000/266006
12.78/12.11	c cleaning 22999 clauses out of 46011 with flag 290001/290007
13.90/13.22	c cleaning 24006 clauses out of 48011 with flag 315000/315006
15.12/14.43	c cleaning 24992 clauses out of 50005 with flag 341000/341006
16.35/15.69	c cleaning 26004 clauses out of 52013 with flag 368000/368006
17.67/16.97	c cleaning 26997 clauses out of 54010 with flag 396001/396007
19.07/18.32	c cleaning 27996 clauses out of 56012 with flag 425000/425006
20.39/19.69	c cleaning 28999 clauses out of 58017 with flag 455001/455007
22.00/21.22	c cleaning 30006 clauses out of 60018 with flag 486001/486007
23.61/22.81	c cleaning 31003 clauses out of 62011 with flag 518000/518006
25.15/24.36	c cleaning 31997 clauses out of 64009 with flag 551001/551007
26.79/25.97	c cleaning 33002 clauses out of 66011 with flag 585000/585006
28.41/27.55	c cleaning 33999 clauses out of 68009 with flag 620000/620006
30.23/29.32	c cleaning 35004 clauses out of 70010 with flag 656000/656006
32.06/31.19	c cleaning 35995 clauses out of 72007 with flag 693001/693007
33.89/32.96	c cleaning 37001 clauses out of 74011 with flag 731000/731006
35.91/34.98	c cleaning 38003 clauses out of 76011 with flag 770001/770007
37.88/36.86	c cleaning 38995 clauses out of 78007 with flag 810000/810006
39.88/38.82	c cleaning 39999 clauses out of 80013 with flag 851001/851007
42.00/40.93	c cleaning 41003 clauses out of 82015 with flag 893002/893008
44.12/43.02	c cleaning 41994 clauses out of 84011 with flag 936001/936007
45.95/44.81	c Got one! Elapsed wall clock time (in seconds):44.701
45.95/44.81	o 149
45.95/44.82	c Got one! Elapsed wall clock time (in seconds):44.714
45.95/44.82	o 143
46.46/45.35	c cleaning 43168 clauses out of 86336 with flag 5000/980326
46.95/45.76	c cleaning 24585 clauses out of 49170 with flag 11002/986328
47.36/46.11	c cleaning 15793 clauses out of 31585 with flag 18002/993328
47.70/46.48	c cleaning 11897 clauses out of 23793 with flag 26003/1001329
48.10/46.84	c cleaning 10447 clauses out of 20893 with flag 35000/1010326
48.53/47.24	c cleaning 10213 clauses out of 20446 with flag 45000/1020326
48.95/47.67	c cleaning 10613 clauses out of 21234 with flag 56001/1031327
49.45/48.15	c cleaning 11307 clauses out of 22621 with flag 68001/1043327
49.98/48.61	c cleaning 12153 clauses out of 24313 with flag 81000/1056326
50.49/49.19	c cleaning 13079 clauses out of 26161 with flag 95001/1070327
51.71/49.81	c cleaning 14041 clauses out of 28082 with flag 110001/1085327
52.33/50.45	c cleaning 15020 clauses out of 30040 with flag 126000/1101326
53.07/51.15	c cleaning 16005 clauses out of 32020 with flag 143000/1118326
53.88/51.94	c cleaning 17004 clauses out of 34015 with flag 161000/1136326
54.69/52.71	c cleaning 18006 clauses out of 36011 with flag 180000/1155326
55.60/53.61	c cleaning 19001 clauses out of 38006 with flag 200001/1175327
56.40/54.49	c cleaning 19995 clauses out of 40004 with flag 221000/1196326
57.43/55.41	c cleaning 21002 clauses out of 42009 with flag 243000/1218326
58.33/56.37	c cleaning 21999 clauses out of 44008 with flag 266001/1241327
59.36/57.39	c cleaning 22997 clauses out of 46009 with flag 290001/1265327
60.49/58.50	c cleaning 24001 clauses out of 48012 with flag 315001/1290327
61.72/59.69	c cleaning 24997 clauses out of 50010 with flag 341000/1316326
62.95/60.84	c cleaning 26002 clauses out of 52013 with flag 368000/1343326
64.16/62.08	c cleaning 26995 clauses out of 54012 with flag 396001/1371327
65.59/63.40	c cleaning 28007 clauses out of 56016 with flag 425000/1400326
67.01/64.85	c cleaning 28998 clauses out of 58011 with flag 455002/1430328
68.54/66.35	c cleaning 30003 clauses out of 60011 with flag 486000/1461326
70.25/68.06	c cleaning 31002 clauses out of 62010 with flag 518002/1493328
71.86/69.67	c cleaning 31998 clauses out of 64006 with flag 551000/1526326
73.58/71.33	c cleaning 33001 clauses out of 66009 with flag 585001/1560327
75.21/72.96	c cleaning 33997 clauses out of 68007 with flag 620000/1595326
77.03/74.78	c cleaning 35001 clauses out of 70011 with flag 656001/1631327
79.16/76.83	c cleaning 36000 clauses out of 72009 with flag 693000/1668326
81.59/79.22	c cleaning 37004 clauses out of 74011 with flag 731002/1706328
83.92/81.58	c cleaning 38003 clauses out of 76005 with flag 770000/1745326
86.55/84.10	c cleaning 38995 clauses out of 78002 with flag 810000/1785326
89.08/86.62	c cleaning 40003 clauses out of 80008 with flag 851001/1826327
91.91/89.47	c cleaning 41000 clauses out of 82006 with flag 893002/1868328
94.73/92.28	c cleaning 41999 clauses out of 84006 with flag 936002/1911328
97.54/95.00	c cleaning 42998 clauses out of 86005 with flag 980000/1955326
100.57/98.00	c cleaning 43997 clauses out of 88008 with flag 1025001/2000327
103.70/101.14	c cleaning 44995 clauses out of 90010 with flag 1071000/2046326
107.43/104.83	c cleaning 46002 clauses out of 92015 with flag 1118000/2093326
110.47/107.87	c cleaning 46999 clauses out of 94014 with flag 1166001/2141327
113.30/110.69	c cleaning 48000 clauses out of 96016 with flag 1215002/2190328
117.14/114.45	c cleaning 49006 clauses out of 98014 with flag 1265000/2240326
121.26/118.50	c cleaning 50005 clauses out of 100009 with flag 1316001/2291327
124.73/121.90	c cleaning 50998 clauses out of 102003 with flag 1368000/2343326
128.17/125.36	c cleaning 52002 clauses out of 104007 with flag 1421002/2396328
132.59/129.72	c cleaning 52994 clauses out of 106003 with flag 1475000/2450326
136.02/133.13	c cleaning 53996 clauses out of 108011 with flag 1530002/2505328
139.37/136.49	c cleaning 55007 clauses out of 110013 with flag 1586000/2561326
143.70/140.75	c cleaning 55994 clauses out of 112006 with flag 1643000/2618326
147.52/144.51	c cleaning 57007 clauses out of 114013 with flag 1701001/2676327
152.36/149.34	c cleaning 58003 clauses out of 116006 with flag 1760001/2735327
157.50/154.45	c cleaning 59002 clauses out of 118003 with flag 1820001/2795327
163.04/159.99	c cleaning 59996 clauses out of 120001 with flag 1881001/2856327
168.69/165.53	c cleaning 60998 clauses out of 122004 with flag 1943000/2918326
172.74/169.57	c cleaning 62003 clauses out of 124007 with flag 2006001/2981327
177.56/174.32	c cleaning 62995 clauses out of 126003 with flag 2070000/3045326
181.50/178.21	c cleaning 63997 clauses out of 128008 with flag 2135000/3110326
185.33/182.00	c cleaning 65005 clauses out of 130013 with flag 2201002/3176328
189.57/186.27	c cleaning 65992 clauses out of 132006 with flag 2268000/3243326
193.38/190.06	c cleaning 67003 clauses out of 134015 with flag 2336001/3311327
198.49/195.12	c cleaning 67998 clauses out of 136012 with flag 2405001/3380327
202.62/199.23	c cleaning 69001 clauses out of 138013 with flag 2475000/3450326
207.08/203.68	c cleaning 70001 clauses out of 140012 with flag 2546000/3521326
212.18/208.76	c cleaning 71002 clauses out of 142011 with flag 2618000/3593326
217.30/213.89	c cleaning 71997 clauses out of 144009 with flag 2691000/3666326
223.95/220.42	c cleaning 73000 clauses out of 146013 with flag 2765001/3740327
230.96/227.41	c cleaning 74003 clauses out of 148012 with flag 2840000/3815326
236.60/233.03	c cleaning 75001 clauses out of 150010 with flag 2916001/3891327
244.44/240.90	c cleaning 76003 clauses out of 152008 with flag 2993000/3968326
249.48/245.87	c cleaning 77001 clauses out of 154007 with flag 3071002/4046328
255.31/251.63	c cleaning 77997 clauses out of 156005 with flag 3150001/4125327
261.18/257.47	c cleaning 79001 clauses out of 158007 with flag 3230000/4205326
267.62/263.88	c cleaning 80002 clauses out of 160006 with flag 3311000/4286326
274.35/270.54	c cleaning 80997 clauses out of 162004 with flag 3393000/4368326
279.40/275.58	c cleaning 81993 clauses out of 164008 with flag 3476001/4451327
284.83/280.92	c cleaning 83001 clauses out of 166015 with flag 3560001/4535327
290.27/286.36	c cleaning 84005 clauses out of 168013 with flag 3645000/4620326
296.68/292.78	c cleaning 84998 clauses out of 170008 with flag 3731000/4706326
302.74/298.72	c cleaning 86006 clauses out of 172011 with flag 3818001/4793327
311.02/306.91	c cleaning 86997 clauses out of 174004 with flag 3906000/4881326
317.06/312.95	c cleaning 87998 clauses out of 176008 with flag 3995001/4970327
323.58/319.46	c cleaning 88998 clauses out of 178010 with flag 4085001/5060327
329.50/325.37	c cleaning 90006 clauses out of 180011 with flag 4176000/5151326
336.85/332.67	c cleaning 90994 clauses out of 182006 with flag 4268001/5243327
344.58/340.32	c cleaning 91996 clauses out of 184012 with flag 4361001/5336327
352.43/348.13	c cleaning 93002 clauses out of 186015 with flag 4455000/5430326
359.16/354.89	c cleaning 93997 clauses out of 188013 with flag 4550000/5525326
366.32/361.91	c cleaning 95008 clauses out of 190017 with flag 4646001/5621327
374.19/369.79	c cleaning 95998 clauses out of 192008 with flag 4743000/5718326
385.93/381.46	c cleaning 97000 clauses out of 194011 with flag 4841001/5816327
396.27/391.76	c cleaning 98000 clauses out of 196011 with flag 4940001/5915327
404.96/400.32	c cleaning 99005 clauses out of 198010 with flag 5040000/6015326
412.19/407.42	c cleaning 99994 clauses out of 200005 with flag 5141000/6116326
419.91/415.16	c cleaning 101001 clauses out of 202011 with flag 5243000/6218326
427.25/422.45	c cleaning 101999 clauses out of 204010 with flag 5346000/6321326
435.29/430.45	c cleaning 103003 clauses out of 206011 with flag 5450000/6425326
444.42/439.58	c cleaning 103998 clauses out of 208008 with flag 5555000/6530326
453.54/448.60	c cleaning 105001 clauses out of 210010 with flag 5661000/6636326
461.31/456.36	c cleaning 105996 clauses out of 212010 with flag 5768001/6743327
471.46/466.47	c cleaning 107000 clauses out of 214013 with flag 5876000/6851326
481.51/476.41	c cleaning 108005 clauses out of 216015 with flag 5985002/6960328
490.56/485.48	c cleaning 108998 clauses out of 218009 with flag 6095001/7070327
503.83/498.70	c cleaning 110002 clauses out of 220011 with flag 6206001/7181327
516.99/511.75	c cleaning 111003 clauses out of 222008 with flag 6318000/7293326
526.55/521.27	c cleaning 111992 clauses out of 224006 with flag 6431001/7406327
536.75/531.30	c cleaning 112995 clauses out of 226014 with flag 6545001/7520327
546.47/541.05	c cleaning 114001 clauses out of 228018 with flag 6660000/7635326
555.50/550.08	c cleaning 115001 clauses out of 230018 with flag 6776001/7751327
564.17/558.69	c cleaning 116007 clauses out of 232017 with flag 6893001/7868327
572.30/566.77	c cleaning 117001 clauses out of 234009 with flag 7011000/7986326
580.93/575.39	c cleaning 118000 clauses out of 236008 with flag 7130000/8105326
588.91/583.22	c cleaning 118999 clauses out of 238009 with flag 7250001/8225327
596.95/591.28	c cleaning 120002 clauses out of 240009 with flag 7371000/8346326
605.67/599.93	c cleaning 120998 clauses out of 242007 with flag 7493000/8468326
614.10/608.37	c cleaning 122000 clauses out of 244009 with flag 7616000/8591326
622.92/617.15	c cleaning 123005 clauses out of 246009 with flag 7740000/8715326
632.14/626.38	c cleaning 123998 clauses out of 248005 with flag 7865001/8840327
640.80/634.93	c cleaning 124998 clauses out of 250006 with flag 7991000/8966326
655.54/649.64	c cleaning 125986 clauses out of 252010 with flag 8118002/9093328
665.41/659.41	c cleaning 127005 clauses out of 254022 with flag 8246000/9221326
673.75/667.71	c cleaning 128008 clauses out of 256019 with flag 8375002/9350328
684.27/678.22	c cleaning 129000 clauses out of 258010 with flag 8505001/9480327
697.60/691.53	c cleaning 129999 clauses out of 260009 with flag 8636000/9611326
711.75/705.64	c cleaning 130997 clauses out of 262011 with flag 8768001/9743327
721.92/715.77	c cleaning 132002 clauses out of 264013 with flag 8901000/9876326
737.06/730.80	c cleaning 132999 clauses out of 266011 with flag 9035000/10010326
748.83/742.58	c cleaning 134002 clauses out of 268012 with flag 9170000/10145326
759.67/753.39	c cleaning 134996 clauses out of 270011 with flag 9306001/10281327
771.35/764.96	c cleaning 136000 clauses out of 272014 with flag 9443000/10418326
786.43/779.96	c cleaning 137005 clauses out of 274015 with flag 9581001/10556327
799.00/792.48	c cleaning 138001 clauses out of 276009 with flag 9720000/10695326
812.46/805.82	c cleaning 138998 clauses out of 278009 with flag 9860001/10835327
828.85/822.13	c cleaning 140000 clauses out of 280011 with flag 10001001/10976327
844.65/837.84	c cleaning 141000 clauses out of 282010 with flag 10143000/11118326
863.63/856.75	c cleaning 141994 clauses out of 284011 with flag 10286001/11261327
881.81/874.83	c cleaning 143004 clauses out of 286016 with flag 10430000/11405326
897.83/890.76	c cleaning 144003 clauses out of 288012 with flag 10575000/11550326
913.22/906.08	c cleaning 145002 clauses out of 290011 with flag 10721002/11696328
926.70/919.47	c cleaning 146001 clauses out of 292007 with flag 10868000/11843326
939.76/932.42	c cleaning 146989 clauses out of 294006 with flag 11016000/11991326
952.83/945.46	c cleaning 147998 clauses out of 296017 with flag 11165000/12140326
968.01/960.59	c cleaning 149006 clauses out of 298020 with flag 11315001/12290327
980.96/973.43	c cleaning 149997 clauses out of 300013 with flag 11466000/12441326
996.33/988.70	c cleaning 151002 clauses out of 302017 with flag 11618001/12593327
1009.13/1001.42	c cleaning 151999 clauses out of 304015 with flag 11771001/12746327
1023.39/1015.68	c cleaning 153008 clauses out of 306016 with flag 11925001/12900327
1035.12/1027.22	c cleaning 153996 clauses out of 308007 with flag 12080000/13055326
1048.58/1040.69	c cleaning 155000 clauses out of 310011 with flag 12236000/13211326
1060.36/1052.30	c cleaning 156003 clauses out of 312011 with flag 12393000/13368326
1070.02/1061.99	c cleaning 156994 clauses out of 314008 with flag 12551000/13526326
1084.43/1076.36	c cleaning 158006 clauses out of 316016 with flag 12710002/13685328
1098.83/1090.60	c cleaning 159000 clauses out of 318008 with flag 12870000/13845326
1111.76/1103.50	c cleaning 159999 clauses out of 320009 with flag 13031001/14006327
1125.99/1117.70	c cleaning 161001 clauses out of 322009 with flag 13193000/14168326
1139.23/1130.92	c cleaning 161994 clauses out of 324009 with flag 13356001/14331327
1153.00/1144.64	c cleaning 163007 clauses out of 326014 with flag 13520000/14495326
1166.25/1157.80	c cleaning 163999 clauses out of 328007 with flag 13685000/14660326
1177.72/1169.27	c cleaning 165003 clauses out of 330009 with flag 13851001/14826327
1192.27/1183.75	c cleaning 165992 clauses out of 332006 with flag 14018001/14993327
1212.32/1203.70	c cleaning 166999 clauses out of 334013 with flag 14186000/15161326
1231.04/1222.33	c cleaning 168004 clauses out of 336017 with flag 14355003/15330329
1257.69/1248.93	c cleaning 168999 clauses out of 338012 with flag 14525002/15500328
1279.37/1270.53	c cleaning 170001 clauses out of 340013 with flag 14696002/15671328
1304.22/1295.38	c cleaning 170997 clauses out of 342011 with flag 14868001/15843327
1326.11/1317.19	c cleaning 172004 clauses out of 344013 with flag 15041000/16016326
1345.73/1336.60	c cleaning 172996 clauses out of 346009 with flag 15215000/16190326
1363.59/1354.47	c cleaning 174000 clauses out of 348014 with flag 15390001/16365327
1377.95/1368.79	c cleaning 174998 clauses out of 350013 with flag 15566000/16541326
1390.79/1381.59	c cleaning 176007 clauses out of 352015 with flag 15743000/16718326
1408.45/1399.19	c cleaning 177000 clauses out of 354010 with flag 15921002/16896328
1428.27/1418.97	c cleaning 177999 clauses out of 356009 with flag 16100001/17075327
1448.78/1439.34	c cleaning 178998 clauses out of 358010 with flag 16280001/17255327
1464.85/1455.31	c cleaning 179993 clauses out of 360012 with flag 16461001/17436327
1485.95/1476.38	c cleaning 181000 clauses out of 362018 with flag 16643000/17618326
1503.95/1494.21	c cleaning 182003 clauses out of 364018 with flag 16826000/17801326
1523.06/1513.27	c cleaning 183009 clauses out of 366017 with flag 17010002/17985328
1544.34/1534.46	c cleaning 183991 clauses out of 368008 with flag 17195002/18170328
1566.01/1556.02	c cleaning 185004 clauses out of 370015 with flag 17381000/18356326
1583.44/1573.37	c cleaning 185999 clauses out of 372012 with flag 17568001/18543327
1602.46/1592.34	c cleaning 187007 clauses out of 374013 with flag 17756001/18731327
1625.67/1615.46	c cleaning 188003 clauses out of 376005 with flag 17945000/18920326
1647.33/1637.01	c cleaning 189000 clauses out of 378002 with flag 18135000/19110326
1670.07/1659.68	c cleaning 189999 clauses out of 380003 with flag 18326001/19301327
1696.11/1685.62	c cleaning 191001 clauses out of 382005 with flag 18518002/19493328
1723.02/1712.44	c cleaning 192001 clauses out of 384002 with flag 18711000/19686326
1746.52/1735.84	c cleaning 192997 clauses out of 386002 with flag 18905001/19880327
1771.42/1760.63	c cleaning 194000 clauses out of 388005 with flag 19100001/20075327
1800.06/1789.21	c starts		: 356
1800.06/1789.21	c conflicts		: 20257534
1800.06/1789.21	c decisions		: 25823407
1800.06/1789.21	c propagations		: 219719579
1800.06/1789.21	c inspects		: 17122839840
1800.06/1789.21	c shortcuts		: 0
1800.06/1789.21	c learnt literals	: 0
1800.06/1789.21	c learnt binary clauses	: 13
1800.06/1789.21	c learnt ternary clauses	: 47
1800.06/1789.21	c learnt constraints	: 20257535
1800.06/1789.21	c ignored constraints	: 0
1800.06/1789.21	c root simplifications	: 0
1800.06/1789.21	c removed literals (reason simplification)	: 0
1800.06/1789.21	c reason swapping (by a shorter reason)	: 0
1800.06/1789.21	c Calls to reduceDB	: 230
1800.06/1789.21	c number of reductions to clauses (during analyze)	: 0
1800.06/1789.21	c number of learned constraints concerned by reduction	: 0
1800.06/1789.21	c number of learning phase by resolution	: 0
1800.06/1789.21	c number of learning phase by cutting planes	: 0
1800.06/1789.21	c speed (assignments/second)	: 122816.91346175883
1800.06/1789.21	c non guided choices	0
1800.06/1789.25	c learnt constraints type 
1800.06/1789.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 13
1800.06/1789.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 376504
1800.06/1789.25	c constraints type 
1800.06/1789.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
1800.06/1789.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1789.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 900
1800.06/1789.25	c 981 constraints processed.
1800.06/1789.25	s SATISFIABLE
1800.06/1789.25	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 
1800.06/1789.25	c objective function=143
1800.06/1789.25	c Total wall clock time (in seconds): 1789.146

Verifier Data 

OK	143

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-3687755-1337875517/watcher-3687755-1337875517 -o /tmp/evaluation-result-3687755-1337875517/solver-3687755-1337875517 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687755-1337875517.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: 2.00 2.00 1.91 3/196 23553
/proc/meminfo: memFree=29394448/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 1172 0 0 0 0 0 0 0 20 0 2 0 253677113 91889664 893 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 22434 895 678 9 0 16769 0
[pid=23553/tid=23554] ppid=23551 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 2 0 253677113 94085120 903 33554432000 1073741824 1073778376 140733581659520 140733581648584 273896537632 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0968169 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 23553
/proc/meminfo: memFree=29394448/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 4332 0 1 0 9 1 0 0 20 0 18 0 253677113 9787813888 5511 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2389603 5512 2108 9 0 2380296 0
[pid=23553/tid=23554] ppid=23551 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2368 0 1 0 6 1 0 0 20 0 18 0 253677113 9787813888 5512 33554432000 1073741824 1073778376 140733581659520 139972440334264 273905323851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.100331 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 23553
/proc/meminfo: memFree=29394448/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 4385 0 1 0 9 1 0 0 20 0 18 0 253677113 9787813888 5564 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2389603 5564 2108 9 0 2380296 0
[pid=23553/tid=23554] ppid=23551 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2420 0 1 0 6 1 0 0 20 0 18 0 253677113 9787813888 5564 33554432000 1073741824 1073778376 140733581659520 139972440334264 273909081357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 23553
/proc/meminfo: memFree=29394448/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 7018 0 1 0 49 2 0 0 20 0 19 0 253677113 9855975424 8312 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 8312 2232 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2452 0 1 0 26 1 0 0 20 0 19 0 253677113 9855975424 8312 33554432000 1073741824 1073778376 140733581659520 139972440339216 139972262866016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976

[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 23553
/proc/meminfo: memFree=29394448/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 7326 0 1 0 104 2 0 0 20 0 19 0 253677113 9855975424 11992 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 11992 2268 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2458 0 1 0 65 1 0 0 20 0 19 0 253677113 9855975424 11992 33554432000 1073741824 1073778376 140733581659520 139972440338792 139972263307856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9624976

[startup+1.50075 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 23572
/proc/meminfo: memFree=29350760/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=1.95 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 7420 0 1 0 192 3 0 0 20 0 19 0 253677113 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 13580 2268 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2459 0 1 0 140 2 0 0 20 0 19 0 253677113 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972440338664 139972263251752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23556] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23556/stat : 23556 (java) S 23551 23553 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972401830824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23557] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23557/stat : 23557 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972400778280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23558] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23558/stat : 23558 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972399725224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23559] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23559/stat : 23559 (java) S 23551 23553 22462 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972398672680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23560] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23560/stat : 23560 (java) S 23551 23553 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972397619624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23561] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23561/stat : 23561 (java) S 23551 23553 22462 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972396567080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23562] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23562/stat : 23562 (java) S 23551 23553 22462 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972395514024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23563] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23563/stat : 23563 (java) S 23551 23553 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972394461480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23564] ppid=23551 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23553/task/23564/stat : 23564 (java) S 23551 23553 22462 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 253677115 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972382051176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23565] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23565/stat : 23565 (java) S 23551 23553 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972262750072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23566] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23566/stat : 23566 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972261696904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23567] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23567/stat : 23567 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972260645648 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 1553 0 0 0 19 0 0 0 20 0 19 0 253677118 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2142 0 0 0 21 0 0 0 20 0 19 0 253677118 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23570] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23570/stat : 23570 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972257487096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23571] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23571/stat : 23571 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972256434760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23572] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23572/stat : 23572 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677134 9855975424 13580 33554432000 1073741824 1073778376 140733581659520 139972255381032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9624976

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 23572
/proc/meminfo: memFree=29342320/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=3.57 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 7444 0 1 0 354 3 0 0 20 0 19 0 253677113 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 15130 2268 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2463 0 1 0 293 2 0 0 20 0 19 0 253677113 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972440338824 139972263242147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23556] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23556/stat : 23556 (java) S 23551 23553 22462 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972401830824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23557] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23557/stat : 23557 (java) S 23551 23553 22462 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972400778280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23558] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23558/stat : 23558 (java) S 23551 23553 22462 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972399725224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23559] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23559/stat : 23559 (java) S 23551 23553 22462 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972398672680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23560] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23560/stat : 23560 (java) S 23551 23553 22462 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972397619624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23561] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23561/stat : 23561 (java) S 23551 23553 22462 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972396567080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23562] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23562/stat : 23562 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972395514024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23563] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23563/stat : 23563 (java) S 23551 23553 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972394461480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23564] ppid=23551 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23553/task/23564/stat : 23564 (java) S 23551 23553 22462 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 253677115 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972382051176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23565] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23565/stat : 23565 (java) S 23551 23553 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972262750072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23566] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23566/stat : 23566 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972261696904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23567] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23567/stat : 23567 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972260645648 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 1553 0 0 0 19 0 0 0 20 0 19 0 253677118 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2142 0 0 0 21 0 0 0 20 0 19 0 253677118 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23570] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23570/stat : 23570 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972257487096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23571] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23571/stat : 23571 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972256434760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23572] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23572/stat : 23572 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677134 9855975424 15130 33554432000 1073741824 1073778376 140733581659520 139972255381032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9624976

[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 23572
/proc/meminfo: memFree=29327688/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=6.85 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 7497 0 1 0 681 4 0 0 20 0 19 0 253677113 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 18663 2268 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=6.02 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2470 0 1 0 600 2 0 0 20 0 19 0 253677113 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972440338664 139972263286132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23556] ppid=23551 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23553/task/23556/stat : 23556 (java) S 23551 23553 22462 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972401830824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23557] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23557/stat : 23557 (java) S 23551 23553 22462 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972400778280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23558] ppid=23551 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23553/task/23558/stat : 23558 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972399725224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23559] ppid=23551 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23553/task/23559/stat : 23559 (java) S 23551 23553 22462 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972398672680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23560] ppid=23551 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23553/task/23560/stat : 23560 (java) S 23551 23553 22462 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972397619624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23561] ppid=23551 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23553/task/23561/stat : 23561 (java) S 23551 23553 22462 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972396567080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23562] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23562/stat : 23562 (java) S 23551 23553 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972395514024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23563] ppid=23551 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23553/task/23563/stat : 23563 (java) S 23551 23553 22462 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253677114 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972394461480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23564] ppid=23551 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/23553/task/23564/stat : 23564 (java) S 23551 23553 22462 0 -1 4202560 36 0 0 0 17 0 0 0 20 0 19 0 253677115 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972382051176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23565] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23565/stat : 23565 (java) S 23551 23553 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972262750072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23566] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23566/stat : 23566 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972261696904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23567] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23567/stat : 23567 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972260645648 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 1553 0 0 0 19 0 0 0 20 0 19 0 253677118 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2142 0 0 0 22 0 0 0 20 0 19 0 253677118 9855975424 18663 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 9304 0 0 0 72 2 0 0 20 0 19 0 253677118 9855975424 106462 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2181 0 0 0 26 0 0 0 20 0 19 0 253677118 9855975424 106462 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23570] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23570/stat : 23570 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 106462 33554432000 1073741824 1073778376 140733581659520 139972257487096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23571] ppid=23551 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/23553/task/23571/stat : 23571 (java) S 23551 23553 22462 0 -1 4202560 95 0 0 0 33 34 0 0 20 0 19 0 253677118 9855975424 106462 33554432000 1073741824 1073778376 140733581659520 139972256434760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23572] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23572/stat : 23572 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677134 9855975424 106462 33554432000 1073741824 1073778376 140733581659520 139972255381032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1672.8
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/215 23588
/proc/meminfo: memFree=28739692/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=1733.02 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 18590 0 1 0 173224 78 0 0 20 0 19 0 253677113 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 107998 2272 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=1698.92 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2740 0 1 0 169864 28 0 0 20 0 19 0 253677113 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972440338704 139972263296963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23556] ppid=23551 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/23553/task/23556/stat : 23556 (java) S 23551 23553 22462 0 -1 4202560 292 0 0 0 158 3 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972401830824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23557] ppid=23551 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/23553/task/23557/stat : 23557 (java) S 23551 23553 22462 0 -1 4202560 310 0 0 0 178 5 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972400778280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23558] ppid=23551 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/23553/task/23558/stat : 23558 (java) S 23551 23553 22462 0 -1 4202560 309 0 0 0 150 5 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972399725224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23559] ppid=23551 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/23553/task/23559/stat : 23559 (java) S 23551 23553 22462 0 -1 4202560 478 0 0 0 156 5 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972398672680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23560] ppid=23551 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/23553/task/23560/stat : 23560 (java) S 23551 23553 22462 0 -1 4202560 276 0 0 0 153 5 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972397619624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23561] ppid=23551 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/23553/task/23561/stat : 23561 (java) S 23551 23553 22462 0 -1 4202560 489 0 0 0 157 6 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972396567080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23562] ppid=23551 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/23553/task/23562/stat : 23562 (java) S 23551 23553 22462 0 -1 4202560 456 0 0 0 174 6 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972395514024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23563] ppid=23551 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/23553/task/23563/stat : 23563 (java) S 23551 23553 22462 0 -1 4202560 301 0 0 0 154 4 0 0 20 0 19 0 253677114 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972394461480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23564] ppid=23551 vsize=9624976 CPUtime=14.98 cores=1,3,5,7
/proc/23553/task/23564/stat : 23564 (java) S 23551 23553 22462 0 -1 4202560 175 0 0 0 1495 3 0 0 20 0 19 0 253677115 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972382051176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23565] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23565/stat : 23565 (java) S 23551 23553 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972262750072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23566] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23566/stat : 23566 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972261696904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23567] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23567/stat : 23567 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972260645648 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 9304 0 0 0 72 2 0 0 20 0 19 0 253677118 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2181 0 0 0 26 0 0 0 20 0 19 0 253677118 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23570] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23570/stat : 23570 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972257487096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23571] ppid=23551 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/23553/task/23571/stat : 23571 (java) S 23551 23553 22462 0 -1 4202560 99 0 0 0 36 35 0 0 20 0 19 0 253677118 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972256434760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23572] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23572/stat : 23572 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677134 9855975424 107998 33554432000 1073741824 1073778376 140733581659520 139972255381032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1733.02
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 23588
/proc/meminfo: memFree=28735100/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=1793.16 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 18599 0 1 0 179238 78 0 0 20 0 19 0 253677113 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 108510 2272 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=1758.42 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2743 0 1 0 175813 29 0 0 20 0 19 0 253677113 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972440338704 139972263243168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23556] ppid=23551 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/23553/task/23556/stat : 23556 (java) S 23551 23553 22462 0 -1 4202560 292 0 0 0 162 3 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972401830824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23557] ppid=23551 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/23553/task/23557/stat : 23557 (java) S 23551 23553 22462 0 -1 4202560 310 0 0 0 180 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972400778280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23558] ppid=23551 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/23553/task/23558/stat : 23558 (java) S 23551 23553 22462 0 -1 4202560 309 0 0 0 152 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972399725224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23559] ppid=23551 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/23553/task/23559/stat : 23559 (java) S 23551 23553 22462 0 -1 4202560 478 0 0 0 158 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972398672680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23560] ppid=23551 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/23553/task/23560/stat : 23560 (java) S 23551 23553 22462 0 -1 4202560 276 0 0 0 155 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972397619624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23561] ppid=23551 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/23553/task/23561/stat : 23561 (java) S 23551 23553 22462 0 -1 4202560 489 0 0 0 159 6 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972396567080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23562] ppid=23551 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/23553/task/23562/stat : 23562 (java) S 23551 23553 22462 0 -1 4202560 456 0 0 0 177 6 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972395514024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23563] ppid=23551 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/23553/task/23563/stat : 23563 (java) S 23551 23553 22462 0 -1 4202560 301 0 0 0 155 4 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972394461480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23564] ppid=23551 vsize=9624976 CPUtime=15.27 cores=1,3,5,7
/proc/23553/task/23564/stat : 23564 (java) S 23551 23553 22462 0 -1 4202560 177 0 0 0 1524 3 0 0 20 0 19 0 253677115 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972382051176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23565] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23565/stat : 23565 (java) S 23551 23553 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972262750072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23566] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23566/stat : 23566 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972261696904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23567] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23567/stat : 23567 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972260645648 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 9304 0 0 0 72 2 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2181 0 0 0 26 0 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23570] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23570/stat : 23570 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972257487096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23571] ppid=23551 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/23553/task/23571/stat : 23571 (java) S 23551 23553 22462 0 -1 4202560 103 0 0 0 37 36 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972256434760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23572] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23572/stat : 23572 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677134 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972255381032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1793.16
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.2 s]
/proc/loadavg: 2.00 2.02 2.00 2/195 23591
/proc/meminfo: memFree=29006268/32873844 swapFree=7124/7124
[pid=23553] ppid=23551 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/23553/stat : 23553 (java) S 23551 23553 22462 0 -1 4202496 18599 0 1 0 179928 78 0 0 20 0 19 0 253677113 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 140733581650656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23553/statm: 2406244 108510 2272 9 0 2396937 0
[pid=23553/tid=23554] ppid=23551 vsize=9624976 CPUtime=1765.31 cores=1,3,5,7
/proc/23553/task/23554/stat : 23554 (java) R 23551 23553 22462 0 -1 4202560 2743 0 1 0 176502 29 0 0 20 0 19 0 253677113 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972440338704 139972263443538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23556] ppid=23551 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/23553/task/23556/stat : 23556 (java) S 23551 23553 22462 0 -1 4202560 292 0 0 0 162 3 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972401830824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23557] ppid=23551 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/23553/task/23557/stat : 23557 (java) S 23551 23553 22462 0 -1 4202560 310 0 0 0 180 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972400778280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23558] ppid=23551 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/23553/task/23558/stat : 23558 (java) S 23551 23553 22462 0 -1 4202560 309 0 0 0 152 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972399725224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23559] ppid=23551 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/23553/task/23559/stat : 23559 (java) S 23551 23553 22462 0 -1 4202560 478 0 0 0 158 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972398672680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23560] ppid=23551 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/23553/task/23560/stat : 23560 (java) S 23551 23553 22462 0 -1 4202560 276 0 0 0 155 5 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972397619624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23561] ppid=23551 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/23553/task/23561/stat : 23561 (java) S 23551 23553 22462 0 -1 4202560 489 0 0 0 159 6 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972396567080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23562] ppid=23551 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/23553/task/23562/stat : 23562 (java) S 23551 23553 22462 0 -1 4202560 456 0 0 0 177 6 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972395514024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23563] ppid=23551 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/23553/task/23563/stat : 23563 (java) S 23551 23553 22462 0 -1 4202560 301 0 0 0 155 4 0 0 20 0 19 0 253677114 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972394461480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23553/tid=23564] ppid=23551 vsize=9624976 CPUtime=15.27 cores=1,3,5,7
/proc/23553/task/23564/stat : 23564 (java) S 23551 23553 22462 0 -1 4202560 177 0 0 0 1524 3 0 0 20 0 19 0 253677115 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972382051176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23565] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23565/stat : 23565 (java) S 23551 23553 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972262750072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23566] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23566/stat : 23566 (java) S 23551 23553 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253677116 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972261696904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23567] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23567/stat : 23567 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972260645648 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23568] ppid=23551 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23553/task/23568/stat : 23568 (java) S 23551 23553 22462 0 -1 4202560 9304 0 0 0 72 2 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972259592504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23553/tid=23569] ppid=23551 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/23553/task/23569/stat : 23569 (java) S 23551 23553 22462 0 -1 4202560 2181 0 0 0 26 0 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972258539960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23570] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23570/stat : 23570 (java) S 23551 23553 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972257487096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23553/tid=23571] ppid=23551 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23553/task/23571/stat : 23571 (java) S 23551 23553 22462 0 -1 4202560 103 0 0 0 38 36 0 0 20 0 19 0 253677118 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972256434760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23553/tid=23572] ppid=23551 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23553/task/23572/stat : 23572 (java) S 23551 23553 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253677134 9855975424 108510 33554432000 1073741824 1073778376 140733581659520 139972255381032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23553 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=838143
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=232812
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.26
CPU time (s): 1800.06
CPU user time (s): 1799.28
CPU system time (s): 0.78
CPU usage (%): 100.603
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 1.23281
maximum resident set size= 434184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44407
involuntary context switches= 27898

runsolver used 6.33204 second user time and 15.8016 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-24 18:05:17
IDJOB=3687755
IDBENCH=2060
IDSOLVER=2269
FILE ID=node134/3687755-1337875517
RUNJOBID= node134-1337871881-22479
PBS_JOBID= 14620070
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687755-1337875517/watcher-3687755-1337875517 -o /tmp/evaluation-result-3687755-1337875517/solver-3687755-1337875517 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687755-1337875517.opb

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

MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc
RANDOM SEED=1474572733

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29394984 kB
Buffers:          212784 kB
Cached:          2443048 kB
SwapCached:            0 kB
Active:           522572 kB
Inactive:        2183552 kB
Active(anon):      45864 kB
Inactive(anon):     5996 kB
Active(file):     476708 kB
Inactive(file):  2177556 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               816 kB
Writeback:             0 kB
AnonPages:         62152 kB
Mapped:            22604 kB
Shmem:               212 kB
Slab:             628392 kB
SReclaimable:      70064 kB
SUnreclaim:       558328 kB
KernelStack:        1608 kB
PageTables:         3932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node134 at 2012-05-24 18:35:09