Trace number 3710633

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)64 1800.05 1795.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
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.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 This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
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.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710633-1338142431.opb
0.08/0.13	c reading problem ... 
0.44/0.38	c ... done. Wall clock time 0.244s.
0.44/0.38	c declared #vars     540
0.44/0.38	c #constraints  4626
0.44/0.38	c constraints type 
0.44/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2052
0.44/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 264
0.44/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 630
0.44/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.44/0.38	c 4626 constraints processed.
0.68/0.42	c SATISFIABLE
0.68/0.42	c OPTIMIZING...
0.68/0.42	c Got one! Elapsed wall clock time (in seconds):0.289
0.68/0.42	o 94
0.68/0.45	c Got one! Elapsed wall clock time (in seconds):0.316
0.68/0.45	o 82
1.22/0.60	c Got one! Elapsed wall clock time (in seconds):0.464
1.22/0.60	o 78
1.34/0.70	c Got one! Elapsed wall clock time (in seconds):0.566
1.34/0.70	o 76
1.45/0.85	c Got one! Elapsed wall clock time (in seconds):0.716
1.45/0.85	o 74
1.83/1.16	c cleaning 3199 clauses out of 6398 with flag 3000/6398
2.26/1.56	c Got one! Elapsed wall clock time (in seconds):1.432
2.26/1.56	o 72
2.48/1.76	c cleaning 4451 clauses out of 8923 with flag 2000/12122
2.48/1.78	c Got one! Elapsed wall clock time (in seconds):1.651
2.48/1.78	o 70
3.08/2.31	c cleaning 4799 clauses out of 9601 with flag 5001/17251
3.80/3.00	c cleaning 5396 clauses out of 10803 with flag 11002/23252
4.65/3.83	c cleaning 6187 clauses out of 12405 with flag 18000/30250
5.56/4.78	c cleaning 7104 clauses out of 14218 with flag 26000/38250
6.86/6.02	c cleaning 8049 clauses out of 16114 with flag 35000/47250
8.26/7.41	c cleaning 9031 clauses out of 18065 with flag 45000/57250
9.76/8.96	c cleaning 10010 clauses out of 20036 with flag 56002/68252
11.07/10.20	c Got one! Elapsed wall clock time (in seconds):10.071
11.07/10.20	o 68
11.77/10.99	c cleaning 11764 clauses out of 23542 with flag 5000/81768
12.67/11.83	c cleaning 8879 clauses out of 17782 with flag 11004/87772
13.58/12.78	c cleaning 7931 clauses out of 15899 with flag 18000/94768
14.78/13.94	c cleaning 7976 clauses out of 15970 with flag 26002/102770
16.19/15.36	c cleaning 8487 clauses out of 16992 with flag 35000/111768
17.58/16.75	c cleaning 9247 clauses out of 18506 with flag 45001/121769
19.18/18.37	c cleaning 10125 clauses out of 20258 with flag 56000/132768
20.98/20.19	c cleaning 11051 clauses out of 22133 with flag 68000/144768
23.09/22.23	c cleaning 12019 clauses out of 24082 with flag 81000/157768
25.60/24.71	c cleaning 13029 clauses out of 26064 with flag 95001/171769
27.91/27.05	c cleaning 14007 clauses out of 28034 with flag 110000/186768
30.22/29.34	c Got one! Elapsed wall clock time (in seconds):29.212
30.22/29.34	o 66
31.22/30.32	c cleaning 16319 clauses out of 32649 with flag 5001/205390
32.23/31.37	c cleaning 11157 clauses out of 22331 with flag 11002/211391
33.35/32.40	c cleaning 9078 clauses out of 18173 with flag 18001/218390
34.55/33.61	c cleaning 8538 clauses out of 17094 with flag 26000/226389
35.76/34.85	c cleaning 8776 clauses out of 17559 with flag 35003/235392
37.46/36.50	c cleaning 9385 clauses out of 18781 with flag 45001/245390
39.16/38.25	c cleaning 10193 clauses out of 20395 with flag 56000/256389
40.96/40.03	c cleaning 11093 clauses out of 22202 with flag 68000/268389
43.06/42.14	c cleaning 12050 clauses out of 24110 with flag 81001/281390
45.38/44.40	c cleaning 13021 clauses out of 26059 with flag 95000/295389
47.79/46.88	c cleaning 14012 clauses out of 28039 with flag 110001/310390
50.72/49.71	c cleaning 14996 clauses out of 30026 with flag 126000/326389
54.22/53.22	c cleaning 16010 clauses out of 32031 with flag 143001/343390
57.43/56.44	c cleaning 17001 clauses out of 34020 with flag 161000/361389
61.04/60.08	c cleaning 18005 clauses out of 36019 with flag 180000/380389
64.96/63.92	c cleaning 19007 clauses out of 38015 with flag 200001/400390
68.59/67.57	c cleaning 19979 clauses out of 40007 with flag 221000/421389
73.19/72.13	c cleaning 21007 clauses out of 42030 with flag 243002/443391
78.10/77.10	c cleaning 22002 clauses out of 44023 with flag 266002/466391
83.11/82.05	c cleaning 22991 clauses out of 46019 with flag 290000/490389
88.61/87.57	c cleaning 24004 clauses out of 48029 with flag 315001/515390
94.13/93.06	c cleaning 24999 clauses out of 50025 with flag 341001/541390
100.66/99.59	c cleaning 26001 clauses out of 52027 with flag 368002/568391
107.17/106.01	c cleaning 27011 clauses out of 54026 with flag 396002/596391
113.60/112.45	c cleaning 28000 clauses out of 56013 with flag 425000/625389
120.92/119.74	c cleaning 28992 clauses out of 58014 with flag 455001/655390
128.44/127.27	c cleaning 30002 clauses out of 60021 with flag 486000/686389
137.34/136.15	c cleaning 30995 clauses out of 62019 with flag 518000/718389
146.36/145.11	c cleaning 31998 clauses out of 64024 with flag 551000/751389
156.00/154.70	c cleaning 33008 clauses out of 66026 with flag 585000/785389
169.62/168.31	c cleaning 33993 clauses out of 68018 with flag 620000/820389
183.56/182.27	c cleaning 35000 clauses out of 70025 with flag 656000/856389
196.87/195.53	c cleaning 36006 clauses out of 72025 with flag 693000/893389
206.70/205.36	c cleaning 36995 clauses out of 74019 with flag 731000/931389
217.35/215.97	c cleaning 38004 clauses out of 76024 with flag 770000/970389
229.38/227.90	c cleaning 38998 clauses out of 78020 with flag 810000/1010389
241.70/240.25	c cleaning 40000 clauses out of 80022 with flag 851000/1051389
253.83/252.38	c cleaning 41006 clauses out of 82022 with flag 893000/1093389
268.26/266.70	c cleaning 41987 clauses out of 84017 with flag 936001/1136390
282.58/281.02	c cleaning 43011 clauses out of 86033 with flag 980004/1180393
297.91/296.39	c cleaning 44000 clauses out of 88018 with flag 1025000/1225389
314.15/312.58	c cleaning 44993 clauses out of 90018 with flag 1071000/1271389
331.68/330.03	c cleaning 46004 clauses out of 92027 with flag 1118002/1318391
345.49/343.82	c cleaning 47001 clauses out of 94021 with flag 1166000/1366389
359.59/357.96	c cleaning 48002 clauses out of 96020 with flag 1215000/1415389
376.23/374.53	c cleaning 48998 clauses out of 98019 with flag 1265001/1465390
395.17/393.40	c cleaning 49999 clauses out of 100023 with flag 1316003/1516392
414.56/412.76	c cleaning 50997 clauses out of 102022 with flag 1368001/1568390
433.83/431.99	c Got one! Elapsed wall clock time (in seconds):431.853
433.83/431.99	o 64
435.73/433.88	c cleaning 53032 clauses out of 106084 with flag 5002/1623449
437.25/435.32	c cleaning 29485 clauses out of 59050 with flag 11000/1629447
438.47/436.54	c cleaning 18267 clauses out of 36565 with flag 18000/1636447
439.69/437.78	c cleaning 13127 clauses out of 26298 with flag 26000/1644447
440.99/439.07	c cleaning 11064 clauses out of 22171 with flag 35000/1653447
442.60/440.61	c cleaning 10541 clauses out of 21110 with flag 45003/1663450
444.24/442.24	c cleaning 10768 clauses out of 21566 with flag 56000/1674447
446.16/444.10	c cleaning 11384 clauses out of 22798 with flag 68000/1686447
448.27/446.23	c cleaning 12184 clauses out of 24415 with flag 81001/1699448
450.59/448.57	c cleaning 13113 clauses out of 26231 with flag 95001/1713448
453.10/451.02	c cleaning 14053 clauses out of 28119 with flag 110002/1728449
456.11/454.00	c cleaning 15024 clauses out of 30065 with flag 126001/1744448
459.31/457.23	c cleaning 16016 clauses out of 32040 with flag 143000/1761447
462.31/460.21	c cleaning 17006 clauses out of 34026 with flag 161002/1779449
465.82/463.75	c cleaning 17999 clauses out of 36018 with flag 180000/1798447
469.83/467.74	c cleaning 18978 clauses out of 38020 with flag 200001/1818448
474.15/472.05	c cleaning 20006 clauses out of 40041 with flag 221000/1839447
478.76/476.68	c cleaning 21016 clauses out of 42037 with flag 243002/1861449
483.97/481.81	c cleaning 22000 clauses out of 44019 with flag 266000/1884447
489.17/487.06	c cleaning 22997 clauses out of 46020 with flag 290001/1908448
494.29/492.16	c cleaning 24004 clauses out of 48022 with flag 315000/1933447
500.42/498.21	c cleaning 25007 clauses out of 50018 with flag 341000/1959447
506.82/504.65	c cleaning 26003 clauses out of 52013 with flag 368002/1986449
512.44/510.29	c cleaning 26996 clauses out of 54008 with flag 396000/2014447
518.65/516.49	c cleaning 27988 clauses out of 56013 with flag 425001/2043448
525.58/523.38	c cleaning 29002 clauses out of 58025 with flag 455001/2073448
532.91/530.63	c cleaning 29998 clauses out of 60022 with flag 486000/2104447
540.93/538.64	c cleaning 31004 clauses out of 62027 with flag 518003/2136450
551.34/549.04	c cleaning 32000 clauses out of 64020 with flag 551000/2169447
560.85/558.55	c cleaning 32992 clauses out of 66020 with flag 585000/2203447
569.75/567.50	c cleaning 34006 clauses out of 68028 with flag 620000/2238447
579.77/577.41	c cleaning 34994 clauses out of 70022 with flag 656000/2274447
589.18/586.89	c cleaning 35990 clauses out of 72028 with flag 693000/2311447
600.79/598.47	c cleaning 36995 clauses out of 74038 with flag 731000/2349447
612.50/610.15	c cleaning 38008 clauses out of 76043 with flag 770000/2388447
625.31/622.95	c cleaning 39011 clauses out of 78035 with flag 810000/2428447
636.86/634.44	c cleaning 40010 clauses out of 80030 with flag 851006/2469453
650.87/648.48	c cleaning 40988 clauses out of 82014 with flag 893000/2511447
664.22/661.74	c cleaning 42005 clauses out of 84027 with flag 936001/2554448
678.15/675.65	c cleaning 43000 clauses out of 86023 with flag 980002/2598449
692.38/689.85	c cleaning 44005 clauses out of 88021 with flag 1025000/2643447
705.11/702.52	c cleaning 44982 clauses out of 90016 with flag 1071000/2689447
719.04/716.47	c cleaning 46013 clauses out of 92036 with flag 1118002/2736449
736.15/733.51	c cleaning 46994 clauses out of 94021 with flag 1166000/2784447
754.01/751.32	c cleaning 48008 clauses out of 96029 with flag 1215002/2833449
772.65/769.91	c cleaning 49000 clauses out of 98021 with flag 1265002/2883449
791.49/788.71	c cleaning 49994 clauses out of 100020 with flag 1316001/2934448
810.72/807.96	c cleaning 50978 clauses out of 102025 with flag 1368000/2986447
827.08/824.22	c cleaning 52022 clauses out of 104047 with flag 1421000/3039447
843.61/840.79	c cleaning 52994 clauses out of 106025 with flag 1475000/3093447
861.14/858.27	c cleaning 54010 clauses out of 108032 with flag 1530001/3148448
880.31/877.38	c cleaning 55002 clauses out of 110021 with flag 1586000/3204447
907.16/904.14	c cleaning 55996 clauses out of 112019 with flag 1643000/3261447
928.32/925.21	c cleaning 56992 clauses out of 114023 with flag 1701000/3319447
949.93/946.83	c cleaning 58005 clauses out of 116032 with flag 1760001/3378448
972.74/969.62	c cleaning 59007 clauses out of 118027 with flag 1820001/3438448
998.05/994.95	c cleaning 59997 clauses out of 120019 with flag 1881000/3499447
1024.17/1021.07	c cleaning 60989 clauses out of 122022 with flag 1943000/3561447
1051.04/1047.87	c cleaning 62007 clauses out of 124037 with flag 2006004/3624451
1076.08/1072.80	c cleaning 62981 clauses out of 126026 with flag 2070000/3688447
1107.81/1104.50	c cleaning 64002 clauses out of 128045 with flag 2135000/3753447
1139.67/1136.37	c cleaning 64999 clauses out of 130043 with flag 2201000/3819447
1172.62/1169.28	c cleaning 66007 clauses out of 132045 with flag 2268001/3886448
1205.47/1202.03	c cleaning 67010 clauses out of 134037 with flag 2336000/3954447
1234.74/1231.29	c cleaning 68006 clauses out of 136027 with flag 2405000/4023447
1271.59/1268.06	c cleaning 68996 clauses out of 138022 with flag 2475001/4093448
1308.45/1304.89	c cleaning 69993 clauses out of 140026 with flag 2546001/4164448
1348.09/1344.41	c cleaning 71002 clauses out of 142032 with flag 2618000/4236447
1387.77/1384.08	c cleaning 72005 clauses out of 144030 with flag 2691000/4309447
1429.35/1425.57	c cleaning 73010 clauses out of 146025 with flag 2765000/4383447
1472.52/1468.68	c cleaning 73992 clauses out of 148015 with flag 2840000/4458447
1504.38/1500.46	c cleaning 75007 clauses out of 150026 with flag 2916003/4534450
1542.34/1538.36	c cleaning 75996 clauses out of 152017 with flag 2993001/4611448
1582.66/1578.65	c cleaning 76992 clauses out of 154021 with flag 3071001/4689448
1626.54/1622.46	c cleaning 78007 clauses out of 156031 with flag 3150003/4768450
1665.48/1661.38	c cleaning 78987 clauses out of 158022 with flag 3230001/4848448
1711.01/1706.81	c cleaning 80009 clauses out of 160036 with flag 3311002/4929449
1761.65/1757.49	c cleaning 80996 clauses out of 162026 with flag 3393001/5011448
1800.05/1795.71	c starts		: 283
1800.05/1795.71	c conflicts		: 5082609
1800.05/1795.71	c decisions		: 6115012
1800.05/1795.71	c propagations		: 326617652
1800.05/1795.71	c inspects		: 24716360323
1800.05/1795.71	c shortcuts		: 0
1800.05/1795.71	c learnt literals	: 0
1800.05/1795.71	c learnt binary clauses	: 0
1800.05/1795.71	c learnt ternary clauses	: 21
1800.05/1795.71	c learnt constraints	: 5082609
1800.05/1795.71	c ignored constraints	: 0
1800.05/1795.71	c root simplifications	: 283
1800.05/1795.71	c removed literals (reason simplification)	: 39055069
1800.05/1795.71	c reason swapping (by a shorter reason)	: 0
1800.05/1795.71	c Calls to reduceDB	: 146
1800.05/1795.71	c number of reductions to clauses (during analyze)	: 0
1800.05/1795.71	c number of learned constraints concerned by reduction	: 0
1800.05/1795.71	c number of learning phase by resolution	: 0
1800.05/1795.71	c number of learning phase by cutting planes	: 0
1800.05/1795.71	c speed (assignments/second)	: 181926.15122225374
1800.05/1795.71	c non guided choices	185
1800.05/1795.75	c learnt constraints type 
1800.05/1795.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 152214
1800.05/1795.75	c constraints type 
1800.05/1795.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2052
1800.05/1795.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 264
1800.05/1795.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 630
1800.05/1795.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1681
1800.05/1795.75	c 4627 constraints processed.
1800.05/1795.75	s SATISFIABLE
1800.05/1795.75	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 
1800.05/1795.75	c objective function=64
1800.05/1795.75	c Total wall clock time (in seconds): 1795.616

