Trace number 4090487

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.52 1793.64

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-505_wcsp.wbo
MD5SUMaac7e90374eb115b0312a3cfc81835b8
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark21253
Best CPU time to get the best result obtained on this benchmark6.78597
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables688
Total number of constraints3672
Number of soft constraints3432
Number of constraints which are clauses3432
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 34354
Min constraint cost 1
Max constraint cost 34354
Sum of constraints costs 109692321
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-2013 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.08/0.11	c version PB16.v20160501
0.08/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.11	c java.vm.version	19.1-b02
0.08/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.11	c sun.arch.data.model	64
0.08/0.11	c java.version		1.6.0_24
0.08/0.11	c os.name		Linux
0.08/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.11	c os.arch		amd64
0.08/0.11	c Free memory 		501472288
0.08/0.11	c Max memory 		7480803328
0.08/0.11	c Total memory 		504102912
0.08/0.11	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4090487-1466072892.wbo
0.08/0.12	c reading problem ... 
0.44/0.34	c ... done. Wall clock time 0.213s.
0.44/0.34	c declared #vars     688
0.44/0.34	c internal #vars     4120
0.44/0.34	c #constraints  3912
0.44/0.34	c constraints type 
0.44/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3296
0.44/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 104
0.44/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 512
0.44/0.34	c 3912 constraints processed.
0.44/0.34	c objective function length is 3432 literals
0.72/0.40	c SATISFIABLE
0.72/0.40	c OPTIMIZING...
0.72/0.40	c Got one! Elapsed wall clock time (in seconds):0.28
0.72/0.40	o 22273
0.72/0.47	c Got one! Elapsed wall clock time (in seconds):0.344
0.72/0.47	o 22272
1.28/0.62	c Got one! Elapsed wall clock time (in seconds):0.498
1.28/0.62	o 22271
1.99/1.26	c cleaning 2651 clauses out of 5301 with flag 22065/5301
2.77/1.98	c cleaning 4322 clauses out of 8650 with flag 49948/11301
3.67/2.88	c cleaning 5660 clauses out of 11327 with flag 81419/18300
4.81/3.90	c cleaning 6834 clauses out of 13668 with flag 115954/26301
6.02/5.19	c cleaning 7915 clauses out of 15834 with flag 155734/35301
8.34/7.31	c cleaning 8953 clauses out of 17918 with flag 210343/45300
10.95/9.90	c cleaning 9983 clauses out of 19966 with flag 293902/56301
13.64/12.69	c cleaning 10990 clauses out of 21982 with flag 371320/68300
16.55/15.57	c cleaning 11998 clauses out of 23995 with flag 442381/81303
19.94/18.94	c cleaning 12996 clauses out of 25995 with flag 536803/95301
23.55/22.53	c cleaning 13997 clauses out of 27998 with flag 620506/110300
27.30/26.24	c cleaning 14999 clauses out of 30001 with flag 712490/126300
30.60/29.51	c cleaning 15997 clauses out of 32006 with flag 805963/143304
33.60/32.53	c cleaning 17002 clauses out of 34006 with flag 897975/161301
36.90/35.82	c cleaning 18002 clauses out of 36004 with flag 993817/180301
40.30/39.27	c cleaning 18998 clauses out of 38002 with flag 1088567/200301
43.90/42.86	c cleaning 19999 clauses out of 40003 with flag 1189302/221300
48.10/47.01	c cleaning 20998 clauses out of 42005 with flag 1321210/243301
52.70/51.66	c cleaning 22002 clauses out of 44008 with flag 1452525/266302
57.30/56.19	c cleaning 22998 clauses out of 46004 with flag 1569758/290300
62.10/60.90	c cleaning 24001 clauses out of 48007 with flag 1685755/315301
67.09/65.90	c cleaning 25002 clauses out of 50005 with flag 1805396/341300
72.19/71.04	c cleaning 26002 clauses out of 52003 with flag 1928679/368300
77.59/76.47	c cleaning 26997 clauses out of 54001 with flag 2073373/396300
83.29/82.20	c cleaning 27997 clauses out of 56004 with flag 2211139/425300
89.45/88.12	c cleaning 29003 clauses out of 58007 with flag 2359403/455300
95.15/93.86	c cleaning 30001 clauses out of 60004 with flag 2493841/486300
101.75/100.40	c cleaning 30998 clauses out of 62003 with flag 2640138/518300
108.45/107.17	c cleaning 31996 clauses out of 64005 with flag 2797905/551300
115.65/114.39	c cleaning 33002 clauses out of 66009 with flag 2944368/585300
122.96/121.54	c cleaning 34002 clauses out of 68010 with flag 3106573/620303
131.06/129.68	c cleaning 35000 clauses out of 70006 with flag 3273517/656301
139.16/137.74	c cleaning 35998 clauses out of 72006 with flag 3445325/693301
147.26/145.82	c cleaning 36999 clauses out of 74007 with flag 3633358/731300
156.06/154.66	c cleaning 37999 clauses out of 76008 with flag 3812300/770300
165.18/163.69	c cleaning 39000 clauses out of 78009 with flag 4007211/810300
175.28/173.76	c cleaning 39998 clauses out of 80009 with flag 4163586/851300
185.28/183.80	c cleaning 41006 clauses out of 82015 with flag 4352535/893304
195.13/193.43	c cleaning 42005 clauses out of 84009 with flag 4557643/936304
205.53/203.84	c cleaning 42998 clauses out of 86002 with flag 4764914/980302
215.63/213.91	c cleaning 43999 clauses out of 88003 with flag 4976984/1025301
227.31/225.50	c cleaning 45000 clauses out of 90005 with flag 5201454/1071302
239.61/237.79	c cleaning 45996 clauses out of 92003 with flag 5420014/1118300
252.21/250.34	c cleaning 47004 clauses out of 94008 with flag 5645251/1166301
265.24/263.27	c cleaning 47998 clauses out of 96003 with flag 5883058/1215300
278.64/276.60	c cleaning 48998 clauses out of 98005 with flag 6131797/1265300
292.05/290.01	c cleaning 50005 clauses out of 100009 with flag 6404159/1316302
306.02/303.86	c cleaning 50996 clauses out of 102002 with flag 6639676/1368300
320.72/318.55	c cleaning 51999 clauses out of 104007 with flag 6877634/1421301
337.06/334.75	c cleaning 53002 clauses out of 106007 with flag 7135662/1475300
351.76/349.45	c cleaning 54002 clauses out of 108005 with flag 7411039/1530300
367.03/364.55	c cleaning 55002 clauses out of 110004 with flag 7673807/1586301
382.63/380.16	c cleaning 55996 clauses out of 112002 with flag 7954940/1643301
400.07/397.54	c cleaning 56998 clauses out of 114006 with flag 8230785/1701301
416.27/413.70	c cleaning 57997 clauses out of 116008 with flag 8514611/1760301
433.70/431.11	c cleaning 58998 clauses out of 118010 with flag 8803237/1820300
452.09/449.45	c cleaning 60000 clauses out of 120013 with flag 9091065/1881301
469.50/466.89	c cleaning 61002 clauses out of 122012 with flag 9405533/1943300
485.07/482.35	c Got one! Elapsed wall clock time (in seconds):482.229
485.07/482.35	o 22270
488.82/485.92	c cleaning 60158 clauses out of 120316 with flag 19611/2002606
491.33/488.50	c cleaning 33079 clauses out of 66158 with flag 45400/2008606
493.72/490.86	c cleaning 20041 clauses out of 40081 with flag 74493/2015608
496.32/493.49	c cleaning 14016 clauses out of 28039 with flag 111221/2023607
498.82/495.95	c cleaning 11504 clauses out of 23022 with flag 147411/2032606
501.02/498.16	c cleaning 10758 clauses out of 21519 with flag 185725/2042607
503.72/500.86	c cleaning 10874 clauses out of 21761 with flag 236562/2053607
506.73/503.81	c cleaning 11439 clauses out of 22886 with flag 293323/2065606
510.09/507.11	c cleaning 12222 clauses out of 24447 with flag 351546/2078606
513.58/510.64	c cleaning 13108 clauses out of 26227 with flag 415283/2092608
517.18/514.24	c cleaning 14056 clauses out of 28118 with flag 481496/2107607
521.08/518.18	c cleaning 15029 clauses out of 30063 with flag 554433/2123608
524.58/521.61	c cleaning 16017 clauses out of 32033 with flag 639407/2140607
527.78/524.89	c cleaning 17001 clauses out of 34015 with flag 707777/2158606
531.55/528.52	c cleaning 18005 clauses out of 36014 with flag 779752/2177606
535.75/532.75	c cleaning 19005 clauses out of 38009 with flag 854416/2197606
540.35/537.30	c cleaning 19997 clauses out of 40005 with flag 947240/2218607
544.35/541.38	c cleaning 21003 clauses out of 42008 with flag 1057564/2240607
548.54/545.44	c cleaning 21999 clauses out of 44004 with flag 1163089/2263606
553.05/549.95	c cleaning 23003 clauses out of 46006 with flag 1254674/2287607
557.34/554.20	c cleaning 23995 clauses out of 48002 with flag 1306046/2312606
561.64/558.56	c cleaning 25000 clauses out of 50007 with flag 1359136/2338606
566.58/563.49	c cleaning 25996 clauses out of 52008 with flag 1427963/2365607
571.99/568.83	c cleaning 27002 clauses out of 54012 with flag 1579258/2393607
577.19/574.06	c cleaning 28000 clauses out of 56009 with flag 1728048/2422606
583.75/580.52	c cleaning 29002 clauses out of 58009 with flag 1789201/2452606
589.76/586.60	c cleaning 30000 clauses out of 60007 with flag 1852322/2483606
595.86/592.68	c cleaning 31000 clauses out of 62007 with flag 2055306/2515606
602.63/599.39	c cleaning 32001 clauses out of 64008 with flag 2342425/2548607
609.23/605.96	c cleaning 33000 clauses out of 66008 with flag 2531595/2582608
616.13/612.89	c cleaning 34002 clauses out of 68006 with flag 2691454/2617606
623.59/620.25	c cleaning 34996 clauses out of 70005 with flag 2854292/2653607
631.29/627.95	c cleaning 36000 clauses out of 72009 with flag 3024031/2690607
640.24/636.85	c cleaning 37001 clauses out of 74008 with flag 3106272/2728606
648.35/644.94	c cleaning 38001 clauses out of 76008 with flag 3185980/2767607
657.19/653.75	c cleaning 38997 clauses out of 78006 with flag 3267682/2807606
665.49/662.06	c cleaning 40005 clauses out of 80009 with flag 3382201/2848606
673.25/669.78	c cleaning 40995 clauses out of 82005 with flag 3489394/2890607
681.85/678.31	c cleaning 42002 clauses out of 84009 with flag 3577104/2933606
690.57/687.04	c cleaning 43001 clauses out of 86007 with flag 3947972/2977606
699.27/695.78	c cleaning 44001 clauses out of 88007 with flag 4167291/3022607
707.53/703.92	c cleaning 44999 clauses out of 90005 with flag 4302388/3068606
715.52/711.85	c cleaning 45997 clauses out of 92008 with flag 4461298/3115608
726.03/722.36	c cleaning 46997 clauses out of 94009 with flag 4788735/3163606
736.61/732.85	c cleaning 48007 clauses out of 96013 with flag 5105641/3212607
746.91/743.11	c cleaning 48999 clauses out of 98005 with flag 5208417/3262606
758.55/754.78	c cleaning 50001 clauses out of 100007 with flag 5312572/3313607
774.70/770.83	c cleaning 50995 clauses out of 102005 with flag 5524746/3365606
791.19/787.29	c cleaning 52000 clauses out of 104010 with flag 5639398/3418606
806.49/802.58	c cleaning 53000 clauses out of 106010 with flag 5769163/3472606
825.91/821.93	c cleaning 54005 clauses out of 108013 with flag 5953808/3527609
844.55/840.55	c cleaning 54999 clauses out of 110005 with flag 6089302/3583606
861.32/857.29	c cleaning 55995 clauses out of 112006 with flag 6212409/3640606
879.31/875.12	c cleaning 57000 clauses out of 114012 with flag 6348262/3698607
901.71/897.58	c cleaning 58001 clauses out of 116012 with flag 6540535/3757607
924.94/920.72	c cleaning 58999 clauses out of 118012 with flag 6681386/3817608
946.38/942.10	c cleaning 60000 clauses out of 120012 with flag 6813406/3878607
970.24/965.92	c cleaning 61001 clauses out of 122011 with flag 6963564/3940606
995.35/991.08	c cleaning 62000 clauses out of 124010 with flag 7107992/4003606
1022.01/1017.62	c cleaning 63005 clauses out of 126010 with flag 7250940/4067606
1058.47/1054.03	c cleaning 64001 clauses out of 128005 with flag 7535412/4132606
1094.35/1089.86	c cleaning 64999 clauses out of 130005 with flag 7710782/4198607
1119.19/1114.62	c cleaning 65998 clauses out of 132005 with flag 7870962/4265606
1144.39/1139.72	c cleaning 67001 clauses out of 134007 with flag 8041896/4333606
1174.92/1170.29	c cleaning 67998 clauses out of 136007 with flag 8328992/4402607
1215.29/1210.56	c cleaning 68999 clauses out of 138010 with flag 8509843/4472608
1250.37/1245.55	c cleaning 70001 clauses out of 140010 with flag 8682584/4543607
1290.14/1285.16	c cleaning 71001 clauses out of 142009 with flag 8873914/4615607
1330.28/1325.23	c cleaning 71999 clauses out of 144008 with flag 9037425/4688607
1367.28/1362.15	c cleaning 73000 clauses out of 146010 with flag 9208652/4762608
1402.06/1396.86	c cleaning 74001 clauses out of 148008 with flag 9392427/4837606
1445.03/1439.79	c cleaning 75000 clauses out of 150008 with flag 9639703/4913607
1479.64/1474.21	c cleaning 75999 clauses out of 152007 with flag 9835192/4990606
1506.44/1500.99	c cleaning 76997 clauses out of 154008 with flag 10012824/5068606
1535.56/1530.00	c cleaning 78003 clauses out of 156011 with flag 10176333/5147606
1565.35/1559.70	c cleaning 79002 clauses out of 158009 with flag 10346066/5227607
1593.52/1587.82	c cleaning 80000 clauses out of 160008 with flag 10517030/5308608
1622.88/1617.15	c cleaning 81004 clauses out of 162007 with flag 10691378/5390607
1650.15/1644.39	c cleaning 81995 clauses out of 164002 with flag 10926256/5473606
1686.71/1680.87	c cleaning 83001 clauses out of 166007 with flag 11182797/5557606
1714.79/1708.77	c cleaning 84004 clauses out of 168008 with flag 11390740/5642608
1742.38/1736.28	c cleaning 84993 clauses out of 170002 with flag 11583474/5728606
1766.30/1760.01	c cleaning 85995 clauses out of 172010 with flag 11772077/5815607
1799.62/1793.25	c cleaning 87000 clauses out of 174014 with flag 12092086/5903606
1800.02/1793.60	c starts		: 1938
1800.02/1793.60	c conflicts		: 5905452
1800.02/1793.60	c decisions		: 7619401
1800.02/1793.60	c propagations		: 413236748
1800.02/1793.60	c inspects		: 24253805583
1800.02/1793.60	c shortcuts		: 0
1800.02/1793.60	c learnt literals	: 0
1800.02/1793.60	c learnt binary clauses	: 0
1800.02/1793.60	c learnt ternary clauses	: 134
1800.02/1793.60	c learnt constraints	: 5905452
1800.02/1793.60	c ignored constraints	: 0
1800.02/1793.60	c root simplifications	: 0
1800.02/1793.60	c removed literals (reason simplification)	: 0
1800.02/1793.60	c reason swapping (by a shorter reason)	: 0
1800.02/1793.60	c Calls to reduceDB	: 142
1800.02/1793.60	c Number of update (reduction) of LBD	: 176041
1800.02/1793.60	c Imported unit clauses	: 0
1800.02/1793.60	c number of reductions to clauses (during analyze)	: 0
1800.02/1793.60	c number of learned constraints concerned by reduction	: 0
1800.02/1793.60	c number of learning phase by resolution	: 0
1800.02/1793.60	c number of learning phase by cutting planes	: 0
1800.02/1793.60	c speed (assignments/second)	: 230440.12379757423
1800.02/1793.60	c non guided choices	188
1800.02/1793.63	c learnt constraints type 
1800.02/1793.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 88861
1800.02/1793.63	s SATISFIABLE
1800.02/1793.63	c Found 4 solution(s)
1800.02/1793.63	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 x47 -x48 -x49 x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 x80 x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 x103 -x104 -x105 x106 -x107 x108 x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120 -x121 -x122 -x123 x124 -x125 x126 -x127 x128 x129 -x130 -x131 x132 -x133 x134 -x135 x136 -x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 -x169 x170 -x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 x198 -x199 x200 -x201 x202 x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 x212 -x213 -x214 -x215 x216 -x217 x218 -x219 x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 x254 -x255 x256 -x257 x258 x259 -x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 x292 -x293 x294 -x295 x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 x314 x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 x352 -x353 -x354 x355 -x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 x368 -x369 x370 -x371 x372 x373 -x374 -x375 x376 -x377 x378 -x379 -x380 -x381 x382 -x383 x384 -x385 x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 -x401 x402 -x403 x404 -x405 -x406 -x407 x408 x409 -x410 -x411 -x412 -x413 x414 -x415 x416 -x417 -x418 -x419 x420 -x421 x422 x423 -x424 -x425 x426 -x427 -x428 -x429 x430 -x431 x432 -x433 -x434 -x435 x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 x446 -x447 x448 -x449 -x450 -x451 x452 -x453 x454 -x455 -x456 -x457 x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 -x467 -x468 -x469 x470 x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 x490 x491 -x492 -x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 -x506 x507 -x508 -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 x544 x545 -x546 -x547 x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 x568 -x569 x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 x606 -x607 x608 -x609 x610 x611 -x612 -x613 x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 x683 -x684 -x685 x686 x687 -x688 
1800.02/1793.63	c objective function=22270
1800.02/1793.63	c Total wall clock time (in seconds): 1793.506

