Trace number 3688775

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-34 1800.35 1785.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark1796.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

Quality of the solution as a function of time


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

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3688775-1337888026.opb
0.10/0.10	c reading problem ... 
0.50/0.35	c ... done. Wall clock time 0.249s.
0.50/0.35	c declared #vars     400
0.50/0.35	c internal #vars     2882
0.50/0.35	c #constraints  5566
0.50/0.35	c constraints type 
0.50/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
0.50/0.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.50/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.50/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
0.50/0.35	c 5566 constraints processed.
0.50/0.35	c objective function length is 200 literals
2.43/1.48	c SATISFIABLE
2.43/1.48	c OPTIMIZING...
2.43/1.48	c Got one! Elapsed wall clock time (in seconds):1.381
2.43/1.48	o -30
2.84/1.83	c Got one! Elapsed wall clock time (in seconds):1.73
2.84/1.83	o -33
2.97/1.97	c Got one! Elapsed wall clock time (in seconds):1.873
2.97/1.97	o -34
3.27/2.23	c cleaning 3328 clauses out of 6663 with flag 1000/6663
4.68/3.51	c cleaning 4660 clauses out of 9335 with flag 7000/12663
6.19/4.72	c cleaning 5834 clauses out of 11676 with flag 14001/19664
7.87/5.96	c cleaning 6910 clauses out of 13871 with flag 22030/27693
8.82/6.84	c cleaning 7956 clauses out of 15934 with flag 31003/36666
10.44/8.44	c cleaning 8997 clauses out of 17994 with flag 41019/46682
11.89/9.84	c cleaning 10040 clauses out of 20080 with flag 52102/57765
13.73/11.61	c cleaning 11001 clauses out of 22001 with flag 64063/69726
15.25/13.17	c cleaning 11956 clauses out of 23938 with flag 77001/82664
16.56/14.42	c cleaning 13005 clauses out of 26009 with flag 91028/96691
18.70/16.57	c cleaning 14005 clauses out of 28009 with flag 106033/111696
20.04/17.89	c cleaning 14984 clauses out of 29972 with flag 122001/127664
21.38/19.16	c cleaning 15996 clauses out of 31991 with flag 139004/144667
23.61/21.35	c cleaning 17001 clauses out of 34026 with flag 157035/162698
27.02/24.70	c cleaning 18026 clauses out of 36051 with flag 176061/181724
30.06/27.70	c cleaning 18989 clauses out of 37978 with flag 196014/201677
32.90/30.59	c cleaning 19992 clauses out of 40018 with flag 217043/222706
36.32/33.97	c cleaning 20993 clauses out of 41986 with flag 239003/244666
39.34/36.94	c cleaning 21970 clauses out of 43993 with flag 262003/267666
41.97/39.55	c cleaning 23010 clauses out of 46020 with flag 286000/291663
45.70/43.22	c cleaning 23964 clauses out of 48026 with flag 311016/316679
49.91/47.44	c cleaning 24972 clauses out of 50072 with flag 337026/342689
54.59/52.04	c cleaning 26045 clauses out of 52091 with flag 364017/369680
58.96/56.35	c cleaning 27005 clauses out of 54029 with flag 392000/397663
61.21/58.52	c cleaning 27999 clauses out of 56024 with flag 421000/426663
63.53/60.82	c cleaning 29009 clauses out of 58025 with flag 451000/456663
66.28/63.51	c cleaning 30005 clauses out of 60017 with flag 482001/487664
68.82/66.08	c cleaning 31007 clauses out of 62014 with flag 514003/519666
71.58/68.72	c cleaning 31996 clauses out of 64004 with flag 547000/552663
74.93/72.06	c cleaning 33011 clauses out of 66023 with flag 581015/586678
80.81/77.86	c cleaning 34007 clauses out of 68028 with flag 616031/621694
85.39/82.33	c cleaning 34999 clauses out of 69997 with flag 652007/657670
90.32/87.22	c cleaning 35971 clauses out of 71998 with flag 689007/694670
93.99/90.86	c cleaning 37006 clauses out of 74021 with flag 727001/732664
97.21/94.01	c cleaning 38009 clauses out of 76022 with flag 766008/771671
100.26/97.08	c cleaning 38998 clauses out of 78006 with flag 806001/811664
103.79/100.51	c cleaning 40004 clauses out of 80007 with flag 847000/852663
107.72/104.43	c cleaning 40998 clauses out of 82007 with flag 889004/894667
110.95/107.69	c cleaning 41989 clauses out of 84006 with flag 932001/937664
114.27/110.93	c cleaning 42998 clauses out of 86018 with flag 976002/981665
117.83/114.49	c cleaning 44004 clauses out of 88018 with flag 1021000/1026663
122.00/118.59	c cleaning 45006 clauses out of 90017 with flag 1067003/1072666
127.00/123.46	c cleaning 46020 clauses out of 92040 with flag 1114032/1119695
133.87/130.26	c cleaning 46997 clauses out of 93993 with flag 1162005/1167668
143.47/139.72	c cleaning 48017 clauses out of 96036 with flag 1211045/1216708
154.45/150.70	c cleaning 48970 clauses out of 97974 with flag 1261000/1266663
165.54/161.69	c cleaning 49953 clauses out of 100004 with flag 1312000/1317663
175.74/171.79	c cleaning 50996 clauses out of 102052 with flag 1364001/1369664
186.41/182.31	c cleaning 52025 clauses out of 104066 with flag 1417011/1422674
196.52/192.35	c cleaning 53023 clauses out of 106063 with flag 1471033/1476696
205.40/201.18	c cleaning 53991 clauses out of 108007 with flag 1526000/1531663
212.87/208.57	c cleaning 55007 clauses out of 110024 with flag 1582008/1587671
221.66/217.25	c cleaning 55976 clauses out of 112024 with flag 1639015/1644678
235.03/230.53	c cleaning 57017 clauses out of 114033 with flag 1697000/1702663
245.91/241.39	c cleaning 58026 clauses out of 116052 with flag 1756036/1761699
262.44/257.79	c cleaning 58972 clauses out of 117993 with flag 1816003/1821666
274.66/269.84	c cleaning 60009 clauses out of 120018 with flag 1877000/1882663
287.19/282.26	c cleaning 60984 clauses out of 122019 with flag 1939010/1944673
297.88/292.73	c cleaning 61998 clauses out of 124025 with flag 2002000/2007663
307.07/301.80	c cleaning 63005 clauses out of 126029 with flag 2066002/2071665
313.04/307.77	c cleaning 64005 clauses out of 128025 with flag 2131003/2136666
319.53/314.12	c cleaning 65010 clauses out of 130022 with flag 2197005/2202668
327.60/322.11	c cleaning 66002 clauses out of 132007 with flag 2264000/2269663
336.32/330.71	c cleaning 66989 clauses out of 134013 with flag 2332008/2337671
350.77/345.10	c cleaning 67993 clauses out of 136032 with flag 2401016/2406679
364.63/358.94	c cleaning 68992 clauses out of 138030 with flag 2471007/2476670
378.99/373.21	c cleaning 69999 clauses out of 140031 with flag 2542000/2547663
391.69/385.86	c cleaning 71009 clauses out of 142044 with flag 2614012/2619675
404.12/398.12	c cleaning 71989 clauses out of 144023 with flag 2687000/2692663
418.44/412.48	c cleaning 73015 clauses out of 146043 with flag 2761009/2766672
437.11/431.09	c cleaning 74000 clauses out of 148033 with flag 2836014/2841677
451.51/445.30	c cleaning 74964 clauses out of 150019 with flag 2912000/2917663
467.30/461.02	c cleaning 76028 clauses out of 152057 with flag 2989002/2994665
475.07/468.73	c cleaning 77010 clauses out of 154031 with flag 3067004/3072667
482.04/475.61	c cleaning 78000 clauses out of 156018 with flag 3146001/3151664
491.13/484.69	c cleaning 79007 clauses out of 158017 with flag 3226000/3231663
504.30/497.73	c cleaning 80005 clauses out of 160010 with flag 3307000/3312663
528.29/521.63	c cleaning 81009 clauses out of 162023 with flag 3389018/3394681
550.48/543.72	c cleaning 81932 clauses out of 163996 with flag 3472000/3477663
569.42/562.60	c cleaning 83041 clauses out of 166096 with flag 3556032/3561695
584.21/577.34	c cleaning 83991 clauses out of 168036 with flag 3641013/3646676
595.63/588.60	c cleaning 85000 clauses out of 170032 with flag 3727000/3732663
605.11/597.85	c cleaning 86010 clauses out of 172035 with flag 3814003/3819666
620.37/612.94	c cleaning 87008 clauses out of 174022 with flag 3902000/3907663
632.74/625.29	c cleaning 88000 clauses out of 176016 with flag 3991002/3996665
644.34/636.78	c cleaning 88990 clauses out of 178014 with flag 4081000/4086663
656.77/649.09	c cleaning 89996 clauses out of 180025 with flag 4172001/4177664
671.25/663.45	c cleaning 91004 clauses out of 182030 with flag 4264002/4269665
687.08/679.18	c cleaning 92007 clauses out of 184025 with flag 4357001/4362664
701.40/693.39	c cleaning 93000 clauses out of 186017 with flag 4451000/4456663
721.03/712.86	c cleaning 94006 clauses out of 188017 with flag 4546000/4551663
751.67/743.49	c cleaning 94966 clauses out of 190015 with flag 4642004/4647667
784.74/776.48	c cleaning 95999 clauses out of 192064 with flag 4739019/4744682
811.14/802.76	c cleaning 97014 clauses out of 194046 with flag 4837000/4842663
836.67/828.20	c cleaning 98015 clauses out of 196038 with flag 4936006/4941669
848.59/839.99	c cleaning 98992 clauses out of 198018 with flag 5036001/5041664
867.36/858.50	c cleaning 100008 clauses out of 200028 with flag 5137003/5142666
899.60/890.61	c cleaning 101001 clauses out of 202037 with flag 5239020/5244683
925.44/916.30	c cleaning 102017 clauses out of 204041 with flag 5342025/5347688
957.20/947.93	c cleaning 102983 clauses out of 205999 with flag 5446000/5451663
988.23/978.84	c cleaning 103993 clauses out of 208041 with flag 5551025/5556688
1012.18/1002.62	c cleaning 104983 clauses out of 210023 with flag 5657000/5662663
1038.54/1028.86	c cleaning 105989 clauses out of 212044 with flag 5764004/5769667
1056.96/1047.14	c cleaning 106984 clauses out of 214051 with flag 5872000/5877663
1076.72/1066.74	c cleaning 108015 clauses out of 216067 with flag 5981000/5986663
1112.78/1102.64	c cleaning 108979 clauses out of 218064 with flag 6091012/6096675
1139.54/1129.27	c cleaning 110021 clauses out of 220093 with flag 6202020/6207683
1165.67/1155.24	c cleaning 111000 clauses out of 222072 with flag 6314020/6319683
1187.97/1177.10	c cleaning 111994 clauses out of 224061 with flag 6427009/6432672
1204.16/1193.22	c cleaning 113027 clauses out of 226070 with flag 6541012/6546675
1230.73/1219.67	c cleaning 114019 clauses out of 228037 with flag 6656006/6661669
1260.67/1249.33	c cleaning 114989 clauses out of 230027 with flag 6772015/6777678
1300.70/1289.29	c cleaning 115959 clauses out of 232023 with flag 6889000/6894663
1328.22/1316.70	c cleaning 117008 clauses out of 234086 with flag 7007022/7012685
1348.95/1337.36	c cleaning 118001 clauses out of 236058 with flag 7126002/7131665
1365.72/1353.94	c cleaning 119025 clauses out of 238055 with flag 7246000/7251663
1382.44/1370.58	c cleaning 120004 clauses out of 240034 with flag 7367004/7372667
1397.29/1385.27	c cleaning 121000 clauses out of 242027 with flag 7489001/7494664
1417.62/1405.43	c cleaning 122004 clauses out of 244028 with flag 7612002/7617665
1435.07/1422.79	c cleaning 123010 clauses out of 246023 with flag 7736001/7741664
1454.81/1442.34	c cleaning 124009 clauses out of 248018 with flag 7861006/7866669
1473.61/1461.06	c cleaning 124989 clauses out of 250004 with flag 7987001/7992664
1493.61/1480.93	c cleaning 125996 clauses out of 252014 with flag 8114000/8119663
1515.08/1502.27	c cleaning 127003 clauses out of 254018 with flag 8242000/8247663
1537.18/1524.23	c cleaning 128008 clauses out of 256015 with flag 8371000/8376663
1553.34/1540.22	c cleaning 128995 clauses out of 258007 with flag 8501000/8506663
1576.16/1562.95	c cleaning 130002 clauses out of 260012 with flag 8632000/8637663
1600.22/1586.93	c cleaning 131005 clauses out of 262010 with flag 8764000/8769663
1618.65/1605.28	c cleaning 132001 clauses out of 264006 with flag 8897001/8902664
1635.62/1622.17	c cleaning 132994 clauses out of 266004 with flag 9031000/9036663
1662.40/1648.59	c cleaning 133995 clauses out of 268010 with flag 9166000/9171663
1684.11/1670.25	c cleaning 135004 clauses out of 270017 with flag 9302002/9307665
1712.85/1698.98	c cleaning 136002 clauses out of 272012 with flag 9439001/9444664
1732.80/1718.89	c cleaning 137002 clauses out of 274009 with flag 9577000/9582663
1757.40/1743.31	c cleaning 138001 clauses out of 276008 with flag 9716001/9721664
1777.23/1763.08	c cleaning 138994 clauses out of 278006 with flag 9856000/9861663
1798.96/1784.72	c cleaning 140002 clauses out of 280012 with flag 9997000/10002663
1800.06/1785.71	c starts		: 303
1800.06/1785.71	c conflicts		: 10016749
1800.06/1785.71	c decisions		: 16795792
1800.06/1785.71	c propagations		: 223054790
1800.06/1785.71	c inspects		: 11599155060
1800.06/1785.71	c shortcuts		: 0
1800.06/1785.71	c learnt literals	: 0
1800.06/1785.71	c learnt binary clauses	: 7
1800.06/1785.71	c learnt ternary clauses	: 1021
1800.06/1785.71	c learnt constraints	: 10016751
1800.06/1785.71	c ignored constraints	: 0
1800.06/1785.71	c root simplifications	: 0
1800.06/1785.71	c removed literals (reason simplification)	: 0
1800.06/1785.71	c reason swapping (by a shorter reason)	: 0
1800.06/1785.71	c Calls to reduceDB	: 137
1800.06/1785.71	c number of reductions to clauses (during analyze)	: 0
1800.06/1785.71	c number of learned constraints concerned by reduction	: 0
1800.06/1785.71	c number of learning phase by resolution	: 0
1800.06/1785.71	c number of learning phase by cutting planes	: 0
1800.06/1785.71	c speed (assignments/second)	: 124935.90178754466
1800.06/1785.71	c non guided choices	0
1800.06/1785.74	c learnt constraints type 
1800.06/1785.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.06/1785.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154490
1800.06/1785.74	c constraints type 
1800.06/1785.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
1800.06/1785.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.06/1785.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.06/1785.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
1800.06/1785.74	c 5567 constraints processed.
1800.06/1785.74	s SATISFIABLE
1800.06/1785.74	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 
1800.06/1785.74	c objective function=-34
1800.06/1785.74	c Total wall clock time (in seconds): 1785.644