Verifier Data 

OK	64

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-3710633-1338142431/watcher-3710633-1338142431 -o /tmp/evaluation-result-3710633-1338142431/solver-3710633-1338142431 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710633-1338142431.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.02 2.00 3/194 23364
/proc/meminfo: memFree=30058836/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23364/stat : 23364 (java) R 23362 23364 19004 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 280367992 9515008 176 33554432000 1073741824 1073778376 140734506593664 140734506576392 240565175184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23364/statm: 2323 177 134 9 0 71 0

[startup+0.0199941 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 23364
/proc/meminfo: memFree=30058836/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=101560 CPUtime=0 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 1422 0 1 0 0 0 0 0 20 0 2 0 280367992 103997440 1102 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 25390 1102 852 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101560

[startup+0.100262 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 23364
/proc/meminfo: memFree=30058836/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 3736 0 1 0 7 1 0 0 20 0 18 0 280367992 9787842560 4945 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2389610 4957 1974 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300271 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 23364
/proc/meminfo: memFree=30058836/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9558440 CPUtime=0.44 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 5156 0 1 0 42 2 0 0 20 0 18 0 280367992 9787842560 8106 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2389610 8106 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558440

[startup+0.700255 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 23364
/proc/meminfo: memFree=30058836/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 7658 0 1 0 131 3 0 0 20 0 19 0 280367992 9856004096 12788 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 12788 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625004

[startup+1.50063 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 23383
/proc/meminfo: memFree=30018580/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=2.26 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 8422 0 1 0 223 3 0 0 20 0 19 0 280367992 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 15909 2286 9 0 2396937 0
[pid=23364/tid=23366] ppid=23362 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/23364/task/23366/stat : 23366 (java) R 23362 23364 19004 0 -1 4202560 2524 0 1 0 143 1 0 0 20 0 19 0 280367993 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065673118120 140065544669575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23367] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23367/stat : 23367 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065516501544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23368] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23368/stat : 23368 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065515448744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23369] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23369/stat : 23369 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065514395944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23370] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23370/stat : 23370 (java) S 23362 23364 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065513343144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23371] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23371/stat : 23371 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065512291368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23372] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23372/stat : 23372 (java) S 23362 23364 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065511238568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23373] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23373/stat : 23373 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065510185768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23374] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23374/stat : 23374 (java) S 23362 23364 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065509132968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23375] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23375/stat : 23375 (java) S 23362 23364 19004 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 280367995 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065496934888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23376] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23376/stat : 23376 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065495880952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23377] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23377/stat : 23377 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065494828040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23378] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23378/stat : 23378 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367998 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065493776528 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 1825 0 0 0 38 0 0 0 20 0 19 0 280367999 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 38 0 0 0 20 0 19 0 280367999 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 15909 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 23383
/proc/meminfo: memFree=30006292/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=3.95 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 8848 0 1 0 391 4 0 0 20 0 19 0 280367992 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 16430 2286 9 0 2396937 0
[pid=23364/tid=23366] ppid=23362 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/23364/task/23366/stat : 23366 (java) R 23362 23364 19004 0 -1 4202560 2525 0 1 0 298 1 0 0 20 0 19 0 280367993 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065673118120 140065544734617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23367] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23367/stat : 23367 (java) S 23362 23364 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065516501544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23368] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23368/stat : 23368 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065515448744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23369] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23369/stat : 23369 (java) S 23362 23364 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065514395944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23370] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23370/stat : 23370 (java) S 23362 23364 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065513343144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23371] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23371/stat : 23371 (java) S 23362 23364 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065512291368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23372] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23372/stat : 23372 (java) S 23362 23364 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065511238568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23373] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23373/stat : 23373 (java) S 23362 23364 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065510185768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23374] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23374/stat : 23374 (java) S 23362 23364 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065509132968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23375] ppid=23362 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/23364/task/23375/stat : 23375 (java) S 23362 23364 19004 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 280367995 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065496934888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23376] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23376/stat : 23376 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065495880952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23377] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23377/stat : 23377 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065494828040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23378] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23378/stat : 23378 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367998 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065493776528 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 2238 0 0 0 44 0 0 0 20 0 19 0 280367999 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 39 0 0 0 20 0 19 0 280367999 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 16430 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625004

