Trace number 4088711

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.58 1797.15

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
MD5SUM89362364de17fe2ed91e08469c5a6887
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 benchmark443.131
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1101
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
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.04/0.36	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.36	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.36	c See www.sat4j.org for details.
0.04/0.36	c version PB16.v20160501
0.04/0.36	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.36	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.36	c java.vm.version	19.1-b02
0.04/0.36	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.36	c sun.arch.data.model	64
0.04/0.36	c java.version		1.6.0_24
0.04/0.36	c os.name		Linux
0.04/0.36	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.36	c os.arch		amd64
0.04/0.36	c Free memory 		501472288
0.04/0.36	c Max memory 		7480803328
0.04/0.36	c Total memory 		504102912
0.04/0.37	c Number of processors 	8
0.13/0.40	c Pseudo Boolean Optimization by upper bound
0.13/0.40	c --- Begin Solver configuration ---
0.13/0.40	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.13/0.40	c Learn all clauses as in MiniSAT
0.13/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.40	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.40	c No reason simplification
0.13/0.40	c Glucose 2.1 dynamic restart strategy
0.13/0.40	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.40	c timeout=2147483s
0.13/0.40	c DB Simplification allowed=false
0.13/0.40	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.13/0.40	c --- End Solver configuration ---
0.13/0.40	c solving HOME/instance-4088711-1466012073.opb
0.13/0.40	c reading problem ... 
0.13/0.40	c  no objective function found
0.13/0.49	c ... done. Wall clock time 0.097s.
0.13/0.49	c declared #vars     1101
0.13/0.49	c #constraints  1102
0.13/0.49	c constraints type 
0.29/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 1100
0.29/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.29/0.50	c 1102 constraints processed.
0.79/0.79	c cleaning 2496 clauses out of 5002 with flag 21509/5002
1.14/0.93	c cleaning 4214 clauses out of 8504 with flag 46788/11000
1.32/1.02	c cleaning 5613 clauses out of 11291 with flag 77562/18001
1.43/1.16	c cleaning 6803 clauses out of 13677 with flag 117054/26000
1.55/1.30	c cleaning 7887 clauses out of 15877 with flag 159683/35003
1.74/1.46	c cleaning 8973 clauses out of 17988 with flag 209231/45001
1.95/1.65	c cleaning 9952 clauses out of 20016 with flag 267941/56002
2.15/1.87	c cleaning 10969 clauses out of 22062 with flag 336861/68000
2.45/2.12	c cleaning 11988 clauses out of 24095 with flag 406035/81002
2.65/2.38	c cleaning 13003 clauses out of 26105 with flag 482831/95000
2.95/2.69	c cleaning 13993 clauses out of 28103 with flag 570856/110001
3.35/3.03	c cleaning 15033 clauses out of 30111 with flag 660131/126002
3.65/3.38	c cleaning 15970 clauses out of 32076 with flag 757743/143000
4.04/3.77	c cleaning 17040 clauses out of 34106 with flag 858562/161000
4.45/4.19	c cleaning 17960 clauses out of 36066 with flag 962582/180000
4.95/4.64	c cleaning 18980 clauses out of 38106 with flag 1069761/200000
5.45/5.14	c cleaning 20017 clauses out of 40126 with flag 1186085/221000
5.96/5.65	c cleaning 21011 clauses out of 42109 with flag 1305075/243000
6.55/6.21	c cleaning 22036 clauses out of 44099 with flag 1427666/266001
7.15/6.82	c cleaning 22995 clauses out of 46063 with flag 1555090/290001
7.76/7.44	c cleaning 23960 clauses out of 48067 with flag 1683524/315000
8.46/8.13	c cleaning 25029 clauses out of 50107 with flag 1826469/341000
9.16/8.86	c cleaning 25981 clauses out of 52078 with flag 1968135/368000
10.06/9.73	c cleaning 26976 clauses out of 54097 with flag 2124530/396000
10.96/10.68	c cleaning 27985 clauses out of 56122 with flag 2286561/425001
11.86/11.59	c cleaning 29048 clauses out of 58136 with flag 2448886/455000
12.85/12.52	c cleaning 29991 clauses out of 60088 with flag 2615819/486000
13.85/13.54	c cleaning 30992 clauses out of 62100 with flag 2782599/518003
14.95/14.63	c cleaning 32027 clauses out of 64106 with flag 2960218/551001
16.05/15.74	c cleaning 33019 clauses out of 66078 with flag 3141251/585000
17.15/16.83	c cleaning 33961 clauses out of 68060 with flag 3318002/620001
18.35/18.07	c cleaning 35017 clauses out of 70100 with flag 3506494/656002
19.76/19.49	c cleaning 36021 clauses out of 72081 with flag 3706627/693000
21.16/20.83	c cleaning 37016 clauses out of 74060 with flag 3902715/731000
22.56/22.23	c cleaning 37973 clauses out of 76045 with flag 4102802/770001
24.06/23.79	c cleaning 39028 clauses out of 78071 with flag 4315759/810000
25.66/25.40	c cleaning 39964 clauses out of 80043 with flag 4537449/851000
27.36/27.00	c cleaning 40998 clauses out of 82079 with flag 4753447/893000
29.16/28.86	c cleaning 41999 clauses out of 84082 with flag 4980386/936001
30.95/30.61	c cleaning 43009 clauses out of 86083 with flag 5197403/980001
32.79/32.47	c cleaning 43977 clauses out of 88073 with flag 5422004/1025000
34.60/34.25	c cleaning 44997 clauses out of 90097 with flag 5647709/1071001
36.49/36.13	c cleaning 45996 clauses out of 92100 with flag 5883976/1118001
38.40/38.06	c cleaning 47017 clauses out of 94103 with flag 6121920/1166000
40.50/40.11	c cleaning 47993 clauses out of 96087 with flag 6366171/1215001
42.50/42.17	c cleaning 49019 clauses out of 98093 with flag 6614531/1265000
44.60/44.29	c cleaning 50019 clauses out of 100076 with flag 6863356/1316002
46.80/46.45	c cleaning 50988 clauses out of 102057 with flag 7114693/1368002
49.10/48.75	c cleaning 52014 clauses out of 104067 with flag 7367990/1421000
51.50/51.19	c cleaning 52985 clauses out of 106053 with flag 7626414/1475000
54.00/53.66	c cleaning 54005 clauses out of 108069 with flag 7891134/1530001
56.60/56.22	c cleaning 55003 clauses out of 110063 with flag 8157703/1586000
59.50/59.13	c cleaning 56004 clauses out of 112060 with flag 8430372/1643000
62.40/62.03	c cleaning 56996 clauses out of 114056 with flag 8707220/1701000
65.31/64.94	c cleaning 58017 clauses out of 116060 with flag 8983104/1760000
68.20/67.81	c cleaning 58983 clauses out of 118043 with flag 9257754/1820000
71.20/70.87	c cleaning 60004 clauses out of 120060 with flag 9539060/1881000
74.30/73.92	c cleaning 61017 clauses out of 122057 with flag 9824728/1943001
77.40/77.08	c cleaning 61990 clauses out of 124039 with flag 10111265/2006000
80.80/80.48	c cleaning 62980 clauses out of 126051 with flag 10405691/2070002
84.20/83.84	c cleaning 64025 clauses out of 128070 with flag 10701436/2135001
87.60/87.26	c cleaning 65006 clauses out of 130044 with flag 10998777/2201000
91.04/90.68	c cleaning 65984 clauses out of 132039 with flag 11314426/2268001
94.44/94.05	c cleaning 66998 clauses out of 134054 with flag 11624411/2336000
98.25/97.82	c cleaning 68008 clauses out of 136056 with flag 11939323/2405000
102.55/102.10	c cleaning 68995 clauses out of 138048 with flag 12265767/2475000
106.55/106.10	c cleaning 69988 clauses out of 140053 with flag 12597840/2546000
111.05/110.68	c cleaning 70993 clauses out of 142066 with flag 12930141/2618001
115.25/114.89	c cleaning 72015 clauses out of 144072 with flag 13259457/2691000
119.65/119.28	c cleaning 72995 clauses out of 146057 with flag 13591731/2765000
124.05/123.70	c cleaning 74005 clauses out of 148062 with flag 13930842/2840000
128.55/128.18	c cleaning 75002 clauses out of 150058 with flag 14271130/2916001
133.05/132.67	c cleaning 76017 clauses out of 152055 with flag 14606726/2993000
138.25/137.81	c cleaning 76983 clauses out of 154038 with flag 14952652/3071000
143.15/142.73	c cleaning 78000 clauses out of 156056 with flag 15304414/3150001
147.96/147.51	c cleaning 78992 clauses out of 158055 with flag 15654456/3230000
153.15/152.78	c cleaning 80001 clauses out of 160063 with flag 16015173/3311000
158.31/157.84	c cleaning 80994 clauses out of 162063 with flag 16370950/3393001
163.61/163.16	c cleaning 81991 clauses out of 164070 with flag 16723529/3476002
169.71/169.25	c cleaning 83019 clauses out of 166077 with flag 17093443/3560000
175.41/174.96	c cleaning 83998 clauses out of 168059 with flag 17459072/3645001
181.41/180.96	c cleaning 85003 clauses out of 170061 with flag 17832676/3731001
187.30/186.81	c cleaning 85986 clauses out of 172057 with flag 18204592/3818000
193.20/192.74	c cleaning 87010 clauses out of 174072 with flag 18582913/3906001
198.90/198.41	c cleaning 88011 clauses out of 176062 with flag 18963307/3995001
204.70/204.24	c cleaning 88999 clauses out of 178050 with flag 19347008/4085000
210.81/210.32	c cleaning 89997 clauses out of 180052 with flag 19734977/4176001
216.81/216.37	c cleaning 90995 clauses out of 182054 with flag 20117318/4268000
223.11/222.69	c cleaning 91998 clauses out of 184060 with flag 20507650/4361001
230.01/229.54	c cleaning 93014 clauses out of 186063 with flag 20906660/4455002
236.67/236.15	c cleaning 93990 clauses out of 188047 with flag 21303670/4550000
243.57/243.08	c cleaning 95004 clauses out of 190059 with flag 21712335/4646002
250.07/249.57	c cleaning 96007 clauses out of 192053 with flag 22114822/4743000
257.17/256.63	c cleaning 96986 clauses out of 194046 with flag 22521916/4841000
264.16/263.69	c cleaning 98006 clauses out of 196060 with flag 22928366/4940000
271.36/270.83	c cleaning 99009 clauses out of 198054 with flag 23337143/5040000
279.06/278.59	c cleaning 100000 clauses out of 200046 with flag 23761620/5141001
286.86/286.34	c cleaning 101001 clauses out of 202046 with flag 24183336/5243001
294.96/294.45	c cleaning 101993 clauses out of 204045 with flag 24612635/5346001
302.26/301.76	c cleaning 103008 clauses out of 206052 with flag 25032398/5450001
309.86/309.38	c cleaning 103988 clauses out of 208044 with flag 25454311/5555001
318.06/317.53	c cleaning 105007 clauses out of 210056 with flag 25879281/5661001
326.15/325.50	c cleaning 106011 clauses out of 212048 with flag 26304504/5768000
334.05/333.45	c cleaning 106989 clauses out of 214037 with flag 26735212/5876000
343.05/342.42	c cleaning 108007 clauses out of 216049 with flag 27182635/5985001
351.76/351.17	c cleaning 108994 clauses out of 218041 with flag 27616119/6095000
360.46/359.83	c cleaning 110003 clauses out of 220047 with flag 28055144/6206000
369.66/369.01	c cleaning 111009 clauses out of 222044 with flag 28507268/6318000
378.45/377.87	c cleaning 111985 clauses out of 224035 with flag 28952949/6431000
387.35/386.78	c cleaning 113009 clauses out of 226052 with flag 29403346/6545002
396.45/395.82	c cleaning 114000 clauses out of 228041 with flag 29861981/6660000
405.35/404.73	c cleaning 115000 clauses out of 230041 with flag 30308839/6776000
414.67/413.91	c cleaning 115994 clauses out of 232042 with flag 30762771/6893001
425.17/424.48	c cleaning 116999 clauses out of 234047 with flag 31225156/7011000
435.28/434.57	c cleaning 118005 clauses out of 236048 with flag 31683318/7130000
445.78/445.06	c cleaning 119003 clauses out of 238043 with flag 32148807/7250000
455.67/454.92	c cleaning 120005 clauses out of 240041 with flag 32613307/7371001
465.47/464.74	c cleaning 120993 clauses out of 242035 with flag 33075886/7493000
474.97/474.22	c cleaning 122014 clauses out of 244044 with flag 33532923/7616002
484.88/484.18	c cleaning 123003 clauses out of 246029 with flag 33994808/7740001
494.97/494.24	c cleaning 123985 clauses out of 248026 with flag 34460304/7865001
504.98/504.10	c cleaning 124997 clauses out of 250041 with flag 34921252/7991001
515.29/514.42	c cleaning 126012 clauses out of 252043 with flag 35392941/8118000
525.09/524.20	c cleaning 127000 clauses out of 254031 with flag 35867095/8246000
535.29/534.42	c cleaning 127982 clauses out of 256032 with flag 36341344/8375001
545.19/544.36	c cleaning 129005 clauses out of 258050 with flag 36812167/8505001
555.29/554.42	c cleaning 130016 clauses out of 260047 with flag 37289079/8636003
565.39/564.57	c cleaning 131003 clauses out of 262030 with flag 37765795/8768002
575.29/574.43	c cleaning 131997 clauses out of 264025 with flag 38245977/8901000
586.20/585.29	c cleaning 132995 clauses out of 266028 with flag 38721248/9035000
596.90/595.97	c cleaning 134009 clauses out of 268033 with flag 39201450/9170000
607.21/606.28	c cleaning 134994 clauses out of 270024 with flag 39690759/9306000
617.60/616.68	c cleaning 135996 clauses out of 272030 with flag 40168422/9443000
627.60/626.66	c cleaning 137001 clauses out of 274034 with flag 40655447/9581000
638.20/637.20	c cleaning 137997 clauses out of 276033 with flag 41140775/9720000
648.80/647.88	c cleaning 139004 clauses out of 278036 with flag 41635898/9860000
659.42/658.38	c cleaning 140003 clauses out of 280032 with flag 42131067/10001000
670.32/669.27	c cleaning 140996 clauses out of 282029 with flag 42628549/10143000
681.42/680.35	c cleaning 142002 clauses out of 284034 with flag 43122465/10286001
692.52/691.49	c cleaning 143003 clauses out of 286032 with flag 43615959/10430001
703.53/702.49	c cleaning 144000 clauses out of 288028 with flag 44119773/10575000
714.62/713.52	c cleaning 145002 clauses out of 290028 with flag 44631882/10721000
726.03/724.92	c cleaning 146011 clauses out of 292027 with flag 45141025/10868001
737.76/736.55	c cleaning 146999 clauses out of 294015 with flag 45649948/11016000
750.07/748.83	c cleaning 147995 clauses out of 296017 with flag 46166721/11165001
761.87/760.69	c cleaning 148995 clauses out of 298023 with flag 46676705/11315002
774.07/772.86	c cleaning 149995 clauses out of 300027 with flag 47207633/11466001
786.57/785.39	c cleaning 151004 clauses out of 302032 with flag 47737490/11618001
798.67/797.41	c cleaning 151997 clauses out of 304028 with flag 48269847/11771001
811.75/810.37	c cleaning 153007 clauses out of 306030 with flag 48811569/11925000
825.45/824.02	c cleaning 154006 clauses out of 308023 with flag 49369087/12080000
838.55/837.17	c cleaning 155001 clauses out of 310017 with flag 49925267/12236000
851.86/850.47	c cleaning 155997 clauses out of 312017 with flag 50494209/12393001
865.85/864.42	c cleaning 156993 clauses out of 314019 with flag 51068724/12551000
879.86/878.48	c cleaning 157991 clauses out of 316027 with flag 51652009/12710001
894.84/893.32	c cleaning 158999 clauses out of 318036 with flag 52243640/12870001
908.64/907.11	c cleaning 160003 clauses out of 320037 with flag 52828445/13031001
922.64/921.14	c cleaning 161009 clauses out of 322034 with flag 53411617/13193001
937.54/936.02	c cleaning 162007 clauses out of 324024 with flag 53999574/13356000
952.64/951.18	c cleaning 162992 clauses out of 326017 with flag 54601959/13520000
967.74/966.11	c cleaning 163997 clauses out of 328025 with flag 55193667/13685000
982.55/980.98	c cleaning 164998 clauses out of 330028 with flag 55789732/13851000
997.65/996.02	c cleaning 165999 clauses out of 332030 with flag 56384191/14018000
1012.75/1011.16	c cleaning 167010 clauses out of 334031 with flag 56986665/14186000
1028.55/1026.99	c cleaning 167993 clauses out of 336022 with flag 57602753/14355001
1044.36/1042.63	c cleaning 169003 clauses out of 338028 with flag 58223705/14525000
1060.26/1058.57	c cleaning 169996 clauses out of 340026 with flag 58856307/14696001
1076.47/1074.80	c cleaning 171005 clauses out of 342029 with flag 59508923/14868000
1093.56/1091.81	c cleaning 172001 clauses out of 344024 with flag 60158709/15041000
1110.26/1108.50	c cleaning 172999 clauses out of 346023 with flag 60798283/15215000
1127.50/1125.69	c cleaning 173998 clauses out of 348025 with flag 61449331/15390001
1145.19/1143.36	c cleaning 175003 clauses out of 350026 with flag 62102406/15566000
1162.29/1160.44	c cleaning 176002 clauses out of 352023 with flag 62773209/15743000
1179.49/1177.69	c cleaning 176997 clauses out of 354023 with flag 63423885/15921002
1197.71/1195.81	c cleaning 177996 clauses out of 356024 with flag 64090023/16100000
1214.40/1212.45	c cleaning 179000 clauses out of 358029 with flag 64749237/16280001
1232.40/1230.40	c cleaning 180001 clauses out of 360028 with flag 65406138/16461000
1251.90/1249.95	c cleaning 181000 clauses out of 362027 with flag 66089242/16643000
1270.50/1268.59	c cleaning 181995 clauses out of 364028 with flag 66759129/16826001
1289.50/1287.58	c cleaning 183006 clauses out of 366034 with flag 67443615/17010002
1310.12/1308.04	c cleaning 183998 clauses out of 368027 with flag 68164234/17195001
1330.61/1328.52	c cleaning 185008 clauses out of 370029 with flag 68880388/17381001
1351.12/1349.05	c cleaning 185997 clauses out of 372021 with flag 69587966/17568001
1372.62/1370.54	c cleaning 187005 clauses out of 374023 with flag 70306781/17756000
1394.86/1392.64	c cleaning 187997 clauses out of 376019 with flag 71027341/17945001
1416.46/1414.27	c cleaning 189001 clauses out of 378021 with flag 71758474/18135000
1438.16/1435.97	c cleaning 190003 clauses out of 380020 with flag 72504633/18326000
1461.46/1459.22	c cleaning 190997 clauses out of 382017 with flag 73254996/18518000
1485.82/1483.49	c cleaning 191997 clauses out of 384020 with flag 74003098/18711000
1509.83/1507.46	c cleaning 193002 clauses out of 386024 with flag 74752353/18905001
1534.13/1531.73	c cleaning 194000 clauses out of 388021 with flag 75499240/19100000
1558.54/1556.12	c cleaning 195001 clauses out of 390021 with flag 76239329/19296000
1585.61/1583.17	c cleaning 195998 clauses out of 392021 with flag 77002540/19493001
1613.91/1611.49	c cleaning 197001 clauses out of 394022 with flag 77782604/19691000
1642.93/1640.44	c cleaning 198003 clauses out of 396021 with flag 78586083/19890000
1674.18/1671.59	c cleaning 198998 clauses out of 398018 with flag 79390348/20090000
1704.69/1702.10	c cleaning 200002 clauses out of 400020 with flag 80192918/20291000
1736.30/1733.63	c cleaning 201001 clauses out of 402018 with flag 80992231/20493000
1770.29/1767.70	c cleaning 202001 clauses out of 404017 with flag 81800615/20696000
1800.03/1797.10	c starts		: 20199
1800.03/1797.10	c conflicts		: 20885360
1800.03/1797.10	c decisions		: 29782794
1800.03/1797.10	c propagations		: 170955419
1800.03/1797.10	c inspects		: 42938414605
1800.03/1797.10	c shortcuts		: 0
1800.03/1797.10	c learnt literals	: 0
1800.03/1797.10	c learnt binary clauses	: 0
1800.03/1797.10	c learnt ternary clauses	: 0
1800.03/1797.10	c learnt constraints	: 20885360
1800.03/1797.10	c ignored constraints	: 0
1800.03/1797.10	c root simplifications	: 0
1800.03/1797.10	c removed literals (reason simplification)	: 0
1800.03/1797.10	c reason swapping (by a shorter reason)	: 0
1800.03/1797.10	c Calls to reduceDB	: 199
1800.03/1797.10	c Number of update (reduction) of LBD	: 4382635
1800.03/1797.10	c Imported unit clauses	: 0
1800.03/1797.10	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.10	c number of learned constraints concerned by reduction	: 0
1800.03/1797.10	c number of learning phase by resolution	: 0
1800.03/1797.10	c number of learning phase by cutting planes	: 0
1800.03/1797.10	c speed (assignments/second)	: 95154.86457212003
1800.03/1797.10	c non guided choices	1809497
1800.03/1797.10	c timeout
1800.03/1797.14	c learnt constraints type 
1800.03/1797.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 391377
1800.03/1797.14	s UNKNOWN
1800.03/1797.14	c Total wall clock time (in seconds): 1796.741

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

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

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


