Trace number 4081774

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)-68 1800.16 887.556

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
MD5SUM3262a45f0e59552e467da6c31a32418a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -70
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products37793
Sum of products size75586

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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081774-1465255354.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
3.18/1.30	c ... done. Wall clock time 1.175s.
3.18/1.30	c declared #vars     1000
3.18/1.30	c internal #vars     38793
3.18/1.30	c #constraints  77586
3.18/1.30	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
3.18/1.30	c constraints type 
3.18/1.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37793
3.18/1.30	c org.sat4j.minisat.constraints.cnf.UnitClauses => 960
3.18/1.30	c org.sat4j.specs.Constr$1 => 1019
3.18/1.30	c org.sat4j.minisat.constraints.cnf.UnitClause => 21
3.18/1.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37793
3.18/1.30	c 77586 constraints processed.
3.18/1.30	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
3.18/1.30	c constraints type 
3.18/1.30	c org.sat4j.specs.Constr$1 => 1019
3.18/1.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37793
3.18/1.30	c org.sat4j.pb.constraints.pb.UnitClausesPB => 960
3.18/1.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 21
3.18/1.30	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37793
3.18/1.30	c 77586 constraints processed.
3.18/1.30	c objective function length is 1000 literals
3.52/1.45	c And the winner is solver0
3.71/1.80	c SATISFIABLE
3.71/1.80	c OPTIMIZING...
3.71/1.80	c Got one! Elapsed wall clock time (in seconds):1.68
3.71/1.80	o -53
3.71/1.84	c And the winner is solver0
3.99/2.31	c Got one! Elapsed wall clock time (in seconds):2.187
3.99/2.31	o -54
5.51/2.77	c And the winner is solver1
5.79/2.82	c Got one! Elapsed wall clock time (in seconds):2.691
5.79/2.82	o -55
6.58/3.13	c And the winner is solver1
6.71/3.32	c Got one! Elapsed wall clock time (in seconds):3.195
6.71/3.32	o -58
8.45/4.11	c And the winner is solver1
8.49/4.32	c Got one! Elapsed wall clock time (in seconds):4.197
8.49/4.32	o -59
10.58/5.36	c And the winner is solver1
10.58/5.37	c Got one! Elapsed wall clock time (in seconds):5.249
10.58/5.37	o -60
11.62/5.87	c cleaning 3400 clauses out of 6800 with flag 2567/6800
13.63/6.73	c And the winner is solver1
13.72/6.87	c Got one! Elapsed wall clock time (in seconds):6.751
13.72/6.87	o -61
16.50/8.21	c And the winner is solver1
16.53/8.38	c Got one! Elapsed wall clock time (in seconds):8.252
16.53/8.38	o -63
18.48/9.37	c cleaning 5034 clauses out of 10068 with flag 5042/13468
24.05/12.10	c cleaning 5517 clauses out of 11033 with flag 18674/19467
25.15/12.57	c And the winner is solver1
25.30/12.88	c Got one! Elapsed wall clock time (in seconds):12.754
25.30/12.88	o -64
29.13/14.81	c cleaning 5296 clauses out of 10593 with flag 9416/24544
30.14/15.31	c And the winner is solver1
30.14/15.38	c Got one! Elapsed wall clock time (in seconds):15.256
30.14/15.38	o -65
34.21/17.32	c cleaning 5194 clauses out of 10388 with flag 9286/29635
39.62/20.08	c cleaning 5597 clauses out of 11193 with flag 22983/35634
47.96/24.49	c cleaning 6294 clauses out of 12596 with flag 39256/42634
55.36/28.16	c cleaning 7150 clauses out of 14303 with flag 57461/50635
59.10/29.94	c And the winner is solver1
59.14/30.28	c Got one! Elapsed wall clock time (in seconds):30.16
59.14/30.28	o -66
60.97/31.24	c cleaning 6469 clauses out of 12945 with flag 4820/56427
66.37/33.90	c cleaning 6235 clauses out of 12476 with flag 19175/62427
72.77/37.19	c cleaning 6616 clauses out of 13242 with flag 36828/69428
80.84/41.02	c cleaning 7313 clauses out of 14626 with flag 56456/77428
89.05/45.11	c cleaning 8152 clauses out of 16313 with flag 77656/86428
98.80/49.89	c cleaning 9075 clauses out of 18160 with flag 101525/96427
109.42/55.16	c cleaning 10039 clauses out of 20086 with flag 128179/107428
121.10/60.89	c cleaning 11020 clauses out of 22047 with flag 156149/119428
136.16/68.86	c cleaning 12011 clauses out of 24028 with flag 187727/132429
150.26/75.90	c cleaning 13005 clauses out of 26016 with flag 220680/146428
165.82/83.60	c cleaning 14003 clauses out of 28010 with flag 258539/161427
183.63/92.32	c cleaning 15002 clauses out of 30007 with flag 299386/177427
201.96/101.36	c cleaning 16003 clauses out of 32005 with flag 340813/194427
222.63/111.59	c cleaning 17001 clauses out of 34004 with flag 386699/212429
245.02/122.60	c cleaning 17998 clauses out of 36002 with flag 434170/231428
270.70/134.91	c cleaning 18996 clauses out of 38006 with flag 483784/251430
290.77/144.75	c cleaning 20005 clauses out of 40010 with flag 532259/272430
304.64/151.40	c cleaning 20999 clauses out of 42003 with flag 579746/294428
321.38/159.24	c cleaning 22002 clauses out of 44004 with flag 629569/317428
336.93/166.72	c cleaning 23000 clauses out of 46003 with flag 682816/341429
354.62/176.41	c cleaning 23996 clauses out of 48002 with flag 735375/366428
369.73/183.94	c cleaning 25003 clauses out of 50005 with flag 789881/392427
385.65/191.79	c cleaning 25997 clauses out of 52002 with flag 846689/419427
403.43/200.38	c cleaning 27002 clauses out of 54006 with flag 905843/447428
421.32/209.16	c cleaning 27998 clauses out of 56005 with flag 966519/476429
441.35/218.87	c cleaning 29002 clauses out of 58007 with flag 1029184/506429
463.41/229.41	c cleaning 29997 clauses out of 60003 with flag 1094477/537427
487.84/241.18	c cleaning 31004 clauses out of 62007 with flag 1161870/569428
495.69/244.82	c cleaning 0 clauses out of 6929 with flag 0/6929
514.99/255.78	c cleaning 31998 clauses out of 64005 with flag 1231205/602430
539.36/267.76	c cleaning 32999 clauses out of 66004 with flag 1302944/636427
542.98/269.52	c And the winner is solver1
542.98/269.62	c Got one! Elapsed wall clock time (in seconds):269.495
542.98/269.62	o -67
549.11/272.62	c cleaning 22196 clauses out of 44398 with flag 11442/647820
554.70/275.41	c cleaning 14096 clauses out of 28201 with flag 25014/653819
561.24/278.63	c cleaning 10546 clauses out of 21106 with flag 41145/660820
568.59/282.22	c cleaning 9275 clauses out of 18559 with flag 60050/668819
576.40/286.11	c cleaning 9139 clauses out of 18285 with flag 80856/677820
585.99/290.88	c cleaning 9571 clauses out of 19145 with flag 104859/687819
596.99/296.24	c cleaning 10283 clauses out of 20574 with flag 130685/698819
608.63/301.91	c cleaning 11143 clauses out of 22291 with flag 159989/710819
621.29/308.18	c cleaning 12071 clauses out of 24148 with flag 191372/723819
634.90/314.82	c cleaning 13034 clauses out of 26077 with flag 225330/737819
649.74/322.14	c cleaning 14022 clauses out of 28044 with flag 263182/752820
666.36/330.17	c cleaning 15007 clauses out of 30021 with flag 303444/768819
683.54/338.55	c cleaning 16006 clauses out of 32014 with flag 344124/785819
703.09/348.16	c cleaning 17004 clauses out of 34008 with flag 387332/803819
724.03/358.42	c cleaning 17996 clauses out of 36006 with flag 432601/822821
747.52/369.87	c cleaning 18998 clauses out of 38008 with flag 483018/842819
771.54/381.62	c cleaning 20001 clauses out of 40012 with flag 534263/863821
798.92/394.98	c cleaning 21002 clauses out of 42010 with flag 588804/885820
826.50/408.56	c cleaning 22004 clauses out of 44008 with flag 647563/908820
859.89/424.80	c cleaning 22996 clauses out of 46004 with flag 708647/932820
894.73/441.84	c cleaning 23998 clauses out of 48009 with flag 771848/957821
929.53/458.81	c cleaning 25006 clauses out of 50011 with flag 836998/983821
969.37/478.14	c cleaning 25993 clauses out of 52003 with flag 906473/1010819
1009.74/497.93	c cleaning 27004 clauses out of 54010 with flag 978894/1038819
1027.91/506.83	c And the winner is solver1
1027.91/507.30	c Got one! Elapsed wall clock time (in seconds):507.176
1027.91/507.30	o -68
1033.90/510.38	c cleaning 23322 clauses out of 46653 with flag 11543/1058466
1041.88/514.12	c cleaning 14657 clauses out of 29331 with flag 26079/1064466
1048.68/517.53	c cleaning 10833 clauses out of 21676 with flag 42952/1071468
1056.62/521.31	c cleaning 9413 clauses out of 18841 with flag 61713/1079466
1065.22/525.63	c cleaning 9211 clauses out of 18429 with flag 84134/1088467
1075.36/530.59	c cleaning 9602 clauses out of 19217 with flag 109372/1098466
1085.77/535.77	c cleaning 10305 clauses out of 20618 with flag 137625/1109469
1097.71/541.52	c cleaning 11149 clauses out of 22311 with flag 167511/1121467
1110.91/547.92	c cleaning 12076 clauses out of 24161 with flag 200940/1134466
1124.91/554.71	c cleaning 13043 clauses out of 26085 with flag 235128/1148466
1139.31/561.97	c cleaning 14015 clauses out of 28044 with flag 272241/1163468
1156.52/570.36	c cleaning 15011 clauses out of 30028 with flag 312968/1179467
1175.29/579.52	c cleaning 16003 clauses out of 32017 with flag 357996/1196467
1194.43/588.97	c cleaning 17003 clauses out of 34013 with flag 403315/1214466
1218.02/602.27	c cleaning 18003 clauses out of 36010 with flag 451690/1233466
1240.42/613.38	c cleaning 19001 clauses out of 38008 with flag 503904/1253467
1264.00/625.01	c cleaning 20004 clauses out of 40008 with flag 555220/1274468
1287.55/636.76	c cleaning 21000 clauses out of 42004 with flag 609048/1296468
1314.34/649.97	c cleaning 21996 clauses out of 44003 with flag 664298/1319467
1340.77/663.06	c cleaning 23000 clauses out of 46008 with flag 721010/1343468
1370.86/677.84	c cleaning 23999 clauses out of 48007 with flag 779151/1368467
1400.76/692.69	c cleaning 25002 clauses out of 50009 with flag 841703/1394468
1433.76/708.81	c cleaning 26001 clauses out of 52007 with flag 907776/1421468
1469.24/726.20	c cleaning 27002 clauses out of 54004 with flag 978198/1449466
1506.64/744.56	c cleaning 27996 clauses out of 56004 with flag 1050849/1478468
1547.14/764.41	c cleaning 28997 clauses out of 58006 with flag 1130440/1508466
1589.85/785.13	c cleaning 29997 clauses out of 60010 with flag 1208245/1539467
1630.72/805.12	c cleaning 31004 clauses out of 62012 with flag 1289080/1571466
1677.80/828.05	c cleaning 31999 clauses out of 64009 with flag 1377247/1604467
1702.07/839.90	c cleaning 0 clauses out of 12707 with flag 0/12707
1726.83/851.81	c cleaning 33003 clauses out of 66009 with flag 1463494/1638466
1776.70/876.09	c cleaning 34003 clauses out of 68006 with flag 1551243/1673466
1800.16/887.51	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.16/887.51	c starts		: 25803
1800.16/887.51	c conflicts		: 1688932
1800.16/887.51	c decisions		: 25098155
1800.16/887.51	c propagations		: 34088069
1800.16/887.51	c inspects		: 5184283140
1800.16/887.51	c shortcuts		: 0
1800.16/887.51	c learnt literals	: 0
1800.16/887.51	c learnt binary clauses	: 0
1800.16/887.51	c learnt ternary clauses	: 0
1800.16/887.51	c learnt constraints	: 1688932
1800.16/887.51	c ignored constraints	: 0
1800.16/887.51	c root simplifications	: 0
1800.16/887.51	c removed literals (reason simplification)	: 34321291
1800.16/887.51	c reason swapping (by a shorter reason)	: 0
1800.16/887.51	c Calls to reduceDB	: 93
1800.16/887.51	c Number of update (reduction) of LBD	: 71366
1800.16/887.51	c Imported unit clauses	: 0
1800.16/887.51	c number of reductions to clauses (during analyze)	: 0
1800.16/887.51	c number of learned constraints concerned by reduction	: 0
1800.16/887.51	c number of learning phase by resolution	: 0
1800.16/887.51	c number of learning phase by cutting planes	: 0
1800.16/887.51	c speed (assignments/second)	: 89658.0203629133
1800.16/887.51	c non guided choices	0
1800.16/887.52	c learnt constraints type 
1800.16/887.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 49469
1800.16/887.52	c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<<
1800.16/887.52	c starts		: 49
1800.16/887.52	c conflicts		: 13076
1800.16/887.52	c decisions		: 18866
1800.16/887.52	c propagations		: 717887
1800.16/887.52	c inspects		: 707567865
1800.16/887.52	c shortcuts		: 0
1800.16/887.52	c learnt literals	: 0
1800.16/887.52	c learnt binary clauses	: 0
1800.16/887.52	c learnt ternary clauses	: 0
1800.16/887.52	c learnt constraints	: 13075
1800.16/887.52	c ignored constraints	: 0
1800.16/887.52	c root simplifications	: 0
1800.16/887.52	c removed literals (reason simplification)	: 0
1800.16/887.52	c reason swapping (by a shorter reason)	: 0
1800.16/887.52	c Calls to reduceDB	: 2
1800.16/887.52	c Number of update (reduction) of LBD	: 0
1800.16/887.52	c Imported unit clauses	: 0
1800.16/887.52	c number of reductions to clauses (during analyze)	: 0
1800.16/887.52	c number of learned constraints concerned by reduction	: 0
1800.16/887.52	c number of learning phase by resolution	: 0
1800.16/887.52	c number of learning phase by cutting planes	: 0
1800.16/887.52	c speed (assignments/second)	: 810.9848125403862
1800.16/887.52	c non guided choices	0
1800.16/887.53	c learnt constraints type 
1800.16/887.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 401
1800.16/887.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12674
1800.16/887.53	s SATISFIABLE
1800.16/887.53	c Found 13 solution(s)
1800.16/887.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 -x471 x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 x673 x674 x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 x867 x868 x869 x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.16/887.53	c objective function=-68
1800.16/887.53	c Total wall clock time (in seconds): 887.408

