Trace number 4081198

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)219 1800.04 897.559

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUM7db364152f2aec17f16cb8adef9dc3c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark212
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 184
Optimality of the best value was proved NO
Number of variables470
Total number of constraints469
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4081198-1465221754.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
0.23/0.26	c ... done. Wall clock time 0.131s.
0.23/0.26	c declared #vars     470
0.23/0.26	c #constraints  469
0.23/0.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 469
0.23/0.26	c 469 constraints processed.
0.23/0.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 469
0.23/0.26	c 469 constraints processed.
0.23/0.26	c objective function length is 470 literals
0.23/0.28	c And the winner is solver0
0.51/0.76	c SATISFIABLE
0.51/0.76	c OPTIMIZING...
0.51/0.76	c Got one! Elapsed wall clock time (in seconds):0.637
0.51/0.76	o 226
0.62/0.83	c And the winner is solver0
0.91/1.27	c Got one! Elapsed wall clock time (in seconds):1.142
0.91/1.27	o 225
1.01/1.32	c And the winner is solver0
1.32/1.77	c Got one! Elapsed wall clock time (in seconds):1.645
1.32/1.77	o 224
2.70/2.27	c cleaning 2633 clauses out of 5279 with flag 10965/5279
3.47/2.50	c And the winner is solver0
3.49/2.77	c Got one! Elapsed wall clock time (in seconds):2.647
3.49/2.77	o 223
4.29/3.07	c cleaning 4057 clauses out of 8129 with flag 6707/10762
5.61/3.61	c cleaning 5028 clauses out of 10072 with flag 19484/16762
7.14/4.35	c cleaning 6013 clauses out of 12043 with flag 34082/23761
8.38/4.98	c cleaning 7010 clauses out of 14031 with flag 50748/31762
10.28/5.84	c cleaning 8000 clauses out of 16020 with flag 69747/40761
11.97/6.69	c And the winner is solver0
12.15/6.78	c Got one! Elapsed wall clock time (in seconds):6.65
12.15/6.78	o 222
13.21/7.37	c cleaning 10868 clauses out of 21755 with flag 11219/54496
14.71/8.01	c cleaning 8432 clauses out of 16886 with flag 24016/60495
15.91/8.64	c cleaning 7716 clauses out of 15455 with flag 38755/67496
17.60/9.41	c cleaning 7864 clauses out of 15739 with flag 55929/75496
18.20/9.79	c And the winner is solver1
18.38/10.28	c Got one! Elapsed wall clock time (in seconds):10.152
18.38/10.28	o 221
18.62/10.49	c cleaning 6716 clauses out of 13439 with flag 2473/81060
21.05/11.65	c cleaning 6357 clauses out of 12724 with flag 17869/87061
24.16/13.12	c cleaning 6680 clauses out of 13366 with flag 35572/94060
27.36/14.71	c cleaning 7342 clauses out of 14687 with flag 56830/102061
30.88/16.49	c cleaning 8171 clauses out of 16344 with flag 80612/111060
35.09/18.54	c cleaning 9083 clauses out of 18173 with flag 107842/121060
40.26/21.02	c cleaning 10042 clauses out of 20093 with flag 137790/132063
45.46/23.64	c cleaning 11019 clauses out of 22049 with flag 170213/144061
51.47/26.55	c cleaning 12014 clauses out of 24033 with flag 205421/157064
58.07/29.81	c cleaning 13009 clauses out of 26017 with flag 243887/171062
65.25/33.43	c cleaning 13998 clauses out of 28006 with flag 284700/186060
73.88/37.66	c cleaning 15003 clauses out of 30009 with flag 328014/202061
82.16/41.77	c cleaning 16002 clauses out of 32005 with flag 373432/219060
92.26/46.72	c cleaning 16996 clauses out of 34003 with flag 419564/237060
102.47/51.88	c cleaning 17999 clauses out of 36007 with flag 471062/256060
113.66/57.30	c cleaning 19004 clauses out of 38008 with flag 525258/276060
125.26/63.18	c cleaning 19997 clauses out of 40004 with flag 579430/297060
138.24/69.95	c cleaning 21002 clauses out of 42007 with flag 635989/319060
151.44/76.54	c cleaning 22002 clauses out of 44005 with flag 694820/342060
165.91/83.73	c cleaning 22999 clauses out of 46003 with flag 759301/366060
182.11/91.71	c cleaning 23994 clauses out of 48005 with flag 822937/391061
187.10/94.26	c cleaning 0 clauses out of 5936 with flag 0/5937
196.77/98.97	c cleaning 25004 clauses out of 50010 with flag 890848/417060
212.44/106.69	c cleaning 25996 clauses out of 52007 with flag 959799/444061
229.55/115.14	c cleaning 27006 clauses out of 54011 with flag 1032048/472061
246.14/123.41	c cleaning 28001 clauses out of 56007 with flag 1104893/501063
258.11/129.35	c And the winner is solver1
258.11/129.63	c Got one! Elapsed wall clock time (in seconds):129.508
258.11/129.63	o 220
262.23/131.71	c cleaning 26915 clauses out of 53833 with flag 12589/526890
265.06/133.20	c cleaning 16458 clauses out of 32916 with flag 27536/532888
268.65/134.96	c cleaning 11726 clauses out of 23457 with flag 45665/539887
272.65/136.92	c cleaning 9863 clauses out of 19731 with flag 67233/547887
278.30/140.11	c cleaning 9430 clauses out of 18868 with flag 90918/556887
282.90/142.40	c cleaning 9716 clauses out of 19439 with flag 116475/566888
288.11/145.03	c cleaning 10359 clauses out of 20722 with flag 144884/577887
293.71/147.85	c cleaning 11182 clauses out of 22363 with flag 175429/589887
299.80/150.81	c cleaning 12090 clauses out of 24181 with flag 207887/602887
305.99/153.91	c cleaning 13038 clauses out of 26091 with flag 243431/616887
313.59/157.74	c cleaning 14022 clauses out of 28054 with flag 281656/631888
322.04/161.94	c cleaning 15015 clauses out of 30032 with flag 322988/647888
331.43/166.64	c cleaning 16006 clauses out of 32017 with flag 366696/664888
340.83/171.32	c cleaning 17002 clauses out of 34011 with flag 412598/682888
349.95/175.87	c cleaning 18002 clauses out of 36009 with flag 461684/701888
359.37/180.57	c cleaning 19004 clauses out of 38008 with flag 513603/721889
369.93/185.78	c cleaning 19997 clauses out of 40003 with flag 567720/742888
381.13/191.39	c cleaning 21002 clauses out of 42006 with flag 623431/764888
392.93/197.28	c cleaning 21998 clauses out of 44003 with flag 681994/787887
404.69/203.09	c cleaning 23001 clauses out of 46005 with flag 744099/811887
417.48/209.40	c cleaning 23991 clauses out of 48004 with flag 808351/836887
431.68/216.47	c cleaning 25004 clauses out of 50014 with flag 874652/862888
445.36/223.16	c cleaning 26002 clauses out of 52009 with flag 943055/889887
461.18/231.05	c cleaning 27002 clauses out of 54008 with flag 1013998/917888
476.77/238.80	c cleaning 27997 clauses out of 56005 with flag 1088379/946887
493.17/246.81	c cleaning 29002 clauses out of 58008 with flag 1167026/976887
507.57/254.05	c cleaning 30001 clauses out of 60007 with flag 1249373/1007888
524.38/262.33	c cleaning 31000 clauses out of 62005 with flag 1335997/1039887
537.06/268.59	c cleaning 0 clauses out of 11349 with flag 0/11350
542.07/271.05	c cleaning 32002 clauses out of 64006 with flag 1423841/1072888
560.34/280.00	c cleaning 33000 clauses out of 66003 with flag 1515628/1106887
580.14/289.96	c cleaning 34001 clauses out of 68003 with flag 1606077/1141887
600.62/300.02	c cleaning 34994 clauses out of 70002 with flag 1700825/1177887
625.12/312.14	c cleaning 36001 clauses out of 72008 with flag 1794760/1214887
650.82/324.64	c cleaning 36997 clauses out of 74007 with flag 1897835/1252887
674.92/336.55	c cleaning 38000 clauses out of 76010 with flag 2000663/1291887
703.63/350.79	c cleaning 39003 clauses out of 78011 with flag 2107386/1331888
731.15/364.32	c cleaning 40004 clauses out of 80008 with flag 2215765/1372888
754.82/376.05	c cleaning 41001 clauses out of 82005 with flag 2332861/1414889
781.27/389.80	c cleaning 41998 clauses out of 84005 with flag 2453745/1457890
805.74/402.03	c cleaning 42998 clauses out of 86004 with flag 2574531/1501887
835.62/416.91	c cleaning 44003 clauses out of 88006 with flag 2698683/1546887
867.87/432.93	c cleaning 45001 clauses out of 90006 with flag 2823059/1592890
898.39/448.18	c cleaning 46000 clauses out of 92005 with flag 2951730/1639890
933.11/465.35	c cleaning 46999 clauses out of 94003 with flag 3080928/1687888
969.48/483.33	c cleaning 47998 clauses out of 96003 with flag 3215836/1736887
1006.97/501.85	c cleaning 49001 clauses out of 98006 with flag 3349948/1786888
1051.51/523.82	c cleaning 49997 clauses out of 100005 with flag 3485252/1837888
1096.00/545.75	c cleaning 51000 clauses out of 102007 with flag 3623691/1889887
1142.42/568.63	c cleaning 52000 clauses out of 104007 with flag 3767282/1942887
1156.67/575.64	c And the winner is solver1
1156.67/575.89	c Got one! Elapsed wall clock time (in seconds):575.761
1156.67/575.89	o 219
1159.96/577.55	c cleaning 40077 clauses out of 80162 with flag 12824/1971042
1162.75/578.91	c cleaning 23039 clauses out of 46085 with flag 28420/1977042
1166.21/580.53	c cleaning 15021 clauses out of 30046 with flag 46421/1984042
1169.41/582.11	c cleaning 11512 clauses out of 23025 with flag 68062/1992042
1173.21/584.05	c cleaning 10248 clauses out of 20513 with flag 91634/2001042
1177.21/586.07	c cleaning 10126 clauses out of 20266 with flag 119374/2011043
1181.61/588.22	c cleaning 10567 clauses out of 21139 with flag 149709/2022042
1187.09/590.84	c cleaning 11284 clauses out of 22572 with flag 183374/2034042
1192.67/593.63	c cleaning 12141 clauses out of 24288 with flag 216449/2047042
1198.27/596.41	c cleaning 13074 clauses out of 26148 with flag 252417/2061043
1204.07/599.29	c cleaning 14033 clauses out of 28074 with flag 290815/2076043
1210.86/602.69	c cleaning 15014 clauses out of 30040 with flag 330908/2092042
1217.87/606.13	c cleaning 16012 clauses out of 32027 with flag 373049/2109043
1225.68/609.90	c cleaning 17006 clauses out of 34014 with flag 418028/2127042
1233.49/613.89	c cleaning 18002 clauses out of 36008 with flag 466585/2146042
1242.88/618.50	c cleaning 19004 clauses out of 38007 with flag 518666/2166043
1253.30/623.67	c cleaning 19998 clauses out of 40002 with flag 572024/2187042
1268.82/632.73	c cleaning 21000 clauses out of 42004 with flag 628940/2209042
1281.02/638.82	c cleaning 21999 clauses out of 44004 with flag 688656/2232042
1294.31/645.41	c cleaning 23001 clauses out of 46006 with flag 752513/2256043
1307.31/651.91	c cleaning 24002 clauses out of 48006 with flag 821022/2281044
1320.20/658.38	c cleaning 24996 clauses out of 50005 with flag 892251/2307045
1335.00/665.75	c cleaning 26003 clauses out of 52007 with flag 970135/2334043
1350.71/673.54	c cleaning 26994 clauses out of 54003 with flag 1047480/2362042
1368.30/682.33	c cleaning 28005 clauses out of 56009 with flag 1130450/2391042
1384.82/690.51	c cleaning 28999 clauses out of 58005 with flag 1218622/2421043
1400.61/698.44	c cleaning 29999 clauses out of 60005 with flag 1306858/2452042
1418.56/707.37	c cleaning 31000 clauses out of 62006 with flag 1398888/2484042
1435.34/715.80	c cleaning 32005 clauses out of 64009 with flag 1492354/2517045
1454.54/725.23	c cleaning 33001 clauses out of 66001 with flag 1587344/2551042
1473.13/734.50	c cleaning 33993 clauses out of 68000 with flag 1685549/2586042
1493.90/744.88	c cleaning 35005 clauses out of 70009 with flag 1787332/2622044
1514.69/755.26	c cleaning 35996 clauses out of 72004 with flag 1895324/2659044
1536.68/766.16	c cleaning 37001 clauses out of 74007 with flag 2009728/2697043
1557.27/776.48	c cleaning 37998 clauses out of 76007 with flag 2124736/2736044
1578.84/787.19	c cleaning 39002 clauses out of 78007 with flag 2241938/2776042
1603.23/799.35	c cleaning 40001 clauses out of 80005 with flag 2356182/2817042
1626.44/810.87	c cleaning 40996 clauses out of 82004 with flag 2482426/2859042
1652.22/823.76	c cleaning 41999 clauses out of 84008 with flag 2599850/2902042
1683.22/839.20	c cleaning 42999 clauses out of 86009 with flag 2719347/2946042
1710.62/852.94	c cleaning 44004 clauses out of 88012 with flag 2845678/2991044
1743.26/869.14	c cleaning 45002 clauses out of 90007 with flag 2969407/3037043
1773.44/884.27	c cleaning 45998 clauses out of 92005 with flag 3098487/3084043
1800.04/897.50	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.04/897.50	c starts		: 57681
1800.04/897.50	c conflicts		: 3127336
1800.04/897.50	c decisions		: 18278531
1800.04/897.50	c propagations		: 390469485
1800.04/897.50	c inspects		: 11835359936
1800.04/897.50	c shortcuts		: 0
1800.04/897.50	c learnt literals	: 0
1800.04/897.50	c learnt binary clauses	: 0
1800.04/897.50	c learnt ternary clauses	: 0
1800.04/897.50	c learnt constraints	: 3127336
1800.04/897.50	c ignored constraints	: 0
1800.04/897.50	c root simplifications	: 0
1800.04/897.50	c removed literals (reason simplification)	: 5488307
1800.04/897.50	c reason swapping (by a shorter reason)	: 0
1800.04/897.50	c Calls to reduceDB	: 127
1800.04/897.50	c Number of update (reduction) of LBD	: 606370
1800.04/897.50	c Imported unit clauses	: 0
1800.04/897.50	c number of reductions to clauses (during analyze)	: 0
1800.04/897.50	c number of learned constraints concerned by reduction	: 0
1800.04/897.50	c number of learning phase by resolution	: 0
1800.04/897.50	c number of learning phase by cutting planes	: 0
1800.04/897.50	c speed (assignments/second)	: 1214104.8813628887
1800.04/897.50	c non guided choices	0
1800.04/897.53	c learnt constraints type 
1800.04/897.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 89300
1800.04/897.53	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.04/897.53	c starts		: 57
1800.04/897.53	c conflicts		: 18637
1800.04/897.53	c decisions		: 76281
1800.04/897.53	c propagations		: 342638
1800.04/897.53	c inspects		: 549060344
1800.04/897.53	c shortcuts		: 0
1800.04/897.53	c learnt literals	: 0
1800.04/897.53	c learnt binary clauses	: 0
1800.04/897.53	c learnt ternary clauses	: 0
1800.04/897.53	c learnt constraints	: 18635
1800.04/897.53	c ignored constraints	: 0
1800.04/897.53	c root simplifications	: 0
1800.04/897.53	c removed literals (reason simplification)	: 0
1800.04/897.53	c reason swapping (by a shorter reason)	: 0
1800.04/897.53	c Calls to reduceDB	: 2
1800.04/897.53	c Number of update (reduction) of LBD	: 0
1800.04/897.53	c Imported unit clauses	: 0
1800.04/897.53	c number of reductions to clauses (during analyze)	: 0
1800.04/897.53	c number of learned constraints concerned by reduction	: 0
1800.04/897.53	c number of learning phase by resolution	: 0
1800.04/897.53	c number of learning phase by cutting planes	: 0
1800.04/897.53	c speed (assignments/second)	: 384.6632268610202
1800.04/897.53	c non guided choices	0
1800.04/897.53	c learnt constraints type 
1800.04/897.53	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 366
1800.04/897.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18269
1800.04/897.53	s SATISFIABLE
1800.04/897.53	c Found 8 solution(s)
1800.04/897.53	v -x1 -x2 x3 -x4 x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 x29 x30 -x31 x32 -x33 -x34 -x35 -x36 x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 x46 -x47 -x48 x49 x50 -x51 x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 x77 -x78 -x79 -x80 x81 x82 -x83 -x84 x85 -x86 -x87 x88 x89 x90 x91 -x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100 -x101 x102 x103 -x104 x105 -x106 -x107 x108 x109 x110 -x111 x112 x113 x114 x115 -x116 x117 x118 x119 x120 x121 x122 x123 -x124 -x125 -x126 x127 x128 -x129 x130 x131 -x132 -x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 x148 x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 x158 x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 -x170 -x171 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 x184 -x185 -x186 x187 x188 -x189 x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 -x201 -x202 x203 -x204 x205 -x206 -x207 -x208 -x209 x210 -x211 x212 -x213 -x214 -x215 x216 -x217 x218 -x219 x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 x240 x241 -x242 x243 -x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 -x254 x255 -x256 x257 x258 -x259 x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 x271 -x272 x273 x274 -x275 x276 -x277 x278 -x279 x280 -x281 -x282 -x283 x284 x285 x286 -x287 x288 x289 -x290 x291 -x292 -x293 x294 x295 x296 -x297 -x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 x314 x315 -x316 x317 x318 -x319 x320 x321 -x322 x323 -x324 -x325 x326 x327 x328 -x329 x330 x331 -x332 x333 x334 x335 -x336 -x337 x338 -x339 x340 -x341 -x342 x343 x344 x345 -x346 -x347 x348 x349 x350 x351 x352 -x353 -x354 x355 x356 x357 -x358 -x359 x360 x361 x362 -x363 -x364 -x365 x366 -x367 x368 x369 x370 x371 -x372 x373 x374 -x375 x376 -x377 -x378 x379 -x380 x381 x382 -x383 x384 x385 x386 -x387 x388 x389 x390 -x391 x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 x401 x402 x403 -x404 x405 -x406 -x407 x408 x409 x410 -x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 -x421 -x422 -x423 x424 x425 -x426 x427 x428 -x429 x430 x431 -x432 x433 -x434 -x435 -x436 x437 -x438 -x439 x440 -x441 x442 x443 x444 -x445 -x446 -x447 x448 -x449 x450 -x451 x452 x453 x454 x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 x465 -x466 x467 -x468 -x469 -x470 
1800.04/897.54	c objective function=219
1800.04/897.54	c Total wall clock time (in seconds): 897.409