[startup+0 s]
/proc/loadavg: 1.07 1.23 1.55 3/175 5974
/proc/meminfo: memFree=30696244/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/5974/stat : 5974 (java) D 5968 5974 5929 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 3255910 278528 33 33554432000 1073741824 1073778376 140735206459424 140735206456600 272877317415 0 0 4096 0 18446744071580397875 0 0 17 2 0 0 0 0 0
/proc/5974/statm: 68 33 25 9 0 25 0

[startup+0.100178 s]
/proc/loadavg: 1.07 1.23 1.55 3/175 5974
/proc/meminfo: memFree=30696244/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/5974/stat : 5974 (java) D 5968 5974 5929 0 -1 4202496 1144 0 20 0 0 0 0 0 20 0 1 0 3255910 23793664 814 33554432000 1073741824 1073778376 140735899900496 140735899890488 139751100937936 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 5809 814 608 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200232 s]
/proc/loadavg: 1.07 1.23 1.55 3/175 5974
/proc/meminfo: memFree=30696244/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 2665 0 27 0 0 0 0 0 20 0 10 0 3255910 9233014784 3313 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2254154 3313 1412 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.300183 s]
/proc/loadavg: 1.07 1.23 1.55 3/175 5974
/proc/meminfo: memFree=30696244/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 3131 0 27 0 3 1 0 0 20 0 13 0 3255910 9446973440 4288 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2306390 4288 1706 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.700159 s]
/proc/loadavg: 1.07 1.23 1.55 3/175 5974
/proc/meminfo: memFree=30696244/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 8908 0 29 0 76 3 0 0 20 0 19 0 3255910 9856040960 10936 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 10936 2247 9 0 2396937 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 1.07 1.23 1.55 4/213 6012
/proc/meminfo: memFree=30580476/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=1.84 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 12107 0 29 0 181 3 0 0 20 0 19 0 3255910 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 12485 2258 9 0 2396937 0
[pid=5974/tid=5978] ppid=5968 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/5974/task/5978/stat : 5978 (java) R 5968 5974 5929 0 -1 4202560 2402 0 6 0 116 2 0 0 20 0 19 0 3255921 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139751096610464 139750938292271 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0
[pid=5974/tid=5980] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5980/stat : 5980 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139751058110760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5982] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5982/stat : 5982 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139751057057960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5984] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5984/stat : 5984 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750937717288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5974/tid=5986] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5986/stat : 5986 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750936664488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5989] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5989/stat : 5989 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750935612200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5991] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5991/stat : 5991 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750934559400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5992] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5992/stat : 5992 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750933507112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5994] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5994/stat : 5994 (java) S 5968 5974 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750932454312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5995] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5995/stat : 5995 (java) S 5968 5974 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3255932 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750450125032 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 3601 0 1 0 30 0 0 0 20 0 19 0 3255941 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 12485 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 1.07 1.23 1.55 4/213 6012
/proc/meminfo: memFree=30565148/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 12111 0 29 0 341 3 0 0 20 0 19 0 3255910 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 14533 2258 9 0 2396937 0
[pid=5974/tid=5978] ppid=5968 vsize=9625040 CPUtime=2.78 cores=0,2,4,6
/proc/5974/task/5978/stat : 5978 (java) R 5968 5974 5929 0 -1 4202560 2406 0 6 0 275 3 0 0 20 0 19 0 3255921 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139751096610464 139750938229100 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0
[pid=5974/tid=5980] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5980/stat : 5980 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139751058110760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5982] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5982/stat : 5982 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139751057057960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5984] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5984/stat : 5984 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750937717288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5974/tid=5986] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5986/stat : 5986 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750936664488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5989] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5989/stat : 5989 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750935612200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5991] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5991/stat : 5991 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750934559400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5992] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5992/stat : 5992 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750933507112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5994] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5994/stat : 5994 (java) S 5968 5974 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750932454312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5995] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5995/stat : 5995 (java) S 5968 5974 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3255932 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750450125032 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 3601 0 1 0 30 0 0 0 20 0 19 0 3255941 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 14533 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 1.14 1.25 1.55 4/213 6012
/proc/meminfo: memFree=30534136/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=6.65 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 12121 0 29 0 661 4 0 0 20 0 19 0 3255910 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 18328 2259 9 0 2396937 0
[pid=5974/tid=5978] ppid=5968 vsize=9625040 CPUtime=5.98 cores=0,2,4,6
/proc/5974/task/5978/stat : 5978 (java) R 5968 5974 5929 0 -1 4202560 2415 0 6 0 595 3 0 0 20 0 19 0 3255921 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139751096610464 139750938292271 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0
[pid=5974/tid=5980] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5980/stat : 5980 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139751058110760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5982] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5982/stat : 5982 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139751057057960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5984] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5984/stat : 5984 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750937717288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5974/tid=5986] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5986/stat : 5986 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750936664488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5989] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5989/stat : 5989 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750935612200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5991] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5991/stat : 5991 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750934559400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5992] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5992/stat : 5992 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750933507112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5994] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5994/stat : 5994 (java) S 5968 5974 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3255928 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750932454312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5995] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5995/stat : 5995 (java) S 5968 5974 5929 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3255932 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750450125032 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 3601 0 1 0 30 0 0 0 20 0 19 0 3255941 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 18328 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 9625040


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

