Trace number 4088697

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 1796.74

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUMd1a89ad9a1754234599f01f14b2863db
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 benchmark662.89
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4088697-1466011140.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.24/0.22	c ... done. Wall clock time 0.111s.
0.24/0.22	c declared #vars     1401
0.24/0.22	c #constraints  1402
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 1400
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.24/0.22	c 1402 constraints processed.
0.97/0.50	c cleaning 2493 clauses out of 5000 with flag 19464/5000
1.16/0.62	c cleaning 4246 clauses out of 8509 with flag 45587/11002
1.29/0.76	c cleaning 5600 clauses out of 11263 with flag 82496/18002
1.40/0.88	c cleaning 6771 clauses out of 13662 with flag 122246/26001
1.61/1.04	c cleaning 7915 clauses out of 15891 with flag 168490/35001
1.85/1.22	c cleaning 8926 clauses out of 17975 with flag 222461/45000
2.04/1.41	c cleaning 9955 clauses out of 20050 with flag 280640/56001
2.24/1.63	c cleaning 11008 clauses out of 22095 with flag 346836/68001
2.44/1.88	c cleaning 11988 clauses out of 24086 with flag 418578/81000
2.74/2.12	c cleaning 13029 clauses out of 26099 with flag 493102/95001
3.04/2.41	c cleaning 13947 clauses out of 28069 with flag 578609/110000
3.34/2.74	c cleaning 15042 clauses out of 30124 with flag 667148/126002
3.74/3.11	c cleaning 15980 clauses out of 32080 with flag 760723/143000
4.05/3.49	c cleaning 17004 clauses out of 34100 with flag 860568/161000
4.44/3.89	c cleaning 17982 clauses out of 36096 with flag 967100/180000
4.94/4.36	c cleaning 19021 clauses out of 38114 with flag 1080799/200000
5.44/4.86	c cleaning 19997 clauses out of 40095 with flag 1204256/221002
6.04/5.50	c cleaning 20972 clauses out of 42097 with flag 1333557/243001
6.64/6.06	c cleaning 21975 clauses out of 44124 with flag 1462072/266000
7.25/6.66	c cleaning 23048 clauses out of 46150 with flag 1595186/290001
7.84/7.29	c cleaning 23993 clauses out of 48102 with flag 1729932/315001
8.54/7.97	c cleaning 25015 clauses out of 50108 with flag 1874789/341000
9.24/8.64	c cleaning 25967 clauses out of 52093 with flag 2024605/368000
9.94/9.31	c cleaning 27046 clauses out of 54128 with flag 2172584/396002
10.65/10.09	c cleaning 27967 clauses out of 56081 with flag 2334183/425001
11.66/11.07	c cleaning 28998 clauses out of 58113 with flag 2497879/455000
12.95/12.33	c cleaning 30007 clauses out of 60117 with flag 2671749/486002
13.86/13.30	c cleaning 30971 clauses out of 62109 with flag 2849877/518001
14.96/14.32	c cleaning 32043 clauses out of 64139 with flag 3039547/551002
16.16/15.59	c cleaning 32990 clauses out of 66094 with flag 3232712/585000
17.26/16.67	c cleaning 34027 clauses out of 68105 with flag 3423698/620001
18.35/17.71	c cleaning 35006 clauses out of 70077 with flag 3608886/656000
19.45/18.82	c cleaning 35973 clauses out of 72072 with flag 3798782/693001
20.65/20.03	c cleaning 37016 clauses out of 74098 with flag 4000454/731000
21.95/21.39	c cleaning 38003 clauses out of 76082 with flag 4212545/770000
23.44/22.85	c cleaning 38977 clauses out of 78080 with flag 4426244/810001
24.85/24.23	c cleaning 39991 clauses out of 80103 with flag 4643588/851001
26.14/25.59	c cleaning 41044 clauses out of 82111 with flag 4856140/893000
27.68/27.00	c cleaning 42006 clauses out of 84068 with flag 5081662/936001
29.08/28.49	c cleaning 42986 clauses out of 86061 with flag 5300154/980000
30.58/29.98	c cleaning 43962 clauses out of 88075 with flag 5521421/1025000
32.28/31.64	c cleaning 45025 clauses out of 90113 with flag 5764454/1071000
33.88/33.22	c cleaning 46021 clauses out of 92088 with flag 6001452/1118000
35.58/34.96	c cleaning 47021 clauses out of 94067 with flag 6244020/1166000
37.58/36.95	c cleaning 47969 clauses out of 96047 with flag 6494143/1215001
39.58/38.93	c cleaning 49027 clauses out of 98077 with flag 6753141/1265000
41.38/40.78	c cleaning 49951 clauses out of 100051 with flag 7005938/1316001
43.37/42.76	c cleaning 50990 clauses out of 102099 with flag 7262453/1368000
45.47/44.81	c cleaning 52026 clauses out of 104109 with flag 7522130/1421000
47.67/47.00	c cleaning 53026 clauses out of 106083 with flag 7791644/1475000
49.87/49.20	c cleaning 53989 clauses out of 108058 with flag 8068452/1530001
52.07/51.41	c cleaning 54980 clauses out of 110068 with flag 8339229/1586000
54.27/53.63	c cleaning 55974 clauses out of 112090 with flag 8615286/1643002
56.67/56.01	c cleaning 57004 clauses out of 114115 with flag 8893319/1701001
58.98/58.35	c cleaning 58035 clauses out of 116111 with flag 9177149/1760001
61.57/60.96	c cleaning 58976 clauses out of 118075 with flag 9469872/1820000
64.07/63.49	c cleaning 60023 clauses out of 120099 with flag 9765690/1881000
66.87/66.25	c cleaning 61017 clauses out of 122076 with flag 10065270/1943000
69.77/69.20	c cleaning 61987 clauses out of 124059 with flag 10377519/2006000
72.80/72.12	c cleaning 62996 clauses out of 126072 with flag 10690546/2070000
75.50/74.90	c cleaning 64003 clauses out of 128077 with flag 10997596/2135001
78.60/77.95	c cleaning 64997 clauses out of 130073 with flag 11321305/2201000
81.61/80.95	c cleaning 65999 clauses out of 132077 with flag 11639830/2268001
84.61/83.91	c cleaning 66973 clauses out of 134078 with flag 11955374/2336001
87.81/87.12	c cleaning 67994 clauses out of 136104 with flag 12280788/2405000
91.02/90.36	c cleaning 69008 clauses out of 138110 with flag 12604650/2475000
94.61/93.93	c cleaning 70041 clauses out of 140103 with flag 12940633/2546001
97.91/97.23	c cleaning 70995 clauses out of 142062 with flag 13276401/2618001
101.51/100.85	c cleaning 71986 clauses out of 144066 with flag 13617471/2691000
105.32/104.62	c cleaning 73031 clauses out of 146081 with flag 13961585/2765001
109.01/108.38	c cleaning 73980 clauses out of 148049 with flag 14310951/2840000
112.71/112.07	c cleaning 75013 clauses out of 150069 with flag 14662879/2916000
116.51/115.86	c cleaning 76015 clauses out of 152056 with flag 15020710/2993000
120.41/119.72	c cleaning 76965 clauses out of 154041 with flag 15380422/3071000
124.78/124.04	c cleaning 78022 clauses out of 156076 with flag 15746565/3150000
128.88/128.19	c cleaning 78981 clauses out of 158054 with flag 16120083/3230000
133.38/132.64	c cleaning 80027 clauses out of 160073 with flag 16503962/3311000
138.28/137.53	c cleaning 80992 clauses out of 162046 with flag 16890095/3393000
142.79/142.01	c cleaning 82019 clauses out of 164055 with flag 17265843/3476001
147.09/146.35	c cleaning 82977 clauses out of 166036 with flag 17650048/3560001
151.58/150.83	c cleaning 83994 clauses out of 168060 with flag 18033029/3645002
156.48/155.73	c cleaning 84985 clauses out of 170064 with flag 18422433/3731000
161.68/160.92	c cleaning 86000 clauses out of 172079 with flag 18828278/3818000
166.68/165.98	c cleaning 87007 clauses out of 174079 with flag 19226986/3906000
171.78/171.02	c cleaning 87984 clauses out of 176072 with flag 19631434/3995000
176.59/175.88	c cleaning 89008 clauses out of 178088 with flag 20035987/4085000
181.89/181.13	c cleaning 90018 clauses out of 180080 with flag 20440057/4176000
187.55/186.71	c cleaning 91023 clauses out of 182065 with flag 20856127/4268003
193.55/192.76	c cleaning 92005 clauses out of 184040 with flag 21281723/4361001
199.45/198.64	c cleaning 92996 clauses out of 186035 with flag 21704147/4455001
205.35/204.55	c cleaning 93977 clauses out of 188040 with flag 22127397/4550002
211.25/210.46	c cleaning 95020 clauses out of 190061 with flag 22556928/4646000
217.15/216.33	c cleaning 95994 clauses out of 192042 with flag 22977027/4743001
223.35/222.53	c cleaning 96995 clauses out of 194047 with flag 23406337/4841000
229.34/228.53	c cleaning 97995 clauses out of 196052 with flag 23837102/4940000
236.35/235.51	c cleaning 98987 clauses out of 198057 with flag 24289133/5040000
242.54/241.70	c cleaning 99994 clauses out of 200070 with flag 24727433/5141000
249.05/248.25	c cleaning 101013 clauses out of 202076 with flag 25180924/5243000
256.16/255.28	c cleaning 101997 clauses out of 204064 with flag 25630439/5346001
263.26/262.37	c cleaning 103002 clauses out of 206067 with flag 26084155/5450001
270.46/269.60	c cleaning 104004 clauses out of 208064 with flag 26541473/5555000
277.75/276.85	c cleaning 105020 clauses out of 210060 with flag 27004468/5661000
285.05/284.10	c cleaning 105977 clauses out of 212041 with flag 27471789/5768001
292.05/291.12	c cleaning 107005 clauses out of 214063 with flag 27937655/5876000
299.25/298.37	c cleaning 107971 clauses out of 216058 with flag 28395721/5985000
306.95/306.07	c cleaning 109008 clauses out of 218089 with flag 28871516/6095002
314.45/313.55	c cleaning 110002 clauses out of 220082 with flag 29345137/6206003
322.15/321.27	c cleaning 110999 clauses out of 222078 with flag 29820648/6318001
330.11/329.07	c cleaning 112025 clauses out of 224078 with flag 30298868/6431000
338.00/336.99	c cleaning 112997 clauses out of 226053 with flag 30766197/6545000
345.90/344.84	c cleaning 113980 clauses out of 228057 with flag 31256966/6660001
354.50/353.42	c cleaning 115024 clauses out of 230077 with flag 31753945/6776001
362.59/361.52	c cleaning 115999 clauses out of 232053 with flag 32242675/6893001
371.19/370.19	c cleaning 117006 clauses out of 234053 with flag 32746598/7011000
380.39/379.31	c cleaning 118016 clauses out of 236048 with flag 33250470/7130001
389.29/388.28	c cleaning 118995 clauses out of 238032 with flag 33763936/7250001
398.09/397.08	c cleaning 119974 clauses out of 240037 with flag 34267004/7371001
407.31/406.17	c cleaning 121024 clauses out of 242063 with flag 34770030/7493001
416.31/415.15	c cleaning 121979 clauses out of 244038 with flag 35277916/7616000
426.01/424.83	c cleaning 123000 clauses out of 246061 with flag 35794491/7740002
434.91/433.78	c cleaning 123999 clauses out of 248059 with flag 36299154/7865000
444.61/443.45	c cleaning 124992 clauses out of 250060 with flag 36808903/7991000
454.11/452.99	c cleaning 126000 clauses out of 252069 with flag 37331804/8118001
464.22/463.00	c cleaning 127003 clauses out of 254069 with flag 37863221/8246001
474.52/473.31	c cleaning 128007 clauses out of 256066 with flag 38396140/8375001
484.40/483.02	c cleaning 128995 clauses out of 258059 with flag 38917515/8505001
494.79/493.45	c cleaning 129987 clauses out of 260064 with flag 39455035/8636001
505.31/503.95	c cleaning 131031 clauses out of 262077 with flag 39998241/8768001
516.60/515.22	c cleaning 131994 clauses out of 264045 with flag 40553957/8901000
526.90/525.57	c cleaning 133005 clauses out of 266051 with flag 41092518/9035000
537.40/536.03	c cleaning 133988 clauses out of 268046 with flag 41635102/9170000
548.21/546.84	c cleaning 135018 clauses out of 270059 with flag 42182196/9306001
559.11/557.80	c cleaning 135999 clauses out of 272042 with flag 42727675/9443002
570.26/568.80	c cleaning 137000 clauses out of 274041 with flag 43273951/9581000
581.35/579.89	c cleaning 138015 clauses out of 276041 with flag 43826863/9720000
592.84/591.32	c cleaning 138983 clauses out of 278026 with flag 44383412/9860000
604.64/603.11	c cleaning 139989 clauses out of 280043 with flag 44937382/10001000
616.55/615.09	c cleaning 140998 clauses out of 282054 with flag 45498772/10143000
627.84/626.39	c cleaning 142002 clauses out of 284057 with flag 46063939/10286001
640.07/638.45	c cleaning 143018 clauses out of 286055 with flag 46633639/10430001
651.46/649.85	c cleaning 143995 clauses out of 288038 with flag 47192537/10575002
663.16/661.53	c cleaning 144990 clauses out of 290041 with flag 47747254/10721000
675.76/674.11	c cleaning 146000 clauses out of 292052 with flag 48325639/10868001
688.46/686.89	c cleaning 147009 clauses out of 294051 with flag 48908064/11016000
700.95/699.32	c cleaning 147994 clauses out of 296043 with flag 49482560/11165001
713.68/711.95	c cleaning 148994 clauses out of 298049 with flag 50066902/11315001
726.08/724.32	c cleaning 150013 clauses out of 300054 with flag 50638989/11466000
738.68/736.95	c cleaning 150996 clauses out of 302043 with flag 51218428/11618002
751.17/749.47	c cleaning 152014 clauses out of 304046 with flag 51798970/11771001
763.97/762.27	c cleaning 153003 clauses out of 306031 with flag 52386803/11925000
776.18/774.40	c cleaning 154005 clauses out of 308029 with flag 52967244/12080001
789.67/787.85	c cleaning 155000 clauses out of 310023 with flag 53555577/12236000
803.07/801.28	c cleaning 155997 clauses out of 312023 with flag 54149189/12393000
816.57/814.71	c cleaning 156999 clauses out of 314027 with flag 54745571/12551001
829.58/827.74	c cleaning 157998 clauses out of 316028 with flag 55337906/12710001
843.67/841.80	c cleaning 158991 clauses out of 318030 with flag 55939287/12870001
857.97/856.19	c cleaning 160007 clauses out of 320038 with flag 56537512/13031000
871.34/869.40	c cleaning 161001 clauses out of 322033 with flag 57137721/13193002
884.84/882.90	c cleaning 161989 clauses out of 324031 with flag 57742927/13356001
898.55/896.69	c cleaning 163017 clauses out of 326042 with flag 58342657/13520001
912.54/910.67	c cleaning 163983 clauses out of 328025 with flag 58953400/13685001
926.35/924.44	c cleaning 164989 clauses out of 330041 with flag 59571087/13851000
940.35/938.32	c cleaning 166005 clauses out of 332054 with flag 60187410/14018002
954.14/952.15	c cleaning 167003 clauses out of 334048 with flag 60800492/14186001
968.74/966.76	c cleaning 168014 clauses out of 336044 with flag 61411951/14355000
982.84/980.81	c cleaning 168991 clauses out of 338031 with flag 62024780/14525001
996.85/994.81	c cleaning 169998 clauses out of 340039 with flag 62648232/14696000
1011.04/1008.99	c cleaning 170989 clauses out of 342041 with flag 63277201/14868000
1024.93/1022.82	c cleaning 172005 clauses out of 344054 with flag 63897572/15041002
1039.23/1037.15	c cleaning 173005 clauses out of 346047 with flag 64521682/15215000
1053.54/1051.41	c cleaning 173993 clauses out of 348042 with flag 65149403/15390000
1067.54/1065.43	c cleaning 174993 clauses out of 350050 with flag 65778361/15566001
1082.14/1079.97	c cleaning 176022 clauses out of 352058 with flag 66412007/15743002
1096.44/1094.25	c cleaning 176988 clauses out of 354034 with flag 67054482/15921000
1110.74/1108.55	c cleaning 178004 clauses out of 356047 with flag 67685170/16100001
1124.94/1122.79	c cleaning 179015 clauses out of 358042 with flag 68324922/16280000
1139.44/1137.11	c cleaning 180008 clauses out of 360027 with flag 68968823/16461000
1154.15/1151.83	c cleaning 180996 clauses out of 362020 with flag 69607382/16643001
1168.64/1166.38	c cleaning 181992 clauses out of 364024 with flag 70254886/16826001
1183.44/1181.17	c cleaning 182996 clauses out of 366032 with flag 70901211/17010001
1198.14/1195.77	c cleaning 183996 clauses out of 368035 with flag 71549518/17195000
1213.33/1210.93	c cleaning 185004 clauses out of 370039 with flag 72201552/17381000
1228.23/1225.80	c cleaning 185995 clauses out of 372035 with flag 72851895/17568000
1242.93/1240.54	c cleaning 186996 clauses out of 374040 with flag 73510258/17756000
1258.63/1256.12	c cleaning 188004 clauses out of 376044 with flag 74165411/17945000
1274.03/1271.52	c cleaning 189000 clauses out of 378040 with flag 74815062/18135000
1289.43/1286.94	c cleaning 190001 clauses out of 380041 with flag 75487466/18326001
1305.04/1302.52	c cleaning 190999 clauses out of 382039 with flag 76150188/18518000
1320.54/1317.92	c cleaning 192013 clauses out of 384040 with flag 76818828/18711000
1336.24/1333.68	c cleaning 192998 clauses out of 386028 with flag 77489657/18905001
1352.44/1349.89	c cleaning 193992 clauses out of 388029 with flag 78153170/19100000
1368.73/1366.11	c cleaning 195000 clauses out of 390038 with flag 78833287/19296001
1385.41/1382.76	c cleaning 196007 clauses out of 392037 with flag 79524615/19493000
1401.70/1399.01	c cleaning 196989 clauses out of 394031 with flag 80214850/19691001
1418.30/1415.63	c cleaning 197991 clauses out of 396042 with flag 80896669/19890001
1435.14/1432.36	c cleaning 199010 clauses out of 398051 with flag 81586515/20090001
1451.53/1448.72	c cleaning 199992 clauses out of 400041 with flag 82283567/20291001
1469.23/1466.46	c cleaning 201001 clauses out of 402048 with flag 82986896/20493000
1486.73/1483.91	c cleaning 202000 clauses out of 404047 with flag 83680816/20696000
1504.61/1501.64	c cleaning 203017 clauses out of 406047 with flag 84390739/20900000
1522.11/1519.16	c cleaning 204000 clauses out of 408030 with flag 85113898/21105000
1540.20/1537.24	c cleaning 204997 clauses out of 410032 with flag 85831777/21311002
1558.16/1555.16	c cleaning 205998 clauses out of 412034 with flag 86559283/21518001
1576.27/1573.20	c cleaning 207006 clauses out of 414036 with flag 87287557/21726001
1594.88/1591.83	c cleaning 207994 clauses out of 416029 with flag 88027139/21935000
1613.62/1610.54	c cleaning 209005 clauses out of 418035 with flag 88768702/22145000
1633.02/1629.95	c cleaning 210007 clauses out of 420030 with flag 89533200/22356000
1652.82/1649.70	c cleaning 210999 clauses out of 422023 with flag 90288076/22568000
1672.27/1669.19	c cleaning 212007 clauses out of 424024 with flag 91039782/22781000
1691.26/1688.19	c cleaning 212996 clauses out of 426018 with flag 91802348/22995001
1711.37/1708.13	c cleaning 213989 clauses out of 428021 with flag 92564701/23210000
1730.66/1727.42	c cleaning 214988 clauses out of 430032 with flag 93319914/23426000
1750.76/1747.55	c cleaning 216007 clauses out of 432045 with flag 94113180/23643001
1770.95/1767.60	c cleaning 217001 clauses out of 434037 with flag 94900717/23861000
1791.04/1787.77	c cleaning 217999 clauses out of 436037 with flag 95702580/24080001
1800.04/1796.70	c starts		: 13772
1800.04/1796.70	c conflicts		: 24203231
1800.04/1796.70	c decisions		: 34475943
1800.04/1796.70	c propagations		: 241826342
1800.04/1796.70	c inspects		: 42131546437
1800.04/1796.70	c timeout
1800.04/1796.70	c shortcuts		: 0
1800.04/1796.70	c learnt literals	: 0
1800.04/1796.70	c learnt binary clauses	: 0
1800.04/1796.70	c learnt ternary clauses	: 0
1800.04/1796.70	c learnt constraints	: 24203231
1800.04/1796.70	c ignored constraints	: 0
1800.04/1796.70	c root simplifications	: 0
1800.04/1796.70	c removed literals (reason simplification)	: 0
1800.04/1796.70	c reason swapping (by a shorter reason)	: 0
1800.04/1796.70	c Calls to reduceDB	: 215
1800.04/1796.70	c Number of update (reduction) of LBD	: 5405404
1800.04/1796.70	c Imported unit clauses	: 0
1800.04/1796.70	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.70	c number of learned constraints concerned by reduction	: 0
1800.04/1796.70	c number of learning phase by resolution	: 0
1800.04/1796.70	c number of learning phase by cutting planes	: 0
1800.04/1796.70	c speed (assignments/second)	: 134611.43226437076
1800.04/1796.70	c non guided choices	2947386
1800.04/1796.73	c learnt constraints type 
1800.04/1796.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 341268
1800.04/1796.74	s UNKNOWN
1800.04/1796.74	c Total wall clock time (in seconds): 1796.623

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 5946
/proc/meminfo: memFree=31304608/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5946/stat : 5946 (java) D 5943 5946 4966 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 3163932 9515008 185 33554432000 1073741824 1073778376 140734903864128 140734903853192 224913354023 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 5149 185 143 9 0 71 0