Verifier Data 

OK	22270

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090487-1466072892/watcher-4090487-1466072892 -o /tmp/evaluation-result-4090487-1466072892/solver-4090487-1466072892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466062123-14513 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090487-1466072892.wbo 

pid=16136
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.06 2.03 2.00 3/194 16139
/proc/meminfo: memFree=31261580/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/16139/stat : 16139 (java) D 16136 16139 14496 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 9335958 2560000 46 33554432000 1073741824 1073778376 140735732188288 140735732185416 242158234919 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 625 46 37 9 0 29 0

[startup+0.100064 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 16139
/proc/meminfo: memFree=31261580/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 4361 0 1 0 8 0 0 0 20 0 18 0 9335958 9787879424 5488 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2389619 5488 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.215518 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 16139
/proc/meminfo: memFree=31261580/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 4748 0 1 0 25 0 0 0 20 0 18 0 9335958 9787879424 6822 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2389619 6822 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300231 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 16139
/proc/meminfo: memFree=31261580/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 5641 0 1 0 43 1 0 0 20 0 18 0 9335958 9787879424 8584 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2389619 8584 2229 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.700294 s]
/proc/loadavg: 2.06 2.03 2.00 3/194 16139
/proc/meminfo: memFree=31261580/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 10613 0 1 0 142 2 0 0 20 0 19 0 9335958 9856040960 11921 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 11921 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 16158
/proc/meminfo: memFree=31217440/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=2.34 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 11568 0 1 0 232 2 0 0 20 0 19 0 9335958 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 13783 2274 9 0 2396937 0
[pid=16139/tid=16141] ppid=16136 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/16139/task/16141/stat : 16141 (java) R 16136 16139 14496 0 -1 4202560 2427 0 1 0 145 1 0 0 20 0 19 0 9335959 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706149374304 139705975456608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16142] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16142/stat : 16142 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706110868136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16143] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16143/stat : 16143 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706109815592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16144] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16144/stat : 16144 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706108763048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16145] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16145/stat : 16145 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706107710504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16146] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16146/stat : 16146 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706106656936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16147] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16147/stat : 16147 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706105604392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16148] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16148/stat : 16148 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706104551848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16149] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16149/stat : 16149 (java) S 16136 16139 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139706103499304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16150] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16150/stat : 16150 (java) S 16136 16139 14496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705972673128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 4929 0 0 0 46 0 0 0 20 0 19 0 9335965 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 2936 0 0 0 38 0 0 0 20 0 19 0 9335965 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 13783 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 16158
/proc/meminfo: memFree=31207512/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 11575 0 1 0 396 2 0 0 20 0 19 0 9335958 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 16855 2274 9 0 2396937 0
[pid=16139/tid=16141] ppid=16136 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/16139/task/16141/stat : 16141 (java) R 16136 16139 14496 0 -1 4202560 2434 0 1 0 305 2 0 0 20 0 19 0 9335959 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706149376336 139705975664333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16142] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16142/stat : 16142 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706110868136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16143] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16143/stat : 16143 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706109815592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16144] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16144/stat : 16144 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706108763048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16145] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16145/stat : 16145 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706107710504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16146] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16146/stat : 16146 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706106656936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16147] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16147/stat : 16147 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706105604392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16148] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16148/stat : 16148 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706104551848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16149] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16149/stat : 16149 (java) S 16136 16139 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139706103499304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16150] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16150/stat : 16150 (java) S 16136 16139 14496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705972673128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 4929 0 0 0 49 0 0 0 20 0 19 0 9335965 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 2936 0 0 0 40 0 0 0 20 0 19 0 9335965 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 16855 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.05 2.03 2.00 3/213 16158
/proc/meminfo: memFree=31184708/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=7.34 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 12821 0 1 0 731 3 0 0 20 0 19 0 9335958 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 22111 2275 9 0 2396937 0
[pid=16139/tid=16141] ppid=16136 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/16139/task/16141/stat : 16141 (java) R 16136 16139 14496 0 -1 4202560 2445 0 1 0 624 2 0 0 20 0 19 0 9335959 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706149374416 139705975501016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16142] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16142/stat : 16142 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706110868136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16143] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16143/stat : 16143 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706109815592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16144] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16144/stat : 16144 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706108763048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16145] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16145/stat : 16145 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706107710504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16146] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16146/stat : 16146 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706106656936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16147] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16147/stat : 16147 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706105604392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16148] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16148/stat : 16148 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706104551848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16149] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16149/stat : 16149 (java) S 16136 16139 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9335960 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139706103499304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16150] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16150/stat : 16150 (java) S 16136 16139 14496 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705972673128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 5023 0 0 0 56 0 0 0 20 0 19 0 9335965 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 4076 0 0 0 48 0 0 0 20 0 19 0 9335965 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 22111 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9625040


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