[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 4046 0 1 0 35 0 0 0 20 0 19 0 3255941 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 100 0 0 0 24 23 0 0 20 0 19 0 3255941 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 112785 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.99
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.07 4/213 6078
/proc/meminfo: memFree=29728208/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=1785.23 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 15670 0 29 0 178468 55 0 0 20 0 19 0 3255910 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 120014 2273 9 0 2396937 0
[pid=5974/tid=5978] ppid=5968 vsize=9625040 CPUtime=1781.04 cores=0,2,4,6
/proc/5974/task/5978/stat : 5978 (java) R 5968 5974 5929 0 -1 4202560 2480 0 6 0 178072 32 0 0 20 0 19 0 3255921 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751096618256 139750938372229 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0
[pid=5974/tid=5980] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5980/stat : 5980 (java) S 5968 5974 5929 0 -1 4202560 386 0 0 0 34 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751058110760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5982] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5982/stat : 5982 (java) S 5968 5974 5929 0 -1 4202560 367 0 0 0 36 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751057057960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5984] ppid=5968 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5974/task/5984/stat : 5984 (java) S 5968 5974 5929 0 -1 4202560 301 0 0 0 33 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750937717288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5986] ppid=5968 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5974/task/5986/stat : 5986 (java) S 5968 5974 5929 0 -1 4202560 387 0 0 0 37 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750936664488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5989] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5989/stat : 5989 (java) S 5968 5974 5929 0 -1 4202560 422 0 0 0 35 4 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750935612200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5991] ppid=5968 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/5974/task/5991/stat : 5991 (java) S 5968 5974 5929 0 -1 4202560 155 0 0 0 37 4 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750934559400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5992] ppid=5968 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5974/task/5992/stat : 5992 (java) S 5968 5974 5929 0 -1 4202560 354 0 0 0 33 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750933507112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5994] ppid=5968 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/5974/task/5994/stat : 5994 (java) S 5968 5974 5929 0 -1 4202560 492 0 0 0 45 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750932454312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5995] ppid=5968 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5974/task/5995/stat : 5995 (java) S 5968 5974 5929 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 19 0 3255932 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750450125032 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 4046 0 1 0 35 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.17 2.17 2.07 4/213 6078
/proc/meminfo: memFree=29728212/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 15670 0 29 0 179948 55 0 0 20 0 19 0 3255910 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 120014 2273 9 0 2396937 0
[pid=5974/tid=5978] ppid=5968 vsize=9625040 CPUtime=1795.84 cores=0,2,4,6
/proc/5974/task/5978/stat : 5978 (java) R 5968 5974 5929 0 -1 4202560 2480 0 6 0 179552 32 0 0 20 0 19 0 3255921 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751096618256 139750938372243 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0
[pid=5974/tid=5980] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5980/stat : 5980 (java) S 5968 5974 5929 0 -1 4202560 386 0 0 0 34 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751058110760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5982] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5982/stat : 5982 (java) S 5968 5974 5929 0 -1 4202560 367 0 0 0 36 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751057057960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5984] ppid=5968 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5974/task/5984/stat : 5984 (java) S 5968 5974 5929 0 -1 4202560 301 0 0 0 33 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750937717288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5986] ppid=5968 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5974/task/5986/stat : 5986 (java) S 5968 5974 5929 0 -1 4202560 387 0 0 0 37 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750936664488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5989] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5989/stat : 5989 (java) S 5968 5974 5929 0 -1 4202560 422 0 0 0 35 4 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750935612200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5991] ppid=5968 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/5974/task/5991/stat : 5991 (java) S 5968 5974 5929 0 -1 4202560 155 0 0 0 37 4 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750934559400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5992] ppid=5968 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5974/task/5992/stat : 5992 (java) S 5968 5974 5929 0 -1 4202560 354 0 0 0 33 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750933507112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5994] ppid=5968 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/5974/task/5994/stat : 5994 (java) S 5968 5974 5929 0 -1 4202560 492 0 0 0 45 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750932454312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5995] ppid=5968 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5974/task/5995/stat : 5995 (java) S 5968 5974 5929 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 19 0 3255932 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750450125032 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 4046 0 1 0 35 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 5974 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.1 s]
/proc/loadavg: 2.17 2.17 2.07 4/213 6078
/proc/meminfo: memFree=29728212/32872528 swapFree=1243664/1390832
[pid=5974] ppid=5968 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/5974/stat : 5974 (java) S 5968 5974 5929 0 -1 4202496 15670 0 29 0 179948 55 0 0 20 0 19 0 3255910 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 140735899891632 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/5974/statm: 2406260 120014 2273 9 0 2396937 0
[pid=5974/tid=5978] ppid=5968 vsize=9625040 CPUtime=1795.84 cores=0,2,4,6
/proc/5974/task/5978/stat : 5978 (java) R 5968 5974 5929 0 -1 4202560 2480 0 6 0 179552 32 0 0 20 0 19 0 3255921 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751096618256 139750938372243 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0
[pid=5974/tid=5980] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5980/stat : 5980 (java) S 5968 5974 5929 0 -1 4202560 386 0 0 0 34 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751058110760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5982] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5982/stat : 5982 (java) S 5968 5974 5929 0 -1 4202560 367 0 0 0 36 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139751057057960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5984] ppid=5968 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5974/task/5984/stat : 5984 (java) S 5968 5974 5929 0 -1 4202560 301 0 0 0 33 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750937717288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5986] ppid=5968 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5974/task/5986/stat : 5986 (java) S 5968 5974 5929 0 -1 4202560 387 0 0 0 37 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750936664488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5989] ppid=5968 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/5974/task/5989/stat : 5989 (java) S 5968 5974 5929 0 -1 4202560 422 0 0 0 35 4 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750935612200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5991] ppid=5968 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/5974/task/5991/stat : 5991 (java) S 5968 5974 5929 0 -1 4202560 155 0 0 0 37 4 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750934559400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5974/tid=5992] ppid=5968 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5974/task/5992/stat : 5992 (java) S 5968 5974 5929 0 -1 4202560 354 0 0 0 33 3 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750933507112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=5994] ppid=5968 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/5974/task/5994/stat : 5994 (java) S 5968 5974 5929 0 -1 4202560 492 0 0 0 45 5 0 0 20 0 19 0 3255928 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750932454312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=5995] ppid=5968 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5974/task/5995/stat : 5995 (java) S 5968 5974 5929 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 19 0 3255932 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750450125032 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5974/tid=5998] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/5998/stat : 5998 (java) S 5968 5974 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750449071096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6000] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6000/stat : 6000 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255933 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750448018696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6002] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6002/stat : 6002 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750446967184 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6004] ppid=5968 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/5974/task/6004/stat : 6004 (java) S 5968 5974 5929 0 -1 4202560 4046 0 1 0 35 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750445914808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6006] ppid=5968 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/5974/task/6006/stat : 6006 (java) S 5968 5974 5929 0 -1 4202560 4853 0 1 0 33 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750444862008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6007] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6007/stat : 6007 (java) S 5968 5974 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750443809912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5974/tid=6009] ppid=5968 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/5974/task/6009/stat : 6009 (java) S 5968 5974 5929 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 19 0 3255941 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750442757320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5974/tid=6011] ppid=5968 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5974/task/6011/stat : 6011 (java) S 5968 5974 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3255961 9856040960 120014 33554432000 1073741824 1073778376 140735899900496 139750441702312 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1797.15
CPU time (s): 1800.58
CPU user time (s): 1799.56
CPU system time (s): 1.02284
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 1.02284
maximum resident set size= 482256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15715
page faults= 29
swaps= 0
block input operations= 11856
block output operations= 1296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38954
involuntary context switches= 7150

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0805 second user time and 13.7759 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-15 19:34:33
IDJOB=4088711
IDBENCH=107302
IDSOLVER=2546
FILE ID=node119/4088711-1466012073
RUNJOBID= node119-1466012072-5945
PBS_JOBID= 19902816
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 89362364de17fe2ed91e08469c5a6887
RANDOM SEED=2133503905

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30698756 kB
Buffers:            2984 kB
Cached:            67932 kB
SwapCached:        14172 kB
Active:             9044 kB
Inactive:          76668 kB
Active(anon):       3092 kB
Inactive(anon):    14048 kB
Active(file):       5952 kB
Inactive(file):    62620 kB
Unevictable:     1390832 kB
Mlocked:         1243664 kB
SwapTotal:      67108856 kB
SwapFree:       67088028 kB
Dirty:              1592 kB
Writeback:             4 kB
AnonPages:       1392788 kB
Mapped:             6984 kB
Shmem:                 0 kB
Slab:             563936 kB
SReclaimable:       8048 kB
SUnreclaim:       555888 kB
KernelStack:        1376 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1487516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-15 20:04:30