Trace number 4088830

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 PB16UNSAT 1288.48 1283.29

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
SUMINEQ/normalized-sumineqArity5houseP128.opb
MD5SUM6cf93208bf226a5a9d6ea9400862bf3f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark42.5525
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82555
Total number of constraints16512
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)129
Number of constraints which are nor clauses,nor cardinality constraints16383
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4088830-1466013879.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
1.31/0.72	c ... done. Wall clock time 0.623s.
1.31/0.72	c declared #vars     82555
1.31/0.72	c #constraints  16512
1.31/0.72	c constraints type 
1.31/0.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16512
1.31/0.72	c 16512 constraints processed.
1.91/1.10	c cleaning 2497 clauses out of 5001 with flag 13701/5001
2.38/1.24	c cleaning 4246 clauses out of 8503 with flag 31073/11000
2.54/1.37	c cleaning 5618 clauses out of 11257 with flag 50396/18000
2.74/1.52	c cleaning 6775 clauses out of 13639 with flag 72495/26000
2.96/1.71	c cleaning 7929 clauses out of 15865 with flag 98459/35001
3.16/1.91	c cleaning 8957 clauses out of 17935 with flag 129189/45000
3.36/2.18	c cleaning 9983 clauses out of 19979 with flag 163935/56001
3.66/2.41	c cleaning 10992 clauses out of 21995 with flag 203252/68000
3.86/2.66	c cleaning 11995 clauses out of 24005 with flag 243047/81002
4.16/2.95	c cleaning 13000 clauses out of 26008 with flag 288117/95000
4.46/3.28	c cleaning 13813 clauses out of 28008 with flag 333510/110000
4.76/3.59	c cleaning 15093 clauses out of 30196 with flag 386021/126001
5.16/3.92	c cleaning 16044 clauses out of 32102 with flag 433722/143000
5.46/4.29	c cleaning 17026 clauses out of 34058 with flag 493418/161000
5.96/4.70	c cleaning 18010 clauses out of 36032 with flag 552783/180000
6.36/5.10	c cleaning 19007 clauses out of 38023 with flag 611624/200001
6.77/5.52	c cleaning 19954 clauses out of 40015 with flag 678489/221000
7.16/5.96	c cleaning 21021 clauses out of 42062 with flag 746049/243001
7.67/6.46	c cleaning 21888 clauses out of 44041 with flag 820790/266001
8.17/6.97	c cleaning 23034 clauses out of 46152 with flag 899464/290000
8.67/7.46	c cleaning 24046 clauses out of 48119 with flag 986975/315001
9.27/8.01	c cleaning 24838 clauses out of 50072 with flag 1070394/341000
9.87/8.65	c cleaning 26060 clauses out of 52236 with flag 1165272/368002
10.57/9.30	c cleaning 27034 clauses out of 54176 with flag 1247282/396002
11.28/10.04	c cleaning 28069 clauses out of 56141 with flag 1333830/425001
11.97/10.70	c cleaning 28978 clauses out of 58071 with flag 1441248/455000
12.67/11.50	c cleaning 30030 clauses out of 60093 with flag 1541231/486000
13.80/12.45	c cleaning 30990 clauses out of 62063 with flag 1633800/518000
14.60/13.23	c cleaning 32030 clauses out of 64075 with flag 1732137/551002
15.60/14.28	c cleaning 33003 clauses out of 66044 with flag 1830001/585001
16.80/15.47	c cleaning 34014 clauses out of 68042 with flag 1931773/620002
18.20/16.82	c cleaning 35000 clauses out of 70027 with flag 2042345/656001
19.30/17.91	c cleaning 36006 clauses out of 72027 with flag 2161956/693001
20.30/18.91	c cleaning 36996 clauses out of 74020 with flag 2274799/731000
21.60/20.27	c cleaning 38006 clauses out of 76026 with flag 2388336/770002
22.90/21.56	c cleaning 38996 clauses out of 78018 with flag 2507101/810000
24.50/23.16	c cleaning 39951 clauses out of 80023 with flag 2634100/851001
25.80/24.41	c cleaning 40984 clauses out of 82072 with flag 2766662/893001
26.90/25.59	c cleaning 42036 clauses out of 84089 with flag 2895547/936002
28.40/27.05	c cleaning 42985 clauses out of 86053 with flag 3031773/980002
29.80/28.44	c cleaning 44027 clauses out of 88068 with flag 3174945/1025002
31.30/29.97	c cleaning 44976 clauses out of 90039 with flag 3315235/1071000
32.60/31.28	c cleaning 46029 clauses out of 92064 with flag 3469117/1118001
34.30/32.96	c cleaning 47000 clauses out of 94035 with flag 3619323/1166001
35.90/34.58	c cleaning 47999 clauses out of 96035 with flag 3767036/1215001
37.51/36.18	c cleaning 48977 clauses out of 98037 with flag 3935964/1265002
39.11/37.71	c cleaning 50022 clauses out of 100059 with flag 4097804/1316001
40.81/39.47	c cleaning 51013 clauses out of 102038 with flag 4272207/1368002
42.11/40.78	c cleaning 51995 clauses out of 104023 with flag 4437478/1421000
43.61/42.20	c cleaning 53003 clauses out of 106029 with flag 4616442/1475001
44.81/43.49	c cleaning 53959 clauses out of 108026 with flag 4790116/1530001
46.51/45.12	c cleaning 55021 clauses out of 110066 with flag 4962680/1586000
48.01/46.64	c cleaning 56009 clauses out of 112048 with flag 5138031/1643003
50.11/48.75	c cleaning 57003 clauses out of 114036 with flag 5312948/1701000
51.60/50.27	c cleaning 57984 clauses out of 116033 with flag 5497071/1760000
54.10/52.79	c cleaning 58996 clauses out of 118050 with flag 5693012/1820001
57.00/55.62	c cleaning 59997 clauses out of 120053 with flag 5889573/1881000
58.91/57.55	c cleaning 59993 clauses out of 122056 with flag 6093652/1943000
61.31/59.92	c cleaning 60915 clauses out of 125064 with flag 6294414/2006001
64.01/62.67	c cleaning 62111 clauses out of 128148 with flag 6485350/2070000
66.32/64.97	c cleaning 63107 clauses out of 131038 with flag 6677162/2135001
68.41/67.09	c cleaning 63424 clauses out of 133932 with flag 6879971/2201002
71.61/70.27	c cleaning 64523 clauses out of 137506 with flag 7099946/2268000
74.42/73.03	c cleaning 65755 clauses out of 140983 with flag 7319266/2336000
76.81/75.47	c cleaning 66823 clauses out of 144229 with flag 7526028/2405001
80.23/78.86	c cleaning 67683 clauses out of 147405 with flag 7737197/2475000
83.73/82.33	c cleaning 68898 clauses out of 150722 with flag 7952120/2546000
86.80/85.17	c cleaning 69458 clauses out of 153825 with flag 8169579/2618001
89.60/87.98	c cleaning 70371 clauses out of 157366 with flag 8386054/2691000
92.10/90.40	c cleaning 71443 clauses out of 160996 with flag 8624615/2765001
95.40/93.77	c cleaning 72923 clauses out of 164554 with flag 8854344/2840002
99.40/97.73	c cleaning 74099 clauses out of 167630 with flag 9082081/2916001
102.00/100.37	c cleaning 74753 clauses out of 170531 with flag 9309812/2993001
105.10/103.42	c cleaning 75703 clauses out of 173779 with flag 9547472/3071002
107.30/105.69	c cleaning 76575 clauses out of 177075 with flag 9788715/3150001
111.71/110.01	c cleaning 77432 clauses out of 180500 with flag 10028389/3230001
114.61/112.96	c cleaning 78465 clauses out of 184067 with flag 10281531/3311000
119.21/117.50	c cleaning 79752 clauses out of 187603 with flag 10529204/3393001
122.21/120.55	c cleaning 80342 clauses out of 190850 with flag 10786663/3476000
125.41/123.74	c cleaning 81638 clauses out of 194508 with flag 11036652/3560000
128.61/126.91	c cleaning 82689 clauses out of 197871 with flag 11292637/3645001
132.51/130.83	c cleaning 83620 clauses out of 201181 with flag 11557143/3731000
136.61/134.94	c cleaning 83605 clauses out of 204561 with flag 11826750/3818000
138.90/137.25	c cleaning 85399 clauses out of 208956 with flag 12119182/3906000
143.41/141.77	c cleaning 86718 clauses out of 212558 with flag 12394734/3995001
147.40/145.72	c cleaning 87404 clauses out of 215839 with flag 12671668/4085000
150.81/149.16	c cleaning 88063 clauses out of 219435 with flag 12947925/4176000
154.21/152.51	c cleaning 89015 clauses out of 223373 with flag 13224112/4268001
157.41/155.79	c cleaning 90013 clauses out of 227359 with flag 13519677/4361002
161.81/160.13	c cleaning 90614 clauses out of 231344 with flag 13804179/4455000
167.01/165.33	c cleaning 92361 clauses out of 235731 with flag 14091988/4550001
170.12/168.49	c cleaning 92815 clauses out of 239369 with flag 14401789/4646000
174.31/172.69	c cleaning 93282 clauses out of 243556 with flag 14703162/4743002
180.46/178.49	c cleaning 94931 clauses out of 248273 with flag 15004995/4841001
184.26/182.21	c cleaning 95232 clauses out of 252341 with flag 15314103/4940000
188.26/186.30	c cleaning 96755 clauses out of 257109 with flag 15615782/5040000
192.96/190.97	c cleaning 97739 clauses out of 261354 with flag 15917600/5141000
199.07/197.06	c cleaning 98956 clauses out of 265617 with flag 16228420/5243002
203.47/201.49	c cleaning 99645 clauses out of 269660 with flag 16566358/5346001
208.87/206.84	c cleaning 100176 clauses out of 274014 with flag 16883096/5450000
213.96/211.93	c cleaning 101202 clauses out of 278838 with flag 17203132/5555000
218.16/216.16	c cleaning 102929 clauses out of 283637 with flag 17537532/5661001
224.06/222.00	c cleaning 103731 clauses out of 287708 with flag 17859423/5768001
231.87/229.84	c cleaning 104488 clauses out of 291976 with flag 18192477/5876000
236.57/234.57	c cleaning 105506 clauses out of 296489 with flag 18525582/5985001
240.78/238.77	c cleaning 106734 clauses out of 300983 with flag 18866553/6095001
247.07/245.06	c cleaning 107549 clauses out of 305250 with flag 19204482/6206002
251.67/249.65	c cleaning 108775 clauses out of 309699 with flag 19539716/6318000
256.28/254.25	c cleaning 109441 clauses out of 313926 with flag 19889174/6431002
262.17/260.13	c cleaning 110162 clauses out of 318484 with flag 20235490/6545001
267.07/265.04	c cleaning 110707 clauses out of 323321 with flag 20594023/6660000
272.97/270.97	c cleaning 112497 clauses out of 328614 with flag 20944205/6776000
280.67/278.68	c cleaning 113837 clauses out of 333117 with flag 21299639/6893000
286.07/284.01	c cleaning 114987 clauses out of 337280 with flag 21660710/7011000
293.17/291.12	c cleaning 114051 clauses out of 341294 with flag 22034129/7130001
300.58/298.52	c cleaning 116680 clauses out of 347242 with flag 22400425/7250000
307.18/305.18	c cleaning 117208 clauses out of 351562 with flag 22770671/7371000
316.07/314.02	c cleaning 117654 clauses out of 356354 with flag 23159587/7493000
324.38/322.38	c cleaning 119264 clauses out of 361701 with flag 23531213/7616001
331.78/329.71	c cleaning 120344 clauses out of 366436 with flag 23911663/7740000
339.79/337.79	c cleaning 121240 clauses out of 371092 with flag 24293528/7865000
346.58/344.56	c cleaning 122520 clauses out of 375852 with flag 24682919/7991000
355.68/353.69	c cleaning 122939 clauses out of 380335 with flag 25082433/8118003
364.77/362.79	c cleaning 124856 clauses out of 385393 with flag 25475007/8246000
375.28/373.23	c cleaning 125697 clauses out of 389539 with flag 25868130/8375002
384.28/382.27	c cleaning 126931 clauses out of 393840 with flag 26273575/8505000
395.08/393.09	c cleaning 127945 clauses out of 397909 with flag 26681526/8636000
404.38/402.38	c cleaning 128946 clauses out of 401965 with flag 27083307/8768001
415.99/413.91	c cleaning 129839 clauses out of 406019 with flag 27487329/8901001
424.49/422.41	c cleaning 130579 clauses out of 410179 with flag 27887239/9035000
434.69/432.64	c cleaning 131262 clauses out of 414600 with flag 28294251/9170000
444.68/441.91	c cleaning 132196 clauses out of 419338 with flag 28720122/9306000
454.38/451.60	c cleaning 133928 clauses out of 424143 with flag 29144082/9443001
464.58/461.89	c cleaning 134807 clauses out of 428215 with flag 29558789/9581001
473.47/470.80	c cleaning 135860 clauses out of 432407 with flag 29991735/9720000
483.49/480.73	c cleaning 136471 clauses out of 436549 with flag 30421449/9860002
492.88/490.11	c cleaning 136758 clauses out of 441077 with flag 30859294/10001001
503.89/501.19	c cleaning 138544 clauses out of 446318 with flag 31318009/10143000
514.09/511.30	c cleaning 139512 clauses out of 450774 with flag 31747736/10286000
526.50/523.73	c cleaning 140475 clauses out of 455262 with flag 32190119/10430000
538.51/535.78	c cleaning 141374 clauses out of 459787 with flag 32619505/10575000
550.70/547.91	c cleaning 141736 clauses out of 464413 with flag 33073954/10721000
561.71/558.95	c cleaning 144051 clauses out of 469679 with flag 33536514/10868002
572.50/569.73	c cleaning 144478 clauses out of 473628 with flag 33977065/11016002
582.52/579.79	c cleaning 145183 clauses out of 478148 with flag 34438428/11165000
592.21/589.43	c cleaning 145881 clauses out of 482965 with flag 34887840/11315000
604.91/602.15	c cleaning 147668 clauses out of 488084 with flag 35343285/11466000
613.92/611.10	c cleaning 148004 clauses out of 492416 with flag 35814065/11618000
623.63/620.86	c cleaning 149146 clauses out of 497412 with flag 36290816/11771000
636.44/633.70	c cleaning 150568 clauses out of 502267 with flag 36754245/11925001
647.93/645.18	c cleaning 151079 clauses out of 506700 with flag 37216724/12080002
657.34/654.55	c cleaning 152304 clauses out of 511620 with flag 37691360/12236001
668.53/665.75	c cleaning 152816 clauses out of 516315 with flag 38166701/12393000
679.64/676.85	c cleaning 154871 clauses out of 521500 with flag 38649127/12551001
690.44/687.66	c cleaning 155086 clauses out of 525629 with flag 39127205/12710001
699.84/697.10	c cleaning 155846 clauses out of 530542 with flag 39620985/12870000
710.25/707.48	c cleaning 156795 clauses out of 535696 with flag 40117900/13031000
721.85/719.06	c cleaning 158306 clauses out of 540901 with flag 40613204/13193000
733.45/730.63	c cleaning 159235 clauses out of 545597 with flag 41110176/13356002
746.26/743.41	c cleaning 159977 clauses out of 550362 with flag 41608357/13520002
759.06/756.24	c cleaning 160758 clauses out of 555383 with flag 42101325/13685000
769.49/766.02	c cleaning 162375 clauses out of 560625 with flag 42603373/13851000
783.10/779.63	c cleaning 163851 clauses out of 565250 with flag 43116267/14018000
796.50/793.04	c cleaning 162953 clauses out of 569399 with flag 43627016/14186000
808.20/804.74	c cleaning 165139 clauses out of 575446 with flag 44144456/14355000
820.91/817.45	c cleaning 166013 clauses out of 580307 with flag 44659398/14525000
836.40/832.98	c cleaning 166886 clauses out of 585294 with flag 45169103/14696000
846.70/843.20	c cleaning 167904 clauses out of 590408 with flag 45700176/14868000
861.72/858.29	c cleaning 169285 clauses out of 595506 with flag 46227910/15041002
872.62/869.18	c cleaning 169665 clauses out of 600221 with flag 46767632/15215002
886.32/882.81	c cleaning 170859 clauses out of 605555 with flag 47291402/15390001
899.92/896.50	c cleaning 172313 clauses out of 610695 with flag 47825703/15566000
912.92/909.40	c cleaning 173043 clauses out of 615384 with flag 48357248/15743002
926.72/923.26	c cleaning 174109 clauses out of 620341 with flag 48901566/15921002
942.63/939.16	c cleaning 174478 clauses out of 625230 with flag 49440571/16100000
957.34/953.85	c cleaning 176110 clauses out of 630752 with flag 49991753/16280000
968.04/964.52	c cleaning 177272 clauses out of 635642 with flag 50544247/16461000
979.84/976.31	c cleaning 177887 clauses out of 640371 with flag 51104797/16643001
990.74/987.23	c cleaning 177932 clauses out of 645483 with flag 51668086/16826000
1002.85/999.35	c cleaning 180208 clauses out of 651551 with flag 52222760/17010000
1014.85/1011.39	c cleaning 180320 clauses out of 656343 with flag 52783601/17195000
1031.95/1028.48	c cleaning 182315 clauses out of 662025 with flag 53348788/17381002
1045.66/1042.19	c cleaning 182855 clauses out of 666710 with flag 53931056/17568002
1056.97/1053.48	c cleaning 183559 clauses out of 671853 with flag 54509351/17756000
1073.92/1069.29	c cleaning 185038 clauses out of 677295 with flag 55097399/17945001
1087.22/1082.53	c cleaning 185418 clauses out of 682258 with flag 55673092/18135002
1100.71/1096.05	c cleaning 186533 clauses out of 687839 with flag 56261775/18326001
1116.51/1111.86	c cleaning 188417 clauses out of 693305 with flag 56849931/18518000
1131.62/1126.98	c cleaning 188250 clauses out of 697889 with flag 57452669/18711001
1143.43/1138.73	c cleaning 189538 clauses out of 703638 with flag 58054391/18905000
1160.33/1155.66	c cleaning 190454 clauses out of 709101 with flag 58670958/19100001
1170.53/1165.86	c cleaning 191695 clauses out of 714646 with flag 59278077/19296000
1186.73/1182.05	c cleaning 193084 clauses out of 719951 with flag 59877589/19493000
1200.94/1196.21	c cleaning 193460 clauses out of 724869 with flag 60461247/19691002
1216.75/1212.08	c cleaning 194832 clauses out of 730407 with flag 61056732/19890000
1232.45/1227.75	c cleaning 195550 clauses out of 735577 with flag 61655654/20090002
1249.36/1244.61	c cleaning 196914 clauses out of 741025 with flag 62272161/20291000
1264.06/1259.35	c cleaning 196963 clauses out of 746113 with flag 62887779/20493002
1284.97/1280.20	c cleaning 198926 clauses out of 752149 with flag 63513620/20696001
1287.97/1283.23	c starts		: 14901
1287.97/1283.23	c conflicts		: 20737748
1287.97/1283.23	c decisions		: 894380104
1287.97/1283.23	c propagations		: 1083935109
1287.97/1283.23	c inspects		: 5901442138
1287.97/1283.23	c shortcuts		: 0
1287.97/1283.23	c learnt literals	: 10
1287.97/1283.23	c learnt binary clauses	: 9
1287.97/1283.23	c learnt ternary clauses	: 88062
1287.97/1283.23	c learnt constraints	: 20737737
1287.97/1283.23	c ignored constraints	: 0
1287.97/1283.23	c root simplifications	: 0
1287.97/1283.23	c removed literals (reason simplification)	: 0
1287.97/1283.23	c reason swapping (by a shorter reason)	: 0
1287.97/1283.23	c Calls to reduceDB	: 199
1287.97/1283.23	c Number of update (reduction) of LBD	: 3854864
1287.97/1283.23	c Imported unit clauses	: 0
1287.97/1283.23	c number of reductions to clauses (during analyze)	: 0
1287.97/1283.23	c number of learned constraints concerned by reduction	: 0
1287.97/1283.23	c number of learning phase by resolution	: 0
1287.97/1283.23	c number of learning phase by cutting planes	: 0
1287.97/1283.23	c speed (assignments/second)	: 845187.4135950764
1287.97/1283.23	c non guided choices	857484915
1287.97/1283.28	c learnt constraints type 
1287.97/1283.28	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 9
1287.97/1283.28	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 594950
1287.97/1283.28	s UNSATISFIABLE
1287.97/1283.28	c Total wall clock time (in seconds): 1283.181