[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 5570 0 0 0 65 0 0 0 20 0 19 0 9335965 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 4081 0 0 0 54 0 0 0 20 0 19 0 9335965 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 96 0 0 0 28 26 0 0 20 0 19 0 9335965 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 101230 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1668.21
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/213 16331
/proc/meminfo: memFree=30910016/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=1728.41 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 17560 0 1 0 172746 95 0 0 20 0 19 0 9335958 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 98890 2299 9 0 2396937 0
[pid=16139/tid=16141] ppid=16136 vsize=9625040 CPUtime=1719.72 cores=1,3,5,7
/proc/16139/task/16141/stat : 16141 (java) R 16136 16139 14496 0 -1 4202560 2561 0 1 0 171941 31 0 0 20 0 19 0 9335959 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706149375200 139705975501596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16142] ppid=16136 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/16139/task/16142/stat : 16142 (java) S 16136 16139 14496 0 -1 4202560 424 0 0 0 74 9 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706110868136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16143] ppid=16136 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/16139/task/16143/stat : 16143 (java) S 16136 16139 14496 0 -1 4202560 301 0 0 0 84 7 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706109815592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16144] ppid=16136 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16139/task/16144/stat : 16144 (java) S 16136 16139 14496 0 -1 4202560 404 0 0 0 66 8 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706108763048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16145] ppid=16136 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/16139/task/16145/stat : 16145 (java) S 16136 16139 14496 0 -1 4202560 512 0 0 0 71 7 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706107710504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16146] ppid=16136 vsize=9625040 CPUtime=0.9 cores=1,3,5,7
/proc/16139/task/16146/stat : 16146 (java) S 16136 16139 14496 0 -1 4202560 476 0 0 0 82 8 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706106656936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16147] ppid=16136 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16139/task/16147/stat : 16147 (java) S 16136 16139 14496 0 -1 4202560 391 0 0 0 66 8 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706105604392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16148] ppid=16136 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16139/task/16148/stat : 16148 (java) S 16136 16139 14496 0 -1 4202560 336 0 0 0 69 5 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706104551848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16149] ppid=16136 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/16139/task/16149/stat : 16149 (java) S 16136 16139 14496 0 -1 4202560 903 0 0 0 77 10 0 0 20 0 19 0 9335960 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139706103499304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16150] ppid=16136 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16139/task/16150/stat : 16150 (java) S 16136 16139 14496 0 -1 4202560 239 0 0 0 55 3 0 0 20 0 19 0 9335962 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705972673128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 5570 0 0 0 65 0 0 0 20 0 19 0 9335965 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 4081 0 0 0 54 0 0 0 20 0 19 0 9335965 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 100 0 0 0 29 27 0 0 20 0 19 0 9335965 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 98890 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1728.41
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 16333
/proc/meminfo: memFree=30915880/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=1788.65 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 17590 0 1 0 178769 96 0 0 20 0 19 0 9335958 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 97433 2299 9 0 2396937 0
[pid=16139/tid=16141] ppid=16136 vsize=9625040 CPUtime=1779.49 cores=1,3,5,7
/proc/16139/task/16141/stat : 16141 (java) R 16136 16139 14496 0 -1 4202560 2566 0 1 0 177917 32 0 0 20 0 19 0 9335959 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706149375200 139705975501564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16142] ppid=16136 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/16139/task/16142/stat : 16142 (java) S 16136 16139 14496 0 -1 4202560 424 0 0 0 78 9 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706110868136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16143] ppid=16136 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/16139/task/16143/stat : 16143 (java) S 16136 16139 14496 0 -1 4202560 301 0 0 0 89 7 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706109815592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16144] ppid=16136 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/16139/task/16144/stat : 16144 (java) S 16136 16139 14496 0 -1 4202560 404 0 0 0 69 8 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706108763048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16145] ppid=16136 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/16139/task/16145/stat : 16145 (java) S 16136 16139 14496 0 -1 4202560 512 0 0 0 76 7 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706107710504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16146] ppid=16136 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/16139/task/16146/stat : 16146 (java) S 16136 16139 14496 0 -1 4202560 476 0 0 0 85 8 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706106656936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16147] ppid=16136 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/16139/task/16147/stat : 16147 (java) S 16136 16139 14496 0 -1 4202560 391 0 0 0 71 8 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706105604392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16148] ppid=16136 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/16139/task/16148/stat : 16148 (java) S 16136 16139 14496 0 -1 4202560 336 0 0 0 73 5 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706104551848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16149] ppid=16136 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/16139/task/16149/stat : 16149 (java) S 16136 16139 14496 0 -1 4202560 903 0 0 0 81 10 0 0 20 0 19 0 9335960 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139706103499304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16150] ppid=16136 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16139/task/16150/stat : 16150 (java) S 16136 16139 14496 0 -1 4202560 260 0 0 0 67 3 0 0 20 0 19 0 9335962 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705972673128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 5570 0 0 0 65 0 0 0 20 0 19 0 9335965 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 4081 0 0 0 54 0 0 0 20 0 19 0 9335965 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 104 0 0 0 30 28 0 0 20 0 19 0 9335965 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 97433 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.65
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 16333
/proc/meminfo: memFree=30917664/32872528 swapFree=338160/354512
[pid=16139] ppid=16136 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/16139/stat : 16139 (java) S 16136 16139 14496 0 -1 4202496 17593 0 1 0 179905 97 0 0 20 0 19 0 9335958 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 140735732179424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16139/statm: 2406260 97080 2299 9 0 2396937 0
[pid=16139/tid=16141] ppid=16136 vsize=9625040 CPUtime=1790.76 cores=1,3,5,7
/proc/16139/task/16141/stat : 16141 (java) R 16136 16139 14496 0 -1 4202560 2567 0 1 0 179044 32 0 0 20 0 19 0 9335959 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706149367488 139705975413322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16142] ppid=16136 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/16139/task/16142/stat : 16142 (java) S 16136 16139 14496 0 -1 4202560 424 0 0 0 79 9 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706110868136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16143] ppid=16136 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/16139/task/16143/stat : 16143 (java) S 16136 16139 14496 0 -1 4202560 301 0 0 0 92 7 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706109815592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16144] ppid=16136 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/16139/task/16144/stat : 16144 (java) S 16136 16139 14496 0 -1 4202560 404 0 0 0 70 8 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706108763048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16145] ppid=16136 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/16139/task/16145/stat : 16145 (java) S 16136 16139 14496 0 -1 4202560 512 0 0 0 77 7 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706107710504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16146] ppid=16136 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/16139/task/16146/stat : 16146 (java) S 16136 16139 14496 0 -1 4202560 476 0 0 0 88 8 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706106656936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16147] ppid=16136 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/16139/task/16147/stat : 16147 (java) S 16136 16139 14496 0 -1 4202560 391 0 0 0 72 8 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706105604392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16148] ppid=16136 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/16139/task/16148/stat : 16148 (java) S 16136 16139 14496 0 -1 4202560 336 0 0 0 73 5 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706104551848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16149] ppid=16136 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/16139/task/16149/stat : 16149 (java) S 16136 16139 14496 0 -1 4202560 903 0 0 0 81 10 0 0 20 0 19 0 9335960 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139706103499304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16150] ppid=16136 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/16139/task/16150/stat : 16150 (java) S 16136 16139 14496 0 -1 4202560 262 0 0 0 67 3 0 0 20 0 19 0 9335962 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705972673128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16139/tid=16151] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16151/stat : 16151 (java) S 16136 16139 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705971619448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16152] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16152/stat : 16152 (java) S 16136 16139 14496 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9335962 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705970566792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16153] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16153/stat : 16153 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705969515536 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16154] ppid=16136 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/16139/task/16154/stat : 16154 (java) S 16136 16139 14496 0 -1 4202560 5570 0 0 0 65 0 0 0 20 0 19 0 9335965 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705968461880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16139/tid=16155] ppid=16136 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16139/task/16155/stat : 16155 (java) S 16136 16139 14496 0 -1 4202560 4081 0 0 0 54 0 0 0 20 0 19 0 9335965 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705967409336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16156] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16156/stat : 16156 (java) S 16136 16139 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9335965 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705966356984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16139/tid=16157] ppid=16136 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/16139/task/16157/stat : 16157 (java) S 16136 16139 14496 0 -1 4202560 104 0 0 0 31 28 0 0 20 0 19 0 9335965 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705965304648 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16139/tid=16158] ppid=16136 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16139/task/16158/stat : 16158 (java) S 16136 16139 14496 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9335994 9856040960 97080 33554432000 1073741824 1073778376 140735732188288 139705964250408 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16139 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1793.64
CPU time (s): 1800.52
CPU user time (s): 1799.13
CPU system time (s): 1.39079
CPU usage (%): 100.384
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.39079
maximum resident set size= 714172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17629
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40472
involuntary context switches= 17695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0645 second user time and 13.7799 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-16 12:28:12
IDJOB=4090487
IDBENCH=79614
IDSOLVER=2551
FILE ID=node126/4090487-1466072892
RUNJOBID= node126-1466062123-14513
PBS_JOBID= 19904013
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-505_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090487-1466072892/watcher-4090487-1466072892 -o /tmp/evaluation-result-4090487-1466072892/solver-4090487-1466072892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466062123-14513 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090487-1466072892.wbo

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

MD5SUM BENCH= aac7e90374eb115b0312a3cfc81835b8
RANDOM SEED=1985285394

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31261736 kB
Buffers:           13100 kB
Cached:            52188 kB
SwapCached:         1756 kB
Active:           524516 kB
Inactive:          33024 kB
Active(anon):     493888 kB
Inactive(anon):      608 kB
Active(file):      30628 kB
Inactive(file):    32416 kB
Unevictable:      354512 kB
Mlocked:          338160 kB
SwapTotal:      67108856 kB
SwapFree:       67099248 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:        846260 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             565824 kB
SReclaimable:      10056 kB
SUnreclaim:       555768 kB
KernelStack:        1760 kB
PageTables:         5936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1429736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node126 at 2016-06-16 12:58:06