Trace number 4088680

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 Res+CP PB16? (TO) 1800.18 893.901

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
MD5SUMd001c128c188d58459ae32050123e31b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark593.916
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1301
Total number of constraints651
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)651
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4088680-1466009376.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.25/0.24	c ... done. Wall clock time 0.131s.
0.25/0.24	c declared #vars     1301
0.25/0.24	c #constraints  1302
0.25/0.25	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.25	c constraints type 
0.25/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 1300
0.25/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.25/0.25	c 1302 constraints processed.
0.25/0.25	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.25	c constraints type 
0.25/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.25/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1300
0.25/0.25	c 1302 constraints processed.
2.14/0.88	c cleaning 2491 clauses out of 5002 with flag 20891/5002
2.95/1.10	c cleaning 4236 clauses out of 8510 with flag 49128/11001
3.76/1.29	c cleaning 5631 clauses out of 11275 with flag 82412/18002
5.31/1.69	c cleaning 6811 clauses out of 13642 with flag 123797/26000
5.81/1.89	c cleaning 7903 clauses out of 15833 with flag 171884/35002
6.04/1.91	c cleaning 0 clauses out of 5001 with flag 0/5001
6.68/2.10	c cleaning 8927 clauses out of 17930 with flag 228548/45002
7.36/2.40	c cleaning 9966 clauses out of 20001 with flag 294136/56000
7.97/2.66	c cleaning 10943 clauses out of 22036 with flag 360775/68001
8.64/2.96	c cleaning 12012 clauses out of 24092 with flag 431213/81000
9.24/3.25	c cleaning 13010 clauses out of 26082 with flag 504312/95002
10.09/3.61	c cleaning 13977 clauses out of 28070 with flag 587674/110000
10.89/4.01	c cleaning 14997 clauses out of 30093 with flag 679077/126000
11.74/4.48	c cleaning 16016 clauses out of 32097 with flag 769488/143001
11.94/4.56	c cleaning 0 clauses out of 11000 with flag 0/11000
12.53/4.89	c cleaning 17028 clauses out of 34080 with flag 871509/161000
13.52/5.38	c cleaning 17966 clauses out of 36055 with flag 981882/180003
14.52/5.89	c cleaning 18971 clauses out of 38087 with flag 1097296/200001
15.76/6.42	c cleaning 19989 clauses out of 40117 with flag 1215302/221002
16.76/6.99	c cleaning 21012 clauses out of 42128 with flag 1338476/243002
17.96/7.59	c cleaning 21957 clauses out of 44114 with flag 1469323/266000
19.41/8.23	c cleaning 23021 clauses out of 46157 with flag 1599652/290000
20.01/8.52	c cleaning 0 clauses out of 18000 with flag 0/18000
20.82/8.97	c cleaning 24049 clauses out of 48137 with flag 1739756/315001
22.60/9.82	c cleaning 24984 clauses out of 50087 with flag 1892190/341000
24.47/10.72	c cleaning 26014 clauses out of 52103 with flag 2041347/368000
25.87/11.48	c cleaning 26984 clauses out of 54090 with flag 2193064/396001
28.27/12.65	c cleaning 28005 clauses out of 56106 with flag 2346505/425001
30.49/13.72	c cleaning 29024 clauses out of 58101 with flag 2510351/455001
31.91/14.46	c cleaning 0 clauses out of 26001 with flag 0/26001
32.49/14.74	c cleaning 29988 clauses out of 60077 with flag 2683083/486001
34.71/15.89	c cleaning 30968 clauses out of 62089 with flag 2866347/518001
36.92/16.94	c cleaning 32037 clauses out of 64121 with flag 3040841/551001
39.18/18.08	c cleaning 32974 clauses out of 66083 with flag 3220511/585000
41.59/19.27	c cleaning 34024 clauses out of 68109 with flag 3404353/620000
43.79/20.39	c cleaning 35023 clauses out of 70085 with flag 3591678/656000
46.44/21.67	c cleaning 36003 clauses out of 72063 with flag 3783637/693001
49.66/23.24	c cleaning 36972 clauses out of 74059 with flag 3991574/731000
53.05/24.96	c cleaning 37988 clauses out of 76087 with flag 4198839/770000
56.33/26.52	c cleaning 39019 clauses out of 78100 with flag 4410467/810001
59.31/28.05	c cleaning 0 clauses out of 35000 with flag 0/35000
59.91/28.36	c cleaning 39988 clauses out of 80081 with flag 4636329/851001
63.36/30.04	c cleaning 40995 clauses out of 82092 with flag 4855817/893000
66.75/31.78	c cleaning 42012 clauses out of 84097 with flag 5077244/936000
70.15/33.47	c cleaning 42981 clauses out of 86087 with flag 5299537/980002
73.61/35.20	c cleaning 43977 clauses out of 88104 with flag 5522791/1025000
77.44/37.05	c cleaning 45004 clauses out of 90127 with flag 5757198/1071000
77.64/37.16	c cleaning 0 clauses out of 45000 with flag 0/45000
81.29/38.96	c cleaning 46019 clauses out of 92124 with flag 5987513/1118001
85.49/41.07	c cleaning 47016 clauses out of 94104 with flag 6231871/1166000
90.77/43.62	c cleaning 48023 clauses out of 96089 with flag 6472489/1215001
94.97/45.76	c cleaning 48970 clauses out of 98065 with flag 6715304/1265000
99.64/48.01	c cleaning 50048 clauses out of 100096 with flag 6958918/1316001
104.04/50.23	c cleaning 50998 clauses out of 102048 with flag 7209098/1368001
108.72/52.53	c cleaning 52011 clauses out of 104049 with flag 7461026/1421000
113.11/54.74	c cleaning 0 clauses out of 56000 with flag 0/56000
113.73/55.02	c cleaning 52960 clauses out of 106039 with flag 7729860/1475001
118.98/57.65	c cleaning 54035 clauses out of 108079 with flag 7998871/1530001
124.45/60.38	c cleaning 55000 clauses out of 110043 with flag 8277572/1586000
129.85/63.09	c cleaning 55988 clauses out of 112046 with flag 8562105/1643003
135.48/65.82	c cleaning 56994 clauses out of 114055 with flag 8837368/1701000
141.08/68.60	c cleaning 57979 clauses out of 116062 with flag 9112331/1760001
147.52/71.84	c cleaning 0 clauses out of 68000 with flag 0/68000
148.12/72.11	c cleaning 59020 clauses out of 118084 with flag 9404080/1820002
154.17/75.13	c cleaning 59980 clauses out of 120063 with flag 9686720/1881001
160.64/78.30	c cleaning 60976 clauses out of 122082 with flag 9974399/1943000
167.30/81.61	c cleaning 62016 clauses out of 124106 with flag 10274134/2006000
173.94/84.99	c cleaning 62996 clauses out of 126092 with flag 10581465/2070002
181.40/88.60	c cleaning 64011 clauses out of 128095 with flag 10891962/2135001
188.67/92.20	c cleaning 64992 clauses out of 130085 with flag 11200351/2201002
196.37/96.01	c cleaning 66032 clauses out of 132092 with flag 11520757/2268001
196.57/96.11	c cleaning 0 clauses out of 81000 with flag 0/81000
203.57/99.60	c cleaning 67014 clauses out of 134060 with flag 11838628/2336001
211.69/103.68	c cleaning 67998 clauses out of 136046 with flag 12156703/2405001
220.97/108.28	c cleaning 68982 clauses out of 138049 with flag 12487858/2475002
230.63/113.04	c cleaning 70017 clauses out of 140066 with flag 12824639/2546001
239.09/117.25	c cleaning 71012 clauses out of 142050 with flag 13158953/2618002
248.36/121.87	c cleaning 71996 clauses out of 144037 with flag 13492956/2691001
257.23/126.29	c cleaning 72995 clauses out of 146041 with flag 13833080/2765001
266.49/130.83	c cleaning 73990 clauses out of 148045 with flag 14176903/2840000
275.77/135.49	c cleaning 74998 clauses out of 150056 with flag 14516117/2916001
280.76/137.98	c cleaning 0 clauses out of 95000 with flag 0/95000
284.82/139.98	c cleaning 76008 clauses out of 152058 with flag 14864415/2993001
294.26/144.69	c cleaning 76986 clauses out of 154049 with flag 15207209/3071000
304.31/149.61	c cleaning 78028 clauses out of 156063 with flag 15569446/3150000
314.14/154.53	c cleaning 78961 clauses out of 158035 with flag 15915468/3230000
324.83/159.86	c cleaning 79992 clauses out of 160075 with flag 16266712/3311001
337.31/166.02	c cleaning 81003 clauses out of 162083 with flag 16651652/3393001
348.49/171.52	c cleaning 82002 clauses out of 164079 with flag 17015941/3476000
360.34/177.40	c cleaning 82992 clauses out of 166078 with flag 17377902/3560001
370.78/182.64	c cleaning 83999 clauses out of 168085 with flag 17740735/3645000
381.85/188.16	c cleaning 85008 clauses out of 170086 with flag 18108338/3731000
393.31/193.90	c cleaning 85992 clauses out of 172079 with flag 18480496/3818001
405.80/200.05	c cleaning 87002 clauses out of 174087 with flag 18850038/3906001
419.30/206.76	c cleaning 88015 clauses out of 176089 with flag 19239190/3995005
420.70/207.46	c cleaning 0 clauses out of 110000 with flag 0/110000
433.05/213.59	c cleaning 88992 clauses out of 178069 with flag 19632488/4085000
446.55/220.25	c cleaning 90020 clauses out of 180077 with flag 20019711/4176000
460.65/227.24	c cleaning 90991 clauses out of 182058 with flag 20421989/4268001
477.18/235.47	c cleaning 92004 clauses out of 184066 with flag 20822238/4361000
492.90/243.21	c cleaning 93018 clauses out of 186063 with flag 21218986/4455001
507.55/250.76	c cleaning 93972 clauses out of 188044 with flag 21614675/4550000
522.00/257.93	c cleaning 94998 clauses out of 190073 with flag 22018991/4646001
535.90/264.86	c cleaning 96013 clauses out of 192075 with flag 22423875/4743001
544.18/268.91	c cleaning 0 clauses out of 126002 with flag 0/126002
550.06/271.83	c cleaning 97008 clauses out of 194062 with flag 22829635/4841001
563.92/278.78	c cleaning 98017 clauses out of 196055 with flag 23236403/4940002
577.99/285.75	c cleaning 99005 clauses out of 198036 with flag 23642243/5040000
593.54/293.46	c cleaning 99981 clauses out of 200032 with flag 24069661/5141001
609.61/301.49	c cleaning 101002 clauses out of 202050 with flag 24499498/5243000
626.46/309.90	c cleaning 102000 clauses out of 204048 with flag 24926431/5346000
643.74/318.47	c cleaning 102989 clauses out of 206048 with flag 25366625/5450000
659.78/326.41	c cleaning 103989 clauses out of 208060 with flag 25795478/5555001
677.09/335.07	c cleaning 105020 clauses out of 210071 with flag 26227172/5661001
694.52/343.77	c cleaning 105999 clauses out of 212051 with flag 26663052/5768001
712.79/352.75	c cleaning 106995 clauses out of 214052 with flag 27092417/5876001
729.92/361.27	c cleaning 108007 clauses out of 216056 with flag 27531091/5985000
736.12/364.38	c cleaning 0 clauses out of 143000 with flag 0/143000
748.18/370.37	c cleaning 109008 clauses out of 218051 with flag 27978462/6095002
766.90/379.64	c cleaning 110003 clauses out of 220041 with flag 28423084/6206000
785.19/388.72	c cleaning 110989 clauses out of 222039 with flag 28874314/6318001
803.34/397.74	c cleaning 112017 clauses out of 224050 with flag 29307935/6431001
822.82/407.74	c cleaning 112991 clauses out of 226033 with flag 29744351/6545001
843.12/417.89	c cleaning 113998 clauses out of 228042 with flag 30206805/6660001
863.69/428.03	c cleaning 115005 clauses out of 230044 with flag 30666616/6776001
882.80/437.51	c cleaning 115996 clauses out of 232038 with flag 31126703/6893000
902.66/447.42	c cleaning 116980 clauses out of 234042 with flag 31596364/7011000
921.58/456.88	c cleaning 117979 clauses out of 236063 with flag 32053734/7130001
941.12/466.51	c cleaning 119032 clauses out of 238084 with flag 32527941/7250001
960.59/476.21	c cleaning 120005 clauses out of 240051 with flag 32986411/7371000
965.04/478.47	c cleaning 0 clauses out of 161001 with flag 0/161001
982.54/487.19	c cleaning 120993 clauses out of 242046 with flag 33461659/7493000
1005.87/498.77	c cleaning 122006 clauses out of 244054 with flag 33950288/7616001
1026.81/509.12	c cleaning 122991 clauses out of 246047 with flag 34424762/7740000
1048.74/520.04	c cleaning 123998 clauses out of 248056 with flag 34908773/7865000
1070.20/530.76	c cleaning 125012 clauses out of 250059 with flag 35394650/7991001
1092.92/542.00	c cleaning 125989 clauses out of 252047 with flag 35892187/8118001
1117.59/554.35	c cleaning 127015 clauses out of 254057 with flag 36394119/8246000
1141.15/566.00	c cleaning 127991 clauses out of 256043 with flag 36898021/8375001
1164.85/577.87	c cleaning 129000 clauses out of 258053 with flag 37397313/8505002
1188.59/589.69	c cleaning 129990 clauses out of 260052 with flag 37902355/8636001
1212.91/601.72	c cleaning 131001 clauses out of 262062 with flag 38401482/8768001
1238.00/614.25	c cleaning 132016 clauses out of 264060 with flag 38909145/8901000
1262.96/626.68	c cleaning 132999 clauses out of 266046 with flag 39419431/9035002
1287.49/638.88	c cleaning 134007 clauses out of 268045 with flag 39921238/9170000
1314.26/652.19	c cleaning 134991 clauses out of 270039 with flag 40436775/9306001
1340.93/665.37	c cleaning 135998 clauses out of 272048 with flag 40950414/9443001
1366.67/678.42	c cleaning 137002 clauses out of 274050 with flag 41463186/9581001
1392.36/691.11	c cleaning 138011 clauses out of 276048 with flag 41982784/9720001
1420.16/704.97	c cleaning 139009 clauses out of 278037 with flag 42517684/9860001
1423.36/706.50	c cleaning 0 clauses out of 180002 with flag 0/180002
1445.44/717.59	c cleaning 139999 clauses out of 280027 with flag 43049639/10001000
1472.37/730.94	c cleaning 140982 clauses out of 282028 with flag 43593788/10143000
1500.69/745.08	c cleaning 142023 clauses out of 284046 with flag 44148127/10286000
1529.93/759.58	c cleaning 142979 clauses out of 286023 with flag 44687734/10430000
1562.38/775.62	c cleaning 144007 clauses out of 288044 with flag 45250880/10575000
1589.89/789.33	c cleaning 144990 clauses out of 290039 with flag 45799545/10721002
1620.28/804.49	c cleaning 146000 clauses out of 292047 with flag 46364915/10868000
1650.74/819.55	c cleaning 147000 clauses out of 294050 with flag 46921118/11016003
1681.95/835.03	c cleaning 148003 clauses out of 296047 with flag 47497141/11165000
1711.69/849.88	c cleaning 148997 clauses out of 298044 with flag 48054194/11315000
1746.78/867.22	c cleaning 149988 clauses out of 300047 with flag 48647477/11466000
1780.14/883.84	c cleaning 151016 clauses out of 302059 with flag 49219213/11618000
1795.18/891.34	c cleaning 0 clauses out of 200000 with flag 0/200000
1800.18/893.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.18/893.80	c starts		: 7032
1800.18/893.80	c conflicts		: 11730453
1800.18/893.80	c decisions		: 16817968
1800.18/893.80	c propagations		: 135047462
1800.18/893.80	c inspects		: 17230836276
1800.18/893.80	c shortcuts		: 0
1800.18/893.80	c learnt literals	: 0
1800.18/893.80	c learnt binary clauses	: 0
1800.18/893.80	c learnt ternary clauses	: 0
1800.18/893.80	c learnt constraints	: 11730453
1800.18/893.80	c ignored constraints	: 0
1800.18/893.80	c root simplifications	: 0
1800.18/893.80	c removed literals (reason simplification)	: 10858682
1800.18/893.80	c reason swapping (by a shorter reason)	: 0
1800.18/893.80	c Calls to reduceDB	: 148
1800.18/893.80	c Number of update (reduction) of LBD	: 2808865
1800.18/893.80	c Imported unit clauses	: 0
1800.18/893.80	c number of reductions to clauses (during analyze)	: 0
1800.18/893.80	c number of learned constraints concerned by reduction	: 0
1800.18/893.80	c number of learning phase by resolution	: 0
1800.18/893.80	c number of learning phase by cutting planes	: 0
1800.18/893.80	c speed (assignments/second)	: 151135.53771912545
1800.18/893.80	c non guided choices	1408312
1800.18/893.83	c learnt constraints type 
1800.18/893.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 263496
1800.18/893.84	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.18/893.84	c starts		: 118
1800.18/893.84	c conflicts		: 200117
1800.18/893.84	c decisions		: 278142
1800.18/893.84	c propagations		: 2003066
1800.18/893.84	c inspects		: 2048241908
1800.18/893.84	c shortcuts		: 0
1800.18/893.84	c learnt literals	: 0
1800.18/893.84	c learnt binary clauses	: 0
1800.18/893.84	c learnt ternary clauses	: 0
1800.18/893.84	c learnt constraints	: 200116
1800.18/893.84	c ignored constraints	: 0
1800.18/893.84	c root simplifications	: 0
1800.18/893.84	c removed literals (reason simplification)	: 0
1800.18/893.84	c reason swapping (by a shorter reason)	: 0
1800.18/893.84	c Calls to reduceDB	: 16
1800.18/893.84	c Number of update (reduction) of LBD	: 0
1800.18/893.84	c Imported unit clauses	: 0
1800.18/893.84	c number of reductions to clauses (during analyze)	: 0
1800.18/893.84	c number of learned constraints concerned by reduction	: 0
1800.18/893.84	c number of learning phase by resolution	: 0
1800.18/893.84	c number of learning phase by cutting planes	: 0
1800.18/893.84	c speed (assignments/second)	: 2241.6090708875718
1800.18/893.84	c non guided choices	12292
1800.18/893.88	c learnt constraints type 
1800.18/893.88	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 17042
1800.18/893.88	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 152
1800.18/893.88	c org.sat4j.pb.constraints.pb.MaxWatchPb => 182922
1800.18/893.88	s UNKNOWN
1800.18/893.88	c Total wall clock time (in seconds): 893.771

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-4088680-1466009376/watcher-4088680-1466009376 -o /tmp/evaluation-result-4088680-1466009376/solver-4088680-1466009376 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4088680-1466009376.opb 