Verifier Data 

ERROR: no interpretation found !

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-4088830-1466013879/watcher-4088830-1466013879 -o /tmp/evaluation-result-4088830-1466013879/solver-4088830-1466013879 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4088830-1466013879.opb 

pid=6643
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.07 2.15 2.06 5/194 6646
/proc/meminfo: memFree=30611960/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3436562 98570240 978 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 24065 978 744 9 0 16771 0
[pid=6646/tid=6647] ppid=6643 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 3436562 98570240 978 33554432000 1073741824 1073778376 140734545987552 140469170912808 272886482304 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 2.07 2.15 2.06 5/194 6646
/proc/meminfo: memFree=30611960/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 4499 0 1 0 10 1 0 0 20 0 18 0 3436562 9787879424 6129 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2389619 6129 2157 9 0 2380296 0
[pid=6646/tid=6647] ppid=6643 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 3436562 9787879424 6129 33554432000 1073741824 1073778376 140734545987552 140469170917720 272889865485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200331 s]
/proc/loadavg: 2.07 2.15 2.06 5/194 6646
/proc/meminfo: memFree=30611960/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 4938 0 1 0 28 1 0 0 20 0 18 0 3436562 9787879424 7492 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2389619 7492 2219 9 0 2380296 0
[pid=6646/tid=6647] ppid=6643 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 3436562 9787879424 7492 33554432000 1073741824 1073778376 140734545987552 140469170917720 140469002647789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300329 s]
/proc/loadavg: 2.07 2.15 2.06 5/194 6646
/proc/meminfo: memFree=30611960/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 5834 0 1 0 52 1 0 0 20 0 18 0 3436562 9787879424 10450 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2389619 10450 2235 9 0 2380296 0
[pid=6646/tid=6647] ppid=6643 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2404 0 1 0 27 0 0 0 20 0 18 0 3436562 9787879424 10450 33554432000 1073741824 1073778376 140734545987552 140469170917720 140469003023957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700221 s]
/proc/loadavg: 2.07 2.15 2.06 5/194 6646
/proc/meminfo: memFree=30611960/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9558476 CPUtime=1.31 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 11369 0 1 0 126 5 0 0 20 0 18 0 3436562 9787879424 45185 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2389619 45185 2262 9 0 2380296 0
[pid=6646/tid=6647] ppid=6643 vsize=9558476 CPUtime=0.65 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2462 0 1 0 63 2 0 0 20 0 18 0 3436562 9787879424 45185 33554432000 1073741824 1073778376 140734545987552 140469170916792 140469003025352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9558476

