Trace number 4088683

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 PB16? (TO) 1800.72 1797.14

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
MD5SUMd001c128c188d58459ae32050123e31b
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 benchmark593.916
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1301
Total number of constraints651
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)651
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4088683-1466010420.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.26/0.22	c ... done. Wall clock time 0.111s.
0.26/0.22	c declared #vars     1301
0.26/0.22	c #constraints  1302
0.26/0.22	c constraints type 
0.26/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 1300
0.26/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.26/0.22	c 1302 constraints processed.
1.01/0.54	c cleaning 2498 clauses out of 5004 with flag 21519/5004
1.21/0.67	c cleaning 4220 clauses out of 8504 with flag 49193/11002
1.34/0.79	c cleaning 5595 clauses out of 11283 with flag 84254/18001
1.55/0.93	c cleaning 6812 clauses out of 13689 with flag 127366/26002
1.66/1.09	c cleaning 7890 clauses out of 15875 with flag 171805/35000
1.87/1.29	c cleaning 8926 clauses out of 17985 with flag 227828/45000
2.17/1.51	c cleaning 10001 clauses out of 20059 with flag 288300/56000
2.37/1.76	c cleaning 10969 clauses out of 22060 with flag 354712/68002
2.66/2.07	c cleaning 12028 clauses out of 24090 with flag 430557/81001
2.97/2.36	c cleaning 13010 clauses out of 26061 with flag 506599/95000
3.37/2.71	c cleaning 13963 clauses out of 28052 with flag 589626/110001
3.66/3.07	c cleaning 14984 clauses out of 30088 with flag 680394/126000
4.16/3.55	c cleaning 15983 clauses out of 32105 with flag 781057/143001
4.66/4.02	c cleaning 17040 clauses out of 34122 with flag 886888/161001
5.07/4.44	c cleaning 17980 clauses out of 36081 with flag 988988/180000
5.66/5.01	c cleaning 19030 clauses out of 38101 with flag 1106480/200000
6.17/5.51	c cleaning 19964 clauses out of 40071 with flag 1221327/221000
6.76/6.17	c cleaning 21025 clauses out of 42107 with flag 1350485/243000
7.37/6.79	c cleaning 22003 clauses out of 44083 with flag 1486748/266001
8.07/7.45	c cleaning 22993 clauses out of 46079 with flag 1623493/290000
8.77/8.18	c cleaning 24002 clauses out of 48086 with flag 1780326/315000
9.47/8.87	c cleaning 24969 clauses out of 50084 with flag 1926093/341000
10.28/9.61	c cleaning 26016 clauses out of 52115 with flag 2071698/368000
10.98/10.38	c cleaning 27030 clauses out of 54101 with flag 2224078/396002
11.88/11.24	c cleaning 28008 clauses out of 56069 with flag 2385110/425000
12.78/12.15	c cleaning 28987 clauses out of 58062 with flag 2549858/455001
13.77/13.10	c cleaning 29962 clauses out of 60074 with flag 2721629/486000
14.77/14.15	c cleaning 31044 clauses out of 62113 with flag 2898248/518001
15.87/15.20	c cleaning 31951 clauses out of 64068 with flag 3075061/551000
16.97/16.30	c cleaning 32996 clauses out of 66117 with flag 3257012/585000
18.17/17.54	c cleaning 34001 clauses out of 68123 with flag 3448314/620002
19.57/18.91	c cleaning 34981 clauses out of 70120 with flag 3643853/656000
20.87/20.24	c cleaning 36035 clauses out of 72139 with flag 3837182/693000
22.17/21.55	c cleaning 37034 clauses out of 74104 with flag 4040308/731000
23.57/22.97	c cleaning 38015 clauses out of 76070 with flag 4248991/770000
24.98/24.38	c cleaning 38976 clauses out of 78056 with flag 4458256/810001
26.57/25.96	c cleaning 39986 clauses out of 80079 with flag 4672966/851000
28.47/27.83	c cleaning 41027 clauses out of 82093 with flag 4906478/893000
30.31/29.67	c cleaning 42015 clauses out of 84066 with flag 5140291/936000
32.01/31.31	c cleaning 42967 clauses out of 86052 with flag 5375635/980001
33.71/33.07	c cleaning 43998 clauses out of 88087 with flag 5606881/1025003
35.41/34.79	c cleaning 44993 clauses out of 90087 with flag 5841457/1071001
37.31/36.62	c cleaning 46034 clauses out of 92093 with flag 6084013/1118000
39.41/38.75	c cleaning 46986 clauses out of 94059 with flag 6350671/1166000
41.51/40.81	c cleaning 48019 clauses out of 96073 with flag 6607970/1215000
43.50/42.85	c cleaning 48949 clauses out of 98055 with flag 6863989/1265001
45.61/44.99	c cleaning 49977 clauses out of 100105 with flag 7123128/1316000
48.21/47.51	c cleaning 51058 clauses out of 102129 with flag 7398158/1368001
50.51/49.84	c cleaning 51994 clauses out of 104071 with flag 7668477/1421001
52.81/52.12	c cleaning 52996 clauses out of 106077 with flag 7936936/1475001
55.01/54.34	c cleaning 53990 clauses out of 108080 with flag 8205992/1530000
57.31/56.60	c cleaning 55034 clauses out of 110092 with flag 8477868/1586002
59.71/59.02	c cleaning 55988 clauses out of 112056 with flag 8763355/1643000
62.21/61.53	c cleaning 56983 clauses out of 114068 with flag 9041822/1701000
64.81/64.13	c cleaning 58014 clauses out of 116085 with flag 9322894/1760000
67.41/66.79	c cleaning 59004 clauses out of 118072 with flag 9605095/1820001
70.21/69.58	c cleaning 59985 clauses out of 120067 with flag 9895815/1881000
73.11/72.49	c cleaning 60987 clauses out of 122082 with flag 10200901/1943000
76.01/75.36	c cleaning 61989 clauses out of 124096 with flag 10499395/2006001
79.04/78.38	c cleaning 63031 clauses out of 126107 with flag 10808971/2070001
82.04/81.30	c cleaning 63983 clauses out of 128075 with flag 11110726/2135000
85.14/84.45	c cleaning 64995 clauses out of 130095 with flag 11436226/2201003
88.35/87.68	c cleaning 65974 clauses out of 132098 with flag 11761015/2268001
91.65/90.94	c cleaning 67000 clauses out of 134124 with flag 12086265/2336001
94.96/94.29	c cleaning 68042 clauses out of 136123 with flag 12412237/2405000
98.67/97.94	c cleaning 68996 clauses out of 138081 with flag 12751161/2475000
102.36/101.67	c cleaning 69992 clauses out of 140087 with flag 13092866/2546002
106.47/105.70	c cleaning 71033 clauses out of 142094 with flag 13442261/2618001
109.96/109.29	c cleaning 71969 clauses out of 144060 with flag 13783456/2691000
114.36/113.63	c cleaning 73005 clauses out of 146092 with flag 14139535/2765001
118.26/117.54	c cleaning 74010 clauses out of 148087 with flag 14488943/2840001
122.36/121.65	c cleaning 75025 clauses out of 150076 with flag 14850566/2916000
126.76/126.00	c cleaning 76007 clauses out of 152051 with flag 15224737/2993000
131.26/130.51	c cleaning 76989 clauses out of 154045 with flag 15594490/3071001
135.82/135.02	c cleaning 78003 clauses out of 156055 with flag 15953481/3150000
140.42/139.64	c cleaning 78992 clauses out of 158053 with flag 16331070/3230001
144.92/144.20	c cleaning 79985 clauses out of 160061 with flag 16710387/3311001
149.82/149.09	c cleaning 81027 clauses out of 162075 with flag 17095645/3393000
154.52/153.71	c cleaning 82011 clauses out of 164049 with flag 17476674/3476001
159.42/158.69	c cleaning 82981 clauses out of 166037 with flag 17869895/3560000
164.62/163.89	c cleaning 83988 clauses out of 168059 with flag 18269504/3645003
169.62/168.86	c cleaning 84990 clauses out of 170069 with flag 18655747/3731001
175.21/174.40	c cleaning 86008 clauses out of 172078 with flag 19053402/3818000
180.41/179.65	c cleaning 87005 clauses out of 174070 with flag 19445819/3906000
185.91/185.16	c cleaning 88019 clauses out of 176065 with flag 19859659/3995000
191.61/190.82	c cleaning 88989 clauses out of 178046 with flag 20256970/4085000
197.41/196.62	c cleaning 89994 clauses out of 180057 with flag 20664742/4176000
202.97/202.15	c cleaning 90980 clauses out of 182063 with flag 21069960/4268000
209.07/208.21	c cleaning 92011 clauses out of 184083 with flag 21495224/4361000
214.67/213.83	c cleaning 93026 clauses out of 186074 with flag 21909987/4455002
220.77/219.93	c cleaning 93979 clauses out of 188046 with flag 22330648/4550000
226.67/225.86	c cleaning 95017 clauses out of 190068 with flag 22762227/4646001
233.37/232.54	c cleaning 95992 clauses out of 192051 with flag 23206548/4743001
240.36/239.53	c cleaning 96994 clauses out of 194059 with flag 23644593/4841001
247.46/246.63	c cleaning 97989 clauses out of 196065 with flag 24090024/4940001
254.16/253.35	c cleaning 99007 clauses out of 198076 with flag 24540501/5040001
260.96/260.15	c cleaning 100019 clauses out of 200068 with flag 24985367/5141000
267.37/266.57	c cleaning 100981 clauses out of 202049 with flag 25420050/5243000
274.73/273.84	c cleaning 101995 clauses out of 204069 with flag 25876876/5346001
281.73/280.86	c cleaning 102991 clauses out of 206074 with flag 26331411/5450001
288.73/287.89	c cleaning 104018 clauses out of 208082 with flag 26781060/5555000
295.84/294.97	c cleaning 104995 clauses out of 210064 with flag 27238362/5661000
303.83/303.00	c cleaning 106011 clauses out of 212073 with flag 27710346/5768004
311.84/310.94	c cleaning 106990 clauses out of 214059 with flag 28171413/5876001
319.34/318.45	c cleaning 108010 clauses out of 216069 with flag 28635068/5985001
326.74/325.88	c cleaning 108995 clauses out of 218059 with flag 29099540/6095001
334.34/333.42	c cleaning 109992 clauses out of 220064 with flag 29575098/6206001
342.44/341.51	c cleaning 111000 clauses out of 222071 with flag 30055751/6318000
350.61/349.66	c cleaning 112005 clauses out of 224071 with flag 30536477/6431000
359.01/358.09	c cleaning 113005 clauses out of 226066 with flag 31021913/6545000
367.71/366.79	c cleaning 114013 clauses out of 228062 with flag 31529706/6660001
376.51/375.53	c cleaning 115004 clauses out of 230048 with flag 32028814/6776000
385.31/384.35	c cleaning 115983 clauses out of 232044 with flag 32531016/6893000
393.82/392.88	c cleaning 117015 clauses out of 234062 with flag 33022319/7011001
402.91/401.98	c cleaning 118000 clauses out of 236046 with flag 33516556/7130000
411.81/410.88	c cleaning 118993 clauses out of 238047 with flag 34014617/7250001
421.02/420.09	c cleaning 119971 clauses out of 240053 with flag 34521624/7371000
430.10/429.01	c cleaning 121012 clauses out of 242082 with flag 35015350/7493000
439.19/438.14	c cleaning 122000 clauses out of 244070 with flag 35526635/7616000
449.39/448.30	c cleaning 122999 clauses out of 246072 with flag 36055369/7740002
458.99/457.95	c cleaning 124026 clauses out of 248072 with flag 36580193/7865001
468.19/467.19	c cleaning 124980 clauses out of 250045 with flag 37094081/7991000
478.19/477.13	c cleaning 126008 clauses out of 252067 with flag 37617296/8118002
488.40/487.35	c cleaning 126999 clauses out of 254057 with flag 38149608/8246000
498.89/497.86	c cleaning 128005 clauses out of 256058 with flag 38700183/8375000
509.31/508.20	c cleaning 129012 clauses out of 258055 with flag 39228082/8505002
520.42/519.27	c cleaning 129982 clauses out of 260041 with flag 39769687/8636000
531.21/530.05	c cleaning 131018 clauses out of 262059 with flag 40315676/8768000
542.21/541.07	c cleaning 132006 clauses out of 264041 with flag 40868847/8901000
553.21/552.07	c cleaning 132989 clauses out of 266035 with flag 41418144/9035000
564.01/562.87	c cleaning 134010 clauses out of 268047 with flag 41983414/9170001
575.61/574.41	c cleaning 134991 clauses out of 270036 with flag 42550188/9306000
586.63/585.32	c cleaning 135998 clauses out of 272047 with flag 43099584/9443002
598.23/596.91	c cleaning 137007 clauses out of 274047 with flag 43650492/9581000
608.93/607.67	c cleaning 137995 clauses out of 276042 with flag 44191120/9720002
620.93/619.67	c cleaning 139009 clauses out of 278045 with flag 44748429/9860000
632.63/631.37	c cleaning 139973 clauses out of 280036 with flag 45316904/10001000
645.52/644.26	c cleaning 141014 clauses out of 282064 with flag 45911600/10143001
657.22/655.97	c cleaning 141989 clauses out of 284050 with flag 46472902/10286001
669.36/667.94	c cleaning 142998 clauses out of 286060 with flag 47047111/10430000
682.06/680.68	c cleaning 144015 clauses out of 288063 with flag 47635019/10575001
694.96/693.54	c cleaning 145004 clauses out of 290048 with flag 48230667/10721001
707.77/706.31	c cleaning 145990 clauses out of 292043 with flag 48803014/10868000
720.77/719.33	c cleaning 147004 clauses out of 294053 with flag 49395866/11016000
734.27/732.80	c cleaning 147992 clauses out of 296049 with flag 49984908/11165000
746.97/745.57	c cleaning 149015 clauses out of 298057 with flag 50561037/11315000
759.18/757.64	c cleaning 149990 clauses out of 300044 with flag 51135293/11466002
771.88/770.38	c cleaning 151011 clauses out of 302052 with flag 51715180/11618000
785.58/784.04	c cleaning 152003 clauses out of 304042 with flag 52311215/11771001
798.88/797.34	c cleaning 152985 clauses out of 306039 with flag 52908813/11925001
812.88/811.32	c cleaning 154001 clauses out of 308054 with flag 53516262/12080001
826.59/825.10	c cleaning 155000 clauses out of 310052 with flag 54117876/12236000
841.23/839.69	c cleaning 156017 clauses out of 312053 with flag 54723505/12393001
855.14/853.59	c cleaning 156993 clauses out of 314037 with flag 55334489/12551002
871.64/870.06	c cleaning 158017 clauses out of 316043 with flag 55967043/12710001
887.94/886.35	c cleaning 158990 clauses out of 318025 with flag 56611280/12870000
902.44/900.85	c cleaning 159998 clauses out of 320035 with flag 57233203/13031000
918.44/916.73	c cleaning 160981 clauses out of 322037 with flag 57853674/13193000
934.24/932.51	c cleaning 162009 clauses out of 324059 with flag 58485679/13356003
949.53/947.82	c cleaning 163015 clauses out of 326047 with flag 59108567/13520000
965.34/963.62	c cleaning 163994 clauses out of 328033 with flag 59753391/13685001
980.13/978.42	c cleaning 165015 clauses out of 330038 with flag 60374933/13851000
994.94/993.27	c cleaning 165998 clauses out of 332024 with flag 60992483/14018001
1010.71/1008.94	c cleaning 166985 clauses out of 334025 with flag 61629353/14186000
1026.11/1024.37	c cleaning 168007 clauses out of 336041 with flag 62263185/14355001
1041.12/1039.38	c cleaning 168993 clauses out of 338035 with flag 62890850/14525002
1056.82/1055.09	c cleaning 170013 clauses out of 340040 with flag 63516966/14696000
1072.61/1070.87	c cleaning 171001 clauses out of 342027 with flag 64158178/14868000
1089.51/1087.62	c cleaning 171986 clauses out of 344028 with flag 64801131/15041002
1104.71/1102.86	c cleaning 173006 clauses out of 346040 with flag 65431283/15215000
1122.61/1120.79	c cleaning 174000 clauses out of 348034 with flag 66083146/15390000
1138.71/1136.89	c cleaning 175000 clauses out of 350035 with flag 66721431/15566001
1154.51/1152.67	c cleaning 176012 clauses out of 352034 with flag 67346442/15743000
1172.29/1170.35	c cleaning 176988 clauses out of 354022 with flag 68003407/15921000
1188.91/1186.97	c cleaning 177985 clauses out of 356034 with flag 68653626/16100000
1205.70/1203.75	c cleaning 179000 clauses out of 358050 with flag 69316149/16280001
1222.80/1220.88	c cleaning 179996 clauses out of 360049 with flag 69972327/16461000
1238.81/1236.77	c cleaning 180996 clauses out of 362053 with flag 70607001/16643000
1255.51/1253.49	c cleaning 182000 clauses out of 364058 with flag 71276318/16826001
1271.62/1269.53	c cleaning 183017 clauses out of 366058 with flag 71925822/17010001
1290.62/1288.58	c cleaning 184002 clauses out of 368041 with flag 72614334/17195001
1310.72/1308.63	c cleaning 184998 clauses out of 370039 with flag 73289286/17381001
1330.51/1328.34	c cleaning 185995 clauses out of 372041 with flag 73976246/17568001
1350.11/1347.96	c cleaning 187005 clauses out of 374045 with flag 74667323/17756000
1369.31/1367.10	c cleaning 188012 clauses out of 376041 with flag 75360058/17945001
1387.91/1385.74	c cleaning 189008 clauses out of 378028 with flag 76047850/18135000
1407.08/1404.74	c cleaning 189984 clauses out of 380021 with flag 76733027/18326001
1426.08/1423.71	c cleaning 191006 clauses out of 382037 with flag 77427513/18518001
1443.68/1441.33	c cleaning 192002 clauses out of 384032 with flag 78111439/18711002
1462.28/1459.97	c cleaning 192999 clauses out of 386029 with flag 78804033/18905001
1481.30/1478.80	c cleaning 193992 clauses out of 388030 with flag 79498732/19100001
1498.80/1496.38	c cleaning 194994 clauses out of 390037 with flag 80182470/19296000
1516.90/1514.47	c cleaning 196015 clauses out of 392044 with flag 80871659/19493001
1537.20/1534.74	c cleaning 197002 clauses out of 394028 with flag 81585475/19691000
1556.45/1553.80	c cleaning 197998 clauses out of 396027 with flag 82275216/19890001
1576.75/1574.15	c cleaning 198999 clauses out of 398029 with flag 82982020/20090001
1598.34/1595.77	c cleaning 200004 clauses out of 400029 with flag 83704801/20291000
1619.84/1617.29	c cleaning 200994 clauses out of 402025 with flag 84439700/20493000
1641.30/1638.56	c cleaning 201995 clauses out of 404032 with flag 85173127/20696001
1661.21/1658.42	c cleaning 203001 clauses out of 406038 with flag 85886019/20900002
1681.01/1678.29	c cleaning 204006 clauses out of 408035 with flag 86607273/21105000
1702.31/1699.50	c cleaning 204996 clauses out of 410029 with flag 87332467/21311000
1722.21/1719.37	c cleaning 205994 clauses out of 412034 with flag 88064195/21518001
1743.61/1740.74	c cleaning 206993 clauses out of 414039 with flag 88792636/21726000
1764.21/1761.38	c cleaning 208016 clauses out of 416046 with flag 89535652/21935000
1784.98/1782.06	c cleaning 209003 clauses out of 418030 with flag 90278809/22145000
1800.07/1797.10	c starts		: 13009
1800.07/1797.10	c conflicts		: 22312409
1800.07/1797.10	c decisions		: 31489790
1800.07/1797.10	c timeout
1800.07/1797.10	c propagations		: 238937153
1800.07/1797.10	c inspects		: 42369902045
1800.07/1797.10	c shortcuts		: 0
1800.07/1797.10	c learnt literals	: 0
1800.07/1797.10	c learnt binary clauses	: 0
1800.07/1797.10	c learnt ternary clauses	: 0
1800.07/1797.10	c learnt constraints	: 22312409
1800.07/1797.10	c ignored constraints	: 0
1800.07/1797.10	c root simplifications	: 0
1800.07/1797.10	c removed literals (reason simplification)	: 0
1800.07/1797.10	c reason swapping (by a shorter reason)	: 0
1800.07/1797.10	c Calls to reduceDB	: 206
1800.07/1797.10	c Number of update (reduction) of LBD	: 5053322
1800.07/1797.10	c Imported unit clauses	: 0
1800.07/1797.10	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.10	c number of learned constraints concerned by reduction	: 0
1800.07/1797.10	c number of learning phase by resolution	: 0
1800.07/1797.10	c number of learning phase by cutting planes	: 0
1800.07/1797.10	c speed (assignments/second)	: 132973.349917635
1800.07/1797.10	c non guided choices	2518351
1800.07/1797.13	c learnt constraints type 
1800.07/1797.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 376436
1800.07/1797.13	s UNKNOWN
1800.07/1797.13	c Total wall clock time (in seconds): 1797.026

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-4088683-1466010420/watcher-4088683-1466010420 -o /tmp/evaluation-result-4088683-1466010420/solver-4088683-1466010420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4982 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4088683-1466010420.opb 