pid=6388
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: 4.57 4.29 4.08 5/197 6391
/proc/meminfo: memFree=28342968/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/6391/stat : 6391 (java) D 6388 6391 5545 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 2986880 9515008 185 33554432000 1073741824 1073778376 140735603334336 140735603325560 219513777591 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/6391/statm: 2323 185 142 9 0 71 0

[startup+0.100114 s]
/proc/loadavg: 4.57 4.29 4.08 5/197 6391
/proc/meminfo: memFree=28342968/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 2986880 9787879424 6039 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2389619 6039 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.57 4.29 4.08 5/197 6391
/proc/meminfo: memFree=28342968/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 5233 0 1 0 24 1 0 0 20 0 18 0 2986880 9787879424 10766 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2389619 10767 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 4.57 4.29 4.08 5/197 6391
/proc/meminfo: memFree=28342968/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 7797 0 1 0 52 3 0 0 20 0 22 0 2986880 10060525568 17450 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 17450 2240 9 0 2446860 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+0.700185 s]
/proc/loadavg: 4.57 4.29 4.08 5/197 6391
/proc/meminfo: memFree=28342968/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 13405 0 1 0 172 4 0 0 20 0 22 0 2986880 10060525568 23760 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 23760 2253 9 0 2446860 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.57 4.29 4.08 7/219 6413
/proc/meminfo: memFree=28164216/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=4.92 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 35346 0 1 0 482 10 0 0 20 0 22 0 2986880 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 48022 2279 9 0 2446860 0
[pid=6391/tid=6393] ppid=6388 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/6391/task/6393/stat : 6393 (java) S 6388 6391 5545 0 -1 4202560 2431 0 1 0 20 2 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287681000312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6394] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6394/stat : 6394 (java) S 6388 6391 5545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287659100328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6395] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6395/stat : 6395 (java) S 6388 6391 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287456307496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6396] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6396/stat : 6396 (java) S 6388 6391 5545 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287455254952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6397] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6397/stat : 6397 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287454202408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6398] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6398/stat : 6398 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287453149864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6399] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6399/stat : 6399 (java) S 6388 6391 5545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287452097320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6400] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6400/stat : 6400 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287451044776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6401] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6401/stat : 6401 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986881 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287449992232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6402] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6402/stat : 6402 (java) S 6388 6391 5545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 2986882 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287437793384 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6403] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6403/stat : 6403 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287436739704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6404] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6404/stat : 6404 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287435687048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6405] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6405/stat : 6405 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287434635792 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6406] ppid=6388 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/6391/task/6406/stat : 6406 (java) R 6388 6391 5545 0 -1 4202560 18025 0 0 0 107 4 0 0 20 0 22 0 2986885 10060525568 48022 33554432000 1073741824 1073778376 140733385205232 140287433570568 140287686985954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6407] ppid=6388 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/6391/task/6407/stat : 6407 (java) R 6388 6391 5545 0 -1 4202560 13393 0 0 0 115 2 0 0 20 0 22 0 2986885 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287432516712 140287687803951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6408] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6408/stat : 6408 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287431478264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6409] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6409/stat : 6409 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287430425928 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6410] ppid=6388 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/6391/task/6410/stat : 6410 (java) R 6388 6391 5545 0 -1 4202560 21 0 0 0 116 0 0 0 20 0 22 0 2986905 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287429271640 140287684285318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6411] ppid=6388 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/6391/task/6411/stat : 6411 (java) R 6388 6391 5545 0 -1 4202560 94 0 0 0 113 2 0 0 20 0 22 0 2986905 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287428218112 140287540823812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6412] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6412/stat : 6412 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287427167272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6413] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6413/stat : 6413 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 48023 33554432000 1073741824 1073778376 140733385205232 140287426114728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824732