Verifier Data 

OK	-68

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-4081774-1465255354/watcher-4081774-1465255354 -o /tmp/evaluation-result-4081774-1465255354/solver-4081774-1465255354 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081774-1465255354.opb 

pid=19672
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.07 4.29 4.18 4/197 19675
/proc/meminfo: memFree=26658428/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=20596 CPUtime=0 cores=0,2,4,6
/proc/19675/stat : 19675 (java) R 19672 19675 17726 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 107467806 21090304 190 33554432000 1073741824 1073778376 140735153755648 140735153744712 213410475303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 5149 190 145 9 0 128 0

[startup+0.100112 s]
/proc/loadavg: 4.07 4.29 4.18 4/197 19675
/proc/meminfo: memFree=26658428/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 107467806 9787879424 6033 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2389619 6033 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200277 s]
/proc/loadavg: 4.07 4.29 4.18 4/197 19675
/proc/meminfo: memFree=26658428/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 4688 0 1 0 22 1 0 0 20 0 18 0 107467806 9787879424 7323 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2389619 7323 2200 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300287 s]
/proc/loadavg: 4.07 4.29 4.18 4/197 19675
/proc/meminfo: memFree=26658428/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 5820 0 1 0 44 1 0 0 20 0 18 0 107467806 9787879424 8986 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2389619 8986 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700247 s]
/proc/loadavg: 4.07 4.29 4.18 4/197 19675
/proc/meminfo: memFree=26658428/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9558476 CPUtime=1.56 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 21628 0 1 0 151 5 0 0 20 0 18 0 107467806 9787879424 27188 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2389619 27188 2257 9 0 2380296 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9558476