[startup+1.50078 s]
/proc/loadavg: 2.07 2.15 2.06 5/213 6665
/proc/meminfo: memFree=30400332/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9625040 CPUtime=2.74 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 18224 0 1 0 268 6 0 0 20 0 19 0 3436562 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2406260 48394 2283 9 0 2396937 0
[pid=6646/tid=6647] ppid=6643 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2473 0 1 0 142 3 0 0 20 0 19 0 3436562 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469170917528 140469003344657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6649] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6649/stat : 6649 (java) S 6643 6646 5929 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469132409128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6650] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6650/stat : 6650 (java) S 6643 6646 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469131356328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 3436564 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5124 0 0 0 55 0 0 0 20 0 19 0 3436567 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6646/task/6662/stat : 6662 (java) S 6643 6646 5929 0 -1 4202560 9243 0 0 0 59 2 0 0 20 0 19 0 3436567 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468988877368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6663] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6663/stat : 6663 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140468987825272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6664] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6664/stat : 6664 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140467979152584 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6665] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6665/stat : 6665 (java) S 6643 6646 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3436638 9856040960 48394 33554432000 1073741824 1073778376 140734545987552 140467978097576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.07 2.14 2.06 3/213 6665
/proc/meminfo: memFree=30376388/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9625040 CPUtime=4.36 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 18227 0 1 0 430 6 0 0 20 0 19 0 3436562 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2406260 48395 2283 9 0 2396937 0
[pid=6646/tid=6647] ppid=6643 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2475 0 1 0 302 3 0 0 20 0 19 0 3436562 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469170908864 140469003388048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6649] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6649/stat : 6649 (java) S 6643 6646 5929 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469132409128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6650] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6650/stat : 6650 (java) S 6643 6646 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469131356328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 3436564 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5124 0 0 0 56 0 0 0 20 0 19 0 3436567 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6646/task/6662/stat : 6662 (java) S 6643 6646 5929 0 -1 4202560 9243 0 0 0 59 2 0 0 20 0 19 0 3436567 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468988877368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6663] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6663/stat : 6663 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140468987825272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6664] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6664/stat : 6664 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140467979152584 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6665] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6665/stat : 6665 (java) S 6643 6646 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3436638 9856040960 48395 33554432000 1073741824 1073778376 140734545987552 140467978097576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.07 2.14 2.06 5/213 6730
/proc/meminfo: memFree=30453632/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9625040 CPUtime=7.57 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 18228 0 1 0 750 7 0 0 20 0 19 0 3436562 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2406260 47883 2283 9 0 2396937 0
[pid=6646/tid=6647] ppid=6643 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2476 0 1 0 622 3 0 0 20 0 19 0 3436562 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469170908864 140469003388048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6649] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6649/stat : 6649 (java) S 6643 6646 5929 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469132409128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6650] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6650/stat : 6650 (java) S 6643 6646 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469131356328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3436563 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 3436564 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5124 0 0 0 56 0 0 0 20 0 19 0 3436567 9856040960 47883 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7

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