Verifier Data 

OK	219

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-4081198-1465221754/watcher-4081198-1465221754 -o /tmp/evaluation-result-4081198-1465221754/solver-4081198-1465221754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081198-1465221754.opb 

pid=1184
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: 3.03 3.00 2.65 3/194 1187
/proc/meminfo: memFree=28191460/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1187/stat : 1187 (java) D 1184 1187 955 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 104110317 9515008 175 33554432000 1073741824 1073778376 140734210344944 140734210327672 235374723984 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/1187/statm: 2323 175 133 9 0 71 0

[startup+0.100072 s]
/proc/loadavg: 3.03 3.00 2.65 3/194 1187
/proc/meminfo: memFree=28191460/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 4427 0 1 0 8 0 0 0 20 0 18 0 104110317 9787879424 5025 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2389619 5025 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20021 s]
/proc/loadavg: 3.03 3.00 2.65 3/194 1187
/proc/meminfo: memFree=28191460/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 4766 0 1 0 22 1 0 0 20 0 18 0 104110317 9787879424 6346 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2389619 6346 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300211 s]
/proc/loadavg: 3.03 3.00 2.65 3/194 1187
/proc/meminfo: memFree=28191460/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 6986 0 1 0 45 3 0 0 20 0 19 0 104110317 10060525568 9891 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 9891 2243 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824732

