Trace number 4088704

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.59 1797.04

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
MD5SUM38bf2d4a09a989ac45f5356b157fbb11
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 benchmark659.6
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1501
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
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.03/0.36	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.03/0.36	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.36	c See www.sat4j.org for details.
0.03/0.36	c version PB16.v20160501
0.03/0.37	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.37	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.37	c java.vm.version	19.1-b02
0.03/0.37	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.37	c sun.arch.data.model	64
0.03/0.37	c java.version		1.6.0_24
0.03/0.37	c os.name		Linux
0.03/0.37	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.37	c os.arch		amd64
0.03/0.37	c Free memory 		501472288
0.03/0.37	c Max memory 		7480803328
0.03/0.37	c Total memory 		504102912
0.03/0.37	c Number of processors 	8
0.13/0.40	c Pseudo Boolean Optimization by upper bound
0.13/0.40	c --- Begin Solver configuration ---
0.13/0.40	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.13/0.40	c Learn all clauses as in MiniSAT
0.13/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.40	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.40	c No reason simplification
0.13/0.40	c Glucose 2.1 dynamic restart strategy
0.13/0.40	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.13/0.40	c timeout=2147483s
0.13/0.40	c DB Simplification allowed=false
0.13/0.40	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.13/0.40	c --- End Solver configuration ---
0.13/0.40	c solving HOME/instance-4088704-1466012073.opb
0.13/0.40	c reading problem ... 
0.13/0.40	c  no objective function found
0.28/0.51	c ... done. Wall clock time 0.117s.
0.28/0.51	c declared #vars     1501
0.28/0.51	c #constraints  1502
0.28/0.51	c constraints type 
0.28/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 1500
0.28/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.28/0.51	c 1502 constraints processed.
0.80/0.78	c cleaning 2489 clauses out of 5000 with flag 20258/5000
1.26/0.90	c cleaning 4239 clauses out of 8513 with flag 46012/11002
1.38/1.03	c cleaning 5600 clauses out of 11272 with flag 83767/18000
1.49/1.16	c cleaning 6818 clauses out of 13674 with flag 125577/26002
1.70/1.37	c cleaning 7905 clauses out of 15854 with flag 179919/35000
1.90/1.59	c cleaning 8918 clauses out of 17951 with flag 241147/45002
2.22/1.80	c cleaning 9987 clauses out of 20033 with flag 304868/56002
2.42/2.06	c cleaning 10999 clauses out of 22044 with flag 376598/68000
2.82/2.41	c cleaning 11980 clauses out of 24045 with flag 456994/81000
3.02/2.69	c cleaning 12966 clauses out of 26065 with flag 532518/95000
3.42/3.01	c cleaning 14027 clauses out of 28099 with flag 616701/110000
3.73/3.35	c cleaning 14963 clauses out of 30074 with flag 709467/126002
4.12/3.74	c cleaning 15955 clauses out of 32109 with flag 802955/143000
4.62/4.26	c cleaning 17008 clauses out of 34154 with flag 909803/161000
5.12/4.74	c cleaning 18005 clauses out of 36146 with flag 1023642/180000
5.63/5.20	c cleaning 19039 clauses out of 38142 with flag 1137000/200001
6.13/5.71	c cleaning 20040 clauses out of 40104 with flag 1255436/221002
6.63/6.21	c cleaning 20973 clauses out of 42062 with flag 1376142/243000
7.23/6.88	c cleaning 21976 clauses out of 44090 with flag 1510455/266001
7.83/7.44	c cleaning 22953 clauses out of 46113 with flag 1649491/290000
8.43/8.05	c cleaning 23996 clauses out of 48161 with flag 1790242/315001
9.13/8.71	c cleaning 25025 clauses out of 50164 with flag 1940638/341000
9.83/9.46	c cleaning 26044 clauses out of 52140 with flag 2094431/368001
10.63/10.23	c cleaning 27006 clauses out of 54095 with flag 2257596/396000
11.54/11.16	c cleaning 27990 clauses out of 56089 with flag 2419603/425000
12.33/11.94	c cleaning 28953 clauses out of 58099 with flag 2576548/455000
13.33/12.91	c cleaning 30051 clauses out of 60148 with flag 2746169/486002
14.23/13.85	c cleaning 30979 clauses out of 62095 with flag 2921030/518000
15.23/14.85	c cleaning 31986 clauses out of 64118 with flag 3099067/551002
16.23/15.81	c cleaning 33001 clauses out of 66130 with flag 3272208/585000
17.23/16.86	c cleaning 33986 clauses out of 68129 with flag 3468045/620000
18.23/17.88	c cleaning 35042 clauses out of 70143 with flag 3658332/656000
19.44/19.06	c cleaning 35976 clauses out of 72102 with flag 3856880/693001
20.73/20.30	c cleaning 37044 clauses out of 74125 with flag 4059071/731000
21.93/21.55	c cleaning 38030 clauses out of 76083 with flag 4264074/770002
23.33/22.91	c cleaning 38948 clauses out of 78051 with flag 4469067/810000
24.65/24.25	c cleaning 40034 clauses out of 80103 with flag 4684586/851000
26.16/25.71	c cleaning 41010 clauses out of 82070 with flag 4911650/893001
27.46/27.04	c cleaning 41974 clauses out of 84061 with flag 5136870/936002
28.86/28.45	c cleaning 43032 clauses out of 86085 with flag 5352456/980000
30.46/30.01	c cleaning 44008 clauses out of 88054 with flag 5577557/1025001
32.16/31.70	c cleaning 44948 clauses out of 90046 with flag 5816007/1071001
33.67/33.21	c cleaning 45977 clauses out of 92098 with flag 6046004/1118001
35.37/34.94	c cleaning 47052 clauses out of 94121 with flag 6286344/1166001
37.27/36.89	c cleaning 47976 clauses out of 96068 with flag 6538017/1215000
39.56/39.11	c cleaning 49035 clauses out of 98092 with flag 6795500/1265000
41.36/40.99	c cleaning 49964 clauses out of 100058 with flag 7051521/1316001
43.26/42.84	c cleaning 50969 clauses out of 102094 with flag 7309041/1368001
45.26/44.87	c cleaning 52008 clauses out of 104124 with flag 7572316/1421000
47.36/46.92	c cleaning 53023 clauses out of 106117 with flag 7835788/1475001
49.36/48.99	c cleaning 54024 clauses out of 108093 with flag 8102758/1530000
51.66/51.21	c cleaning 54983 clauses out of 110070 with flag 8388708/1586001
54.06/53.67	c cleaning 55993 clauses out of 112087 with flag 8675593/1643001
56.36/55.97	c cleaning 57014 clauses out of 114093 with flag 8956643/1701000
58.96/58.56	c cleaning 58002 clauses out of 116080 with flag 9257144/1760001
61.46/61.02	c cleaning 58990 clauses out of 118079 with flag 9542103/1820002
65.06/64.60	c cleaning 59994 clauses out of 120088 with flag 9850030/1881001
67.66/67.28	c cleaning 60997 clauses out of 122094 with flag 10153497/1943001
70.60/70.10	c cleaning 61989 clauses out of 124097 with flag 10460886/2006001
73.40/72.93	c cleaning 63019 clauses out of 126107 with flag 10771420/2070000
76.70/76.27	c cleaning 63978 clauses out of 128088 with flag 11105999/2135000
79.60/79.11	c cleaning 65021 clauses out of 130111 with flag 11417276/2201001
82.62/82.11	c cleaning 66017 clauses out of 132089 with flag 11741613/2268000
85.92/85.41	c cleaning 66980 clauses out of 134072 with flag 12073016/2336000
89.02/88.51	c cleaning 68036 clauses out of 136093 with flag 12403951/2405001
92.71/92.25	c cleaning 68962 clauses out of 138056 with flag 12749303/2475000
96.61/96.14	c cleaning 70027 clauses out of 140094 with flag 13096545/2546000
100.01/99.51	c cleaning 70991 clauses out of 142067 with flag 13448040/2618000
103.51/103.00	c cleaning 71990 clauses out of 144076 with flag 13787407/2691000
107.41/106.93	c cleaning 72993 clauses out of 146089 with flag 14133357/2765003
110.82/110.38	c cleaning 73989 clauses out of 148094 with flag 14476689/2840001
114.72/114.29	c cleaning 74995 clauses out of 150104 with flag 14827653/2916000
118.52/118.04	c cleaning 76007 clauses out of 152110 with flag 15183038/2993001
122.28/121.77	c cleaning 77018 clauses out of 154102 with flag 15540063/3071000
126.68/126.11	c cleaning 77984 clauses out of 156085 with flag 15910037/3150001
130.58/130.07	c cleaning 79006 clauses out of 158100 with flag 16277710/3230000
134.78/134.28	c cleaning 80001 clauses out of 160094 with flag 16655195/3311000
139.37/138.80	c cleaning 81005 clauses out of 162094 with flag 17034152/3393001
144.17/143.62	c cleaning 82008 clauses out of 164090 with flag 17419364/3476002
148.47/147.91	c cleaning 83007 clauses out of 166082 with flag 17802251/3560002
153.37/152.83	c cleaning 83981 clauses out of 168073 with flag 18197578/3645000
157.88/157.32	c cleaning 84986 clauses out of 170093 with flag 18581077/3731001
162.47/161.94	c cleaning 86024 clauses out of 172106 with flag 18971001/3818000
167.47/166.96	c cleaning 86979 clauses out of 174082 with flag 19373039/3906000
172.28/171.76	c cleaning 88012 clauses out of 176104 with flag 19771647/3995001
177.47/176.95	c cleaning 88998 clauses out of 178092 with flag 20189534/4085001
182.64/182.01	c cleaning 90021 clauses out of 180093 with flag 20603442/4176000
187.74/187.11	c cleaning 91014 clauses out of 182072 with flag 21013007/4268000
193.03/192.42	c cleaning 91989 clauses out of 184058 with flag 21435375/4361000
198.13/197.53	c cleaning 93001 clauses out of 186070 with flag 21849266/4455001
203.63/203.01	c cleaning 94022 clauses out of 188069 with flag 22276300/4550001
209.44/208.88	c cleaning 95005 clauses out of 190046 with flag 22709501/4646000
214.94/214.32	c cleaning 95988 clauses out of 192041 with flag 23140874/4743000
220.75/220.15	c cleaning 96987 clauses out of 194055 with flag 23566675/4841002
226.34/225.76	c cleaning 97993 clauses out of 196067 with flag 24000156/4940001
232.53/231.95	c cleaning 98986 clauses out of 198073 with flag 24441948/5040000
239.63/239.05	c cleaning 100034 clauses out of 200087 with flag 24895866/5141000
245.70/245.08	c cleaning 100998 clauses out of 202055 with flag 25340411/5243002
251.90/251.21	c cleaning 102018 clauses out of 204055 with flag 25789805/5346000
258.60/257.95	c cleaning 102975 clauses out of 206037 with flag 26264864/5450000
265.40/264.75	c cleaning 104018 clauses out of 208063 with flag 26715310/5555001
272.00/271.36	c cleaning 105013 clauses out of 210044 with flag 27175688/5661000
278.40/277.71	c cleaning 105973 clauses out of 212031 with flag 27631068/5768000
285.10/284.42	c cleaning 106989 clauses out of 214059 with flag 28097826/5876001
292.20/291.60	c cleaning 108006 clauses out of 216069 with flag 28566861/5985000
298.99/298.38	c cleaning 109019 clauses out of 218063 with flag 29039684/6095000
305.79/305.15	c cleaning 110001 clauses out of 220045 with flag 29508313/6206001
313.20/312.43	c cleaning 110996 clauses out of 222044 with flag 29994011/6318001
320.59/319.84	c cleaning 111978 clauses out of 224047 with flag 30478499/6431000
328.29/327.57	c cleaning 113010 clauses out of 226069 with flag 30958455/6545000
335.89/335.20	c cleaning 113991 clauses out of 228059 with flag 31449426/6660000
344.39/343.65	c cleaning 115008 clauses out of 230069 with flag 31946242/6776001
352.09/351.32	c cleaning 116004 clauses out of 232060 with flag 32434844/6893000
360.28/359.58	c cleaning 116995 clauses out of 234057 with flag 32939527/7011001
369.08/368.38	c cleaning 117996 clauses out of 236061 with flag 33438451/7130000
376.99/376.22	c cleaning 118999 clauses out of 238065 with flag 33922275/7250000
385.68/384.83	c cleaning 120002 clauses out of 240066 with flag 34434781/7371000
394.28/393.46	c cleaning 121022 clauses out of 242065 with flag 34953861/7493001
402.68/401.86	c cleaning 121982 clauses out of 244043 with flag 35462147/7616001
411.97/411.11	c cleaning 123007 clauses out of 246061 with flag 35986009/7740001
420.78/419.96	c cleaning 123977 clauses out of 248054 with flag 36504297/7865001
430.58/429.79	c cleaning 125002 clauses out of 250076 with flag 37032330/7991000
439.67/438.81	c cleaning 126000 clauses out of 252074 with flag 37550931/8118000
448.97/448.12	c cleaning 126995 clauses out of 254075 with flag 38079479/8246001
458.18/457.20	c cleaning 128025 clauses out of 256080 with flag 38605372/8375001
467.57/466.66	c cleaning 129012 clauses out of 258056 with flag 39142450/8505002
477.67/476.74	c cleaning 129987 clauses out of 260042 with flag 39686280/8636000
487.47/486.50	c cleaning 131010 clauses out of 262055 with flag 40229803/8768000
496.96/496.09	c cleaning 131985 clauses out of 264045 with flag 40761172/8901000
507.16/506.30	c cleaning 133012 clauses out of 266060 with flag 41305162/9035000
517.57/516.61	c cleaning 134002 clauses out of 268050 with flag 41866522/9170002
527.91/526.80	c cleaning 134987 clauses out of 270046 with flag 42412161/9306000
538.41/537.33	c cleaning 136010 clauses out of 272060 with flag 42965743/9443001
549.30/548.25	c cleaning 137010 clauses out of 274049 with flag 43537323/9581000
560.10/559.08	c cleaning 138008 clauses out of 276039 with flag 44107863/9720000
570.90/569.89	c cleaning 138983 clauses out of 278031 with flag 44656056/9860000
581.49/580.45	c cleaning 140001 clauses out of 280049 with flag 45216245/10001001
592.29/591.26	c cleaning 140990 clauses out of 282047 with flag 45773386/10143000
603.10/601.93	c cleaning 142016 clauses out of 284059 with flag 46335449/10286002
614.40/613.20	c cleaning 142986 clauses out of 286042 with flag 46906036/10430001
625.60/624.49	c cleaning 144004 clauses out of 288055 with flag 47468442/10575000
637.20/636.06	c cleaning 144988 clauses out of 290052 with flag 48038157/10721001
648.90/647.72	c cleaning 146001 clauses out of 292064 with flag 48619969/10868001
660.60/659.45	c cleaning 147023 clauses out of 294062 with flag 49198063/11016000
672.74/671.48	c cleaning 147993 clauses out of 296039 with flag 49779161/11165000
684.34/683.07	c cleaning 148973 clauses out of 298046 with flag 50351977/11315000
697.14/695.85	c cleaning 149996 clauses out of 300074 with flag 50950036/11466001
710.55/709.29	c cleaning 151002 clauses out of 302077 with flag 51556252/11618000
723.55/722.21	c cleaning 152006 clauses out of 304075 with flag 52149664/11771000
735.65/734.34	c cleaning 153028 clauses out of 306069 with flag 52737634/11925000
747.56/746.18	c cleaning 154006 clauses out of 308042 with flag 53330541/12080001
760.06/758.65	c cleaning 155004 clauses out of 310036 with flag 53931159/12236001
774.35/772.96	c cleaning 155986 clauses out of 312032 with flag 54560014/12393001
786.87/785.49	c cleaning 156989 clauses out of 314045 with flag 55154908/12551000
800.76/799.33	c cleaning 157982 clauses out of 316056 with flag 55774710/12710000
814.95/813.44	c cleaning 159001 clauses out of 318074 with flag 56386650/12870000
828.04/826.51	c cleaning 160008 clauses out of 320073 with flag 57002382/13031000
842.24/840.71	c cleaning 161004 clauses out of 322066 with flag 57631915/13193001
855.74/854.21	c cleaning 162011 clauses out of 324062 with flag 58251487/13356001
869.56/868.05	c cleaning 163009 clauses out of 326050 with flag 58879795/13520000
883.25/881.78	c cleaning 163989 clauses out of 328041 with flag 59511479/13685000
896.72/895.14	c cleaning 165008 clauses out of 330052 with flag 60128373/13851000
910.42/908.81	c cleaning 166001 clauses out of 332044 with flag 60757457/14018000
924.72/923.18	c cleaning 166996 clauses out of 334043 with flag 61391013/14186000
938.52/936.95	c cleaning 168004 clauses out of 336048 with flag 62014226/14355001
952.72/951.13	c cleaning 169009 clauses out of 338046 with flag 62649438/14525003
966.83/965.13	c cleaning 170008 clauses out of 340034 with flag 63276343/14696000
980.92/979.21	c cleaning 170979 clauses out of 342027 with flag 63909252/14868001
995.62/993.91	c cleaning 172002 clauses out of 344048 with flag 64554216/15041001
1010.03/1008.40	c cleaning 173011 clauses out of 346046 with flag 65210714/15215001
1025.05/1023.28	c cleaning 173995 clauses out of 348035 with flag 65862573/15390001
1041.05/1039.24	c cleaning 175015 clauses out of 350040 with flag 66519612/15566001
1056.04/1054.25	c cleaning 175975 clauses out of 352024 with flag 67162065/15743000
1071.15/1069.38	c cleaning 176998 clauses out of 354050 with flag 67830028/15921001
1087.56/1085.72	c cleaning 177991 clauses out of 356052 with flag 68501448/16100001
1102.53/1100.67	c cleaning 178999 clauses out of 358060 with flag 69154925/16280000
1117.44/1115.57	c cleaning 180010 clauses out of 360061 with flag 69811022/16461000
1134.23/1132.31	c cleaning 181001 clauses out of 362052 with flag 70486707/16643001
1149.93/1148.02	c cleaning 181997 clauses out of 364050 with flag 71145242/16826000
1165.74/1163.74	c cleaning 183017 clauses out of 366053 with flag 71815670/17010000
1181.44/1179.49	c cleaning 184005 clauses out of 368037 with flag 72490422/17195001
1197.74/1195.79	c cleaning 184990 clauses out of 370031 with flag 73172837/17381000
1213.44/1211.48	c cleaning 186011 clauses out of 372041 with flag 73851829/17568000
1231.57/1229.48	c cleaning 186996 clauses out of 374031 with flag 74564038/17756001
1247.48/1245.35	c cleaning 188012 clauses out of 376034 with flag 75232347/17945000
1263.77/1261.69	c cleaning 188991 clauses out of 378023 with flag 75915776/18135001
1279.79/1277.61	c cleaning 190004 clauses out of 380031 with flag 76591330/18326000
1295.92/1293.61	c cleaning 190994 clauses out of 382028 with flag 77278300/18518001
1312.31/1310.03	c cleaning 192001 clauses out of 384034 with flag 77965646/18711001
1329.11/1326.82	c cleaning 193009 clauses out of 386032 with flag 78657004/18905000
1346.10/1343.83	c cleaning 193998 clauses out of 388024 with flag 79345372/19100001
1362.51/1360.11	c cleaning 195005 clauses out of 390026 with flag 80035925/19296001
1378.91/1376.51	c cleaning 195981 clauses out of 392021 with flag 80734588/19493001
1396.51/1394.12	c cleaning 196997 clauses out of 394040 with flag 81450881/19691001
1412.91/1410.54	c cleaning 198013 clauses out of 396043 with flag 82168438/19890001
1429.96/1427.46	c cleaning 198990 clauses out of 398031 with flag 82888312/20090002
1447.36/1444.89	c cleaning 200003 clauses out of 400040 with flag 83623045/20291001
1465.15/1462.62	c cleaning 201001 clauses out of 402036 with flag 84350573/20493000
1482.83/1480.16	c cleaning 201994 clauses out of 404035 with flag 85067076/20696000
1499.93/1497.21	c cleaning 203007 clauses out of 406041 with flag 85787197/20900000
1519.43/1516.72	c cleaning 204002 clauses out of 408035 with flag 86517879/21105001
1537.25/1534.46	c cleaning 205004 clauses out of 410032 with flag 87256668/21311000
1555.25/1552.45	c cleaning 205999 clauses out of 412028 with flag 87990946/21518000
1574.65/1571.84	c cleaning 207005 clauses out of 414031 with flag 88752404/21726002
1592.05/1589.24	c cleaning 208002 clauses out of 416024 with flag 89495946/21935000
1610.22/1607.36	c cleaning 208989 clauses out of 418023 with flag 90233555/22145001
1628.83/1625.96	c cleaning 209997 clauses out of 420035 with flag 90972406/22356002
1649.63/1646.80	c cleaning 210995 clauses out of 422036 with flag 91747530/22568000
1669.89/1667.00	c cleaning 212013 clauses out of 424041 with flag 92522537/22781000
1687.69/1684.79	c cleaning 213001 clauses out of 426028 with flag 93276697/22995000
1705.90/1702.96	c cleaning 214006 clauses out of 428027 with flag 94030997/23210000
1726.44/1723.47	c cleaning 214999 clauses out of 430022 with flag 94820587/23426001
1745.14/1742.18	c cleaning 215987 clauses out of 432023 with flag 95580169/23643001
1764.44/1761.50	c cleaning 216997 clauses out of 434035 with flag 96346237/23861000
1782.69/1779.69	c cleaning 218001 clauses out of 436039 with flag 97108274/24080001
1800.09/1797.00	c starts		: 12561
1800.09/1797.00	c conflicts		: 24280367
1800.09/1797.00	c decisions		: 34800431
1800.09/1797.00	c propagations		: 263534343
1800.09/1797.00	c inspects		: 41839721788
1800.09/1797.00	c shortcuts		: 0
1800.09/1797.00	c learnt literals	: 0
1800.09/1797.00	c timeout
1800.09/1797.00	c learnt binary clauses	: 0
1800.09/1797.00	c learnt ternary clauses	: 0
1800.09/1797.00	c learnt constraints	: 24280367
1800.09/1797.00	c ignored constraints	: 0
1800.09/1797.00	c root simplifications	: 0
1800.09/1797.00	c removed literals (reason simplification)	: 0
1800.09/1797.00	c reason swapping (by a shorter reason)	: 0
1800.09/1797.00	c Calls to reduceDB	: 215
1800.09/1797.00	c Number of update (reduction) of LBD	: 5628717
1800.09/1797.00	c Imported unit clauses	: 0
1800.09/1797.00	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.00	c number of learned constraints concerned by reduction	: 0
1800.09/1797.00	c number of learning phase by resolution	: 0
1800.09/1797.00	c number of learning phase by cutting planes	: 0
1800.09/1797.00	c speed (assignments/second)	: 146694.34829995892
1800.09/1797.00	c non guided choices	3120004
1800.09/1797.04	c learnt constraints type 
1800.09/1797.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 418404
1800.09/1797.04	s UNKNOWN
1800.09/1797.04	c Total wall clock time (in seconds): 1796.639

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