[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 511 0 0 0 39 11 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 465 0 0 0 53 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 653 0 0 0 48 14 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 441 0 0 0 49 15 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 464 0 0 0 30 8 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 564 0 0 0 44 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 686 0 0 0 38 0 0 0 20 0 19 0 3436564 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5135 0 0 0 59 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6646/task/6662/stat : 6662 (java) S 6643 6646 5929 0 -1 4202560 9243 0 0 0 59 2 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468988877368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6663] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6663/stat : 6663 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468987825272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6664] ppid=6643 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/6646/task/6664/stat : 6664 (java) S 6643 6646 5929 0 -1 4202560 75 0 0 0 22 30 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467979152584 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6665] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6665/stat : 6665 (java) S 6643 6646 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3436638 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467978097576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1286.38
Current children cumulated vsize (KiB) 9625040

[startup+1282.4 s]
/proc/loadavg: 2.27 2.24 2.16 4/213 7732
/proc/meminfo: memFree=28810660/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9625040 CPUtime=1287.17 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 23167 0 1 0 128586 131 0 0 20 0 19 0 3436562 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2406260 319957 2292 9 0 2396937 0
[pid=6646/tid=6647] ppid=6643 vsize=9625040 CPUtime=1280.82 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2831 0 1 0 128050 32 0 0 20 0 19 0 3436562 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469170908864 140469003299891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6649] ppid=6643 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6646/task/6649/stat : 6649 (java) S 6643 6646 5929 0 -1 4202560 462 0 0 0 33 10 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469132409128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6650] ppid=6643 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6646/task/6650/stat : 6650 (java) S 6643 6646 5929 0 -1 4202560 379 0 0 0 51 9 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469131356328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 511 0 0 0 39 11 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 465 0 0 0 53 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 653 0 0 0 48 14 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 441 0 0 0 49 15 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 464 0 0 0 30 8 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 564 0 0 0 44 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 686 0 0 0 38 0 0 0 20 0 19 0 3436564 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5135 0 0 0 59 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6646/task/6662/stat : 6662 (java) S 6643 6646 5929 0 -1 4202560 9243 0 0 0 59 2 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468988877368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6663] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6663/stat : 6663 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468987825272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6664] ppid=6643 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/6646/task/6664/stat : 6664 (java) S 6643 6646 5929 0 -1 4202560 75 0 0 0 22 30 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467979152584 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6665] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6665/stat : 6665 (java) S 6643 6646 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3436638 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467978097576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1287.17
Current children cumulated vsize (KiB) 9625040