[startup+0.100163 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 5946
/proc/meminfo: memFree=31304608/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 4460 0 1 0 8 1 0 0 20 0 18 0 3163932 9787879424 5583 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2389619 5583 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200318 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 5946
/proc/meminfo: memFree=31304608/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 4766 0 1 0 23 1 0 0 20 0 18 0 3163932 9787879424 8893 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2389619 8893 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300355 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 5946
/proc/meminfo: memFree=31304608/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 8286 0 1 0 51 3 0 0 20 0 19 0 3163932 9856040960 12373 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 12373 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700284 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 5946
/proc/meminfo: memFree=31304608/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 10354 0 1 0 126 3 0 0 20 0 19 0 3163932 9856040960 13052 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 13052 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 5965
/proc/meminfo: memFree=31256376/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 10368 0 1 0 211 3 0 0 20 0 19 0 3163932 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 14598 2258 9 0 2396937 0
[pid=5946/tid=5948] ppid=5943 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) R 5943 5946 4966 0 -1 4202560 2490 0 1 0 145 1 0 0 20 0 19 0 3163932 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140654002687680 140653942910284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5949] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653941426984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5950] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653940374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5951] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653939321896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5952] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653843135400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5953] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653842082088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5954] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653841029288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5955] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653839977000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5956] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5943 5946 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653838924200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5957] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5943 5946 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653826726632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2922 0 0 0 31 0 0 0 20 0 19 0 3163938 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 14598 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 5965
/proc/meminfo: memFree=31250108/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=3.74 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 10374 0 1 0 371 3 0 0 20 0 19 0 3163932 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 17158 2258 9 0 2396937 0
[pid=5946/tid=5948] ppid=5943 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) R 5943 5946 4966 0 -1 4202560 2496 0 1 0 305 1 0 0 20 0 19 0 3163932 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140654002687680 140653943060671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5949] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653941426984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5950] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653940374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5951] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653939321896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5952] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653843135400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5953] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653842082088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5954] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653841029288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5955] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653839977000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5956] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5943 5946 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653838924200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5957] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5943 5946 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653826726632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2922 0 0 0 31 0 0 0 20 0 19 0 3163938 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 17158 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 5965
/proc/meminfo: memFree=31231836/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=6.94 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 10384 0 1 0 691 3 0 0 20 0 19 0 3163932 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 21239 2259 9 0 2396937 0
[pid=5946/tid=5948] ppid=5943 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) R 5943 5946 4966 0 -1 4202560 2505 0 1 0 625 1 0 0 20 0 19 0 3163932 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140654002687680 140653942909791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5949] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653941426984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5950] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653940374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5951] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653939321896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5952] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653843135400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5953] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653842082088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5954] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653841029288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5955] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653839977000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5956] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5943 5946 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3163934 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653838924200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5957] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5943 5946 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653826726632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2922 0 0 0 31 0 0 0 20 0 19 0 3163938 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 21239 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9625040


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