[startup+1.50082 s]
/proc/loadavg: 4.07 4.29 4.18 6/215 19693
/proc/meminfo: memFree=26479864/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 27199 0 1 0 356 15 0 0 20 0 19 0 107467806 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2456183 62625 2280 9 0 2446860 0
[pid=19675/tid=19677] ppid=19672 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/19675/task/19677/stat : 19677 (java) S 19672 19675 17726 0 -1 4202560 2487 0 1 0 117 3 0 0 20 0 19 0 107467806 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671234335608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19678] ppid=19672 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19675/task/19678/stat : 19678 (java) S 19672 19675 17726 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671195826856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19679] ppid=19672 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19675/task/19679/stat : 19679 (java) S 19672 19675 17726 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671194774312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19680] ppid=19672 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19675/task/19680/stat : 19680 (java) S 19672 19675 17726 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671193721768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19681] ppid=19672 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/19675/task/19681/stat : 19681 (java) S 19672 19675 17726 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671192669224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19682] ppid=19672 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19675/task/19682/stat : 19682 (java) S 19672 19675 17726 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671191615656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19683] ppid=19672 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19675/task/19683/stat : 19683 (java) S 19672 19675 17726 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671190563112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19684] ppid=19672 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19675/task/19684/stat : 19684 (java) S 19672 19675 17726 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671189510568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19685] ppid=19672 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19675/task/19685/stat : 19685 (java) S 19672 19675 17726 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 107467808 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671188458024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19686] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19686/stat : 19686 (java) S 19672 19675 17726 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107467809 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671057877608 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19687] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19687/stat : 19687 (java) S 19672 19675 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107467809 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671056823928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19688] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19688/stat : 19688 (java) S 19672 19675 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107467809 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671055771272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19689] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19689/stat : 19689 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107467812 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671054720016 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19690] ppid=19672 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/19675/task/19690/stat : 19690 (java) S 19672 19675 17726 0 -1 4202560 11291 0 0 0 89 2 0 0 20 0 19 0 107467812 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671053666360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19691] ppid=19672 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/19675/task/19691/stat : 19691 (java) S 19672 19675 17726 0 -1 4202560 11937 0 0 0 95 2 0 0 20 0 19 0 107467812 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140671052613816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19692] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19692/stat : 19692 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107467812 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140670178159096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19693] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19693/stat : 19693 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107467812 10060525568 62625 33554432000 1073741824 1073778376 140735153755648 140670177106760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 4.46 4.37 4.21 3/216 19700
/proc/meminfo: memFree=26415500/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9824732 CPUtime=6.58 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 27764 0 1 0 632 26 0 0 20 0 22 0 107467806 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2456183 74350 2289 9 0 2446860 0
[pid=19675/tid=19677] ppid=19672 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/19675/task/19677/stat : 19677 (java) S 19672 19675 17726 0 -1 4202560 2488 0 1 0 118 3 0 0 20 0 22 0 107467806 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671234335608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19678] ppid=19672 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19675/task/19678/stat : 19678 (java) S 19672 19675 17726 0 -1 4202560 240 0 0 0 2 1 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671195826856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19679] ppid=19672 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/19675/task/19679/stat : 19679 (java) S 19672 19675 17726 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671194774312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19680] ppid=19672 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/19675/task/19680/stat : 19680 (java) S 19672 19675 17726 0 -1 4202560 53 0 0 0 3 2 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671193721768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19681] ppid=19672 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/19675/task/19681/stat : 19681 (java) S 19672 19675 17726 0 -1 4202560 44 0 0 0 5 3 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671192669224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19682] ppid=19672 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/19675/task/19682/stat : 19682 (java) S 19672 19675 17726 0 -1 4202560 70 0 0 0 3 2 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671191615656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19683] ppid=19672 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19675/task/19683/stat : 19683 (java) S 19672 19675 17726 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671190563112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19684] ppid=19672 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/19675/task/19684/stat : 19684 (java) S 19672 19675 17726 0 -1 4202560 72 0 0 0 4 2 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671189510568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19685] ppid=19672 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19675/task/19685/stat : 19685 (java) S 19672 19675 17726 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 107467808 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671188458024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19686] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19686/stat : 19686 (java) S 19672 19675 17726 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671057877608 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19687] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19687/stat : 19687 (java) S 19672 19675 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671056823928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19688] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19688/stat : 19688 (java) S 19672 19675 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671055771272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19689] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19689/stat : 19689 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671054720016 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19690] ppid=19672 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/19675/task/19690/stat : 19690 (java) R 19672 19675 17726 0 -1 4202560 11381 0 0 0 150 2 0 0 20 0 22 0 107467812 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671053666360 140671237203153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19691] ppid=19672 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/19675/task/19691/stat : 19691 (java) S 19672 19675 17726 0 -1 4202560 11942 0 0 0 153 2 0 0 20 0 22 0 107467812 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140671052613816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19692] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19692/stat : 19692 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140670178159096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19693] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19693/stat : 19693 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 74350 33554432000 1073741824 1073778376 140735153755648 140670177106760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.46 4.37 4.21 5/219 19715
/proc/meminfo: memFree=26162576/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9824732 CPUtime=12.68 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 28523 0 1 0 1221 47 0 0 20 0 22 0 107467806 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2456183 163773 2295 9 0 2446860 0
[pid=19675/tid=19677] ppid=19672 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/19675/task/19677/stat : 19677 (java) S 19672 19675 17726 0 -1 4202560 2489 0 1 0 118 3 0 0 20 0 22 0 107467806 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671234335608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19678] ppid=19672 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/19675/task/19678/stat : 19678 (java) S 19672 19675 17726 0 -1 4202560 293 0 0 0 9 2 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671195826856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19679] ppid=19672 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/19675/task/19679/stat : 19679 (java) S 19672 19675 17726 0 -1 4202560 56 0 0 0 7 3 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671194774312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19680] ppid=19672 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/19675/task/19680/stat : 19680 (java) S 19672 19675 17726 0 -1 4202560 78 0 0 0 5 2 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671193721768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19681] ppid=19672 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/19675/task/19681/stat : 19681 (java) S 19672 19675 17726 0 -1 4202560 78 0 0 0 11 4 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671192669224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19682] ppid=19672 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/19675/task/19682/stat : 19682 (java) S 19672 19675 17726 0 -1 4202560 117 0 0 0 11 3 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671191615656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19683] ppid=19672 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/19675/task/19683/stat : 19683 (java) S 19672 19675 17726 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671190563112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19684] ppid=19672 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/19675/task/19684/stat : 19684 (java) S 19672 19675 17726 0 -1 4202560 126 0 0 0 13 5 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671189510568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19685] ppid=19672 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/19675/task/19685/stat : 19685 (java) S 19672 19675 17726 0 -1 4202560 39 0 0 0 4 1 0 0 20 0 22 0 107467808 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671188458024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19686] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19686/stat : 19686 (java) S 19672 19675 17726 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671057877608 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19687] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19687/stat : 19687 (java) S 19672 19675 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671056823928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19688] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19688/stat : 19688 (java) S 19672 19675 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671055771272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19689] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19689/stat : 19689 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671054720016 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19690] ppid=19672 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/19675/task/19690/stat : 19690 (java) S 19672 19675 17726 0 -1 4202560 11396 0 0 0 173 2 0 0 20 0 22 0 107467812 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671053666360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19691] ppid=19672 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/19675/task/19691/stat : 19691 (java) S 19672 19675 17726 0 -1 4202560 11942 0 0 0 159 2 0 0 20 0 22 0 107467812 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140671052613816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19692] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19692/stat : 19692 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140670178159096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19693] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19693/stat : 19693 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140670177106760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19703] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19703/stat : 19703 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107468038 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140670176052648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19713] ppid=19672 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/19675/task/19713/stat : 19713 (java) R 19672 19675 17726 0 -1 4202560 4 0 0 0 90 0 0 0 20 0 22 0 107468343 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140670172894072 140671068688754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19714] ppid=19672 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/19675/task/19714/stat : 19714 (java) R 19672 19675 17726 0 -1 4202560 258 0 0 0 86 3 0 0 20 0 22 0 107468343 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140670174998008 140671068972364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19715] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19715/stat : 19715 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107468344 10060525568 163773 33554432000 1073741824 1073778376 140735153755648 140670173946792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68

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