[startup+3.10097 s]
/proc/loadavg: 4.52 4.29 4.08 5/219 6413
/proc/meminfo: memFree=28096808/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=9.04 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 44037 0 1 0 887 17 0 0 20 0 22 0 2986880 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 85471 2279 9 0 2446860 0
[pid=6391/tid=6393] ppid=6388 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/6391/task/6393/stat : 6393 (java) S 6388 6391 5545 0 -1 4202560 2431 0 1 0 20 2 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287681000312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6394] ppid=6388 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6391/task/6394/stat : 6394 (java) S 6388 6391 5545 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287659100328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6395] ppid=6388 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6391/task/6395/stat : 6395 (java) S 6388 6391 5545 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287456307496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6396] ppid=6388 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6391/task/6396/stat : 6396 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287455254952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6397] ppid=6388 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6391/task/6397/stat : 6397 (java) S 6388 6391 5545 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287454202408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6398] ppid=6388 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6391/task/6398/stat : 6398 (java) S 6388 6391 5545 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287453149864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6399] ppid=6388 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6391/task/6399/stat : 6399 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287452097320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6400] ppid=6388 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6391/task/6400/stat : 6400 (java) S 6388 6391 5545 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287451044776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6401] ppid=6388 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6391/task/6401/stat : 6401 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 2986881 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287449992232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6402] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6402/stat : 6402 (java) S 6388 6391 5545 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 22 0 2986882 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287437793384 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6403] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6403/stat : 6403 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287436739704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6404] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6404/stat : 6404 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287435687048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6405] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6405/stat : 6405 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287434635792 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6406] ppid=6388 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/6391/task/6406/stat : 6406 (java) S 6388 6391 5545 0 -1 4202560 18419 0 0 0 127 4 0 0 20 0 22 0 2986885 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287433583160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6407] ppid=6388 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/6391/task/6407/stat : 6407 (java) S 6388 6391 5545 0 -1 4202560 21452 0 0 0 182 3 0 0 20 0 22 0 2986885 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287432530616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6408] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6408/stat : 6408 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287431478264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6409] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6409/stat : 6409 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287430425928 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6410] ppid=6388 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/6391/task/6410/stat : 6410 (java) R 6388 6391 5545 0 -1 4202560 22 0 0 0 268 0 0 0 20 0 22 0 2986905 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287429262960 140287541337188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6411] ppid=6388 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/6391/task/6411/stat : 6411 (java) R 6388 6391 5545 0 -1 4202560 152 0 0 0 263 3 0 0 20 0 22 0 2986905 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287428218112 140287540785996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6412] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6412/stat : 6412 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287427167272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6413] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6413/stat : 6413 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 85471 33554432000 1073741824 1073778376 140733385205232 140287426114728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 4.52 4.29 4.08 5/219 6413
/proc/meminfo: memFree=27543456/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=15.56 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 45032 0 1 0 1521 35 0 0 20 0 22 0 2986880 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 277372 2279 9 0 2446860 0
[pid=6391/tid=6393] ppid=6388 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/6391/task/6393/stat : 6393 (java) S 6388 6391 5545 0 -1 4202560 2431 0 1 0 20 2 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287681000312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6394] ppid=6388 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/6391/task/6394/stat : 6394 (java) S 6388 6391 5545 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287659100328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6395] ppid=6388 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/6391/task/6395/stat : 6395 (java) S 6388 6391 5545 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287456307496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6396] ppid=6388 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6391/task/6396/stat : 6396 (java) S 6388 6391 5545 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287455254952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6397] ppid=6388 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/6391/task/6397/stat : 6397 (java) S 6388 6391 5545 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287454202408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6398] ppid=6388 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/6391/task/6398/stat : 6398 (java) S 6388 6391 5545 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287453149864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6399] ppid=6388 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6391/task/6399/stat : 6399 (java) S 6388 6391 5545 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287452097320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6400] ppid=6388 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/6391/task/6400/stat : 6400 (java) S 6388 6391 5545 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287451044776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6401] ppid=6388 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6391/task/6401/stat : 6401 (java) S 6388 6391 5545 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 2986881 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287449992232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6402] ppid=6388 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6391/task/6402/stat : 6402 (java) S 6388 6391 5545 0 -1 4202560 740 0 0 0 0 1 0 0 20 0 22 0 2986882 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287437793384 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6403] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6403/stat : 6403 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287436739704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6404] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6404/stat : 6404 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287435687048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6405] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6405/stat : 6405 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 277372 33554432000 1073741824 1073778376 140733385205232 140287434635792 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6406] ppid=6388 vsize=9824732 CPUtime=1.31 cores=0,2,4,6

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