pid=5966
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.07 1.23 1.55 3/172 5971
/proc/meminfo: memFree=30696616/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/5971/stat : 5971 (java) D 5966 5971 5929 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 3255910 278528 33 33554432000 1073741824 1073778376 140735799240848 140735799238024 272877317415 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/5971/statm: 68 33 25 9 0 25 0

[startup+0.100115 s]
/proc/loadavg: 1.07 1.23 1.55 3/172 5971
/proc/meminfo: memFree=30696616/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5971/stat : 5971 (java) D 5966 5971 5929 0 -1 4202496 1145 0 17 0 0 0 0 0 20 0 1 0 3255910 23793664 813 33554432000 1073741824 1073778376 140736118177408 140736118167400 140488740738768 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 5809 813 608 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.20026 s]
/proc/loadavg: 1.07 1.23 1.55 3/172 5971
/proc/meminfo: memFree=30696616/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 2649 0 25 0 0 0 0 0 20 0 10 0 3255910 9233014784 3296 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2254154 3297 1399 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.300313 s]
/proc/loadavg: 1.07 1.23 1.55 3/172 5971
/proc/meminfo: memFree=30696616/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 3132 0 25 0 2 1 0 0 20 0 13 0 3255910 9446973440 4288 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2306390 4288 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.700186 s]
/proc/loadavg: 1.07 1.23 1.55 3/172 5971
/proc/meminfo: memFree=30696616/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 8121 0 27 0 77 3 0 0 20 0 19 0 3255910 9856040960 13383 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 13383 2246 9 0 2396937 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 1.07 1.23 1.55 3/213 6012
/proc/meminfo: memFree=30580476/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 14365 0 27 0 186 4 0 0 20 0 19 0 3255910 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 18284 2258 9 0 2396937 0
[pid=5971/tid=5977] ppid=5966 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/5971/task/5977/stat : 5977 (java) R 5966 5971 5929 0 -1 4202560 2398 0 7 0 116 3 0 0 20 0 19 0 3255921 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488736420328 140488598810116 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0
[pid=5971/tid=5979] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5979/stat : 5979 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488725482152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5981] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5981/stat : 5981 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488724429608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5983] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5983/stat : 5983 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488723377064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5985] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5985/stat : 5985 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488722324520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5987] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5987/stat : 5987 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488721270952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5988] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5988/stat : 5988 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488720218408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5990] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5990/stat : 5990 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488719165864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5993] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5993/stat : 5993 (java) S 5966 5971 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488718113320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5996] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5996/stat : 5996 (java) S 5966 5971 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3255932 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488560687720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3681 0 1 0 32 0 0 0 20 0 19 0 3255941 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 18284 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 1.07 1.23 1.55 3/213 6012
/proc/meminfo: memFree=30565148/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 14423 0 27 0 348 4 0 0 20 0 19 0 3255910 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 20896 2258 9 0 2396937 0
[pid=5971/tid=5977] ppid=5966 vsize=9625040 CPUtime=2.79 cores=1,3,5,7
/proc/5971/task/5977/stat : 5977 (java) R 5966 5971 5929 0 -1 4202560 2404 0 7 0 276 3 0 0 20 0 19 0 3255921 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488736411312 140488598995580 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0
[pid=5971/tid=5979] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5979/stat : 5979 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488725482152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5981] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5981/stat : 5981 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488724429608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5983] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5983/stat : 5983 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488723377064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5985] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5985/stat : 5985 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488722324520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5987] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5987/stat : 5987 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488721270952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5988] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5988/stat : 5988 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488720218408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5990] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5990/stat : 5990 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488719165864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5993] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5993/stat : 5993 (java) S 5966 5971 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488718113320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5996] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5996/stat : 5996 (java) S 5966 5971 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3255932 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488560687720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3733 0 1 0 34 0 0 0 20 0 19 0 3255941 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 20896 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 1.14 1.25 1.55 3/213 6012
/proc/meminfo: memFree=30534136/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=6.73 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 14433 0 27 0 668 5 0 0 20 0 19 0 3255910 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 24215 2259 9 0 2396937 0
[pid=5971/tid=5977] ppid=5966 vsize=9625040 CPUtime=5.99 cores=1,3,5,7
/proc/5971/task/5977/stat : 5977 (java) R 5966 5971 5929 0 -1 4202560 2413 0 7 0 596 3 0 0 20 0 19 0 3255921 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488736411312 140488598861525 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0
[pid=5971/tid=5979] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5979/stat : 5979 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488725482152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5981] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5981/stat : 5981 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488724429608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5983] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5983/stat : 5983 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488723377064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5985] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5985/stat : 5985 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488722324520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5987] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5987/stat : 5987 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488721270952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5988] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5988/stat : 5988 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488720218408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5990] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5990/stat : 5990 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488719165864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5993] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5993/stat : 5993 (java) S 5966 5971 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488718113320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5996] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5996/stat : 5996 (java) S 5966 5971 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3255932 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488560687720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3733 0 1 0 34 0 0 0 20 0 19 0 3255941 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 24215 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 9625040


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

