Trace number 4088753

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.71 1796.84

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
MD5SUM3a410b85cc117734511eba1bece7c9b4
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 benchmark580.189
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1201
Total number of constraints601
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)601
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.18	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.18	c See www.sat4j.org for details.
0.00/0.19	c version PB16.v20160501
0.00/0.20	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.20	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.20	c java.vm.version	19.1-b02
0.00/0.20	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.20	c sun.arch.data.model	64
0.00/0.20	c java.version		1.6.0_24
0.00/0.20	c os.name		Linux
0.00/0.20	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.20	c os.arch		amd64
0.00/0.20	c Free memory 		501472288
0.00/0.20	c Max memory 		7480803328
0.00/0.20	c Total memory 		504102912
0.09/0.20	c Number of processors 	8
0.09/0.22	c Pseudo Boolean Optimization by upper bound
0.09/0.22	c --- Begin Solver configuration ---
0.09/0.22	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.22	c Learn all clauses as in MiniSAT
0.09/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.22	c No reason simplification
0.09/0.22	c Glucose 2.1 dynamic restart strategy
0.09/0.22	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.22	c timeout=2147483s
0.09/0.22	c DB Simplification allowed=false
0.09/0.22	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.22	c --- End Solver configuration ---
0.09/0.22	c solving HOME/instance-4088753-1466012939.opb
0.09/0.22	c reading problem ... 
0.09/0.22	c  no objective function found
0.24/0.32	c ... done. Wall clock time 0.099s.
0.24/0.32	c declared #vars     1201
0.24/0.32	c #constraints  1202
0.24/0.32	c constraints type 
0.24/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 1200
0.24/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.24/0.32	c 1202 constraints processed.
1.00/0.61	c cleaning 2483 clauses out of 5000 with flag 19522/5000
1.27/0.74	c cleaning 4233 clauses out of 8517 with flag 46090/11000
1.50/0.84	c cleaning 5604 clauses out of 11284 with flag 79399/18000
1.60/0.96	c cleaning 6829 clauses out of 13680 with flag 117906/26000
1.72/1.09	c cleaning 7881 clauses out of 15851 with flag 162202/35000
1.92/1.24	c cleaning 8947 clauses out of 17971 with flag 213397/45001
2.12/1.42	c cleaning 9956 clauses out of 20023 with flag 273200/56000
2.32/1.61	c cleaning 11005 clauses out of 22069 with flag 335216/68002
2.52/1.83	c cleaning 11996 clauses out of 24062 with flag 403883/81000
2.72/2.09	c cleaning 12980 clauses out of 26068 with flag 488818/95002
3.03/2.36	c cleaning 14004 clauses out of 28087 with flag 570071/110001
3.32/2.66	c cleaning 15003 clauses out of 30082 with flag 657602/126000
3.62/2.98	c cleaning 15976 clauses out of 32079 with flag 751941/143000
4.03/3.35	c cleaning 17025 clauses out of 34103 with flag 851339/161000
4.42/3.72	c cleaning 17974 clauses out of 36079 with flag 953428/180001
4.82/4.16	c cleaning 18989 clauses out of 38104 with flag 1063497/200000
5.32/4.65	c cleaning 19987 clauses out of 40117 with flag 1182268/221002
5.82/5.16	c cleaning 20987 clauses out of 42129 with flag 1303507/243001
6.42/5.73	c cleaning 22052 clauses out of 44141 with flag 1430797/266000
7.02/6.33	c cleaning 22996 clauses out of 46089 with flag 1563525/290000
7.52/6.89	c cleaning 23994 clauses out of 48093 with flag 1694885/315000
8.22/7.57	c cleaning 25029 clauses out of 50101 with flag 1833066/341002
8.92/8.27	c cleaning 25957 clauses out of 52072 with flag 1978257/368002
9.63/8.97	c cleaning 27043 clauses out of 54113 with flag 2126676/396000
10.42/9.78	c cleaning 27971 clauses out of 56072 with flag 2284247/425002
11.32/10.61	c cleaning 28997 clauses out of 58101 with flag 2445655/455002
12.22/11.52	c cleaning 29973 clauses out of 60102 with flag 2607667/486000
13.12/12.44	c cleaning 30994 clauses out of 62129 with flag 2779828/518000
14.12/13.40	c cleaning 32018 clauses out of 64137 with flag 2951814/551002
15.13/14.42	c cleaning 33031 clauses out of 66118 with flag 3125823/585001
16.13/15.50	c cleaning 34010 clauses out of 68088 with flag 3301947/620002
17.42/16.70	c cleaning 34982 clauses out of 70076 with flag 3488791/656000
18.62/17.95	c cleaning 36004 clauses out of 72094 with flag 3678031/693000
19.82/19.17	c cleaning 36993 clauses out of 74091 with flag 3865200/731001
21.22/20.53	c cleaning 37996 clauses out of 76097 with flag 4062730/770000
22.63/21.92	c cleaning 39001 clauses out of 78101 with flag 4264849/810000
24.03/23.37	c cleaning 40010 clauses out of 80101 with flag 4469479/851001
25.53/24.83	c cleaning 40977 clauses out of 82092 with flag 4680983/893002
27.03/26.38	c cleaning 41998 clauses out of 84114 with flag 4899591/936001
28.73/28.03	c cleaning 43032 clauses out of 86115 with flag 5121034/980000
30.49/29.76	c cleaning 44008 clauses out of 88084 with flag 5346169/1025001
32.19/31.44	c cleaning 44989 clauses out of 90076 with flag 5578893/1071001
33.89/33.11	c cleaning 45984 clauses out of 92087 with flag 5802605/1118001
35.58/34.88	c cleaning 47036 clauses out of 94102 with flag 6036403/1166000
37.48/36.75	c cleaning 48021 clauses out of 96066 with flag 6272091/1215000
39.48/38.74	c cleaning 48980 clauses out of 98045 with flag 6517630/1265000
41.49/40.75	c cleaning 49980 clauses out of 100066 with flag 6767952/1316001
43.69/42.94	c cleaning 50998 clauses out of 102086 with flag 7022159/1368001
45.78/45.05	c cleaning 51995 clauses out of 104087 with flag 7276476/1421000
47.98/47.28	c cleaning 53012 clauses out of 106092 with flag 7535015/1475000
50.18/49.50	c cleaning 54011 clauses out of 108080 with flag 7795253/1530000
52.59/51.85	c cleaning 54974 clauses out of 110069 with flag 8060421/1586000
55.09/54.34	c cleaning 55989 clauses out of 112095 with flag 8335362/1643000
57.59/56.89	c cleaning 57032 clauses out of 114106 with flag 8616071/1701000
60.39/59.60	c cleaning 58017 clauses out of 116075 with flag 8902943/1760001
63.09/62.37	c cleaning 58984 clauses out of 118057 with flag 9192313/1820000
65.99/65.28	c cleaning 60019 clauses out of 120073 with flag 9483717/1881000
68.79/68.03	c cleaning 61001 clauses out of 122054 with flag 9779846/1943000
71.99/71.30	c cleaning 61984 clauses out of 124055 with flag 10078272/2006002
75.19/74.43	c cleaning 62996 clauses out of 126069 with flag 10379670/2070000
78.19/77.49	c cleaning 63997 clauses out of 128073 with flag 10684255/2135000
81.53/80.75	c cleaning 64990 clauses out of 130078 with flag 10996464/2201002
84.65/83.88	c cleaning 66020 clauses out of 132087 with flag 11313712/2268001
88.25/87.40	c cleaning 66978 clauses out of 134066 with flag 11632727/2336000
91.55/90.71	c cleaning 68008 clauses out of 136088 with flag 11946879/2405000
94.95/94.14	c cleaning 69011 clauses out of 138080 with flag 12266011/2475000
98.55/97.79	c cleaning 69989 clauses out of 140070 with flag 12591775/2546001
102.16/101.37	c cleaning 70989 clauses out of 142080 with flag 12921328/2618000
106.15/105.31	c cleaning 72006 clauses out of 144092 with flag 13251577/2691001
110.05/109.25	c cleaning 73005 clauses out of 146085 with flag 13588675/2765000
113.95/113.11	c cleaning 74006 clauses out of 148081 with flag 13924053/2840001
118.15/117.35	c cleaning 74989 clauses out of 150074 with flag 14266400/2916000
122.45/121.66	c cleaning 76026 clauses out of 152086 with flag 14616302/2993001
126.75/125.98	c cleaning 76998 clauses out of 154060 with flag 14957167/3071001
131.15/130.30	c cleaning 77980 clauses out of 156062 with flag 15307132/3150001
135.35/134.57	c cleaning 79016 clauses out of 158081 with flag 15655359/3230000
140.06/139.27	c cleaning 80028 clauses out of 160066 with flag 16011936/3311001
144.60/143.79	c cleaning 80973 clauses out of 162038 with flag 16373568/3393001
149.21/148.39	c cleaning 82007 clauses out of 164065 with flag 16735313/3476001
154.41/153.51	c cleaning 82982 clauses out of 166059 with flag 17103328/3560002
159.51/158.69	c cleaning 83986 clauses out of 168075 with flag 17479066/3645000
164.51/163.69	c cleaning 85002 clauses out of 170089 with flag 17851832/3731000
169.51/168.66	c cleaning 86016 clauses out of 172087 with flag 18223426/3818000
174.82/173.96	c cleaning 86997 clauses out of 174073 with flag 18600206/3906002
180.21/179.38	c cleaning 88007 clauses out of 176075 with flag 18986983/3995001
185.71/184.89	c cleaning 88994 clauses out of 178068 with flag 19379446/4085001
191.11/190.24	c cleaning 90004 clauses out of 180073 with flag 19770440/4176000
197.01/196.10	c cleaning 90997 clauses out of 182069 with flag 20164084/4268000
203.11/202.24	c cleaning 92011 clauses out of 184072 with flag 20566845/4361000
209.31/208.43	c cleaning 93000 clauses out of 186061 with flag 20974738/4455000
215.47/214.53	c cleaning 93998 clauses out of 188062 with flag 21383573/4550001
221.36/220.40	c cleaning 95013 clauses out of 190063 with flag 21785240/4646000
227.46/226.53	c cleaning 95994 clauses out of 192051 with flag 22196699/4743001
233.76/232.85	c cleaning 96995 clauses out of 194056 with flag 22607769/4841000
240.16/239.29	c cleaning 97985 clauses out of 196061 with flag 23016833/4940000
246.86/245.93	c cleaning 98997 clauses out of 198077 with flag 23436889/5040001
254.26/253.34	c cleaning 100001 clauses out of 200080 with flag 23881645/5141001
260.96/260.08	c cleaning 101011 clauses out of 202078 with flag 24301541/5243000
267.86/266.97	c cleaning 102013 clauses out of 204068 with flag 24727944/5346001
275.06/274.18	c cleaning 103003 clauses out of 206054 with flag 25160530/5450000
282.36/281.47	c cleaning 104005 clauses out of 208052 with flag 25590292/5555001
290.24/289.28	c cleaning 104986 clauses out of 210047 with flag 26038181/5661001
297.94/296.90	c cleaning 105993 clauses out of 212061 with flag 26473871/5768001
305.64/304.66	c cleaning 107000 clauses out of 214068 with flag 26926634/5876001
313.84/312.85	c cleaning 107993 clauses out of 216067 with flag 27381618/5985000
321.85/320.84	c cleaning 109024 clauses out of 218075 with flag 27829466/6095001
330.15/329.16	c cleaning 109999 clauses out of 220051 with flag 28286211/6206001
338.35/337.31	c cleaning 110979 clauses out of 222052 with flag 28747008/6318001
346.65/345.66	c cleaning 112000 clauses out of 224073 with flag 29206584/6431001
355.15/354.13	c cleaning 113022 clauses out of 226072 with flag 29664146/6545000
363.34/362.32	c cleaning 113997 clauses out of 228050 with flag 30123780/6660000
372.23/371.12	c cleaning 114999 clauses out of 230054 with flag 30586722/6776001
380.83/379.70	c cleaning 116009 clauses out of 232055 with flag 31043198/6893001
389.83/388.80	c cleaning 116988 clauses out of 234046 with flag 31512717/7011001
399.43/398.35	c cleaning 117995 clauses out of 236059 with flag 31993327/7130002
408.42/407.32	c cleaning 119015 clauses out of 238062 with flag 32469180/7250000
417.42/416.38	c cleaning 119995 clauses out of 240047 with flag 32939330/7371000
427.23/426.16	c cleaning 121002 clauses out of 242052 with flag 33425815/7493000
437.23/436.13	c cleaning 122022 clauses out of 244050 with flag 33907089/7616000
446.74/445.63	c cleaning 123002 clauses out of 246032 with flag 34393059/7740004
457.01/455.82	c cleaning 123979 clauses out of 248027 with flag 34881468/7865001
466.91/465.79	c cleaning 125003 clauses out of 250047 with flag 35375971/7991000
477.10/475.99	c cleaning 125999 clauses out of 252045 with flag 35869809/8118001
487.30/486.15	c cleaning 127011 clauses out of 254045 with flag 36360636/8246000
497.41/496.26	c cleaning 127991 clauses out of 256034 with flag 36861134/8375000
507.61/506.47	c cleaning 129010 clauses out of 258044 with flag 37356701/8505001
518.11/516.98	c cleaning 130003 clauses out of 260033 with flag 37864407/8636000
529.11/527.97	c cleaning 130996 clauses out of 262032 with flag 38373845/8768002
539.91/538.73	c cleaning 132006 clauses out of 264035 with flag 38877225/8901001
550.78/549.53	c cleaning 133001 clauses out of 266029 with flag 39389805/9035001
561.88/560.62	c cleaning 134008 clauses out of 268027 with flag 39893231/9170000
572.88/571.63	c cleaning 135000 clauses out of 270021 with flag 40403085/9306002
583.59/582.40	c cleaning 135994 clauses out of 272019 with flag 40909385/9443000
594.69/593.40	c cleaning 136987 clauses out of 274026 with flag 41423684/9581001
605.49/604.29	c cleaning 137995 clauses out of 276038 with flag 41939350/9720000
616.79/615.55	c cleaning 139011 clauses out of 278045 with flag 42456007/9860002
628.00/626.66	c cleaning 139986 clauses out of 280032 with flag 42982078/10001000
639.41/638.02	c cleaning 141008 clauses out of 282048 with flag 43498325/10143002
650.51/649.17	c cleaning 141998 clauses out of 284038 with flag 44022366/10286000
661.31/659.93	c cleaning 143004 clauses out of 286040 with flag 44549671/10430000
672.70/671.30	c cleaning 144001 clauses out of 288037 with flag 45069637/10575001
684.00/682.60	c cleaning 145000 clauses out of 290036 with flag 45588908/10721001
695.40/694.03	c cleaning 146000 clauses out of 292036 with flag 46123022/10868001
706.93/705.48	c cleaning 146994 clauses out of 294036 with flag 46657240/11016001
718.74/717.24	c cleaning 148002 clauses out of 296041 with flag 47190104/11165000
730.23/728.79	c cleaning 149001 clauses out of 298039 with flag 47717689/11315000
742.24/740.70	c cleaning 150005 clauses out of 300038 with flag 48252769/11466000
754.14/752.64	c cleaning 151000 clauses out of 302033 with flag 48792123/11618000
765.94/764.49	c cleaning 152006 clauses out of 304033 with flag 49335954/11771000
778.11/776.41	c cleaning 152997 clauses out of 306027 with flag 49875257/11925000
790.12/788.41	c cleaning 154007 clauses out of 308031 with flag 50414511/12080001
802.12/800.42	c cleaning 154986 clauses out of 310023 with flag 50953199/12236000
814.32/812.65	c cleaning 155997 clauses out of 312037 with flag 51506770/12393000
826.83/825.10	c cleaning 157012 clauses out of 314041 with flag 52058210/12551001
839.62/837.95	c cleaning 157999 clauses out of 316028 with flag 52610539/12710000
852.45/850.62	c cleaning 158993 clauses out of 318030 with flag 53165336/12870001
865.55/863.71	c cleaning 160010 clauses out of 320036 with flag 53722298/13031000
878.35/876.56	c cleaning 160996 clauses out of 322026 with flag 54284681/13193000
891.24/889.40	c cleaning 161996 clauses out of 324030 with flag 54860187/13356000
904.05/902.26	c cleaning 162997 clauses out of 326037 with flag 55441693/13520003
916.65/914.82	c cleaning 164006 clauses out of 328038 with flag 56024309/13685001
930.17/928.27	c cleaning 165004 clauses out of 330032 with flag 56609293/13851001
943.37/941.41	c cleaning 166001 clauses out of 332028 with flag 57191379/14018001
957.16/955.29	c cleaning 167000 clauses out of 334027 with flag 57784837/14186001
970.27/968.37	c cleaning 168010 clauses out of 336026 with flag 58375451/14355000
983.67/981.77	c cleaning 168984 clauses out of 338016 with flag 58972194/14525000
997.97/995.93	c cleaning 170004 clauses out of 340034 with flag 59571273/14696002
1012.27/1010.20	c cleaning 170996 clauses out of 342028 with flag 60168600/14868000
1026.28/1024.24	c cleaning 171999 clauses out of 344032 with flag 60779654/15041000
1040.37/1038.38	c cleaning 173006 clauses out of 346033 with flag 61392687/15215000
1055.17/1053.14	c cleaning 174004 clauses out of 348028 with flag 62008958/15390001
1069.88/1067.77	c cleaning 175007 clauses out of 350024 with flag 62631392/15566001
1085.18/1083.07	c cleaning 175986 clauses out of 352016 with flag 63260267/15743000
1100.39/1098.30	c cleaning 176998 clauses out of 354031 with flag 63898979/15921001
1116.09/1113.98	c cleaning 177996 clauses out of 356033 with flag 64536963/16100001
1132.08/1129.95	c cleaning 179000 clauses out of 358037 with flag 65195496/16280001
1148.10/1145.85	c cleaning 180005 clauses out of 360036 with flag 65842304/16461000
1164.20/1161.94	c cleaning 181004 clauses out of 362031 with flag 66495102/16643000
1179.80/1177.52	c cleaning 181997 clauses out of 364027 with flag 67149645/16826000
1195.39/1193.17	c cleaning 183002 clauses out of 366031 with flag 67804536/17010001
1211.40/1209.20	c cleaning 183996 clauses out of 368029 with flag 68451489/17195001
1228.35/1226.00	c cleaning 185006 clauses out of 370032 with flag 69104403/17381000
1244.66/1242.39	c cleaning 186005 clauses out of 372026 with flag 69770551/17568000
1261.76/1259.44	c cleaning 187005 clauses out of 374021 with flag 70434727/17756000
1278.75/1276.41	c cleaning 187994 clauses out of 376016 with flag 71106060/17945000
1296.04/1293.69	c cleaning 189009 clauses out of 378023 with flag 71786888/18135001
1313.63/1311.24	c cleaning 189998 clauses out of 380015 with flag 72484426/18326002
1331.23/1328.90	c cleaning 190999 clauses out of 382016 with flag 73180587/18518001
1349.23/1346.89	c cleaning 191996 clauses out of 384016 with flag 73875362/18711000
1367.14/1364.71	c cleaning 192994 clauses out of 386020 with flag 74574567/18905000
1385.68/1383.21	c cleaning 194004 clauses out of 388026 with flag 75293198/19100000
1403.78/1401.37	c cleaning 194999 clauses out of 390023 with flag 75994144/19296001
1421.98/1419.52	c cleaning 195997 clauses out of 392023 with flag 76707403/19493000
1441.20/1438.67	c cleaning 196999 clauses out of 394027 with flag 77427679/19691001
1460.70/1458.13	c cleaning 198001 clauses out of 396028 with flag 78160361/19890001
1479.90/1477.36	c cleaning 198999 clauses out of 398027 with flag 78888832/20090001
1499.90/1497.32	c cleaning 199999 clauses out of 400027 with flag 79616654/20291000
1519.65/1516.82	c cleaning 200995 clauses out of 402028 with flag 80352263/20493000
1539.75/1536.98	c cleaning 202013 clauses out of 404033 with flag 81071188/20696000
1560.55/1557.76	c cleaning 203004 clauses out of 406021 with flag 81796693/20900001
1581.24/1578.44	c cleaning 203998 clauses out of 408016 with flag 82534434/21105000
1602.64/1599.79	c cleaning 204999 clauses out of 410019 with flag 83285936/21311001
1623.85/1620.97	c cleaning 205996 clauses out of 412020 with flag 84037747/21518001
1645.95/1643.09	c cleaning 206996 clauses out of 414023 with flag 84809466/21726000
1668.00/1664.92	c cleaning 208003 clauses out of 416028 with flag 85585065/21935001
1690.60/1687.53	c cleaning 209001 clauses out of 418024 with flag 86365909/22145000
1713.98/1710.95	c cleaning 209997 clauses out of 420024 with flag 87155921/22356001
1737.19/1734.13	c cleaning 211005 clauses out of 422026 with flag 87971817/22568000
1760.45/1757.29	c cleaning 211995 clauses out of 424021 with flag 88811564/22781000
1785.14/1781.94	c cleaning 213013 clauses out of 426026 with flag 89637030/22995000
1800.04/1796.80	c starts		: 18360
1800.04/1796.80	c conflicts		: 23149113
1800.04/1796.80	c decisions		: 33017331
1800.04/1796.80	c propagations		: 199831852
1800.04/1796.80	c inspects		: 42796911735
1800.04/1796.80	c shortcuts		: 0
1800.04/1796.80	c learnt literals	: 0
1800.04/1796.80	c learnt binary clauses	: 0
1800.04/1796.80	c timeout
1800.04/1796.80	c learnt ternary clauses	: 0
1800.04/1796.80	c learnt constraints	: 23149113
1800.04/1796.80	c ignored constraints	: 0
1800.04/1796.80	c root simplifications	: 0
1800.04/1796.80	c removed literals (reason simplification)	: 0
1800.04/1796.80	c reason swapping (by a shorter reason)	: 0
1800.04/1796.80	c Calls to reduceDB	: 210
1800.04/1796.80	c Number of update (reduction) of LBD	: 4815928
1800.04/1796.80	c Imported unit clauses	: 0
1800.04/1796.80	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.80	c number of learned constraints concerned by reduction	: 0
1800.04/1796.80	c number of learning phase by resolution	: 0
1800.04/1796.80	c number of learning phase by cutting planes	: 0
1800.04/1796.80	c speed (assignments/second)	: 111235.09837560299
1800.04/1796.80	c non guided choices	2417832
1800.04/1796.83	c learnt constraints type 
1800.04/1796.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 367126
1800.04/1796.83	s UNKNOWN
1800.04/1796.83	c Total wall clock time (in seconds): 1796.616

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