[startup+1282.8 s]
/proc/loadavg: 2.33 2.25 2.17 4/213 7732
/proc/meminfo: memFree=28810660/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9625040 CPUtime=1287.57 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 23167 0 1 0 128626 131 0 0 20 0 19 0 3436562 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2406260 319957 2292 9 0 2396937 0
[pid=6646/tid=6647] ppid=6643 vsize=9625040 CPUtime=1281.22 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2831 0 1 0 128090 32 0 0 20 0 19 0 3436562 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469170908864 140469003358237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6649] ppid=6643 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6646/task/6649/stat : 6649 (java) S 6643 6646 5929 0 -1 4202560 462 0 0 0 33 10 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469132409128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6650] ppid=6643 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6646/task/6650/stat : 6650 (java) S 6643 6646 5929 0 -1 4202560 379 0 0 0 51 9 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469131356328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 511 0 0 0 39 11 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 465 0 0 0 53 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 653 0 0 0 48 14 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 441 0 0 0 49 15 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 464 0 0 0 30 8 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 564 0 0 0 44 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 686 0 0 0 38 0 0 0 20 0 19 0 3436564 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5135 0 0 0 59 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6646/task/6662/stat : 6662 (java) S 6643 6646 5929 0 -1 4202560 9243 0 0 0 59 2 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468988877368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6663] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6663/stat : 6663 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468987825272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6664] ppid=6643 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/6646/task/6664/stat : 6664 (java) S 6643 6646 5929 0 -1 4202560 75 0 0 0 22 30 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467979152584 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6665] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6665/stat : 6665 (java) S 6643 6646 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3436638 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467978097576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1287.57
Current children cumulated vsize (KiB) 9625040