[pid=19675/tid=19685] ppid=19672 vsize=9824732 CPUtime=9.85 cores=0,2,4,6
/proc/19675/task/19685/stat : 19685 (java) S 19672 19675 17726 0 -1 4202560 818 0 0 0 962 23 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671188458024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19686] ppid=19672 vsize=9824732 CPUtime=10.93 cores=0,2,4,6
/proc/19675/task/19686/stat : 19686 (java) S 19672 19675 17726 0 -1 4202560 3206 0 0 0 1079 14 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671057877608 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19687] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19687/stat : 19687 (java) S 19672 19675 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671056823928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19688] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19688/stat : 19688 (java) S 19672 19675 17726 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671055771272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19689] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19689/stat : 19689 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671054720016 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19690] ppid=19672 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/19675/task/19690/stat : 19690 (java) S 19672 19675 17726 0 -1 4202560 11420 0 0 0 197 3 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671053666360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19691] ppid=19672 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/19675/task/19691/stat : 19691 (java) S 19672 19675 17726 0 -1 4202560 11947 0 0 0 184 2 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671052613816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19692] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19692/stat : 19692 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670178159096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19693] ppid=19672 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/19675/task/19693/stat : 19693 (java) S 19672 19675 17726 0 -1 4202560 50 0 0 0 13 19 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670177106760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19703] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19703/stat : 19703 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107468038 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670176052648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19857] ppid=19672 vsize=9824732 CPUtime=362.59 cores=0,2,4,6
/proc/19675/task/19857/stat : 19857 (java) R 19672 19675 17726 0 -1 4202560 6 0 0 0 36254 5 0 0 20 0 22 0 107518536 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670172892168 140671068720832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19858] ppid=19672 vsize=9824732 CPUtime=362.59 cores=0,2,4,6
/proc/19675/task/19858/stat : 19858 (java) R 19672 19675 17726 0 -1 4202560 38 0 0 0 36254 5 0 0 20 0 22 0 107518536 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670174998392 140671068972351 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19859] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19859/stat : 19859 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107518537 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670173947432 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.65
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+887.501 s]
/proc/loadavg: 4.11 4.23 4.22 5/219 19867
/proc/meminfo: memFree=20818288/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9824732 CPUtime=1798.03 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 39578 0 1 0 179455 348 0 0 20 0 22 0 107467806 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2456183 1195018 2303 9 0 2446860 0
[pid=19675/tid=19677] ppid=19672 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/19675/task/19677/stat : 19677 (java) S 19672 19675 17726 0 -1 4202560 2512 0 1 0 122 5 0 0 20 0 22 0 107467806 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671234335608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19678] ppid=19672 vsize=9824732 CPUtime=10.58 cores=0,2,4,6
/proc/19675/task/19678/stat : 19678 (java) S 19672 19675 17726 0 -1 4202560 1149 0 0 0 1025 33 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671195826856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19679] ppid=19672 vsize=9824732 CPUtime=10.12 cores=0,2,4,6
/proc/19675/task/19679/stat : 19679 (java) S 19672 19675 17726 0 -1 4202560 717 0 0 0 986 26 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671194774312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19680] ppid=19672 vsize=9824732 CPUtime=10.32 cores=0,2,4,6
/proc/19675/task/19680/stat : 19680 (java) S 19672 19675 17726 0 -1 4202560 910 0 0 0 1002 30 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671193721768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19681] ppid=19672 vsize=9824732 CPUtime=9.99 cores=0,2,4,6
/proc/19675/task/19681/stat : 19681 (java) S 19672 19675 17726 0 -1 4202560 1067 0 0 0 966 33 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671192669224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19682] ppid=19672 vsize=9824732 CPUtime=10.55 cores=0,2,4,6
/proc/19675/task/19682/stat : 19682 (java) S 19672 19675 17726 0 -1 4202560 1068 0 0 0 1018 37 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671191615656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19683] ppid=19672 vsize=9824732 CPUtime=10.38 cores=0,2,4,6
/proc/19675/task/19683/stat : 19683 (java) S 19672 19675 17726 0 -1 4202560 817 0 0 0 1006 32 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671190563112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19684] ppid=19672 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/19675/task/19684/stat : 19684 (java) S 19672 19675 17726 0 -1 4202560 786 0 0 0 878 28 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671189510568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19685] ppid=19672 vsize=9824732 CPUtime=9.85 cores=0,2,4,6
/proc/19675/task/19685/stat : 19685 (java) S 19672 19675 17726 0 -1 4202560 818 0 0 0 962 23 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671188458024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19686] ppid=19672 vsize=9824732 CPUtime=10.93 cores=0,2,4,6
/proc/19675/task/19686/stat : 19686 (java) S 19672 19675 17726 0 -1 4202560 3206 0 0 0 1079 14 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671057877608 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19687] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19687/stat : 19687 (java) S 19672 19675 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671056823928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19688] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19688/stat : 19688 (java) S 19672 19675 17726 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671055771272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19689] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19689/stat : 19689 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671054720016 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19690] ppid=19672 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/19675/task/19690/stat : 19690 (java) S 19672 19675 17726 0 -1 4202560 11420 0 0 0 197 3 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671053666360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19691] ppid=19672 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/19675/task/19691/stat : 19691 (java) S 19672 19675 17726 0 -1 4202560 11947 0 0 0 184 2 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671052613816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19692] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19692/stat : 19692 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670178159096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19693] ppid=19672 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/19675/task/19693/stat : 19693 (java) S 19672 19675 17726 0 -1 4202560 50 0 0 0 13 19 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670177106760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19703] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19703/stat : 19703 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107468038 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670176052648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19857] ppid=19672 vsize=9824732 CPUtime=367.77 cores=0,2,4,6
/proc/19675/task/19857/stat : 19857 (java) R 19672 19675 17726 0 -1 4202560 6 0 0 0 36772 5 0 0 20 0 22 0 107518536 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670172892048 140671068566262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19858] ppid=19672 vsize=9824732 CPUtime=367.77 cores=0,2,4,6
/proc/19675/task/19858/stat : 19858 (java) R 19672 19675 17726 0 -1 4202560 38 0 0 0 36772 5 0 0 20 0 22 0 107518536 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670174998272 140671068972364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19859] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19859/stat : 19859 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107518537 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670173947432 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
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 19675 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+887.501 s]
/proc/loadavg: 4.11 4.23 4.22 5/219 19867
/proc/meminfo: memFree=20818288/32872528 swapFree=16636/1570076
[pid=19675] ppid=19672 vsize=9824732 CPUtime=1798.03 cores=0,2,4,6
/proc/19675/stat : 19675 (java) S 19672 19675 17726 0 -1 4202496 39578 0 1 0 179455 348 0 0 20 0 22 0 107467806 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140735153746784 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19675/statm: 2456183 1195018 2303 9 0 2446860 0
[pid=19675/tid=19677] ppid=19672 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/19675/task/19677/stat : 19677 (java) S 19672 19675 17726 0 -1 4202560 2512 0 1 0 122 5 0 0 20 0 22 0 107467806 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671234335608 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19678] ppid=19672 vsize=9824732 CPUtime=10.58 cores=0,2,4,6
/proc/19675/task/19678/stat : 19678 (java) S 19672 19675 17726 0 -1 4202560 1149 0 0 0 1025 33 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671195826856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19679] ppid=19672 vsize=9824732 CPUtime=10.12 cores=0,2,4,6
/proc/19675/task/19679/stat : 19679 (java) S 19672 19675 17726 0 -1 4202560 717 0 0 0 986 26 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671194774312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19680] ppid=19672 vsize=9824732 CPUtime=10.32 cores=0,2,4,6
/proc/19675/task/19680/stat : 19680 (java) S 19672 19675 17726 0 -1 4202560 910 0 0 0 1002 30 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671193721768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19681] ppid=19672 vsize=9824732 CPUtime=9.99 cores=0,2,4,6
/proc/19675/task/19681/stat : 19681 (java) S 19672 19675 17726 0 -1 4202560 1067 0 0 0 966 33 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671192669224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19682] ppid=19672 vsize=9824732 CPUtime=10.55 cores=0,2,4,6
/proc/19675/task/19682/stat : 19682 (java) S 19672 19675 17726 0 -1 4202560 1068 0 0 0 1018 37 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671191615656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19683] ppid=19672 vsize=9824732 CPUtime=10.38 cores=0,2,4,6
/proc/19675/task/19683/stat : 19683 (java) S 19672 19675 17726 0 -1 4202560 817 0 0 0 1006 32 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671190563112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19684] ppid=19672 vsize=9824732 CPUtime=9.06 cores=0,2,4,6
/proc/19675/task/19684/stat : 19684 (java) S 19672 19675 17726 0 -1 4202560 786 0 0 0 878 28 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671189510568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19685] ppid=19672 vsize=9824732 CPUtime=9.85 cores=0,2,4,6
/proc/19675/task/19685/stat : 19685 (java) S 19672 19675 17726 0 -1 4202560 818 0 0 0 962 23 0 0 20 0 22 0 107467808 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671188458024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19686] ppid=19672 vsize=9824732 CPUtime=10.93 cores=0,2,4,6
/proc/19675/task/19686/stat : 19686 (java) S 19672 19675 17726 0 -1 4202560 3206 0 0 0 1079 14 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671057877608 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19687] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19687/stat : 19687 (java) S 19672 19675 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671056823928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19675/tid=19688] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19688/stat : 19688 (java) S 19672 19675 17726 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107467809 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671055771272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19689] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19689/stat : 19689 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671054720016 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19690] ppid=19672 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/19675/task/19690/stat : 19690 (java) S 19672 19675 17726 0 -1 4202560 11420 0 0 0 197 3 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671053666360 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19691] ppid=19672 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/19675/task/19691/stat : 19691 (java) S 19672 19675 17726 0 -1 4202560 11947 0 0 0 184 2 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140671052613816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19692] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19692/stat : 19692 (java) S 19672 19675 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670178159096 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19675/tid=19693] ppid=19672 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/19675/task/19693/stat : 19693 (java) S 19672 19675 17726 0 -1 4202560 50 0 0 0 13 19 0 0 20 0 22 0 107467812 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670177106760 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19703] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19703/stat : 19703 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107468038 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670176052648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19857] ppid=19672 vsize=9824732 CPUtime=367.77 cores=0,2,4,6
/proc/19675/task/19857/stat : 19857 (java) R 19672 19675 17726 0 -1 4202560 6 0 0 0 36772 5 0 0 20 0 22 0 107518536 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670172892048 140671068566262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19675/tid=19858] ppid=19672 vsize=9824732 CPUtime=367.77 cores=0,2,4,6
/proc/19675/task/19858/stat : 19858 (java) R 19672 19675 17726 0 -1 4202560 38 0 0 0 36772 5 0 0 20 0 22 0 107518536 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670174998272 140671068972364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19675/tid=19859] ppid=19672 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19675/task/19859/stat : 19859 (java) S 19672 19675 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107518537 10060525568 1195018 33554432000 1073741824 1073778376 140735153755648 140670173947432 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19675 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=589484
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=791423
# CPU time returned by wait4() is 1796.38
# while last known CPU time is 1798.03
#
# 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.12994
#  lost CPU user time (s): 2.26996
#  lost CPU system time (s): -0.14