[startup+0.700255 s]
/proc/loadavg: 3.03 3.00 2.65 3/194 1187
/proc/meminfo: memFree=28191460/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 7091 0 1 0 48 3 0 0 20 0 19 0 104110317 10060525568 9916 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 9916 2243 9 0 2446860 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 2.95 2.98 2.65 3/213 1212
/proc/meminfo: memFree=28150736/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 14337 0 1 0 124 8 0 0 20 0 19 0 104110317 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 15334 2252 9 0 2446860 0
[pid=1187/tid=1189] ppid=1184 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) S 1184 1187 955 0 -1 4202560 2479 0 1 0 22 1 0 0 20 0 19 0 104110318 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764948353912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1190] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764792027816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1191] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764790975272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1192] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764789922728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1193] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764788870184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1194] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764787816616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1195] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764786764072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1196] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764785711528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1197] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104110319 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764784658984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1198] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104110320 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764772461160 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1199] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104110321 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764771407480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1200] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104110321 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764770354824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1201] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110323 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764769303568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1202] ppid=1184 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 955 0 -1 4202560 7533 0 0 0 42 2 0 0 20 0 19 0 104110323 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764768249912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1203] ppid=1184 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/1187/task/1203/stat : 1203 (java) S 1184 1187 955 0 -1 4202560 2972 0 0 0 33 0 0 0 20 0 19 0 104110323 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764767197368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1204] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1204/stat : 1204 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110323 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764766145016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1205] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1205/stat : 1205 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104110323 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764765092680 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1208] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1208/stat : 1208 (java) S 1184 1187 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104110344 10060525568 15334 33554432000 1073741824 1073778376 140733937473840 139764761933352 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 2.95 2.98 2.65 4/216 1218
/proc/meminfo: memFree=28092216/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=4.51 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 20419 0 1 0 437 14 0 0 20 0 22 0 104110317 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 47442 2284 9 0 2446860 0
[pid=1187/tid=1189] ppid=1184 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) S 1184 1187 955 0 -1 4202560 2479 0 1 0 22 1 0 0 20 0 22 0 104110318 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764948353912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1190] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764792027816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1191] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764790975272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1192] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764789922728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1193] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764788870184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1194] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 955 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764787816616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1195] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764786764072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1196] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764785711528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1197] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 104110319 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764784658984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1198] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104110320 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764772461160 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1199] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764771407480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1200] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764770354824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1201] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764769303568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1202] ppid=1184 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 955 0 -1 4202560 9734 0 0 0 102 2 0 0 20 0 22 0 104110323 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764768249912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1203] ppid=1184 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/1187/task/1203/stat : 1203 (java) S 1184 1187 955 0 -1 4202560 6724 0 0 0 77 0 0 0 20 0 22 0 104110323 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764767197368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1204] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1204/stat : 1204 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764766145016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1205] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1205/stat : 1205 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764765092680 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1208] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1208/stat : 1208 (java) S 1184 1187 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104110344 10060525568 47442 33554432000 1073741824 1073778376 140733937473840 139764761933352 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 2.95 2.98 2.65 4/216 1221
/proc/meminfo: memFree=27967788/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=11.35 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 22558 0 1 0 1111 24 0 0 20 0 22 0 104110317 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 66372 2285 9 0 2446860 0
[pid=1187/tid=1189] ppid=1184 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) S 1184 1187 955 0 -1 4202560 2479 0 1 0 22 1 0 0 20 0 22 0 104110318 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764948353912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1190] ppid=1184 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 955 0 -1 4202560 158 0 0 0 3 1 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764792027816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1191] ppid=1184 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 955 0 -1 4202560 225 0 0 0 3 1 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764790975272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1192] ppid=1184 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 955 0 -1 4202560 155 0 0 0 3 0 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764789922728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1193] ppid=1184 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 955 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764788870184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1194] ppid=1184 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 955 0 -1 4202560 107 0 0 0 3 1 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764787816616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1195] ppid=1184 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 955 0 -1 4202560 160 0 0 0 3 2 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764786764072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1196] ppid=1184 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 955 0 -1 4202560 103 0 0 0 3 2 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764785711528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1197] ppid=1184 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 955 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 104110319 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764784658984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1198] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 955 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 104110320 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764772461160 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1199] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764771407480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1200] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764770354824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1201] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764769303568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1202] ppid=1184 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 955 0 -1 4202560 10792 0 0 0 113 2 0 0 20 0 22 0 104110323 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764768249912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1203] ppid=1184 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/1187/task/1203/stat : 1203 (java) S 1184 1187 955 0 -1 4202560 6744 0 0 0 94 0 0 0 20 0 22 0 104110323 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764767197368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1204] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1204/stat : 1204 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764766145016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1205] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1205/stat : 1205 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764765092680 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1208] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1208/stat : 1208 (java) S 1184 1187 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104110344 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764761933352 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1219] ppid=1184 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/1187/task/1219/stat : 1219 (java) R 1184 1187 955 0 -1 4202560 5 0 0 0 337 0 0 0 20 0 22 0 104110595 10060525568 66372 33554432000 1073741824 1073778376 140733937473840 139764764037816 139764821092318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1220] ppid=1184 vsize=9824732 CPUtime=3.37 cores=0,2,4,6

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