[startup+1283.2 s]
/proc/loadavg: 2.33 2.25 2.17 4/213 7732
/proc/meminfo: memFree=28810660/32872528 swapFree=1243664/1390832
[pid=6646] ppid=6643 vsize=9625040 CPUtime=1287.97 cores=1,3,5,7
/proc/6646/stat : 6646 (java) S 6643 6646 5929 0 -1 4202496 23167 0 1 0 128666 131 0 0 20 0 19 0 3436562 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140734545978688 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6646/statm: 2406260 319957 2292 9 0 2396937 0
[pid=6646/tid=6647] ppid=6643 vsize=9625040 CPUtime=1281.62 cores=1,3,5,7
/proc/6646/task/6647/stat : 6647 (java) R 6643 6646 5929 0 -1 4202560 2831 0 1 0 128130 32 0 0 20 0 19 0 3436562 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469170908864 140469003388061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6649] ppid=6643 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6646/task/6649/stat : 6649 (java) S 6643 6646 5929 0 -1 4202560 462 0 0 0 33 10 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469132409128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6650] ppid=6643 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6646/task/6650/stat : 6650 (java) S 6643 6646 5929 0 -1 4202560 379 0 0 0 51 9 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469131356328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6651] ppid=6643 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6646/task/6651/stat : 6651 (java) S 6643 6646 5929 0 -1 4202560 511 0 0 0 39 11 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469130304040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6652] ppid=6643 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6646/task/6652/stat : 6652 (java) S 6643 6646 5929 0 -1 4202560 465 0 0 0 53 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469129251240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6653] ppid=6643 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6646/task/6653/stat : 6653 (java) S 6643 6646 5929 0 -1 4202560 653 0 0 0 48 14 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469128198952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6654] ppid=6643 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/6646/task/6654/stat : 6654 (java) S 6643 6646 5929 0 -1 4202560 441 0 0 0 49 15 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469127146152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6655] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6655/stat : 6655 (java) S 6643 6646 5929 0 -1 4202560 464 0 0 0 30 8 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469126093864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6656] ppid=6643 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6646/task/6656/stat : 6656 (java) S 6643 6646 5929 0 -1 4202560 564 0 0 0 44 12 0 0 20 0 19 0 3436563 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140469125041064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6646/tid=6657] ppid=6643 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6646/task/6657/stat : 6657 (java) S 6643 6646 5929 0 -1 4202560 686 0 0 0 38 0 0 0 20 0 19 0 3436564 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468994140392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6658] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6658/stat : 6658 (java) S 6643 6646 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468993086456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6659] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6659/stat : 6659 (java) S 6643 6646 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3436565 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468992034056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6660] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6660/stat : 6660 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468990982544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6661] ppid=6643 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6646/task/6661/stat : 6661 (java) S 6643 6646 5929 0 -1 4202560 5135 0 0 0 59 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468989930168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6662] ppid=6643 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6646/task/6662/stat : 6662 (java) S 6643 6646 5929 0 -1 4202560 9243 0 0 0 59 2 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468988877368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6646/tid=6663] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6663/stat : 6663 (java) S 6643 6646 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140468987825272 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6646/tid=6664] ppid=6643 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/6646/task/6664/stat : 6664 (java) S 6643 6646 5929 0 -1 4202560 75 0 0 0 22 30 0 0 20 0 19 0 3436567 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467979152584 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6646/tid=6665] ppid=6643 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6665/stat : 6665 (java) S 6643 6646 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3436638 9856040960 319957 33554432000 1073741824 1073778376 140734545987552 140467978097576 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1287.97
Current children cumulated vsize (KiB) 9625040