Verifier Data 

OK	-34

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-3688775-1337888026/watcher-3688775-1337888026 -o /tmp/evaluation-result-3688775-1337888026/solver-3688775-1337888026 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688775-1337888026.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: 1.92 1.99 1.99 3/194 3889
/proc/meminfo: memFree=29858076/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3889/stat : 3889 (java) R 3887 3889 2422 0 -1 4202496 1133 0 0 0 0 0 0 0 20 0 1 0 254927524 23793664 861 33554432000 1073741824 1073778376 140737206678480 140737206667544 139851943251312 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 5793 857 646 9 0 128 0

[startup+0.0450919 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 3889
/proc/meminfo: memFree=29858076/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 3076 0 1 0 2 0 0 0 20 0 13 0 254927524 9446973440 3774 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2306390 3774 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100326 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 3889
/proc/meminfo: memFree=29858076/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 4419 0 1 0 9 1 0 0 20 0 18 0 254927524 9787813888 6093 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2389603 6094 2137 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.30029 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 3889
/proc/meminfo: memFree=29858076/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 6021 0 1 0 48 2 0 0 20 0 18 0 254927524 9787813888 9112 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2389603 9112 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700214 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 3889
/proc/meminfo: memFree=29858076/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=1.64 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 16877 0 1 0 160 4 0 0 20 0 19 0 254927524 9855975424 15906 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 15906 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9624976

[startup+1.50066 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 3908
/proc/meminfo: memFree=29800820/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=2.54 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 16887 0 1 0 250 4 0 0 20 0 19 0 254927524 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 16937 2256 9 0 2396937 0
[pid=3889/tid=3890] ppid=3887 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/3889/task/3890/stat : 3890 (java) R 3887 3889 2422 0 -1 4202560 2507 0 1 0 146 1 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851941292560 139851803192097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3892] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3892/stat : 3892 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851930356648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3893] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3893/stat : 3893 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851929304104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3894] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3894/stat : 3894 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851928251048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3895] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3895/stat : 3895 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851927198504 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3896] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3896/stat : 3896 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851926145448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254927526 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 5727 0 0 0 53 2 0 0 20 0 19 0 254927529 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7459 0 0 0 46 2 0 0 20 0 19 0 254927529 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 16937 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9624976