[startup+6.30063 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 23383
/proc/meminfo: memFree=30007036/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=7.16 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 8867 0 1 0 712 4 0 0 20 0 19 0 280367992 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 16134 2286 9 0 2396937 0
[pid=23364/tid=23366] ppid=23362 vsize=9625004 CPUtime=6.13 cores=1,3,5,7
/proc/23364/task/23366/stat : 23366 (java) R 23362 23364 19004 0 -1 4202560 2529 0 1 0 612 1 0 0 20 0 19 0 280367993 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065673118120 140065544744533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23367] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23367/stat : 23367 (java) S 23362 23364 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065516501544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23368] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23368/stat : 23368 (java) S 23362 23364 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065515448744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23369] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23369/stat : 23369 (java) S 23362 23364 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065514395944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23370] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23370/stat : 23370 (java) S 23362 23364 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065513343144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23371] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23371/stat : 23371 (java) S 23362 23364 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065512291368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23372] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23372/stat : 23372 (java) S 23362 23364 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065511238568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23373] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23373/stat : 23373 (java) S 23362 23364 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065510185768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23374] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23374/stat : 23374 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367994 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065509132968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23375] ppid=23362 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/23364/task/23375/stat : 23375 (java) S 23362 23364 19004 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 280367995 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065496934888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23376] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23376/stat : 23376 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065495880952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23377] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23377/stat : 23377 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065494828040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23378] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23378/stat : 23378 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367998 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065493776528 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 2238 0 0 0 44 0 0 0 20 0 19 0 280367999 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 39 0 0 0 20 0 19 0 280367999 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 16134 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 2551 0 0 0 47 0 0 0 20 0 19 0 280367999 9856004096 43111 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 39 0 0 0 20 0 19 0 280367999 9856004096 43111 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 43111 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 99 0 0 0 51 27 0 0 20 0 19 0 280367999 9856004096 43111 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 43111 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.55
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 23456
/proc/meminfo: memFree=30603196/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=1786.62 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 10463 0 1 0 178605 57 0 0 20 0 19 0 280367992 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 45039 2287 9 0 2396937 0
[pid=23364/tid=23366] ppid=23362 vsize=9625004 CPUtime=1771.91 cores=1,3,5,7
/proc/23364/task/23366/stat : 23366 (java) R 23362 23364 19004 0 -1 4202560 2687 0 1 0 177163 28 0 0 20 0 19 0 280367993 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065673118000 140065544688352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23367] ppid=23362 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23364/task/23367/stat : 23367 (java) S 23362 23364 19004 0 -1 4202560 71 0 0 0 42 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065516501544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23368] ppid=23362 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23364/task/23368/stat : 23368 (java) S 23362 23364 19004 0 -1 4202560 150 0 0 0 46 0 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065515448744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23369] ppid=23362 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23364/task/23369/stat : 23369 (java) S 23362 23364 19004 0 -1 4202560 96 0 0 0 46 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065514395944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23370] ppid=23362 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23364/task/23370/stat : 23370 (java) S 23362 23364 19004 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065513343144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23371] ppid=23362 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23364/task/23371/stat : 23371 (java) S 23362 23364 19004 0 -1 4202560 120 0 0 0 46 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065512291368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23372] ppid=23362 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/23364/task/23372/stat : 23372 (java) S 23362 23364 19004 0 -1 4202560 230 0 0 0 48 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065511238568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23373] ppid=23362 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/23364/task/23373/stat : 23373 (java) S 23362 23364 19004 0 -1 4202560 192 0 0 0 53 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065510185768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23374] ppid=23362 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23364/task/23374/stat : 23374 (java) S 23362 23364 19004 0 -1 4202560 41 0 0 0 40 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065509132968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23375] ppid=23362 vsize=9625004 CPUtime=4.42 cores=1,3,5,7
/proc/23364/task/23375/stat : 23375 (java) S 23362 23364 19004 0 -1 4202560 161 0 0 0 438 4 0 0 20 0 19 0 280367995 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065496934888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23376] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23376/stat : 23376 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065495880952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23377] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23377/stat : 23377 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065494828040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23378] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23378/stat : 23378 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367998 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065493776528 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 2551 0 0 0 47 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 39 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 103 0 0 0 53 27 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 23456
/proc/meminfo: memFree=30599224/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 10463 0 1 0 179947 58 0 0 20 0 19 0 280367992 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 45039 2287 9 0 2396937 0
[pid=23364/tid=23366] ppid=23362 vsize=9625004 CPUtime=1785.29 cores=1,3,5,7
/proc/23364/task/23366/stat : 23366 (java) R 23362 23364 19004 0 -1 4202560 2687 0 1 0 178500 29 0 0 20 0 19 0 280367993 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065673118000 140065544688072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23367] ppid=23362 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23364/task/23367/stat : 23367 (java) S 23362 23364 19004 0 -1 4202560 71 0 0 0 42 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065516501544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23368] ppid=23362 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23364/task/23368/stat : 23368 (java) S 23362 23364 19004 0 -1 4202560 150 0 0 0 46 0 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065515448744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23369] ppid=23362 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23364/task/23369/stat : 23369 (java) S 23362 23364 19004 0 -1 4202560 96 0 0 0 46 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065514395944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23370] ppid=23362 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23364/task/23370/stat : 23370 (java) S 23362 23364 19004 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065513343144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23371] ppid=23362 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23364/task/23371/stat : 23371 (java) S 23362 23364 19004 0 -1 4202560 120 0 0 0 46 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065512291368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23372] ppid=23362 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/23364/task/23372/stat : 23372 (java) S 23362 23364 19004 0 -1 4202560 230 0 0 0 48 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065511238568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23373] ppid=23362 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/23364/task/23373/stat : 23373 (java) S 23362 23364 19004 0 -1 4202560 192 0 0 0 53 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065510185768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23374] ppid=23362 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23364/task/23374/stat : 23374 (java) S 23362 23364 19004 0 -1 4202560 41 0 0 0 40 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065509132968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23375] ppid=23362 vsize=9625004 CPUtime=4.42 cores=1,3,5,7
/proc/23364/task/23375/stat : 23375 (java) S 23362 23364 19004 0 -1 4202560 161 0 0 0 438 4 0 0 20 0 19 0 280367995 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065496934888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23376] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23376/stat : 23376 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065495880952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23377] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23377/stat : 23377 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065494828040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23378] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23378/stat : 23378 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367998 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065493776528 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 2551 0 0 0 47 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 39 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 103 0 0 0 53 27 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1795.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 23456
/proc/meminfo: memFree=30599224/32873844 swapFree=7116/7116
[pid=23364] ppid=23362 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/23364/stat : 23364 (java) S 23362 23364 19004 0 -1 4202496 10463 0 1 0 179947 58 0 0 20 0 19 0 280367992 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140736509880704 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23364/statm: 2406251 45039 2287 9 0 2396937 0
[pid=23364/tid=23366] ppid=23362 vsize=9625004 CPUtime=1785.29 cores=1,3,5,7
/proc/23364/task/23366/stat : 23366 (java) R 23362 23364 19004 0 -1 4202560 2687 0 1 0 178500 29 0 0 20 0 19 0 280367993 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065673118000 140065544688072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23367] ppid=23362 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23364/task/23367/stat : 23367 (java) S 23362 23364 19004 0 -1 4202560 71 0 0 0 42 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065516501544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23368] ppid=23362 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23364/task/23368/stat : 23368 (java) S 23362 23364 19004 0 -1 4202560 150 0 0 0 46 0 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065515448744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23369] ppid=23362 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23364/task/23369/stat : 23369 (java) S 23362 23364 19004 0 -1 4202560 96 0 0 0 46 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065514395944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23370] ppid=23362 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23364/task/23370/stat : 23370 (java) S 23362 23364 19004 0 -1 4202560 46 0 0 0 44 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065513343144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23371] ppid=23362 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/23364/task/23371/stat : 23371 (java) S 23362 23364 19004 0 -1 4202560 120 0 0 0 46 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065512291368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23372] ppid=23362 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/23364/task/23372/stat : 23372 (java) S 23362 23364 19004 0 -1 4202560 230 0 0 0 48 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065511238568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23373] ppid=23362 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/23364/task/23373/stat : 23373 (java) S 23362 23364 19004 0 -1 4202560 192 0 0 0 53 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065510185768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23364/tid=23374] ppid=23362 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23364/task/23374/stat : 23374 (java) S 23362 23364 19004 0 -1 4202560 41 0 0 0 40 2 0 0 20 0 19 0 280367994 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065509132968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23375] ppid=23362 vsize=9625004 CPUtime=4.42 cores=1,3,5,7
/proc/23364/task/23375/stat : 23375 (java) S 23362 23364 19004 0 -1 4202560 161 0 0 0 438 4 0 0 20 0 19 0 280367995 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065496934888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23376] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23376/stat : 23376 (java) S 23362 23364 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065495880952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23377] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23377/stat : 23377 (java) S 23362 23364 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280367996 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065494828040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23378] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23378/stat : 23378 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367998 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065493776528 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23379] ppid=23362 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/23364/task/23379/stat : 23379 (java) S 23362 23364 19004 0 -1 4202560 2551 0 0 0 47 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065492724664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23364/tid=23380] ppid=23362 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23364/task/23380/stat : 23380 (java) S 23362 23364 19004 0 -1 4202560 2833 0 0 0 39 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065491671864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23381] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23381/stat : 23381 (java) S 23362 23364 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065490619256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23364/tid=23382] ppid=23362 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/23364/task/23382/stat : 23382 (java) S 23362 23364 19004 0 -1 4202560 103 0 0 0 53 27 0 0 20 0 19 0 280367999 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065489566664 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23364/tid=23383] ppid=23362 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23364/task/23383/stat : 23383 (java) S 23362 23364 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280368030 9856004096 45039 33554432000 1073741824 1073778376 140736509889568 140065488512168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23364 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=639173
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=884865
# CPU time returned by wait4() is 1795.52
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.76
CPU time (s): 1800.05
CPU user time (s): 1799.47
CPU system time (s): 0.58
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.884865
maximum resident set size= 180284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10500
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41785
involuntary context switches= 21323

runsolver used 6.53201 second user time and 16.1405 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-27 20:13:51
IDJOB=3710633
IDBENCH=2007
IDSOLVER=2289
FILE ID=node146/3710633-1338142431
RUNJOBID= node146-1338124629-19021
PBS_JOBID= 14624512
Free space on /tmp= 71184 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710633-1338142431/watcher-3710633-1338142431 -o /tmp/evaluation-result-3710633-1338142431/solver-3710633-1338142431 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710633-1338142431.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=1401167592

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30059108 kB
Buffers:          315744 kB
Cached:           758140 kB
SwapCached:         2184 kB
Active:          1802672 kB
Inactive:         177468 kB
Active(anon):     905192 kB
Inactive(anon):     2668 kB
Active(file):     897480 kB
Inactive(file):   174800 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:        911792 kB
Mapped:            17512 kB
Shmem:                 0 kB
Slab:             691364 kB
SReclaimable:     132664 kB
SUnreclaim:       558700 kB
KernelStack:        1600 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1458128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    868352 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= 71184 MiB
End job on node146 at 2012-05-27 20:43:48