pid=5797
running on 4 cores: 0,2,4,6

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.07 2.00 3/194 5800
/proc/meminfo: memFree=31220412/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3091937 98570240 977 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 24065 977 743 9 0 16771 0
[pid=5800/tid=5801] ppid=5797 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 3091937 98570240 977 33554432000 1073741824 1073778376 140736296732224 139698690141736 224922518912 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.07 2.07 2.00 3/194 5800
/proc/meminfo: memFree=31220412/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 4401 0 1 0 9 1 0 0 20 0 18 0 3091937 9787879424 6036 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2389619 6036 2125 9 0 2380296 0
[pid=5800/tid=5801] ppid=5797 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2378 0 1 0 7 0 0 0 20 0 18 0 3091937 9787879424 6036 33554432000 1073741824 1073778376 140736296732224 139698690145184 224925902093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200309 s]
/proc/loadavg: 2.07 2.07 2.00 3/194 5800
/proc/meminfo: memFree=31220412/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 4688 0 1 0 25 1 0 0 20 0 18 0 3091937 9787879424 8813 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2389619 8813 2204 9 0 2380296 0
[pid=5800/tid=5801] ppid=5797 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2398 0 1 0 17 0 0 0 20 0 18 0 3091937 9787879424 8813 33554432000 1073741824 1073778376 140736296732224 139698690145184 139698697911120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.30032 s]
/proc/loadavg: 2.07 2.07 2.00 3/194 5800
/proc/meminfo: memFree=31220412/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 8492 0 1 0 53 1 0 0 20 0 19 0 3091937 9856040960 12618 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 12618 2240 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2418 0 1 0 27 0 0 0 20 0 19 0 3091937 9856040960 12618 33554432000 1073741824 1073778376 140736296732224 139698690146944 139698697297752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700247 s]
/proc/loadavg: 2.07 2.07 2.00 3/194 5800
/proc/meminfo: memFree=31220412/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 10857 0 1 0 132 2 0 0 20 0 19 0 3091937 9856040960 13299 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 13299 2256 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2419 0 1 0 67 0 0 0 20 0 19 0 3091937 9856040960 13299 33554432000 1073741824 1073778376 140736296732224 139698690146792 139698526285615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.07 2.07 2.00 3/213 5819
/proc/meminfo: memFree=31172732/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 10863 0 1 0 215 2 0 0 20 0 19 0 3091937 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 14326 2258 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2422 0 1 0 147 0 0 0 20 0 19 0 3091937 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698690137792 139698526362771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5803] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5803/stat : 5803 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698651638824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5804] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5804/stat : 5804 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698650586024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5805] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5805/stat : 5805 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698649533224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5806] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5806/stat : 5806 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698648480424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5807] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5807/stat : 5807 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698647427624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5808] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5808/stat : 5808 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698646374824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5809] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5809/stat : 5809 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698645322024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5810] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5810/stat : 5810 (java) S 5797 5800 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698644269224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5811] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5811/stat : 5811 (java) S 5797 5800 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3091939 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698514336744 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/5800/task/5816/stat : 5816 (java) S 5797 5800 4966 0 -1 4202560 3479 0 0 0 34 0 0 0 20 0 19 0 3091942 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139697636501816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5817] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5817/stat : 5817 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139697635449208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5818] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5818/stat : 5818 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139697634396616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5819] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5819/stat : 5819 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091959 9856040960 14326 33554432000 1073741824 1073778376 140736296732224 139697633343144 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.06 2.06 2.00 3/213 5819
/proc/meminfo: memFree=31166192/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 10868 0 1 0 374 2 0 0 20 0 19 0 3091937 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 16886 2258 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2427 0 1 0 306 1 0 0 20 0 19 0 3091937 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698690137792 139698526295614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5803] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5803/stat : 5803 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698651638824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5804] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5804/stat : 5804 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698650586024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5805] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5805/stat : 5805 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698649533224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5806] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5806/stat : 5806 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698648480424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5807] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5807/stat : 5807 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698647427624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5808] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5808/stat : 5808 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698646374824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5809] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5809/stat : 5809 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698645322024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5810] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5810/stat : 5810 (java) S 5797 5800 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698644269224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5811] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5811/stat : 5811 (java) S 5797 5800 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3091939 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698514336744 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/5800/task/5816/stat : 5816 (java) S 5797 5800 4966 0 -1 4202560 3479 0 0 0 34 0 0 0 20 0 19 0 3091942 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139697636501816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5817] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5817/stat : 5817 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139697635449208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5818] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5818/stat : 5818 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139697634396616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5819] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5819/stat : 5819 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091959 9856040960 16886 33554432000 1073741824 1073778376 140736296732224 139697633343144 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.06 2.06 2.00 3/213 5819
/proc/meminfo: memFree=31148268/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=6.96 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 10877 0 1 0 694 2 0 0 20 0 19 0 3091937 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 20231 2259 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2435 0 1 0 626 1 0 0 20 0 19 0 3091937 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698690137792 139698526253934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5803] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5803/stat : 5803 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698651638824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5804] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5804/stat : 5804 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698650586024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5805] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5805/stat : 5805 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698649533224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5806] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5806/stat : 5806 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698648480424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5807] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5807/stat : 5807 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698647427624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5808] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5808/stat : 5808 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698646374824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5809] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5809/stat : 5809 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698645322024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5810] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5810/stat : 5810 (java) S 5797 5800 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3091938 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698644269224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5811] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5811/stat : 5811 (java) S 5797 5800 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3091939 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698514336744 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 20231 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.34 cores=0,2,4,6

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