[startup+3.10072 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 3908
/proc/meminfo: memFree=29796848/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=4.27 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 16954 0 1 0 421 6 0 0 20 0 19 0 254927524 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 21590 2282 9 0 2396937 0
[pid=3889/tid=3890] ppid=3887 vsize=9624976 CPUtime=3.05 cores=1,3,5,7
/proc/3889/task/3890/stat : 3890 (java) R 3887 3889 2422 0 -1 4202560 2512 0 1 0 303 2 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851941294216 139851803080782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3892] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3892/stat : 3892 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851930356648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3893] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3893/stat : 3893 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851929304104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3894] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3894/stat : 3894 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851928251048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3895] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3895/stat : 3895 (java) S 3887 3889 2422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851927198504 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3896] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3896/stat : 3896 (java) S 3887 3889 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851926145448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254927526 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 5731 0 0 0 59 2 0 0 20 0 19 0 254927529 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7460 0 0 0 51 2 0 0 20 0 19 0 254927529 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 21590 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9624976

[startup+6.30066 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 3908
/proc/meminfo: memFree=29767004/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 22552 0 1 0 825 7 0 0 20 0 19 0 254927524 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 26256 2282 9 0 2396937 0
[pid=3889/tid=3890] ppid=3887 vsize=9624976 CPUtime=6.18 cores=1,3,5,7
/proc/3889/task/3890/stat : 3890 (java) R 3887 3889 2422 0 -1 4202560 2514 0 1 0 616 2 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851941294368 139851803026495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3892] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3892/stat : 3892 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851930356648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3893] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3893/stat : 3893 (java) S 3887 3889 2422 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851929304104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3894] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3894/stat : 3894 (java) S 3887 3889 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851928251048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3895] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3895/stat : 3895 (java) S 3887 3889 2422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851927198504 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3896] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3896/stat : 3896 (java) S 3887 3889 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851926145448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254927525 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 254927526 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 11283 0 0 0 141 3 0 0 20 0 19 0 254927529 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7461 0 0 0 52 2 0 0 20 0 19 0 254927529 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 26256 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=2.12 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 540 0 0 0 201 11 0 0 20 0 19 0 254927525 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 503 0 0 0 179 8 0 0 20 0 19 0 254927525 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 431 0 0 0 177 10 0 0 20 0 19 0 254927525 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=12.31 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 868 0 0 0 1226 5 0 0 20 0 19 0 254927526 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 11295 0 0 0 144 3 0 0 20 0 19 0 254927529 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7461 0 0 0 52 2 0 0 20 0 19 0 254927529 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 99 0 0 0 34 34 0 0 20 0 19 0 254927529 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 189870 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1736.39
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 4061
/proc/meminfo: memFree=28398124/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=1796.56 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 27517 0 1 0 179519 137 0 0 20 0 19 0 254927524 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 193966 2283 9 0 2396937 0
[pid=3889/tid=3890] ppid=3887 vsize=9624976 CPUtime=1765.1 cores=1,3,5,7
/proc/3889/task/3890/stat : 3890 (java) R 3887 3889 2422 0 -1 4202560 2701 0 1 0 176478 32 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851941294368 139851803292944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3892] ppid=3887 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/3889/task/3892/stat : 3892 (java) S 3887 3889 2422 0 -1 4202560 615 0 0 0 176 9 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851930356648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3893] ppid=3887 vsize=9624976 CPUtime=2.08 cores=1,3,5,7
/proc/3889/task/3893/stat : 3893 (java) S 3887 3889 2422 0 -1 4202560 484 0 0 0 200 8 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851929304104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3894] ppid=3887 vsize=9624976 CPUtime=2.03 cores=1,3,5,7
/proc/3889/task/3894/stat : 3894 (java) S 3887 3889 2422 0 -1 4202560 375 0 0 0 193 10 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851928251048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3895] ppid=3887 vsize=9624976 CPUtime=2.01 cores=1,3,5,7
/proc/3889/task/3895/stat : 3895 (java) S 3887 3889 2422 0 -1 4202560 415 0 0 0 189 12 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851927198504 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3896] ppid=3887 vsize=9624976 CPUtime=2.18 cores=1,3,5,7
/proc/3889/task/3896/stat : 3896 (java) S 3887 3889 2422 0 -1 4202560 534 0 0 0 206 12 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851926145448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=2.15 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 540 0 0 0 204 11 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 504 0 0 0 182 8 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 439 0 0 0 180 10 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=12.58 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 870 0 0 0 1253 5 0 0 20 0 19 0 254927526 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 11295 0 0 0 144 3 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7461 0 0 0 52 2 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 103 0 0 0 35 35 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4061
/proc/meminfo: memFree=28398124/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 27520 0 1 0 179869 137 0 0 20 0 19 0 254927524 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 193966 2283 9 0 2396937 0
[pid=3889/tid=3890] ppid=3887 vsize=9624976 CPUtime=1768.34 cores=1,3,5,7
/proc/3889/task/3890/stat : 3890 (java) R 3887 3889 2422 0 -1 4202560 2702 0 1 0 176802 32 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851941294368 139851803146503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3892] ppid=3887 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/3889/task/3892/stat : 3892 (java) S 3887 3889 2422 0 -1 4202560 615 0 0 0 177 9 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851930356648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3893] ppid=3887 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/3889/task/3893/stat : 3893 (java) S 3887 3889 2422 0 -1 4202560 484 0 0 0 201 8 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851929304104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3894] ppid=3887 vsize=9624976 CPUtime=2.04 cores=1,3,5,7
/proc/3889/task/3894/stat : 3894 (java) S 3887 3889 2422 0 -1 4202560 375 0 0 0 194 10 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851928251048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3895] ppid=3887 vsize=9624976 CPUtime=2.03 cores=1,3,5,7
/proc/3889/task/3895/stat : 3895 (java) S 3887 3889 2422 0 -1 4202560 415 0 0 0 191 12 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851927198504 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3896] ppid=3887 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/3889/task/3896/stat : 3896 (java) S 3887 3889 2422 0 -1 4202560 534 0 0 0 209 12 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851926145448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=2.16 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 540 0 0 0 205 11 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 504 0 0 0 184 8 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 439 0 0 0 182 10 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=12.72 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 872 0 0 0 1267 5 0 0 20 0 19 0 254927526 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 11295 0 0 0 144 3 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7461 0 0 0 52 2 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 103 0 0 0 35 35 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1785.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4061
/proc/meminfo: memFree=28398124/32873844 swapFree=6848/6848
[pid=3889] ppid=3887 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/3889/stat : 3889 (java) S 3887 3889 2422 0 -1 4202496 27520 0 1 0 179869 137 0 0 20 0 19 0 254927524 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 140737206669616 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3889/statm: 2406244 193966 2283 9 0 2396937 0
[pid=3889/tid=3890] ppid=3887 vsize=9624976 CPUtime=1768.34 cores=1,3,5,7
/proc/3889/task/3890/stat : 3890 (java) R 3887 3889 2422 0 -1 4202560 2702 0 1 0 176802 32 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851941294368 139851803146503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3892] ppid=3887 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/3889/task/3892/stat : 3892 (java) S 3887 3889 2422 0 -1 4202560 615 0 0 0 177 9 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851930356648 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3893] ppid=3887 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/3889/task/3893/stat : 3893 (java) S 3887 3889 2422 0 -1 4202560 484 0 0 0 201 8 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851929304104 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3894] ppid=3887 vsize=9624976 CPUtime=2.04 cores=1,3,5,7
/proc/3889/task/3894/stat : 3894 (java) S 3887 3889 2422 0 -1 4202560 375 0 0 0 194 10 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851928251048 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3895] ppid=3887 vsize=9624976 CPUtime=2.03 cores=1,3,5,7
/proc/3889/task/3895/stat : 3895 (java) S 3887 3889 2422 0 -1 4202560 415 0 0 0 191 12 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851927198504 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3896] ppid=3887 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/3889/task/3896/stat : 3896 (java) S 3887 3889 2422 0 -1 4202560 534 0 0 0 209 12 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851926145448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3897] ppid=3887 vsize=9624976 CPUtime=2.16 cores=1,3,5,7
/proc/3889/task/3897/stat : 3897 (java) S 3887 3889 2422 0 -1 4202560 540 0 0 0 205 11 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851925092904 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3898] ppid=3887 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/3889/task/3898/stat : 3898 (java) S 3887 3889 2422 0 -1 4202560 504 0 0 0 184 8 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851924039848 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3899] ppid=3887 vsize=9624976 CPUtime=1.92 cores=1,3,5,7
/proc/3889/task/3899/stat : 3899 (java) S 3887 3889 2422 0 -1 4202560 439 0 0 0 182 10 0 0 20 0 19 0 254927525 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851922987304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3900] ppid=3887 vsize=9624976 CPUtime=12.72 cores=1,3,5,7
/proc/3889/task/3900/stat : 3900 (java) S 3887 3889 2422 0 -1 4202560 872 0 0 0 1267 5 0 0 20 0 19 0 254927526 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851765295976 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3901] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3901/stat : 3901 (java) S 3887 3889 2422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851764242296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3902] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3902/stat : 3902 (java) S 3887 3889 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254927527 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851763189128 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3903] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3903/stat : 3903 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851762137872 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3904] ppid=3887 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/3889/task/3904/stat : 3904 (java) S 3887 3889 2422 0 -1 4202560 11295 0 0 0 144 3 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851761084728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3889/tid=3905] ppid=3887 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/3889/task/3905/stat : 3905 (java) S 3887 3889 2422 0 -1 4202560 7461 0 0 0 52 2 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851760032184 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3889/tid=3906] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3906/stat : 3906 (java) S 3887 3889 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851758979320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3889/tid=3907] ppid=3887 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/3889/task/3907/stat : 3907 (java) S 3887 3889 2422 0 -1 4202560 103 0 0 0 35 35 0 0 20 0 19 0 254927529 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851757926984 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3889/tid=3908] ppid=3887 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/3889/task/3908/stat : 3908 (java) S 3887 3889 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254927560 9855975424 193966 33554432000 1073741824 1073778376 140737206678480 139851756496424 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1785.75
CPU time (s): 1800.35
CPU user time (s): 1798.64
CPU system time (s): 1.71074
CPU usage (%): 100.817
Max. virtual memory (cumulated for all children) (KiB): 9625608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.71074
maximum resident set size= 775980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27552
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41630
involuntary context switches= 29730

runsolver used 7.32988 second user time and 14.6938 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-24 21:33:46
IDJOB=3688775
IDBENCH=48283
IDSOLVER=2269
FILE ID=node144/3688775-1337888026
RUNJOBID= node144-1337871880-2439
PBS_JOBID= 14620060
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688775-1337888026/watcher-3688775-1337888026 -o /tmp/evaluation-result-3688775-1337888026/solver-3688775-1337888026 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688775-1337888026.opb

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=327790879

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29858828 kB
Buffers:          228128 kB
Cached:          1853916 kB
SwapCached:            0 kB
Active:           578236 kB
Inactive:        1666224 kB
Active(anon):     164008 kB
Inactive(anon):        0 kB
Active(file):     414228 kB
Inactive(file):  1666224 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               432 kB
Writeback:             0 kB
AnonPages:        174328 kB
Mapped:            22460 kB
Shmem:               200 kB
Slab:             626900 kB
SReclaimable:      69356 kB
SUnreclaim:       557544 kB
KernelStack:        1600 kB
PageTables:         4008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71724 MiB
End job on node144 at 2012-05-24 22:03:34