Trace number 3718027

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.63 1795.85

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap61_wcsp.wbo
MD5SUM58e4788c719f1a12516705b51263d664
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9003827
Best CPU time to get the best result obtained on this benchmark1535.67
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 55743026
Min constraint cost 1
Max constraint cost 55743026
Sum of constraints costs 44948405826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120528
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3718027-1338255766.wbo
0.08/0.12	c reading problem ... 
0.23/0.26	c ... done. Wall clock time 0.142s.
0.23/0.26	c declared #vars     832
0.23/0.26	c internal #vars     2446
0.23/0.26	c #constraints  1747
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
0.23/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.23/0.26	c 1747 constraints processed.
0.23/0.26	c objective function length is 1614 literals
0.48/0.31	c SATISFIABLE
0.48/0.31	c OPTIMIZING...
0.48/0.31	c Got one! Elapsed wall clock time (in seconds):0.189
0.48/0.31	o 9065142
1.27/0.87	c cleaning 2490 clauses out of 5000 with flag 14918/5000
1.94/1.41	c cleaning 4245 clauses out of 8510 with flag 35286/11000
2.54/2.04	c cleaning 5629 clauses out of 11265 with flag 56270/18000
3.25/2.79	c cleaning 6809 clauses out of 13636 with flag 81185/26000
4.18/3.65	c cleaning 7914 clauses out of 15827 with flag 111454/35000
5.18/4.62	c cleaning 8952 clauses out of 17913 with flag 142589/45000
6.28/5.70	c cleaning 9971 clauses out of 19961 with flag 178899/56000
7.39/6.87	c cleaning 10991 clauses out of 21990 with flag 218873/68000
8.70/8.12	c cleaning 11994 clauses out of 24002 with flag 263980/81003
10.00/9.45	c cleaning 12994 clauses out of 26006 with flag 308951/95001
11.61/11.03	c cleaning 14004 clauses out of 28013 with flag 357405/110002
13.22/12.61	c cleaning 14995 clauses out of 30010 with flag 408499/126003
14.93/14.31	c cleaning 15996 clauses out of 32012 with flag 464900/143000
16.74/16.14	c cleaning 17004 clauses out of 34016 with flag 524017/161000
18.75/18.10	c cleaning 17998 clauses out of 36013 with flag 587775/180001
20.75/20.16	c cleaning 18994 clauses out of 38015 with flag 654529/200001
22.96/22.34	c cleaning 19996 clauses out of 40020 with flag 723563/221000
25.26/24.62	c cleaning 20997 clauses out of 42024 with flag 801801/243000
27.56/26.97	c cleaning 22011 clauses out of 44027 with flag 881924/266000
29.96/29.39	c cleaning 23008 clauses out of 46018 with flag 959598/290002
32.76/32.13	c cleaning 24000 clauses out of 48011 with flag 1047704/315003
35.57/34.96	c cleaning 24997 clauses out of 50009 with flag 1134634/341001
38.71/38.05	c cleaning 25990 clauses out of 52011 with flag 1224626/368000
41.92/41.23	c cleaning 27009 clauses out of 54022 with flag 1317120/396001
45.22/44.58	c cleaning 27996 clauses out of 56013 with flag 1408988/425001
48.84/48.19	c cleaning 29008 clauses out of 58018 with flag 1513190/455002
52.56/51.84	c cleaning 29988 clauses out of 60008 with flag 1610116/486000
56.46/55.78	c cleaning 30994 clauses out of 62023 with flag 1720076/518003
60.46/59.75	c cleaning 32001 clauses out of 64028 with flag 1828077/551002
64.67/63.90	c cleaning 33010 clauses out of 66025 with flag 1961603/585000
68.48/67.78	c cleaning 33996 clauses out of 68017 with flag 2072367/620002
72.68/71.90	c cleaning 34995 clauses out of 70020 with flag 2181771/656001
76.90/76.11	c cleaning 35996 clauses out of 72024 with flag 2301232/693000
81.20/80.44	c cleaning 36992 clauses out of 74028 with flag 2417559/731000
85.71/84.95	c cleaning 38017 clauses out of 76039 with flag 2537815/770003
90.41/89.64	c cleaning 38999 clauses out of 78019 with flag 2686820/810000
95.23/94.44	c cleaning 39986 clauses out of 80020 with flag 2815376/851000
100.04/99.29	c cleaning 41004 clauses out of 82036 with flag 2951962/893002
105.15/104.39	c cleaning 42016 clauses out of 84035 with flag 3086818/936005
110.56/109.77	c cleaning 42990 clauses out of 86014 with flag 3222841/980000
115.89/115.03	c cleaning 43999 clauses out of 88025 with flag 3363904/1025001
121.60/120.78	c cleaning 45006 clauses out of 90025 with flag 3522563/1071000
127.11/126.29	c cleaning 45992 clauses out of 92019 with flag 3667069/1118000
133.02/132.12	c cleaning 46998 clauses out of 94028 with flag 3816086/1166001
138.75/137.83	c cleaning 47998 clauses out of 96030 with flag 3967752/1215001
144.86/143.90	c cleaning 49008 clauses out of 98032 with flag 4133174/1265001
150.98/150.08	c cleaning 50006 clauses out of 100024 with flag 4304308/1316001
157.02/156.07	c cleaning 50996 clauses out of 102017 with flag 4473448/1368000
163.04/162.07	c cleaning 51994 clauses out of 104021 with flag 4648447/1421000
169.35/168.33	c cleaning 53001 clauses out of 106030 with flag 4823026/1475003
175.87/174.88	c cleaning 53988 clauses out of 108026 with flag 5010721/1530000
182.61/181.59	c cleaning 55010 clauses out of 110038 with flag 5209666/1586000
189.61/188.59	c cleaning 56003 clauses out of 112030 with flag 5400122/1643002
196.92/195.85	c cleaning 56998 clauses out of 114025 with flag 5590389/1701000
204.03/202.96	c cleaning 58005 clauses out of 116029 with flag 5792850/1760002
211.64/210.59	c cleaning 59001 clauses out of 118022 with flag 5993590/1820000
219.16/218.02	c cleaning 59989 clauses out of 120021 with flag 6203487/1881000
226.72/225.53	c cleaning 61006 clauses out of 122034 with flag 6409643/1943002
234.83/233.67	c cleaning 62007 clauses out of 124027 with flag 6620296/2006001
242.75/241.50	c cleaning 62996 clauses out of 126021 with flag 6828011/2070002
250.75/249.56	c cleaning 63995 clauses out of 128025 with flag 7043895/2135002
259.20/257.95	c cleaning 65005 clauses out of 130028 with flag 7262098/2201000
268.11/266.88	c cleaning 65991 clauses out of 132023 with flag 7479554/2268000
277.13/275.87	c cleaning 66985 clauses out of 134032 with flag 7690515/2336000
286.26/284.94	c cleaning 68005 clauses out of 136048 with flag 7907149/2405001
294.78/293.48	c cleaning 69007 clauses out of 138042 with flag 8140578/2475000
303.82/302.49	c cleaning 70002 clauses out of 140035 with flag 8373627/2546000
312.92/311.59	c cleaning 71004 clauses out of 142037 with flag 8612877/2618004
322.14/320.72	c cleaning 72009 clauses out of 144034 with flag 8851155/2691005
332.66/331.29	c cleaning 73004 clauses out of 146020 with flag 9089284/2765000
342.88/341.47	c cleaning 73997 clauses out of 148016 with flag 9339357/2840000
353.12/351.69	c cleaning 75003 clauses out of 150019 with flag 9596355/2916000
363.13/361.63	c cleaning 76007 clauses out of 152021 with flag 9839560/2993005
373.56/372.03	c cleaning 76991 clauses out of 154010 with flag 10109969/3071001
384.99/383.41	c cleaning 78001 clauses out of 156018 with flag 10377619/3150000
396.42/394.82	c cleaning 79004 clauses out of 158017 with flag 10635566/3230000
407.94/406.30	c cleaning 79988 clauses out of 160013 with flag 10896983/3311000
419.18/417.52	c cleaning 81008 clauses out of 162027 with flag 11155684/3393002
430.01/428.32	c cleaning 81992 clauses out of 164017 with flag 11442658/3476000
441.54/439.89	c cleaning 83002 clauses out of 166026 with flag 11713346/3560001
451.96/450.29	c cleaning 83995 clauses out of 168023 with flag 12001649/3645000
462.69/460.98	c cleaning 85008 clauses out of 170029 with flag 12278075/3731001
474.10/472.32	c cleaning 85996 clauses out of 172020 with flag 12553980/3818000
486.23/484.45	c cleaning 86999 clauses out of 174024 with flag 12827462/3906000
497.56/495.74	c cleaning 88002 clauses out of 176025 with flag 13113659/3995000
509.09/507.25	c cleaning 89003 clauses out of 178023 with flag 13393853/4085000
520.21/518.35	c cleaning 90006 clauses out of 180020 with flag 13683304/4176000
532.75/530.85	c cleaning 90996 clauses out of 182014 with flag 13987214/4268000
546.09/544.13	c cleaning 91998 clauses out of 184018 with flag 14292701/4361000
558.02/556.01	c cleaning 92986 clauses out of 186022 with flag 14610482/4455002
570.14/568.12	c cleaning 94011 clauses out of 188034 with flag 14925537/4550000
582.36/580.39	c cleaning 95006 clauses out of 190025 with flag 15232117/4646002
595.50/593.41	c cleaning 96004 clauses out of 192020 with flag 15551565/4743003
608.02/605.99	c cleaning 96991 clauses out of 194013 with flag 15855676/4841000
621.26/619.17	c cleaning 98001 clauses out of 196022 with flag 16181432/4940000
635.08/632.96	c cleaning 98985 clauses out of 198022 with flag 16505497/5040001
648.25/646.01	c cleaning 100005 clauses out of 200036 with flag 16844704/5141000
661.28/659.00	c cleaning 101001 clauses out of 202032 with flag 17199397/5243001
674.50/672.28	c cleaning 102000 clauses out of 204032 with flag 17531336/5346002
688.32/686.06	c cleaning 102995 clauses out of 206031 with flag 17843605/5450001
701.44/699.14	c cleaning 104002 clauses out of 208036 with flag 18170379/5555001
714.86/712.59	c cleaning 104997 clauses out of 210033 with flag 18527006/5661000
730.51/728.12	c cleaning 106001 clauses out of 212039 with flag 18897396/5768003
745.03/742.66	c cleaning 107011 clauses out of 214038 with flag 19253674/5876003
759.66/757.22	c cleaning 107976 clauses out of 216024 with flag 19624104/5985000
775.72/773.23	c cleaning 109014 clauses out of 218052 with flag 19997965/6095004
792.26/789.75	c cleaning 110014 clauses out of 220034 with flag 20390357/6206000
807.99/805.42	c cleaning 110991 clauses out of 222023 with flag 20728388/6318003
825.43/822.84	c cleaning 111997 clauses out of 224029 with flag 21089759/6431000
842.38/839.73	c cleaning 112997 clauses out of 226035 with flag 21462904/6545003
859.64/856.93	c cleaning 113984 clauses out of 228035 with flag 21839676/6660000
876.29/873.53	c cleaning 115010 clauses out of 230051 with flag 22213620/6776000
893.22/890.48	c cleaning 116017 clauses out of 232042 with flag 22608139/6893001
909.44/906.64	c cleaning 116980 clauses out of 234025 with flag 22970939/7011001
927.46/924.69	c cleaning 118006 clauses out of 236044 with flag 23347553/7130000
943.49/940.62	c cleaning 119012 clauses out of 238038 with flag 23729576/7250000
960.01/957.10	c cleaning 120001 clauses out of 240026 with flag 24115733/7371000
977.23/974.38	c cleaning 120989 clauses out of 242026 with flag 24504259/7493001
994.16/991.23	c cleaning 122004 clauses out of 244038 with flag 24889821/7616002
1011.88/1008.92	c cleaning 123013 clauses out of 246032 with flag 25286696/7740000
1031.51/1028.56	c cleaning 124001 clauses out of 248019 with flag 25703562/7865000
1049.06/1046.06	c cleaning 124988 clauses out of 250018 with flag 26144638/7991000
1067.08/1064.03	c cleaning 126005 clauses out of 252030 with flag 26609104/8118000
1086.22/1083.13	c cleaning 127002 clauses out of 254026 with flag 27047776/8246001
1104.25/1101.15	c cleaning 128009 clauses out of 256024 with flag 27444089/8375001
1124.16/1121.03	c cleaning 128993 clauses out of 258014 with flag 27846896/8505000
1144.08/1140.94	c cleaning 129997 clauses out of 260022 with flag 28274809/8636001
1163.51/1160.36	c cleaning 130999 clauses out of 262024 with flag 28716263/8768000
1182.13/1178.96	c cleaning 132007 clauses out of 264025 with flag 29173578/8901000
1200.46/1197.22	c cleaning 132994 clauses out of 266018 with flag 29599586/9035000
1219.37/1216.18	c cleaning 133976 clauses out of 268024 with flag 30032067/9170000
1238.29/1235.09	c cleaning 135011 clauses out of 270048 with flag 30481228/9306000
1260.52/1257.21	c cleaning 136011 clauses out of 272038 with flag 30956500/9443001
1278.67/1275.34	c cleaning 136998 clauses out of 274027 with flag 31397815/9581001
1297.50/1294.12	c cleaning 137999 clauses out of 276028 with flag 31849327/9720000
1316.32/1312.90	c cleaning 139005 clauses out of 278030 with flag 32297205/9860001
1336.26/1332.83	c cleaning 140000 clauses out of 280024 with flag 32743780/10001000
1356.31/1352.84	c cleaning 140999 clauses out of 282027 with flag 33226702/10143003
1375.65/1372.17	c cleaning 141993 clauses out of 284025 with flag 33678526/10286000
1396.92/1393.37	c cleaning 143006 clauses out of 286032 with flag 34141459/10430000
1417.36/1413.74	c cleaning 143987 clauses out of 288026 with flag 34613219/10575000
1439.21/1435.55	c cleaning 144999 clauses out of 290039 with flag 35080857/10721000
1460.75/1457.09	c cleaning 146006 clauses out of 292041 with flag 35549072/10868001
1480.99/1477.29	c cleaning 146986 clauses out of 294035 with flag 36029608/11016001
1500.95/1497.12	c cleaning 148007 clauses out of 296049 with flag 36529063/11165001
1525.76/1521.96	c cleaning 149010 clauses out of 298042 with flag 37000908/11315001
1548.83/1544.95	c cleaning 150002 clauses out of 300031 with flag 37507081/11466000
1570.75/1566.81	c cleaning 151008 clauses out of 302029 with flag 38000705/11618000
1593.08/1589.11	c cleaning 151990 clauses out of 304023 with flag 38504580/11771002
1615.51/1611.53	c cleaning 152987 clauses out of 306031 with flag 39007266/11925000
1639.74/1635.71	c cleaning 154006 clauses out of 308044 with flag 39536903/12080000
1662.18/1658.11	c cleaning 155004 clauses out of 310038 with flag 40060842/12236000
1685.43/1681.36	c cleaning 156000 clauses out of 312035 with flag 40589744/12393001
1709.25/1705.13	c cleaning 156999 clauses out of 314034 with flag 41129298/12551000
1733.07/1728.93	c cleaning 158017 clauses out of 316035 with flag 41629640/12710000
1757.44/1753.28	c cleaning 158994 clauses out of 318021 with flag 42147908/12870003
1782.28/1778.04	c cleaning 160009 clauses out of 320025 with flag 42706410/13031001
1800.10/1795.81	c starts		: 325
1800.10/1795.81	c conflicts		: 13167277
1800.10/1795.81	c decisions		: 32254754
1800.10/1795.81	c propagations		: 4540995242
1800.10/1795.81	c inspects		: 9696018461
1800.10/1795.81	c shortcuts		: 0
1800.10/1795.81	c learnt literals	: 0
1800.10/1795.81	c learnt binary clauses	: 0
1800.10/1795.81	c learnt ternary clauses	: 0
1800.10/1795.81	c learnt constraints	: 13167278
1800.10/1795.81	c ignored constraints	: 0
1800.10/1795.81	c root simplifications	: 0
1800.10/1795.81	c removed literals (reason simplification)	: 0
1800.10/1795.81	c reason swapping (by a shorter reason)	: 0
1800.10/1795.81	c Calls to reduceDB	: 157
1800.10/1795.81	c Number of update (reduction) of LBD	: 5695630
1800.10/1795.81	c number of reductions to clauses (during analyze)	: 0
1800.10/1795.81	c number of learned constraints concerned by reduction	: 0
1800.10/1795.81	c number of learning phase by resolution	: 0
1800.10/1795.81	c number of learning phase by cutting planes	: 0
1800.10/1795.81	c speed (assignments/second)	: 2529054.524260511
1800.10/1795.81	c non guided choices	167
1800.10/1795.84	c learnt constraints type 
1800.10/1795.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 296473
1800.10/1795.84	c constraints type 
1800.10/1795.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850
1800.10/1795.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
1800.10/1795.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 846
1800.10/1795.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.10/1795.84	c 1748 constraints processed.
1800.10/1795.84	s SATISFIABLE
1800.10/1795.84	v -x1 x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 
1800.10/1795.84	c objective function=9065142
1800.10/1795.84	c Total wall clock time (in seconds): 1795.727