[pid=1187/tid=1197] ppid=1184 vsize=9824732 CPUtime=4.11 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 955 0 -1 4202560 975 0 0 0 390 21 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764784658984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1198] ppid=1184 vsize=9824732 CPUtime=6.32 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 955 0 -1 4202560 2667 0 0 0 626 6 0 0 20 0 22 0 104110320 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764772461160 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1199] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764771407480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1200] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764770354824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1201] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764769303568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1202] ppid=1184 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 955 0 -1 4202560 10798 0 0 0 137 2 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764768249912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1203] ppid=1184 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/1187/task/1203/stat : 1203 (java) S 1184 1187 955 0 -1 4202560 8841 0 0 0 140 2 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764767197368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1204] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1204/stat : 1204 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764766145016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1205] ppid=1184 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/1187/task/1205/stat : 1205 (java) S 1184 1187 955 0 -1 4202560 51 0 0 0 14 13 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764765092680 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1224] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1224/stat : 1224 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104110995 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764764038696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1245] ppid=1184 vsize=9824732 CPUtime=301.16 cores=0,2,4,6
/proc/1187/task/1245/stat : 1245 (java) R 1184 1187 955 0 -1 4202560 3 0 0 0 30112 4 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764760871264 139764820938799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1246] ppid=1184 vsize=9824732 CPUtime=301.14 cores=0,2,4,6
/proc/1187/task/1246/stat : 1246 (java) R 1184 1187 955 0 -1 4202560 18 0 0 0 30110 4 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764761931696 139764820972337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1247] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1247/stat : 1247 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764762986152 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.1
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.501 s]
/proc/loadavg: 3.95 3.50 3.05 5/217 1338
/proc/meminfo: memFree=26119560/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=1797.49 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 34066 0 1 0 179504 245 0 0 20 0 22 0 104110317 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 986022 2294 9 0 2446860 0
[pid=1187/tid=1189] ppid=1184 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) S 1184 1187 955 0 -1 4202560 2490 0 1 0 26 2 0 0 20 0 22 0 104110318 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764948353912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1190] ppid=1184 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 955 0 -1 4202560 928 0 0 0 338 23 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764792027816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1191] ppid=1184 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 955 0 -1 4202560 815 0 0 0 324 14 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764790975272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1192] ppid=1184 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 955 0 -1 4202560 1004 0 0 0 401 22 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764789922728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1193] ppid=1184 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 955 0 -1 4202560 703 0 0 0 341 20 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764788870184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1194] ppid=1184 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 955 0 -1 4202560 628 0 0 0 348 18 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764787816616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1195] ppid=1184 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 955 0 -1 4202560 706 0 0 0 353 16 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764786764072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1196] ppid=1184 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 955 0 -1 4202560 739 0 0 0 357 20 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764785711528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1197] ppid=1184 vsize=9824732 CPUtime=4.11 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 955 0 -1 4202560 975 0 0 0 390 21 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764784658984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1198] ppid=1184 vsize=9824732 CPUtime=6.32 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 955 0 -1 4202560 2667 0 0 0 626 6 0 0 20 0 22 0 104110320 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764772461160 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1199] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764771407480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1200] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764770354824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1201] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764769303568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1202] ppid=1184 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 955 0 -1 4202560 10798 0 0 0 137 2 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764768249912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1203] ppid=1184 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/1187/task/1203/stat : 1203 (java) S 1184 1187 955 0 -1 4202560 8841 0 0 0 140 2 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764767197368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1204] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1204/stat : 1204 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764766145016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1205] ppid=1184 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/1187/task/1205/stat : 1205 (java) S 1184 1187 955 0 -1 4202560 53 0 0 0 14 13 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764765092680 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1224] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1224/stat : 1224 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104110995 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764764038696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1245] ppid=1184 vsize=9824732 CPUtime=316.31 cores=0,2,4,6
/proc/1187/task/1245/stat : 1245 (java) R 1184 1187 955 0 -1 4202560 3 0 0 0 31627 4 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764760871264 139764820921944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1246] ppid=1184 vsize=9824732 CPUtime=316.29 cores=0,2,4,6
/proc/1187/task/1246/stat : 1246 (java) R 1184 1187 955 0 -1 4202560 18 0 0 0 31625 4 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764761931696 139764821716605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1247] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1247/stat : 1247 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764762986152 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.49
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 1187 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.501 s]
/proc/loadavg: 3.95 3.50 3.05 5/217 1338
/proc/meminfo: memFree=26119560/32872528 swapFree=13256/481332
[pid=1187] ppid=1184 vsize=9824732 CPUtime=1797.49 cores=0,2,4,6
/proc/1187/stat : 1187 (java) S 1184 1187 955 0 -1 4202496 34066 0 1 0 179504 245 0 0 20 0 22 0 104110317 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 140733937464976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1187/statm: 2456183 986022 2294 9 0 2446860 0
[pid=1187/tid=1189] ppid=1184 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/1187/task/1189/stat : 1189 (java) S 1184 1187 955 0 -1 4202560 2490 0 1 0 26 2 0 0 20 0 22 0 104110318 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764948353912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1190] ppid=1184 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/1187/task/1190/stat : 1190 (java) S 1184 1187 955 0 -1 4202560 928 0 0 0 338 23 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764792027816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1191] ppid=1184 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/1187/task/1191/stat : 1191 (java) S 1184 1187 955 0 -1 4202560 815 0 0 0 324 14 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764790975272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1192] ppid=1184 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/1187/task/1192/stat : 1192 (java) S 1184 1187 955 0 -1 4202560 1004 0 0 0 401 22 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764789922728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1193] ppid=1184 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/1187/task/1193/stat : 1193 (java) S 1184 1187 955 0 -1 4202560 703 0 0 0 341 20 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764788870184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1194] ppid=1184 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/1187/task/1194/stat : 1194 (java) S 1184 1187 955 0 -1 4202560 628 0 0 0 348 18 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764787816616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1195] ppid=1184 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/1187/task/1195/stat : 1195 (java) S 1184 1187 955 0 -1 4202560 706 0 0 0 353 16 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764786764072 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1196] ppid=1184 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/1187/task/1196/stat : 1196 (java) S 1184 1187 955 0 -1 4202560 739 0 0 0 357 20 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764785711528 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1197] ppid=1184 vsize=9824732 CPUtime=4.11 cores=0,2,4,6
/proc/1187/task/1197/stat : 1197 (java) S 1184 1187 955 0 -1 4202560 975 0 0 0 390 21 0 0 20 0 22 0 104110319 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764784658984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1198] ppid=1184 vsize=9824732 CPUtime=6.32 cores=0,2,4,6
/proc/1187/task/1198/stat : 1198 (java) S 1184 1187 955 0 -1 4202560 2667 0 0 0 626 6 0 0 20 0 22 0 104110320 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764772461160 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1199] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1199/stat : 1199 (java) S 1184 1187 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764771407480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1200] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1200/stat : 1200 (java) S 1184 1187 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104110321 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764770354824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1201] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1201/stat : 1201 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764769303568 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1202] ppid=1184 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/1187/task/1202/stat : 1202 (java) S 1184 1187 955 0 -1 4202560 10798 0 0 0 137 2 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764768249912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1203] ppid=1184 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/1187/task/1203/stat : 1203 (java) S 1184 1187 955 0 -1 4202560 8841 0 0 0 140 2 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764767197368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1204] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1204/stat : 1204 (java) S 1184 1187 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764766145016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1205] ppid=1184 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/1187/task/1205/stat : 1205 (java) S 1184 1187 955 0 -1 4202560 53 0 0 0 14 13 0 0 20 0 22 0 104110323 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764765092680 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1187/tid=1224] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1224/stat : 1224 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104110995 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764764038696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1187/tid=1245] ppid=1184 vsize=9824732 CPUtime=316.31 cores=0,2,4,6
/proc/1187/task/1245/stat : 1245 (java) R 1184 1187 955 0 -1 4202560 3 0 0 0 31627 4 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764760871264 139764820921944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1187/tid=1246] ppid=1184 vsize=9824732 CPUtime=316.29 cores=0,2,4,6
/proc/1187/task/1246/stat : 1246 (java) R 1184 1187 955 0 -1 4202560 18 0 0 0 31625 4 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764761931696 139764821716605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1187/tid=1247] ppid=1184 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1187/task/1247/stat : 1247 (java) S 1184 1187 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104167906 10060525568 986022 33554432000 1073741824 1073778376 140733937473840 139764762986152 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1187 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=399361
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=671593
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1797.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.55008
#  lost CPU user time (s): 2.71008
#  lost CPU system time (s): -0.16