/proc/6391/task/6396/stat : 6396 (java) S 6388 6391 5545 0 -1 4202560 529 0 0 0 282 9 0 0 20 0 22 0 2986881 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287455254952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6397] ppid=6388 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/6391/task/6397/stat : 6397 (java) S 6388 6391 5545 0 -1 4202560 532 0 0 0 294 11 0 0 20 0 22 0 2986881 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287454202408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6398] ppid=6388 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/6391/task/6398/stat : 6398 (java) S 6388 6391 5545 0 -1 4202560 571 0 0 0 285 13 0 0 20 0 22 0 2986881 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287453149864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6399] ppid=6388 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/6391/task/6399/stat : 6399 (java) S 6388 6391 5545 0 -1 4202560 533 0 0 0 272 9 0 0 20 0 22 0 2986881 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287452097320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6400] ppid=6388 vsize=9824732 CPUtime=3.1 cores=0,2,4,6
/proc/6391/task/6400/stat : 6400 (java) S 6388 6391 5545 0 -1 4202560 609 0 0 0 299 11 0 0 20 0 22 0 2986881 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287451044776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6401] ppid=6388 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/6391/task/6401/stat : 6401 (java) S 6388 6391 5545 0 -1 4202560 427 0 0 0 276 9 0 0 20 0 22 0 2986881 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287449992232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6402] ppid=6388 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/6391/task/6402/stat : 6402 (java) S 6388 6391 5545 0 -1 4202560 1952 0 0 0 166 15 0 0 20 0 22 0 2986882 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287437793384 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6403] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6403/stat : 6403 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287436739704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6404] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6404/stat : 6404 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287435687048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6405] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6405/stat : 6405 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287434635792 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6406] ppid=6388 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/6391/task/6406/stat : 6406 (java) S 6388 6391 5545 0 -1 4202560 18419 0 0 0 128 4 0 0 20 0 22 0 2986885 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287433583160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6407] ppid=6388 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/6391/task/6407/stat : 6407 (java) S 6388 6391 5545 0 -1 4202560 21456 0 0 0 192 3 0 0 20 0 22 0 2986885 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287432530616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6408] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6408/stat : 6408 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287431478264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6409] ppid=6388 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/6391/task/6409/stat : 6409 (java) S 6388 6391 5545 0 -1 4202560 47 0 0 0 12 20 0 0 20 0 22 0 2986885 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287430425928 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6410] ppid=6388 vsize=9824732 CPUtime=811.51 cores=0,2,4,6
/proc/6391/task/6410/stat : 6410 (java) R 6388 6391 5545 0 -1 4202560 166 0 0 0 81137 14 0 0 20 0 22 0 2986905 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287429262960 140287540794476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6411] ppid=6388 vsize=9824732 CPUtime=811.49 cores=0,2,4,6
/proc/6391/task/6411/stat : 6411 (java) R 6388 6391 5545 0 -1 4202560 3171 0 0 0 81089 60 0 0 20 0 22 0 2986905 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287428217344 140287540824335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6412] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6412/stat : 6412 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287427167272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6413] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6413/stat : 6413 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 793737 33554432000 1073741824 1073778376 140733385205232 140287426114728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1656.33
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.96 4.11 4.08 5/219 6596
/proc/meminfo: memFree=24711404/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=1777.15 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 54051 0 1 0 177539 176 0 0 20 0 22 0 2986880 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 806834 2288 9 0 2446860 0
[pid=6391/tid=6393] ppid=6388 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/6391/task/6393/stat : 6393 (java) S 6388 6391 5545 0 -1 4202560 2441 0 1 0 23 4 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287681000312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6394] ppid=6388 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/6391/task/6394/stat : 6394 (java) S 6388 6391 5545 0 -1 4202560 792 0 0 0 312 11 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287659100328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6395] ppid=6388 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/6391/task/6395/stat : 6395 (java) S 6388 6391 5545 0 -1 4202560 685 0 0 0 307 11 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287456307496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6396] ppid=6388 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/6391/task/6396/stat : 6396 (java) S 6388 6391 5545 0 -1 4202560 557 0 0 0 297 10 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287455254952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6397] ppid=6388 vsize=9824732 CPUtime=3.26 cores=0,2,4,6
/proc/6391/task/6397/stat : 6397 (java) S 6388 6391 5545 0 -1 4202560 603 0 0 0 314 12 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287454202408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6398] ppid=6388 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/6391/task/6398/stat : 6398 (java) S 6388 6391 5545 0 -1 4202560 658 0 0 0 317 14 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287453149864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6399] ppid=6388 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/6391/task/6399/stat : 6399 (java) S 6388 6391 5545 0 -1 4202560 639 0 0 0 296 10 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287452097320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6400] ppid=6388 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/6391/task/6400/stat : 6400 (java) S 6388 6391 5545 0 -1 4202560 735 0 0 0 321 11 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287451044776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6401] ppid=6388 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/6391/task/6401/stat : 6401 (java) S 6388 6391 5545 0 -1 4202560 440 0 0 0 294 10 0 0 20 0 22 0 2986881 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287449992232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6402] ppid=6388 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/6391/task/6402/stat : 6402 (java) S 6388 6391 5545 0 -1 4202560 1962 0 0 0 166 16 0 0 20 0 22 0 2986882 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287437793384 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6403] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6403/stat : 6403 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287436739704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6404] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6404/stat : 6404 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287435687048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6405] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6405/stat : 6405 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287434635792 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6406] ppid=6388 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/6391/task/6406/stat : 6406 (java) S 6388 6391 5545 0 -1 4202560 18419 0 0 0 128 4 0 0 20 0 22 0 2986885 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287433583160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6407] ppid=6388 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/6391/task/6407/stat : 6407 (java) S 6388 6391 5545 0 -1 4202560 21456 0 0 0 192 3 0 0 20 0 22 0 2986885 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287432530616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6408] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6408/stat : 6408 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287431478264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6409] ppid=6388 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/6391/task/6409/stat : 6409 (java) S 6388 6391 5545 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 2986885 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287430425928 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6410] ppid=6388 vsize=9824732 CPUtime=870.86 cores=0,2,4,6
/proc/6391/task/6410/stat : 6410 (java) R 6388 6391 5545 0 -1 4202560 171 0 0 0 87071 15 0 0 20 0 22 0 2986905 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287429270656 140287540794059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6411] ppid=6388 vsize=9824732 CPUtime=870.85 cores=0,2,4,6
/proc/6391/task/6411/stat : 6411 (java) R 6388 6391 5545 0 -1 4202560 3176 0 0 0 87024 61 0 0 20 0 22 0 2986905 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287428217216 140287540853644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6412] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6412/stat : 6412 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287427167272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6413] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6413/stat : 6413 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 806834 33554432000 1073741824 1073778376 140733385205232 140287426114728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1777.15
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+893.801 s]
/proc/loadavg: 3.97 4.11 4.08 5/219 6596
/proc/meminfo: memFree=24733924/32872528 swapFree=1073728/1155488
[pid=6391] ppid=6388 vsize=9824732 CPUtime=1800.18 cores=0,2,4,6
/proc/6391/stat : 6391 (java) S 6388 6391 5545 0 -1 4202496 54054 0 1 0 179841 177 0 0 20 0 22 0 2986880 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140733385196368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6391/statm: 2456183 804781 2288 9 0 2446860 0
[pid=6391/tid=6393] ppid=6388 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/6391/task/6393/stat : 6393 (java) S 6388 6391 5545 0 -1 4202560 2441 0 1 0 23 4 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287681000312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6394] ppid=6388 vsize=9824732 CPUtime=3.26 cores=0,2,4,6
/proc/6391/task/6394/stat : 6394 (java) S 6388 6391 5545 0 -1 4202560 793 0 0 0 315 11 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287659100328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6395] ppid=6388 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/6391/task/6395/stat : 6395 (java) S 6388 6391 5545 0 -1 4202560 685 0 0 0 308 11 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287456307496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6396] ppid=6388 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/6391/task/6396/stat : 6396 (java) S 6388 6391 5545 0 -1 4202560 557 0 0 0 298 10 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287455254952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6397] ppid=6388 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/6391/task/6397/stat : 6397 (java) S 6388 6391 5545 0 -1 4202560 604 0 0 0 316 12 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287454202408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6398] ppid=6388 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/6391/task/6398/stat : 6398 (java) S 6388 6391 5545 0 -1 4202560 658 0 0 0 319 14 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287453149864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6399] ppid=6388 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/6391/task/6399/stat : 6399 (java) S 6388 6391 5545 0 -1 4202560 639 0 0 0 298 10 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287452097320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6400] ppid=6388 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/6391/task/6400/stat : 6400 (java) S 6388 6391 5545 0 -1 4202560 735 0 0 0 321 11 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287451044776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6401] ppid=6388 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/6391/task/6401/stat : 6401 (java) S 6388 6391 5545 0 -1 4202560 440 0 0 0 294 10 0 0 20 0 22 0 2986881 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287449992232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6402] ppid=6388 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/6391/task/6402/stat : 6402 (java) S 6388 6391 5545 0 -1 4202560 1962 0 0 0 166 17 0 0 20 0 22 0 2986882 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287437793384 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6391/tid=6403] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6403/stat : 6403 (java) S 6388 6391 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287436739704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6404] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6404/stat : 6404 (java) S 6388 6391 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2986883 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287435687048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6405] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6405/stat : 6405 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287434635792 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6406] ppid=6388 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/6391/task/6406/stat : 6406 (java) S 6388 6391 5545 0 -1 4202560 18419 0 0 0 128 4 0 0 20 0 22 0 2986885 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287433583160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6391/tid=6407] ppid=6388 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/6391/task/6407/stat : 6407 (java) S 6388 6391 5545 0 -1 4202560 21456 0 0 0 192 3 0 0 20 0 22 0 2986885 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287432530616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6408] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6408/stat : 6408 (java) S 6388 6391 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2986885 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287431478264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6409] ppid=6388 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/6391/task/6409/stat : 6409 (java) S 6388 6391 5545 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 2986885 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287430425928 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6410] ppid=6388 vsize=9824732 CPUtime=882.29 cores=0,2,4,6
/proc/6391/task/6410/stat : 6410 (java) R 6388 6391 5545 0 -1 4202560 172 0 0 0 88214 15 0 0 20 0 22 0 2986905 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287429270656 140287540752581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6411] ppid=6388 vsize=9824732 CPUtime=882.28 cores=0,2,4,6
/proc/6391/task/6411/stat : 6411 (java) R 6388 6391 5545 0 -1 4202560 3176 0 0 0 88167 61 0 0 20 0 22 0 2986905 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287428210416 140287540834634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6391/tid=6412] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6412/stat : 6412 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287427167272 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6391/tid=6413] ppid=6388 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6391/task/6413/stat : 6413 (java) S 6388 6391 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2986905 10060525568 804781 33554432000 1073741824 1073778376 140733385205232 140287426114728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824732

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 6391 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6391 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=68260
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=311648
# CPU time returned by wait4() is 1796.38
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 893.901
CPU time (s): 1800.18
CPU user time (s): 1798.41
CPU system time (s): 1.77
CPU usage (%): 201.385
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 2.31165
maximum resident set size= 3231760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54097
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26668
involuntary context switches= 38605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53316 second user time and 7.41487 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-15 18:49:36
IDJOB=4088680
IDBENCH=107298
IDSOLVER=2543
FILE ID=node114/4088680-1466009376
RUNJOBID= node114-1466008022-5561
PBS_JOBID= 19902804
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088680-1466009376/watcher-4088680-1466009376 -o /tmp/evaluation-result-4088680-1466009376/solver-4088680-1466009376 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5561 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4088680-1466009376.opb

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

MD5SUM BENCH= d001c128c188d58459ae32050123e31b
RANDOM SEED=271613349

node114.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.761
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.52
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.761
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.56
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.761
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.54
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.761
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.761
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.55
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.761
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.761
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.761
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:        28343340 kB
Buffers:            3556 kB
Cached:            34344 kB
SwapCached:        32768 kB
Active:          2621380 kB
Inactive:          49776 kB
Active(anon):    2603388 kB
Inactive(anon):    32484 kB
Active(file):      17992 kB
Inactive(file):    17292 kB
Unevictable:     1155488 kB
Mlocked:         1073728 kB
SwapTotal:      67108856 kB
SwapFree:       67067640 kB
Dirty:               952 kB
Writeback:             4 kB
AnonPages:       3757296 kB
Mapped:            14364 kB
Shmem:                 0 kB
Slab:             564972 kB
SReclaimable:       8444 kB
SUnreclaim:       556528 kB
KernelStack:        1608 kB
PageTables:        11872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3894240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2619392 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 node114 at 2016-06-15 19:04:30