Verifier Data 

OK	9065142

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

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

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


[startup+0 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/4509/stat : 4509 (java) D 4507 4509 919 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 291702506 2560000 46 33554432000 1073741824 1073778376 140737117529392 140737117526520 242158234919 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/4509/statm: 625 46 37 9 0 29 0

[startup+0.0322379 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 2345 0 1 0 0 0 0 0 20 0 10 0 291702506 9233014784 3044 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2254154 3052 1180 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100194 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 4252 0 1 0 7 1 0 0 20 0 18 0 291702506 9787817984 5445 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2389604 5445 2100 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300227 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 6446 0 1 0 46 2 0 0 20 0 19 0 291702506 9855979520 8290 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 8290 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980

[startup+0.700215 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1.17 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8082 0 1 0 115 2 0 0 20 0 19 0 291702506 9855979520 9141 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 9141 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 1.89 1.98 1.99 3/213 4528
/proc/meminfo: memFree=30649748/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=2.04 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8154 0 1 0 202 2 0 0 20 0 19 0 291702506 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 12781 2269 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2461 0 1 0 143 0 0 0 20 0 19 0 291702507 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256241652120 140256066754432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291702510 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2182 0 0 0 25 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9624980

[startup+3.10055 s]
/proc/loadavg: 1.89 1.98 1.99 3/213 4528
/proc/meminfo: memFree=30645160/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=3.67 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8165 0 1 0 365 2 0 0 20 0 19 0 291702506 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 13301 2269 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=3 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2461 0 1 0 300 0 0 0 20 0 19 0 291702507 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256241652232 140256066696954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291702510 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2184 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9624980

[startup+6.30054 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 4528
/proc/meminfo: memFree=30645160/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=6.89 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8176 0 1 0 686 3 0 0 20 0 19 0 291702506 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 13654 2270 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=6.16 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2465 0 1 0 614 2 0 0 20 0 19 0 291702507 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256241652168 140256066679964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 291702510 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2185 0 0 0 29 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 152 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 183 0 0 0 66 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 365 0 0 0 69 1 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.44 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 163 0 0 0 641 3 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 95 0 0 0 11 16 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.43
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 4625
/proc/meminfo: memFree=30366928/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1726.47 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 10536 0 1 0 172616 31 0 0 20 0 19 0 291702506 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 54494 2271 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1713.95 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2637 0 1 0 171364 31 0 0 20 0 19 0 291702507 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256241652000 140256066714751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 276 0 0 0 59 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 206 0 0 0 60 0 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 406 0 0 0 62 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 194 0 0 0 67 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 167 0 0 0 59 1 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 152 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 183 0 0 0 67 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 365 0 0 0 70 1 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.57 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 167 0 0 0 654 3 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 99 0 0 0 11 17 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.47
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 4625
/proc/meminfo: memFree=30348376/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1786.6 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 10560 0 1 0 178627 33 0 0 20 0 19 0 291702506 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 56542 2271 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1773.67 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2640 0 1 0 177336 31 0 0 20 0 19 0 291702507 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256241652000 140256066758468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 276 0 0 0 62 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 207 0 0 0 61 0 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 406 0 0 0 64 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 197 0 0 0 71 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 169 0 0 0 60 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 153 0 0 0 70 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 185 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.74 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 368 0 0 0 73 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.8 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 172 0 0 0 677 3 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 4625
/proc/meminfo: memFree=30348504/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1800.1 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 10560 0 1 0 179977 33 0 0 20 0 19 0 291702506 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 56542 2271 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1787.17 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2640 0 1 0 178685 32 0 0 20 0 19 0 291702507 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256241652000 140256066679898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 276 0 0 0 62 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 207 0 0 0 61 0 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 406 0 0 0 64 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 197 0 0 0 71 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 169 0 0 0 60 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 153 0 0 0 70 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 185 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.74 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 368 0 0 0 73 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.8 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 172 0 0 0 677 3 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1795.85
CPU time (s): 1800.63
CPU user time (s): 1799.84
CPU system time (s): 0.794879
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.794879
maximum resident set size= 226320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10601
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42166
involuntary context switches= 38088

runsolver used 6.34104 second user time and 13.6629 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-29 03:42:46
IDJOB=3718027
IDBENCH=79529
IDSOLVER=2301
FILE ID=node126/3718027-1338255766
RUNJOBID= node126-1338248585-2145
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

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

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

MD5SUM BENCH= 58e4788c719f1a12516705b51263d664
RANDOM SEED=1447678798

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30690468 kB
Buffers:          427164 kB
Cached:           730536 kB
SwapCached:        17756 kB
Active:          1002216 kB
Inactive:         315088 kB
Active(anon):     140740 kB
Inactive(anon):    20452 kB
Active(file):     861476 kB
Inactive(file):   294636 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               464 kB
Writeback:             0 kB
AnonPages:        148624 kB
Mapped:            17912 kB
Shmem:                 0 kB
Slab:             727284 kB
SReclaimable:     171460 kB
SUnreclaim:       555824 kB
KernelStack:        1624 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     698584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71356 MiB
End job on node126 at 2012-05-29 04:12:44