Child status: 20
Real time (s): 1283.29
CPU time (s): 1288.48
CPU user time (s): 1286.78
CPU system time (s): 1.70274
CPU usage (%): 100.404
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1286.78
system time used= 1.70274
maximum resident set size= 1279900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23192
page faults= 1
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27454
involuntary context switches= 3578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2029 second user time and 10.0955 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-15 20:04:39
IDJOB=4088830
IDBENCH=107319
IDSOLVER=2546
FILE ID=node119/4088830-1466013879
RUNJOBID= node119-1466012072-5946
PBS_JOBID= 19902816
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity5houseP128.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088830-1466013879/watcher-4088830-1466013879 -o /tmp/evaluation-result-4088830-1466013879/solver-4088830-1466013879 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4088830-1466013879.opb

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

MD5SUM BENCH= 6cf93208bf226a5a9d6ea9400862bf3f
RANDOM SEED=367163156

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30611588 kB
Buffers:            5544 kB
Cached:            90216 kB
SwapCached:        14200 kB
Active:            75612 kB
Inactive:          85996 kB
Active(anon):      53964 kB
Inactive(anon):    14104 kB
Active(file):      21648 kB
Inactive(file):    71892 kB
Unevictable:     1390832 kB
Mlocked:         1243664 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:              4496 kB
Writeback:             0 kB
AnonPages:       1359656 kB
Mapped:            14648 kB
Shmem:                 0 kB
Slab:             566004 kB
SReclaimable:       8780 kB
SUnreclaim:       557224 kB
KernelStack:        1760 kB
PageTables:         6684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2079292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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= 71736 MiB
End job on node119 at 2016-06-15 20:26:03