[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3744 0 1 0 38 0 0 0 20 0 19 0 3255941 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 96 0 0 0 13 21 0 0 20 0 19 0 3255941 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 116696 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1665.29
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.16 2.06 4/213 6077
/proc/meminfo: memFree=29763504/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=1725.34 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 17480 0 27 0 172473 61 0 0 20 0 19 0 3255910 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 119248 2273 9 0 2396937 0
[pid=5971/tid=5977] ppid=5966 vsize=9625040 CPUtime=1720.87 cores=1,3,5,7
/proc/5971/task/5977/stat : 5977 (java) R 5966 5971 5929 0 -1 4202560 2478 0 7 0 172055 32 0 0 20 0 19 0 3255921 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488736419008 140488598873264 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0
[pid=5971/tid=5979] ppid=5966 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/5971/task/5979/stat : 5979 (java) S 5966 5971 5929 0 -1 4202560 480 0 0 0 48 4 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488725482152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5981] ppid=5966 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/5971/task/5981/stat : 5981 (java) S 5966 5971 5929 0 -1 4202560 377 0 0 0 33 4 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488724429608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5983] ppid=5966 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5971/task/5983/stat : 5983 (java) S 5966 5971 5929 0 -1 4202560 207 0 0 0 39 4 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488723377064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5985] ppid=5966 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/5971/task/5985/stat : 5985 (java) S 5966 5971 5929 0 -1 4202560 371 0 0 0 42 6 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488722324520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5987] ppid=5966 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/5971/task/5987/stat : 5987 (java) S 5966 5971 5929 0 -1 4202560 249 0 0 0 36 4 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488721270952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5988] ppid=5966 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/5971/task/5988/stat : 5988 (java) S 5966 5971 5929 0 -1 4202560 238 0 0 0 34 3 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488720218408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5990] ppid=5966 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5971/task/5990/stat : 5990 (java) S 5966 5971 5929 0 -1 4202560 325 0 0 0 41 4 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488719165864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5993] ppid=5966 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5971/task/5993/stat : 5993 (java) S 5966 5971 5929 0 -1 4202560 556 0 0 0 45 4 0 0 20 0 19 0 3255928 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488718113320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5996] ppid=5966 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/5971/task/5996/stat : 5996 (java) S 5966 5971 5929 0 -1 4202560 83 0 0 0 1 1 0 0 20 0 19 0 3255932 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488560687720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3744 0 1 0 38 0 0 0 20 0 19 0 3255941 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 100 0 0 0 14 22 0 0 20 0 19 0 3255941 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 119248 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.34
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.07 3/213 6078
/proc/meminfo: memFree=29728208/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=1785.39 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 17498 0 27 0 178476 63 0 0 20 0 19 0 3255910 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 120784 2273 9 0 2396937 0
[pid=5971/tid=5977] ppid=5966 vsize=9625040 CPUtime=1780.85 cores=1,3,5,7
/proc/5971/task/5977/stat : 5977 (java) R 5966 5971 5929 0 -1 4202560 2479 0 7 0 178052 33 0 0 20 0 19 0 3255921 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488736411312 140488599141203 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0
[pid=5971/tid=5979] ppid=5966 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/5971/task/5979/stat : 5979 (java) S 5966 5971 5929 0 -1 4202560 481 0 0 0 49 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488725482152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5981] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/5981/stat : 5981 (java) S 5966 5971 5929 0 -1 4202560 378 0 0 0 34 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488724429608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5983] ppid=5966 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5971/task/5983/stat : 5983 (java) S 5966 5971 5929 0 -1 4202560 207 0 0 0 39 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488723377064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5985] ppid=5966 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5971/task/5985/stat : 5985 (java) S 5966 5971 5929 0 -1 4202560 372 0 0 0 43 6 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488722324520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5987] ppid=5966 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/5971/task/5987/stat : 5987 (java) S 5966 5971 5929 0 -1 4202560 252 0 0 0 37 5 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488721270952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5988] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/5988/stat : 5988 (java) S 5966 5971 5929 0 -1 4202560 240 0 0 0 35 3 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488720218408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5990] ppid=5966 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5971/task/5990/stat : 5990 (java) S 5966 5971 5929 0 -1 4202560 326 0 0 0 41 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488719165864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5993] ppid=5966 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5971/task/5993/stat : 5993 (java) S 5966 5971 5929 0 -1 4202560 558 0 0 0 45 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488718113320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5996] ppid=5966 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/5971/task/5996/stat : 5996 (java) S 5966 5971 5929 0 -1 4202560 85 0 0 0 1 1 0 0 20 0 19 0 3255932 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488560687720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3744 0 1 0 38 0 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 104 0 0 0 15 22 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.17 2.17 2.07 3/213 6078
/proc/meminfo: memFree=29728212/32872528 swapFree=1243664/1390832
[pid=5971] ppid=5966 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/5971/stat : 5971 (java) S 5966 5971 5929 0 -1 4202496 17498 0 27 0 179946 63 0 0 20 0 19 0 3255910 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140736118168544 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/5971/statm: 2406260 120784 2273 9 0 2396937 0
[pid=5971/tid=5977] ppid=5966 vsize=9625040 CPUtime=1795.55 cores=1,3,5,7
/proc/5971/task/5977/stat : 5977 (java) R 5966 5971 5929 0 -1 4202560 2479 0 7 0 179522 33 0 0 20 0 19 0 3255921 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488736411312 140488599141653 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0
[pid=5971/tid=5979] ppid=5966 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/5971/task/5979/stat : 5979 (java) S 5966 5971 5929 0 -1 4202560 481 0 0 0 49 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488725482152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5981] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/5981/stat : 5981 (java) S 5966 5971 5929 0 -1 4202560 378 0 0 0 34 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488724429608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5983] ppid=5966 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5971/task/5983/stat : 5983 (java) S 5966 5971 5929 0 -1 4202560 207 0 0 0 39 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488723377064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5985] ppid=5966 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5971/task/5985/stat : 5985 (java) S 5966 5971 5929 0 -1 4202560 372 0 0 0 43 6 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488722324520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5987] ppid=5966 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/5971/task/5987/stat : 5987 (java) S 5966 5971 5929 0 -1 4202560 252 0 0 0 37 5 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488721270952 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5971/tid=5988] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/5988/stat : 5988 (java) S 5966 5971 5929 0 -1 4202560 240 0 0 0 35 3 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488720218408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5990] ppid=5966 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5971/task/5990/stat : 5990 (java) S 5966 5971 5929 0 -1 4202560 326 0 0 0 41 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488719165864 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=5993] ppid=5966 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5971/task/5993/stat : 5993 (java) S 5966 5971 5929 0 -1 4202560 558 0 0 0 45 4 0 0 20 0 19 0 3255928 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488718113320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5996] ppid=5966 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/5971/task/5996/stat : 5996 (java) S 5966 5971 5929 0 -1 4202560 85 0 0 0 1 1 0 0 20 0 19 0 3255932 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488560687720 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=5997] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5997/stat : 5997 (java) S 5966 5971 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488559634040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=5999] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/5999/stat : 5999 (java) S 5966 5971 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488558581384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6001] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6001/stat : 6001 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488557530128 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6003] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/6003/stat : 6003 (java) S 5966 5971 5929 0 -1 4202560 3744 0 1 0 38 0 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488556476472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5971/tid=6005] ppid=5966 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5971/task/6005/stat : 6005 (java) S 5966 5971 5929 0 -1 4202560 7034 0 1 0 35 1 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488555423928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6008] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6008/stat : 6008 (java) S 5966 5971 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488554371576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5971/tid=6010] ppid=5966 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5971/task/6010/stat : 6010 (java) S 5966 5971 5929 0 -1 4202560 104 0 0 0 16 22 0 0 20 0 19 0 3255941 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488553319240 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5971/tid=6012] ppid=5966 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5971/task/6012/stat : 6012 (java) S 5966 5971 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255963 9856040960 120784 33554432000 1073741824 1073778376 140736118177408 140488552215848 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 5971 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.04
CPU time (s): 1800.59
CPU user time (s): 1799.54
CPU system time (s): 1.05484
CPU usage (%): 100.197
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 1.05484
maximum resident set size= 485332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17543
page faults= 27
swaps= 0
block input operations= 16416
block output operations= 1376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39059
involuntary context switches= 21905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9813 second user time and 13.145 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-15 19:34:33
IDJOB=4088704
IDBENCH=107301
IDSOLVER=2546
FILE ID=node119/4088704-1466012073
RUNJOBID= node119-1466012072-5946
PBS_JOBID= 19902816
Free space on /tmp= 71740 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-ECgrid5x150split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088704-1466012073/watcher-4088704-1466012073 -o /tmp/evaluation-result-4088704-1466012073/solver-4088704-1466012073 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4088704-1466012073.opb

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

MD5SUM BENCH= 38bf2d4a09a989ac45f5356b157fbb11
RANDOM SEED=2133503905

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:        30698756 kB
Buffers:            2984 kB
Cached:            67932 kB
SwapCached:        14172 kB
Active:             9044 kB
Inactive:          76668 kB
Active(anon):       3092 kB
Inactive(anon):    14048 kB
Active(file):       5952 kB
Inactive(file):    62620 kB
Unevictable:     1390832 kB
Mlocked:         1243664 kB
SwapTotal:      67108856 kB
SwapFree:       67088028 kB
Dirty:              1592 kB
Writeback:             4 kB
AnonPages:       1392788 kB
Mapped:             6984 kB
Shmem:                 0 kB
Slab:             563936 kB
SReclaimable:       8048 kB
SUnreclaim:       555888 kB
KernelStack:        1376 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1487516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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:04:30