Real time (s): 897.559
CPU time (s): 1800.04
CPU user time (s): 1797.75
CPU system time (s): 2.29
CPU usage (%): 200.548
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.4
system time used= 2.67159
maximum resident set size= 3948560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34111
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23579
involuntary context switches= 27343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 4.20636 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-06 16:02:35
IDJOB=4081198
IDBENCH=1958
IDSOLVER=2543
FILE ID=node104/4081198-1465221754
RUNJOBID= node104-1465220812-973
PBS_JOBID= 19843225
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081198-1465221754/watcher-4081198-1465221754 -o /tmp/evaluation-result-4081198-1465221754/solver-4081198-1465221754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081198-1465221754.opb

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

MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7
RANDOM SEED=307803564

node104.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.775
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.55
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.775
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.775
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.775
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.775
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.775
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.775
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.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28191616 kB
Buffers:            7120 kB
Cached:            79724 kB
SwapCached:         1732 kB
Active:          3455900 kB
Inactive:          41308 kB
Active(anon):    3409880 kB
Inactive(anon):     2356 kB
Active(file):      46020 kB
Inactive(file):    38952 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097220 kB
Dirty:               544 kB
Writeback:             0 kB
AnonPages:       3890148 kB
Mapped:            15456 kB
Shmem:                 0 kB
Slab:             565392 kB
SReclaimable:       9408 kB
SUnreclaim:       555984 kB
KernelStack:        1600 kB
PageTables:        11528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4235688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3782656 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= 71720 MiB
End job on node104 at 2016-06-06 16:17:32