[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2985 0 0 0 34 0 0 0 20 0 19 0 3163938 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 100 0 0 0 16 21 0 0 20 0 19 0 3163938 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 122307 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.56
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/213 6269
/proc/meminfo: memFree=30861136/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=1785.64 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 12827 0 1 0 178503 61 0 0 20 0 19 0 3163932 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 121136 2273 9 0 2396937 0
[pid=5946/tid=5948] ppid=5943 vsize=9625040 CPUtime=1781.16 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) R 5943 5946 4966 0 -1 4202560 2572 0 1 0 178084 32 0 0 20 0 19 0 3163932 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140654002687680 140653942909766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5949] ppid=5943 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5943 5946 4966 0 -1 4202560 492 0 0 0 47 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653941426984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5950] ppid=5943 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5943 5946 4966 0 -1 4202560 88 0 0 0 39 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653940374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5951] ppid=5943 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5943 5946 4966 0 -1 4202560 186 0 0 0 38 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653939321896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5952] ppid=5943 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5943 5946 4966 0 -1 4202560 492 0 0 0 45 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653843135400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5953] ppid=5943 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5943 5946 4966 0 -1 4202560 332 0 0 0 36 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653842082088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5954] ppid=5943 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5943 5946 4966 0 -1 4202560 198 0 0 0 37 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653841029288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5955] ppid=5943 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5943 5946 4966 0 -1 4202560 232 0 0 0 44 6 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653839977000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5956] ppid=5943 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5943 5946 4966 0 -1 4202560 89 0 0 0 40 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653838924200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5957] ppid=5943 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5943 5946 4966 0 -1 4202560 114 0 0 0 1 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653826726632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2985 0 0 0 34 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.7 s]
/proc/loadavg: 2.12 2.05 2.01 3/213 6269
/proc/meminfo: memFree=30861092/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 12827 0 1 0 179943 61 0 0 20 0 19 0 3163932 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 121136 2273 9 0 2396937 0
[pid=5946/tid=5948] ppid=5943 vsize=9625040 CPUtime=1795.56 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) R 5943 5946 4966 0 -1 4202560 2572 0 1 0 179524 32 0 0 20 0 19 0 3163932 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140654002687680 140653943139107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5949] ppid=5943 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5943 5946 4966 0 -1 4202560 492 0 0 0 47 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653941426984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5950] ppid=5943 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5943 5946 4966 0 -1 4202560 88 0 0 0 39 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653940374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5951] ppid=5943 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5943 5946 4966 0 -1 4202560 186 0 0 0 38 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653939321896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5952] ppid=5943 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5943 5946 4966 0 -1 4202560 492 0 0 0 45 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653843135400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5953] ppid=5943 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5943 5946 4966 0 -1 4202560 332 0 0 0 36 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653842082088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5954] ppid=5943 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5943 5946 4966 0 -1 4202560 198 0 0 0 37 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653841029288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5955] ppid=5943 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5943 5946 4966 0 -1 4202560 232 0 0 0 44 6 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653839977000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5956] ppid=5943 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5943 5946 4966 0 -1 4202560 89 0 0 0 40 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653838924200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5957] ppid=5943 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5943 5946 4966 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653826726632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2985 0 0 0 34 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 5946 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.7 s]
/proc/loadavg: 2.12 2.05 2.01 3/213 6269
/proc/meminfo: memFree=30861092/32872528 swapFree=162364/176672
[pid=5946] ppid=5943 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5943 5946 4966 0 -1 4202496 12827 0 1 0 179943 61 0 0 20 0 19 0 3163932 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140734903855264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5946/statm: 2406260 121136 2273 9 0 2396937 0
[pid=5946/tid=5948] ppid=5943 vsize=9625040 CPUtime=1795.56 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) R 5943 5946 4966 0 -1 4202560 2572 0 1 0 179524 32 0 0 20 0 19 0 3163932 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140654002687680 140653943139107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5949] ppid=5943 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5943 5946 4966 0 -1 4202560 492 0 0 0 47 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653941426984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5950] ppid=5943 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5943 5946 4966 0 -1 4202560 88 0 0 0 39 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653940374184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5951] ppid=5943 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5943 5946 4966 0 -1 4202560 186 0 0 0 38 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653939321896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5952] ppid=5943 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5943 5946 4966 0 -1 4202560 492 0 0 0 45 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653843135400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5953] ppid=5943 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5943 5946 4966 0 -1 4202560 332 0 0 0 36 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653842082088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5946/tid=5954] ppid=5943 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5943 5946 4966 0 -1 4202560 198 0 0 0 37 4 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653841029288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5955] ppid=5943 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5943 5946 4966 0 -1 4202560 232 0 0 0 44 6 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653839977000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5956] ppid=5943 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5943 5946 4966 0 -1 4202560 89 0 0 0 40 5 0 0 20 0 19 0 3163934 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653838924200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5957] ppid=5943 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5943 5946 4966 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653826726632 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5958] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5943 5946 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653825672696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5959] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5943 5946 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3163935 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653824620296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5960] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653823568784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5961] ppid=5943 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5946/task/5961/stat : 5961 (java) S 5943 5946 4966 0 -1 4202560 3683 0 0 0 33 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653822515384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5962] ppid=5943 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5946/task/5962/stat : 5962 (java) S 5943 5946 4966 0 -1 4202560 2985 0 0 0 34 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653821462584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5946/tid=5963] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5963/stat : 5963 (java) S 5943 5946 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653820410488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5946/tid=5964] ppid=5943 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5946/task/5964/stat : 5964 (java) S 5943 5946 4966 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 3163938 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653819357896 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5946/tid=5965] ppid=5943 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5965/stat : 5965 (java) S 5943 5946 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3163955 9856040960 121136 33554432000 1073741824 1073778376 140734903864128 140653818303912 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 1.05384
maximum resident set size= 493464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12872
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38785
involuntary context switches= 19604

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5892 second user time and 11.7982 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-15 19:19:00
IDJOB=4088697
IDBENCH=107300
IDSOLVER=2546
FILE ID=node105/4088697-1466011140
RUNJOBID= node105-1466009078-4983
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-ECgrid5x140split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088697-1466011140/watcher-4088697-1466011140 -o /tmp/evaluation-result-4088697-1466011140/solver-4088697-1466011140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4983 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4088697-1466011140.opb

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

MD5SUM BENCH= d1a89ad9a1754234599f01f14b2863db
RANDOM SEED=854082303

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:        31305400 kB
Buffers:           65400 kB
Cached:           336472 kB
SwapCached:            0 kB
Active:           367500 kB
Inactive:         319328 kB
Active(anon):     287428 kB
Inactive(anon):        0 kB
Active(file):      80072 kB
Inactive(file):   319328 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               464 kB
Writeback:             0 kB
AnonPages:        442300 kB
Mapped:            21976 kB
Shmem:               204 kB
Slab:             571584 kB
SReclaimable:      15404 kB
SUnreclaim:       556180 kB
KernelStack:        1760 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     902944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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:48:57