[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/5800/task/5816/stat : 5816 (java) S 5797 5800 4966 0 -1 4202560 3484 0 0 0 38 0 0 0 20 0 19 0 3091942 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139697636501816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5817] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5817/stat : 5817 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139697635449208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5818] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5818/stat : 5818 (java) S 5797 5800 4966 0 -1 4202560 100 0 0 0 20 19 0 0 20 0 19 0 3091942 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139697634396616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5819] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5819/stat : 5819 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091959 9856040960 107300 33554432000 1073741824 1073778376 140736296732224 139697633343144 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.2
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 5992
/proc/meminfo: memFree=30755360/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=1785.27 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 13175 0 1 0 178479 48 0 0 20 0 19 0 3091937 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 108019 2273 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=1781.47 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2500 0 1 0 178117 30 0 0 20 0 19 0 3091937 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698690145472 139698526362771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5803] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5803/stat : 5803 (java) S 5797 5800 4966 0 -1 4202560 225 0 0 0 36 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698651638824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5804] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5804/stat : 5804 (java) S 5797 5800 4966 0 -1 4202560 329 0 0 0 27 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698650586024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5805] ppid=5797 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5800/task/5805/stat : 5805 (java) S 5797 5800 4966 0 -1 4202560 401 0 0 0 37 5 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698649533224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5806] ppid=5797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5800/task/5806/stat : 5806 (java) S 5797 5800 4966 0 -1 4202560 187 0 0 0 33 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698648480424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5807] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5807/stat : 5807 (java) S 5797 5800 4966 0 -1 4202560 151 0 0 0 35 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698647427624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5808] ppid=5797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5800/task/5808/stat : 5808 (java) S 5797 5800 4966 0 -1 4202560 351 0 0 0 34 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698646374824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5809] ppid=5797 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/5800/task/5809/stat : 5809 (java) S 5797 5800 4966 0 -1 4202560 283 0 0 0 35 5 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698645322024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5810] ppid=5797 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5800/task/5810/stat : 5810 (java) S 5797 5800 4966 0 -1 4202560 135 0 0 0 33 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698644269224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5811] ppid=5797 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5800/task/5811/stat : 5811 (java) S 5797 5800 4966 0 -1 4202560 77 0 0 0 1 1 0 0 20 0 19 0 3091939 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698514336744 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/5800/task/5816/stat : 5816 (java) S 5797 5800 4966 0 -1 4202560 3484 0 0 0 38 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697636501816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5817] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5817/stat : 5817 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697635449208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5818] ppid=5797 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/5800/task/5818/stat : 5818 (java) S 5797 5800 4966 0 -1 4202560 104 0 0 0 21 19 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697634396616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5819] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5819/stat : 5819 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091959 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697633343144 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.27
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 5992
/proc/meminfo: memFree=30743760/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 13175 0 1 0 179959 48 0 0 20 0 19 0 3091937 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 108019 2273 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=1796.28 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2500 0 1 0 179598 30 0 0 20 0 19 0 3091937 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698690137792 139698526253728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5803] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5803/stat : 5803 (java) S 5797 5800 4966 0 -1 4202560 225 0 0 0 36 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698651638824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5804] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5804/stat : 5804 (java) S 5797 5800 4966 0 -1 4202560 329 0 0 0 27 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698650586024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5805] ppid=5797 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5800/task/5805/stat : 5805 (java) S 5797 5800 4966 0 -1 4202560 401 0 0 0 37 5 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698649533224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5806] ppid=5797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5800/task/5806/stat : 5806 (java) S 5797 5800 4966 0 -1 4202560 187 0 0 0 33 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698648480424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5807] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5807/stat : 5807 (java) S 5797 5800 4966 0 -1 4202560 151 0 0 0 35 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698647427624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5808] ppid=5797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5800/task/5808/stat : 5808 (java) S 5797 5800 4966 0 -1 4202560 351 0 0 0 34 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698646374824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5809] ppid=5797 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/5800/task/5809/stat : 5809 (java) S 5797 5800 4966 0 -1 4202560 283 0 0 0 35 5 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698645322024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5810] ppid=5797 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5800/task/5810/stat : 5810 (java) S 5797 5800 4966 0 -1 4202560 135 0 0 0 33 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698644269224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5811] ppid=5797 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5800/task/5811/stat : 5811 (java) S 5797 5800 4966 0 -1 4202560 77 0 0 0 1 1 0 0 20 0 19 0 3091939 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698514336744 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/5800/task/5816/stat : 5816 (java) S 5797 5800 4966 0 -1 4202560 3484 0 0 0 38 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697636501816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5817] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5817/stat : 5817 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697635449208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5818] ppid=5797 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/5800/task/5818/stat : 5818 (java) S 5797 5800 4966 0 -1 4202560 104 0 0 0 21 20 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697634396616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5819] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5819/stat : 5819 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091959 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697633343144 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 5800 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 5992
/proc/meminfo: memFree=30743760/32872528 swapFree=162364/176672
[pid=5800] ppid=5797 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/5800/stat : 5800 (java) S 5797 5800 4966 0 -1 4202496 13175 0 1 0 179959 48 0 0 20 0 19 0 3091937 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 140736296723360 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5800/statm: 2406260 108019 2273 9 0 2396937 0
[pid=5800/tid=5801] ppid=5797 vsize=9625040 CPUtime=1796.28 cores=0,2,4,6
/proc/5800/task/5801/stat : 5801 (java) R 5797 5800 4966 0 -1 4202560 2500 0 1 0 179598 30 0 0 20 0 19 0 3091937 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698690137792 139698526253728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5803] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5803/stat : 5803 (java) S 5797 5800 4966 0 -1 4202560 225 0 0 0 36 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698651638824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5804] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5804/stat : 5804 (java) S 5797 5800 4966 0 -1 4202560 329 0 0 0 27 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698650586024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5805] ppid=5797 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5800/task/5805/stat : 5805 (java) S 5797 5800 4966 0 -1 4202560 401 0 0 0 37 5 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698649533224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5806] ppid=5797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5800/task/5806/stat : 5806 (java) S 5797 5800 4966 0 -1 4202560 187 0 0 0 33 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698648480424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5807] ppid=5797 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5800/task/5807/stat : 5807 (java) S 5797 5800 4966 0 -1 4202560 151 0 0 0 35 4 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698647427624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5808] ppid=5797 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5800/task/5808/stat : 5808 (java) S 5797 5800 4966 0 -1 4202560 351 0 0 0 34 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698646374824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5809] ppid=5797 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/5800/task/5809/stat : 5809 (java) S 5797 5800 4966 0 -1 4202560 283 0 0 0 35 5 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698645322024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5800/tid=5810] ppid=5797 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5800/task/5810/stat : 5810 (java) S 5797 5800 4966 0 -1 4202560 135 0 0 0 33 3 0 0 20 0 19 0 3091938 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698644269224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5811] ppid=5797 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5800/task/5811/stat : 5811 (java) S 5797 5800 4966 0 -1 4202560 77 0 0 0 1 1 0 0 20 0 19 0 3091939 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698514336744 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5812] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5812/stat : 5812 (java) S 5797 5800 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698513282808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5813] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5813/stat : 5813 (java) S 5797 5800 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3091940 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698512229896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5814] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5814/stat : 5814 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698511178384 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5815] ppid=5797 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5800/task/5815/stat : 5815 (java) S 5797 5800 4966 0 -1 4202560 3689 0 0 0 31 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139698510125496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5800/tid=5816] ppid=5797 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/5800/task/5816/stat : 5816 (java) S 5797 5800 4966 0 -1 4202560 3484 0 0 0 38 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697636501816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5817] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5817/stat : 5817 (java) S 5797 5800 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697635449208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5800/tid=5818] ppid=5797 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/5800/task/5818/stat : 5818 (java) S 5797 5800 4966 0 -1 4202560 104 0 0 0 21 20 0 0 20 0 19 0 3091942 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697634396616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5800/tid=5819] ppid=5797 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5800/task/5819/stat : 5819 (java) S 5797 5800 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3091959 9856040960 108019 33554432000 1073741824 1073778376 140736296732224 139697633343144 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1797.14
CPU time (s): 1800.72
CPU user time (s): 1799.76
CPU system time (s): 0.962853
CPU usage (%): 100.199
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.962853
maximum resident set size= 434276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13221
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38591
involuntary context switches= 7518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1843 second user time and 12.0022 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-15 19:07:00
IDJOB=4088683
IDBENCH=107298
IDSOLVER=2546
FILE ID=node105/4088683-1466010420
RUNJOBID= node105-1466009078-4982
PBS_JOBID= 19902809
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088683-1466010420/watcher-4088683-1466010420 -o /tmp/evaluation-result-4088683-1466010420/solver-4088683-1466010420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4982 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4088683-1466010420.opb

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

MD5SUM BENCH= d001c128c188d58459ae32050123e31b
RANDOM SEED=1447777519

node105.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.561
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	: 5333.12
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.561
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.561
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.561
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.561
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31221212 kB
Buffers:           64380 kB
Cached:           336588 kB
SwapCached:            0 kB
Active:           445224 kB
Inactive:         318480 kB
Active(anon):     365304 kB
Inactive(anon):        0 kB
Active(file):      79920 kB
Inactive(file):   318480 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:        559644 kB
Mapped:            21968 kB
Shmem:               204 kB
Slab:             571896 kB
SReclaimable:      15432 kB
SUnreclaim:       556464 kB
KernelStack:        1760 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     889816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    376832 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= 71748 MiB
End job on node105 at 2016-06-15 19:36:57