pid=6378
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.11 2.05 2.01 3/194 6381
/proc/meminfo: memFree=31339816/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/6381/stat : 6381 (runsolver) D 6378 6381 4966 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 3343832 24911872 151 33554432000 4194304 4338465 140733603205872 140733603203512 224922520759 0 0 4096 24578 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/6381/statm: 6082 151 105 36 0 2655 0

[startup+0.100134 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 6381
/proc/meminfo: memFree=31339816/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 1505 0 1 0 0 0 0 0 20 0 2 0 3343832 105127936 1110 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 25666 1110 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.200226 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 6381
/proc/meminfo: memFree=31339816/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 3343832 9787879424 6025 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.300307 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 6381
/proc/meminfo: memFree=31339816/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 4687 0 1 0 23 1 0 0 20 0 18 0 3343832 9787879424 8816 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2389619 8816 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.700297 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 6381
/proc/meminfo: memFree=31339816/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 15464 0 1 0 123 4 0 0 20 0 19 0 3343832 9856040960 15140 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 15140 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.11 2.05 2.01 3/213 6400
/proc/meminfo: memFree=31284240/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 15516 0 1 0 218 4 0 0 20 0 19 0 3343832 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 16426 2258 9 0 2396937 0
[pid=6381/tid=6383] ppid=6378 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/6381/task/6383/stat : 6383 (java) R 6378 6381 4966 0 -1 4202560 2432 0 1 0 135 1 0 0 20 0 19 0 3343838 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691748774392 139691613995634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6384] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6384/stat : 6384 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691737835944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6385] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6385/stat : 6385 (java) S 6378 6381 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691736783400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6386] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6386/stat : 6386 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691735730344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6381/tid=6387] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6387/stat : 6387 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691734677800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6388] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6388/stat : 6388 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691733625768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6389] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6389/stat : 6389 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691732573224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6390] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6390/stat : 6390 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691585911464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6391] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6391/stat : 6391 (java) S 6378 6381 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691584858920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6392] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6392/stat : 6392 (java) S 6378 6381 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3343844 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691572660584 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4100 0 0 0 38 2 0 0 20 0 19 0 3343848 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 16426 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.11 2.05 2.01 3/213 6400
/proc/meminfo: memFree=31275408/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 15521 0 1 0 378 4 0 0 20 0 19 0 3343832 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 18986 2258 9 0 2396937 0
[pid=6381/tid=6383] ppid=6378 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/6381/task/6383/stat : 6383 (java) R 6378 6381 4966 0 -1 4202560 2437 0 1 0 295 1 0 0 20 0 19 0 3343838 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691748765376 139691614171871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6384] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6384/stat : 6384 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691737835944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6385] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6385/stat : 6385 (java) S 6378 6381 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691736783400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6386] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6386/stat : 6386 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691735730344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6381/tid=6387] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6387/stat : 6387 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691734677800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6388] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6388/stat : 6388 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691733625768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6389] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6389/stat : 6389 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691732573224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6390] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6390/stat : 6390 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691585911464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6391] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6391/stat : 6391 (java) S 6378 6381 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691584858920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6392] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6392/stat : 6392 (java) S 6378 6381 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3343844 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691572660584 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4100 0 0 0 38 2 0 0 20 0 19 0 3343848 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 18986 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 6400
/proc/meminfo: memFree=31260320/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=7.02 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 15531 0 1 0 698 4 0 0 20 0 19 0 3343832 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 22671 2259 9 0 2396937 0
[pid=6381/tid=6383] ppid=6378 vsize=9625040 CPUtime=6.16 cores=1,3,5,7
/proc/6381/task/6383/stat : 6383 (java) R 6378 6381 4966 0 -1 4202560 2446 0 1 0 614 2 0 0 20 0 19 0 3343838 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691748765376 139691614006727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6384] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6384/stat : 6384 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691737835944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6385] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6385/stat : 6385 (java) S 6378 6381 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691736783400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6386] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6386/stat : 6386 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691735730344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6381/tid=6387] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6387/stat : 6387 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691734677800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6388] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6388/stat : 6388 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691733625768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6389] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6389/stat : 6389 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691732573224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6390] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6390/stat : 6390 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691585911464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6391] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6391/stat : 6391 (java) S 6378 6381 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3343842 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691584858920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6392] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6392/stat : 6392 (java) S 6378 6381 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3343844 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691572660584 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4100 0 0 0 38 2 0 0 20 0 19 0 3343848 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 22671 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9625040


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