Real time (s): 887.556
CPU time (s): 1800.16
CPU user time (s): 1796.82
CPU system time (s): 3.34
CPU usage (%): 202.822
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.59
system time used= 3.79142
maximum resident set size= 4780184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24977
involuntary context switches= 42713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82411 second user time and 7.30389 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 01:22:35
IDJOB=4081774
IDBENCH=48171
IDSOLVER=2543
FILE ID=node140/4081774-1465255354
RUNJOBID= node140-1465252001-17742
PBS_JOBID= 19843256
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081774-1465255354/watcher-4081774-1465255354 -o /tmp/evaluation-result-4081774-1465255354/solver-4081774-1465255354 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081774-1465255354.opb

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

MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a
RANDOM SEED=1260037961

node140.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.768
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.53
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.768
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.768
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.768
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.56
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.768
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26658848 kB
Buffers:           63832 kB
Cached:            82048 kB
SwapCached:         1744 kB
Active:          3834544 kB
Inactive:          99024 kB
Active(anon):    3787436 kB
Inactive(anon):     2608 kB
Active(file):      47108 kB
Inactive(file):    96416 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098608 kB
Dirty:              1288 kB
Writeback:             0 kB
AnonPages:       5357324 kB
Mapped:            15340 kB
Shmem:                 0 kB
Slab:             568656 kB
SReclaimable:      12612 kB
SUnreclaim:       556044 kB
KernelStack:        1600 kB
PageTables:        14312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5814852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5232640 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= 71740 MiB
End job on node140 at 2016-06-07 01:37:22