[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4118 0 0 0 42 2 0 0 20 0 19 0 3343848 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 96 0 0 0 19 24 0 0 20 0 19 0 3343848 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 107863 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.26
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 6596
/proc/meminfo: memFree=30831572/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=1725.38 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 17743 0 1 0 172493 45 0 0 20 0 19 0 3343832 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 111962 2273 9 0 2396937 0
[pid=6381/tid=6383] ppid=6378 vsize=9625040 CPUtime=1721.25 cores=1,3,5,7
/proc/6381/task/6383/stat : 6383 (java) R 6378 6381 4966 0 -1 4202560 2510 0 1 0 172096 29 0 0 20 0 19 0 3343838 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691748765472 139691614191715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6384] ppid=6378 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/6381/task/6384/stat : 6384 (java) S 6378 6381 4966 0 -1 4202560 110 0 0 0 29 2 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691737835944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6385] ppid=6378 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6381/task/6385/stat : 6385 (java) S 6378 6381 4966 0 -1 4202560 211 0 0 0 38 3 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691736783400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6386] ppid=6378 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/6381/task/6386/stat : 6386 (java) S 6378 6381 4966 0 -1 4202560 298 0 0 0 41 4 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691735730344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6387] ppid=6378 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/6381/task/6387/stat : 6387 (java) S 6378 6381 4966 0 -1 4202560 336 0 0 0 34 2 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691734677800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6388] ppid=6378 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6381/task/6388/stat : 6388 (java) S 6378 6381 4966 0 -1 4202560 159 0 0 0 35 4 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691733625768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6389] ppid=6378 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/6381/task/6389/stat : 6389 (java) S 6378 6381 4966 0 -1 4202560 226 0 0 0 37 3 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691732573224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6381/tid=6390] ppid=6378 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6381/task/6390/stat : 6390 (java) S 6378 6381 4966 0 -1 4202560 386 0 0 0 38 4 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691585911464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6391] ppid=6378 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/6381/task/6391/stat : 6391 (java) S 6378 6381 4966 0 -1 4202560 245 0 0 0 35 3 0 0 20 0 19 0 3343842 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691584858920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6392] ppid=6378 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6381/task/6392/stat : 6392 (java) S 6378 6381 4966 0 -1 4202560 74 0 0 0 1 0 0 0 20 0 19 0 3343844 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691572660584 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4118 0 0 0 42 2 0 0 20 0 19 0 3343848 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 100 0 0 0 19 25 0 0 20 0 19 0 3343848 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 111962 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.38
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 6597
/proc/meminfo: memFree=30807824/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=1785.54 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 17777 0 1 0 178506 48 0 0 20 0 19 0 3343832 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 116568 2273 9 0 2396937 0
[pid=6381/tid=6383] ppid=6378 vsize=9625040 CPUtime=1781.19 cores=1,3,5,7
/proc/6381/task/6383/stat : 6383 (java) R 6378 6381 4966 0 -1 4202560 2511 0 1 0 178089 30 0 0 20 0 19 0 3343838 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691748765472 139691613755312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6384] ppid=6378 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/6381/task/6384/stat : 6384 (java) S 6378 6381 4966 0 -1 4202560 113 0 0 0 34 2 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691737835944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6385] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6385/stat : 6385 (java) S 6378 6381 4966 0 -1 4202560 212 0 0 0 40 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691736783400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6386] ppid=6378 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/6381/task/6386/stat : 6386 (java) S 6378 6381 4966 0 -1 4202560 302 0 0 0 44 4 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691735730344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6387] ppid=6378 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6381/task/6387/stat : 6387 (java) S 6378 6381 4966 0 -1 4202560 339 0 0 0 36 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691734677800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6388] ppid=6378 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6381/task/6388/stat : 6388 (java) S 6378 6381 4966 0 -1 4202560 165 0 0 0 37 4 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691733625768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6381/tid=6389] ppid=6378 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6381/task/6389/stat : 6389 (java) S 6378 6381 4966 0 -1 4202560 229 0 0 0 39 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691732573224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6390] ppid=6378 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/6381/task/6390/stat : 6390 (java) S 6378 6381 4966 0 -1 4202560 391 0 0 0 41 4 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691585911464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6391] ppid=6378 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6381/task/6391/stat : 6391 (java) S 6378 6381 4966 0 -1 4202560 247 0 0 0 38 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691584858920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6392] ppid=6378 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6381/task/6392/stat : 6392 (java) S 6378 6381 4966 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 19 0 3343844 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691572660584 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4118 0 0 0 42 2 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 104 0 0 0 20 26 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 6597
/proc/meminfo: memFree=30807948/32872528 swapFree=162364/176672
[pid=6381] ppid=6378 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/6381/stat : 6381 (java) S 6378 6381 4966 0 -1 4202496 17777 0 1 0 179956 48 0 0 20 0 19 0 3343832 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 140733627005792 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6381/statm: 2406260 116568 2273 9 0 2396937 0
[pid=6381/tid=6383] ppid=6378 vsize=9625040 CPUtime=1795.69 cores=1,3,5,7
/proc/6381/task/6383/stat : 6383 (java) R 6378 6381 4966 0 -1 4202560 2511 0 1 0 179539 30 0 0 20 0 19 0 3343838 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691748765472 139691614191678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6384] ppid=6378 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/6381/task/6384/stat : 6384 (java) S 6378 6381 4966 0 -1 4202560 113 0 0 0 34 2 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691737835944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6385] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6385/stat : 6385 (java) S 6378 6381 4966 0 -1 4202560 212 0 0 0 40 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691736783400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6386] ppid=6378 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/6381/task/6386/stat : 6386 (java) S 6378 6381 4966 0 -1 4202560 302 0 0 0 44 4 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691735730344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6387] ppid=6378 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6381/task/6387/stat : 6387 (java) S 6378 6381 4966 0 -1 4202560 339 0 0 0 36 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691734677800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6388] ppid=6378 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6381/task/6388/stat : 6388 (java) S 6378 6381 4966 0 -1 4202560 165 0 0 0 37 4 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691733625768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6381/tid=6389] ppid=6378 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6381/task/6389/stat : 6389 (java) S 6378 6381 4966 0 -1 4202560 229 0 0 0 39 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691732573224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6390] ppid=6378 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/6381/task/6390/stat : 6390 (java) S 6378 6381 4966 0 -1 4202560 391 0 0 0 41 4 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691585911464 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6391] ppid=6378 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6381/task/6391/stat : 6391 (java) S 6378 6381 4966 0 -1 4202560 247 0 0 0 38 3 0 0 20 0 19 0 3343842 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691584858920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6392] ppid=6378 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6381/task/6392/stat : 6392 (java) S 6378 6381 4966 0 -1 4202560 76 0 0 0 1 0 0 0 20 0 19 0 3343844 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691572660584 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6393] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6393/stat : 6393 (java) S 6378 6381 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691571606904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6394] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6394/stat : 6394 (java) S 6378 6381 4966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3343845 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691570553736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6395] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6395/stat : 6395 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691569502480 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6396] ppid=6378 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6381/task/6396/stat : 6396 (java) S 6378 6381 4966 0 -1 4202560 4118 0 0 0 42 2 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691568450360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6381/tid=6397] ppid=6378 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6381/task/6397/stat : 6397 (java) S 6378 6381 4966 0 -1 4202560 7707 0 0 0 41 2 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691567397816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6398] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6398/stat : 6398 (java) S 6378 6381 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691566344952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6381/tid=6399] ppid=6378 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/6381/task/6399/stat : 6399 (java) S 6378 6381 4966 0 -1 4202560 104 0 0 0 20 26 0 0 20 0 19 0 3343848 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691565292616 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6381/tid=6400] ppid=6378 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6381/task/6400/stat : 6400 (java) S 6378 6381 4966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3343865 9856040960 116568 33554432000 1073741824 1073778376 140733627014656 139691564237864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 6381 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1796.84
CPU time (s): 1800.71
CPU user time (s): 1799.7
CPU system time (s): 1.01285
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 1.01285
maximum resident set size= 468472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17823
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38635
involuntary context switches= 9527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42257 second user time and 14.2048 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 3a410b85cc117734511eba1bece7c9b4
RANDOM SEED=1842065678

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:        31339972 kB
Buffers:           67756 kB
Cached:           337380 kB
SwapCached:            0 kB
Active:           332132 kB
Inactive:         322236 kB
Active(anon):     251792 kB
Inactive(anon):        0 kB
Active(file):      80340 kB
Inactive(file):   322236 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:        440252 kB
Mapped:            21972 kB
Shmem:               204 kB
Slab:             572128 kB
SReclaimable:      15588 kB
SUnreclaim:       556540 kB
KernelStack:        1664 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     892312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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 20:18:56