Trace number 4106818

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)-52 1800.24 903.959

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_3.opb
MD5SUM9fd52bec996ed780d55ecea52b6ce11a
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-65
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106818-1466278078.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
2.91/1.12	c ... done. Wall clock time 1.007s.
2.91/1.12	c declared #vars     1000
2.91/1.12	c internal #vars     16722
2.91/1.12	c #constraints  32946
2.91/1.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.91/1.12	c constraints type 
2.91/1.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15722
2.91/1.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
2.91/1.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
2.91/1.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15722
2.91/1.12	c 32946 constraints processed.
2.91/1.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.91/1.12	c constraints type 
2.91/1.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
2.91/1.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15722
2.91/1.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
2.91/1.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15722
2.91/1.12	c 32946 constraints processed.
2.91/1.12	c objective function length is 500 literals
5.35/1.81	c And the winner is solver1
5.44/2.14	c SATISFIABLE
5.44/2.14	c OPTIMIZING...
5.44/2.14	c Got one! Elapsed wall clock time (in seconds):2.028
5.44/2.14	o -9
5.92/2.34	c And the winner is solver1
6.06/2.64	c Got one! Elapsed wall clock time (in seconds):2.53
6.06/2.64	o -10
6.40/2.86	c And the winner is solver1
6.56/3.14	c Got one! Elapsed wall clock time (in seconds):3.033
6.56/3.14	o -11
7.19/3.42	c And the winner is solver1
7.23/3.65	c Got one! Elapsed wall clock time (in seconds):3.535
7.23/3.65	o -12
7.35/3.75	c And the winner is solver1
7.47/4.15	c Got one! Elapsed wall clock time (in seconds):4.037
7.47/4.15	o -13
7.79/4.35	c And the winner is solver1
7.89/4.65	c Got one! Elapsed wall clock time (in seconds):4.538
7.89/4.65	o -14
8.01/4.80	c And the winner is solver1
8.28/5.15	c Got one! Elapsed wall clock time (in seconds):5.04
8.28/5.15	o -15
8.92/5.44	c And the winner is solver1
9.08/5.65	c Got one! Elapsed wall clock time (in seconds):5.541
9.08/5.65	o -16
9.37/5.82	c And the winner is solver1
9.45/6.15	c Got one! Elapsed wall clock time (in seconds):6.042
9.45/6.15	o -17
9.78/6.31	c And the winner is solver1
9.84/6.65	c Got one! Elapsed wall clock time (in seconds):6.544
9.84/6.65	o -18
10.35/7.00	c And the winner is solver1
10.55/7.16	c Got one! Elapsed wall clock time (in seconds):7.046
10.55/7.16	o -19
10.84/7.30	c And the winner is solver1
10.86/7.66	c Got one! Elapsed wall clock time (in seconds):7.547
10.86/7.66	o -20
11.33/7.93	c And the winner is solver1
11.41/8.16	c Got one! Elapsed wall clock time (in seconds):8.047
11.41/8.16	o -21
11.68/8.39	c And the winner is solver1
11.90/8.66	c Got one! Elapsed wall clock time (in seconds):8.548
11.90/8.66	o -22
12.25/8.83	c And the winner is solver1
12.30/9.16	c Got one! Elapsed wall clock time (in seconds):9.049
12.30/9.16	o -23
12.77/9.43	c And the winner is solver1
12.84/9.66	c Got one! Elapsed wall clock time (in seconds):9.55
12.84/9.66	o -24
13.11/9.90	c And the winner is solver1
13.32/10.16	c Got one! Elapsed wall clock time (in seconds):10.051
13.32/10.16	o -25
13.59/10.39	c And the winner is solver1
13.80/10.66	c Got one! Elapsed wall clock time (in seconds):10.552
13.80/10.66	o -41
28.05/17.73	c cleaning 3515 clauses out of 7039 with flag 87567/7039
33.87/20.46	c And the winner is solver0
34.00/20.67	c Got one! Elapsed wall clock time (in seconds):20.555
34.00/20.67	o -44
41.13/24.23	c cleaning 4317 clauses out of 8633 with flag 30611/12148
55.69/31.43	c cleaning 5153 clauses out of 10316 with flag 91116/18148
70.59/38.83	c cleaning 6066 clauses out of 12162 with flag 160771/25147
85.88/46.45	c And the winner is solver1
85.89/46.73	c Got one! Elapsed wall clock time (in seconds):46.616
85.89/46.73	o -45
101.97/54.78	c And the winner is solver0
102.21/55.23	c Got one! Elapsed wall clock time (in seconds):55.118
102.21/55.23	o -46
105.76/57.08	c cleaning 9738 clauses out of 19475 with flag 26136/38526
118.39/63.37	c And the winner is solver0
118.61/63.73	c Got one! Elapsed wall clock time (in seconds):63.622
118.61/63.73	o -47
121.34/65.17	c cleaning 7817 clauses out of 15634 with flag 13940/44423
132.20/70.56	c And the winner is solver0
132.35/70.73	c Got one! Elapsed wall clock time (in seconds):70.624
132.35/70.73	o -48
135.27/72.22	c cleaning 6514 clauses out of 13028 with flag 15413/49634
149.12/79.15	c cleaning 6257 clauses out of 12514 with flag 81786/55634
163.16/86.19	c cleaning 6635 clauses out of 13269 with flag 153474/62646
179.46/94.25	c cleaning 7315 clauses out of 14629 with flag 214327/70641
197.51/103.21	c cleaning 8153 clauses out of 16306 with flag 286981/79633
216.99/112.90	c cleaning 9091 clauses out of 18182 with flag 372599/89662
239.90/124.38	c cleaning 9992 clauses out of 20062 with flag 480425/100633
264.23/136.48	c cleaning 11133 clauses out of 22265 with flag 570753/112828
285.38/146.99	c cleaning 11956 clauses out of 23938 with flag 688740/125634
312.16/160.29	c cleaning 12972 clauses out of 25987 with flag 807894/139639
340.93/174.53	c cleaning 13977 clauses out of 28009 with flag 952246/154633
367.51/188.03	c And the winner is solver1
367.51/188.53	c Got one! Elapsed wall clock time (in seconds):188.416
367.51/188.53	o -49
387.75/198.66	c cleaning 16770 clauses out of 33539 with flag 64667/174140
399.40/204.45	c cleaning 11361 clauses out of 22768 with flag 113873/180139
411.87/210.62	c cleaning 9206 clauses out of 18411 with flag 182423/187143
425.74/217.53	c cleaning 8563 clauses out of 17199 with flag 265277/195137
442.42/225.87	c cleaning 8823 clauses out of 17645 with flag 358447/204146
463.07/236.15	c cleaning 9399 clauses out of 18813 with flag 464446/214137
484.14/246.66	c cleaning 10130 clauses out of 20416 with flag 583597/225139
486.57/247.90	c cleaning 0 clauses out of 7254 with flag 0/7254
507.51/258.18	c cleaning 11136 clauses out of 22302 with flag 666579/237155
530.67/269.63	c cleaning 12077 clauses out of 24154 with flag 802751/250143
562.80/285.61	c cleaning 13002 clauses out of 26071 with flag 919264/264137
599.16/304.04	c cleaning 13990 clauses out of 28069 with flag 1021081/279137
634.30/321.52	c cleaning 15040 clauses out of 30080 with flag 1133838/295138
668.43/338.57	c cleaning 16060 clauses out of 32119 with flag 1328933/312217
702.38/355.44	c cleaning 16990 clauses out of 33981 with flag 1435860/330139
743.94/376.13	c cleaning 17995 clauses out of 35989 with flag 1605899/349137
788.30/398.23	c cleaning 19000 clauses out of 37999 with flag 1772364/369142
837.54/422.74	c cleaning 20000 clauses out of 40000 with flag 1911440/390143
894.39/451.10	c cleaning 21048 clauses out of 42095 with flag 2039749/412238
942.36/475.27	c cleaning 21967 clauses out of 43948 with flag 2117329/435139
998.97/503.47	c cleaning 22944 clauses out of 45981 with flag 2308707/459139
1056.23/531.94	c cleaning 23927 clauses out of 48044 with flag 2465931/484146
1121.22/564.31	c cleaning 25046 clauses out of 50117 with flag 2661824/510146
1156.60/581.98	c And the winner is solver1
1156.60/582.11	c Got one! Elapsed wall clock time (in seconds):582.003
1156.60/582.11	o -50
1179.49/593.54	c cleaning 23569 clauses out of 47137 with flag 61761/532212
1192.14/599.84	c cleaning 14785 clauses out of 29570 with flag 122893/538214
1206.83/607.13	c cleaning 10821 clauses out of 21788 with flag 175798/545217
1221.66/614.53	c cleaning 9447 clauses out of 18962 with flag 248213/553212
1240.36/623.81	c cleaning 9197 clauses out of 18515 with flag 320569/562212
1257.99/632.67	c cleaning 9653 clauses out of 19318 with flag 421310/572212
1277.72/642.43	c cleaning 10306 clauses out of 20677 with flag 547914/583224
1284.36/645.73	c And the winner is solver1
1284.36/646.14	c Got one! Elapsed wall clock time (in seconds):646.026
1284.36/646.14	o -51
1288.89/648.48	c cleaning 7878 clauses out of 15787 with flag 23348/588640
1300.95/654.49	c cleaning 6947 clauses out of 13899 with flag 85512/594630
1313.62/660.74	c cleaning 6927 clauses out of 13951 with flag 157348/601629
1327.06/667.48	c cleaning 7451 clauses out of 15032 with flag 244059/609637
1346.53/677.70	c cleaning 8287 clauses out of 16573 with flag 314542/618629
1363.99/686.39	c cleaning 9151 clauses out of 18302 with flag 396998/628645
1383.74/696.15	c cleaning 10079 clauses out of 20169 with flag 510768/639663
1407.01/707.76	c cleaning 11029 clauses out of 22058 with flag 638389/651631
1432.52/720.46	c cleaning 12022 clauses out of 24043 with flag 741585/664645
1461.08/734.67	c cleaning 13003 clauses out of 26029 with flag 886664/678653
1493.15/750.65	c cleaning 14032 clauses out of 28064 with flag 1031764/693691
1526.36/767.18	c cleaning 14965 clauses out of 29979 with flag 1195325/709638
1565.12/786.40	c cleaning 15963 clauses out of 32006 with flag 1364047/726630
1610.29/808.97	c cleaning 16977 clauses out of 34046 with flag 1548317/744633
1656.31/831.87	c cleaning 18139 clauses out of 36277 with flag 1742005/763841
1699.55/853.74	c cleaning 18986 clauses out of 37972 with flag 1956059/783675
1710.76/859.39	c And the winner is solver1
1710.76/859.44	c Got one! Elapsed wall clock time (in seconds):859.327
1710.76/859.44	o -52
1722.25/865.15	c cleaning 14978 clauses out of 29955 with flag 57683/794644
1732.09/870.03	c cleaning 10488 clauses out of 20975 with flag 122769/800642
1746.14/877.03	c cleaning 8785 clauses out of 17569 with flag 184341/807724
1759.39/883.63	c cleaning 8261 clauses out of 16702 with flag 269902/815642
1777.63/892.76	c cleaning 8670 clauses out of 17441 with flag 340191/824642
1795.73/901.71	c cleaning 9392 clauses out of 18783 with flag 430261/834654
1800.13/903.90	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.13/903.90	c starts		: 10898
1800.13/903.90	c conflicts		: 837738
1800.13/903.90	c decisions		: 21975708
1800.13/903.90	c propagations		: 408120895
1800.13/903.90	c inspects		: 6684021760
1800.13/903.90	c shortcuts		: 0
1800.13/903.90	c learnt literals	: 0
1800.13/903.90	c learnt binary clauses	: 35
1800.13/903.90	c learnt ternary clauses	: 2284
1800.13/903.90	c learnt constraints	: 837738
1800.13/903.90	c ignored constraints	: 0
1800.13/903.90	c root simplifications	: 0
1800.13/903.90	c removed literals (reason simplification)	: 404070938
1800.13/903.90	c reason swapping (by a shorter reason)	: 0
1800.13/903.90	c Calls to reduceDB	: 68
1800.13/903.90	c Number of update (reduction) of LBD	: 132616
1800.13/903.90	c Imported unit clauses	: 0
1800.13/903.90	c number of reductions to clauses (during analyze)	: 0
1800.13/903.90	c number of learned constraints concerned by reduction	: 0
1800.13/903.90	c number of learning phase by resolution	: 0
1800.13/903.90	c number of learning phase by cutting planes	: 0
1800.13/903.90	c speed (assignments/second)	: 9178475.092769593
1800.13/903.90	c non guided choices	0
1800.13/903.91	c learnt constraints type 
1800.13/903.91	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 35
1800.13/903.91	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12440
1800.13/903.91	c >>>>>>>>>> Solver number 1 (23 answers) <<<<<<<<<<<<<<<<<<
1800.13/903.91	c starts		: 84
1800.13/903.91	c conflicts		: 13015
1800.13/903.91	c decisions		: 584438
1800.13/903.91	c propagations		: 21044734
1800.13/903.91	c inspects		: 1414204276
1800.13/903.91	c shortcuts		: 0
1800.13/903.91	c learnt literals	: 0
1800.13/903.91	c learnt binary clauses	: 0
1800.13/903.91	c learnt ternary clauses	: 0
1800.13/903.91	c learnt constraints	: 13015
1800.13/903.91	c ignored constraints	: 0
1800.13/903.91	c root simplifications	: 0
1800.13/903.91	c removed literals (reason simplification)	: 0
1800.13/903.91	c reason swapping (by a shorter reason)	: 0
1800.13/903.91	c Calls to reduceDB	: 1
1800.13/903.91	c Number of update (reduction) of LBD	: 0
1800.13/903.91	c Imported unit clauses	: 0
1800.13/903.91	c number of reductions to clauses (during analyze)	: 0
1800.13/903.91	c number of learned constraints concerned by reduction	: 0
1800.13/903.91	c number of learning phase by resolution	: 0
1800.13/903.91	c number of learning phase by cutting planes	: 0
1800.13/903.91	c speed (assignments/second)	: 25258.44959528359
1800.13/903.91	c non guided choices	0
1800.13/903.93	c learnt constraints type 
1800.13/903.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4
1800.13/903.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13011
1800.13/903.93	s SATISFIABLE
1800.13/903.93	c Found 27 solution(s)
1800.13/903.93	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.13/903.93	c objective function=-52
1800.13/903.93	c Total wall clock time (in seconds): 903.824

Verifier Data 

OK	-52

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-4106818-1466278078/watcher-4106818-1466278078 -o /tmp/evaluation-result-4106818-1466278078/solver-4106818-1466278078 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466276277-8275 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106818-1466278078.opb 

pid=8901
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 4.49 4.34 3.93 4/197 8904
/proc/meminfo: memFree=30297408/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 2 0 29854373 98578432 979 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 24067 979 746 9 0 16773 0
[pid=8904/tid=8905] ppid=8901 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) R 8901 8904 8258 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 29854373 98582528 984 33554432000 1073741824 1073778376 140736463273904 140684021784104 252263089565 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0

[startup+0.100068 s]
/proc/loadavg: 4.49 4.34 3.93 4/197 8904
/proc/meminfo: memFree=30297408/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 4436 0 1 0 9 1 0 0 20 0 18 0 29854373 9787879424 6062 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2389619 6062 2141 9 0 2380296 0
[pid=8904/tid=8905] ppid=8901 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) R 8901 8904 8258 0 -1 4202560 2390 0 1 0 6 1 0 0 20 0 18 0 29854373 9787879424 6062 33554432000 1073741824 1073778376 140736463273904 140684021786944 252266472717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200315 s]
/proc/loadavg: 4.49 4.34 3.93 4/197 8904
/proc/meminfo: memFree=30297408/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 4690 0 1 0 23 2 0 0 20 0 18 0 29854373 9787879424 7281 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2389619 7281 2212 9 0 2380296 0
[pid=8904/tid=8905] ppid=8901 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) R 8901 8904 8258 0 -1 4202560 2410 0 1 0 16 1 0 0 20 0 18 0 29854373 9787879424 7281 33554432000 1073741824 1073778376 140736463273904 140684021786944 140683885273808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300294 s]
/proc/loadavg: 4.49 4.34 3.93 4/197 8904
/proc/meminfo: memFree=30297408/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 5859 0 1 0 47 2 0 0 20 0 18 0 29854373 9787879424 9638 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2389619 9638 2240 9 0 2380296 0
[pid=8904/tid=8905] ppid=8901 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) R 8901 8904 8258 0 -1 4202560 2415 0 1 0 26 1 0 0 20 0 18 0 29854373 9787879424 9638 33554432000 1073741824 1073778376 140736463273904 140684021786944 140683885229465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700239 s]
/proc/loadavg: 4.49 4.34 3.93 4/197 8904
/proc/meminfo: memFree=30297408/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9558476 CPUtime=1.62 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 31409 0 1 0 153 9 0 0 20 0 18 0 29854373 9787879424 40103 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2389619 40103 2255 9 0 2380296 0
[pid=8904/tid=8905] ppid=8901 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) R 8901 8904 8258 0 -1 4202560 2444 0 1 0 65 2 0 0 20 0 18 0 29854373 9787879424 40103 33554432000 1073741824 1073778376 140736463273904 140684021780336 140684025074566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476

[startup+1.50073 s]
/proc/loadavg: 5.01 4.45 3.97 6/215 8925
/proc/meminfo: memFree=29902672/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9824732 CPUtime=4.35 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 34900 0 1 0 420 15 0 0 20 0 22 0 29854373 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2456183 66610 2280 9 0 2446860 0
[pid=8904/tid=8905] ppid=8901 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) S 8901 8904 8258 0 -1 4202560 2491 0 1 0 100 3 0 0 20 0 22 0 29854373 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684021789560 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8907] ppid=8901 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8904/task/8907/stat : 8907 (java) S 8901 8904 8258 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684010851368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8908] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8908/stat : 8908 (java) S 8901 8904 8258 0 -1 4202560 69 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684009798568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8909] ppid=8901 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8904/task/8909/stat : 8909 (java) S 8901 8904 8258 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684008745768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8910] ppid=8901 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8904/task/8910/stat : 8910 (java) S 8901 8904 8258 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684007692968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8911] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8911/stat : 8911 (java) S 8901 8904 8258 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684006640168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8912] ppid=8901 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8904/task/8912/stat : 8912 (java) S 8901 8904 8258 0 -1 4202560 119 0 0 0 4 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684005587368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8913] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8913/stat : 8913 (java) S 8901 8904 8258 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140684004534568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8914] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8914/stat : 8914 (java) S 8901 8904 8258 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683857574056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8915] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8915/stat : 8915 (java) S 8901 8904 8258 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683845377000 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8916] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8916/stat : 8916 (java) S 8901 8904 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683844323064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8917] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8917/stat : 8917 (java) S 8901 8904 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683843270152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8918] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8918/stat : 8918 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683842218640 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8919] ppid=8901 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/8904/task/8919/stat : 8919 (java) R 8901 8904 8258 0 -1 4202560 13602 0 0 0 115 4 0 0 20 0 22 0 29854378 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683841163024 140684027746490 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8920] ppid=8901 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/8904/task/8920/stat : 8920 (java) R 8901 8904 8258 0 -1 4202560 16986 0 0 0 113 5 0 0 20 0 22 0 29854378 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683840100240 140684023598192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8921] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8921/stat : 8921 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683839060344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8922] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8922/stat : 8922 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 66610 33554432000 1073741824 1073778376 140736463273904 140683838007752 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 5.01 4.45 3.97 7/216 8935
/proc/meminfo: memFree=29881448/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9824732 CPUtime=6.56 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 34989 0 1 0 634 22 0 0 20 0 19 0 29854373 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2456183 80978 2285 9 0 2446860 0
[pid=8904/tid=8905] ppid=8901 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) S 8901 8904 8258 0 -1 4202560 2491 0 1 0 100 3 0 0 20 0 19 0 29854373 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684021789560 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8907] ppid=8901 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8904/task/8907/stat : 8907 (java) S 8901 8904 8258 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684010851368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8908] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8908/stat : 8908 (java) S 8901 8904 8258 0 -1 4202560 69 0 0 0 2 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684009798568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8909] ppid=8901 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8904/task/8909/stat : 8909 (java) S 8901 8904 8258 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684008745768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8910] ppid=8901 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/8904/task/8910/stat : 8910 (java) S 8901 8904 8258 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684007692968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8911] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8911/stat : 8911 (java) S 8901 8904 8258 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684006640168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8912] ppid=8901 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8904/task/8912/stat : 8912 (java) S 8901 8904 8258 0 -1 4202560 119 0 0 0 4 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684005587368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8913] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8913/stat : 8913 (java) S 8901 8904 8258 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140684004534568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8914] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8914/stat : 8914 (java) S 8901 8904 8258 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 29854374 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683857574056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8915] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8915/stat : 8915 (java) S 8901 8904 8258 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29854375 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683845377000 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8916] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8916/stat : 8916 (java) S 8901 8904 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29854375 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683844323064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8917] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8917/stat : 8917 (java) S 8901 8904 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29854375 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683843270152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8918] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8918/stat : 8918 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29854378 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683842218640 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8919] ppid=8901 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/8904/task/8919/stat : 8919 (java) S 8901 8904 8258 0 -1 4202560 13644 0 0 0 156 4 0 0 20 0 19 0 29854378 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683841165752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8920] ppid=8901 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/8904/task/8920/stat : 8920 (java) S 8901 8904 8258 0 -1 4202560 16986 0 0 0 143 5 0 0 20 0 19 0 29854378 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683840112952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8921] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8921/stat : 8921 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29854378 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683839060344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8922] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8922/stat : 8922 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29854378 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683838007752 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8929] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8929/stat : 8929 (java) S 8901 8904 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29854489 10060525568 80978 33554432000 1073741824 1073778376 140736463273904 140683833795880 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 9824732

[startup+6.30082 s]
/proc/loadavg: 5.01 4.45 3.97 3/216 8956
/proc/meminfo: memFree=29463876/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9824732 CPUtime=9.78 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 35429 0 1 0 938 40 0 0 20 0 22 0 29854373 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2456183 104793 2290 9 0 2446860 0
[pid=8904/tid=8905] ppid=8901 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) S 8901 8904 8258 0 -1 4202560 2492 0 1 0 101 3 0 0 20 0 22 0 29854373 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684021789560 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8907] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8907/stat : 8907 (java) S 8901 8904 8258 0 -1 4202560 102 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684010851368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8908] ppid=8901 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/8904/task/8908/stat : 8908 (java) S 8901 8904 8258 0 -1 4202560 100 0 0 0 5 2 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684009798568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8909] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8909/stat : 8909 (java) S 8901 8904 8258 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684008745768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8910] ppid=8901 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/8904/task/8910/stat : 8910 (java) S 8901 8904 8258 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684007692968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8911] ppid=8901 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/8904/task/8911/stat : 8911 (java) S 8901 8904 8258 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684006640168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8912] ppid=8901 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/8904/task/8912/stat : 8912 (java) S 8901 8904 8258 0 -1 4202560 153 0 0 0 6 2 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684005587368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8913] ppid=8901 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/8904/task/8913/stat : 8913 (java) S 8901 8904 8258 0 -1 4202560 134 0 0 0 4 2 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140684004534568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8914] ppid=8901 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/8904/task/8914/stat : 8914 (java) S 8901 8904 8258 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 29854374 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683857574056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8915] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8915/stat : 8915 (java) S 8901 8904 8258 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683845377000 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8916] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8916/stat : 8916 (java) S 8901 8904 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683844323064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8917] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8917/stat : 8917 (java) S 8901 8904 8258 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683843270152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8918] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8918/stat : 8918 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683842218640 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8919] ppid=8901 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/8904/task/8919/stat : 8919 (java) R 8901 8904 8258 0 -1 4202560 13675 0 0 0 174 4 0 0 20 0 22 0 29854378 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683841165752 140684025877613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8920] ppid=8901 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/8904/task/8920/stat : 8920 (java) S 8901 8904 8258 0 -1 4202560 16991 0 0 0 164 5 0 0 20 0 22 0 29854378 10060525568 104793 33554432000 1073741824 1073778376 140736463273904 140683840112952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8921] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=8904/tid=8907] ppid=8901 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/8904/task/8907/stat : 8907 (java) S 8901 8904 8258 0 -1 4202560 531 0 0 0 232 12 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684010851368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8908] ppid=8901 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/8904/task/8908/stat : 8908 (java) S 8901 8904 8258 0 -1 4202560 426 0 0 0 237 13 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684009798568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8909] ppid=8901 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/8904/task/8909/stat : 8909 (java) S 8901 8904 8258 0 -1 4202560 433 0 0 0 223 11 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684008745768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8910] ppid=8901 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/8904/task/8910/stat : 8910 (java) S 8901 8904 8258 0 -1 4202560 379 0 0 0 219 10 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684007692968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8911] ppid=8901 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/8904/task/8911/stat : 8911 (java) S 8901 8904 8258 0 -1 4202560 385 0 0 0 237 10 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684006640168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8912] ppid=8901 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/8904/task/8912/stat : 8912 (java) S 8901 8904 8258 0 -1 4202560 495 0 0 0 220 10 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684005587368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8913] ppid=8901 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/8904/task/8913/stat : 8913 (java) S 8901 8904 8258 0 -1 4202560 548 0 0 0 244 15 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140684004534568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8914] ppid=8901 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/8904/task/8914/stat : 8914 (java) S 8901 8904 8258 0 -1 4202560 443 0 0 0 240 13 0 0 20 0 22 0 29854374 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683857574056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8915] ppid=8901 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/8904/task/8915/stat : 8915 (java) S 8901 8904 8258 0 -1 4202560 2420 0 0 0 370 19 0 0 20 0 22 0 29854375 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683845377000 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8916] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8916/stat : 8916 (java) S 8901 8904 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683844323064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8917] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8917/stat : 8917 (java) S 8901 8904 8258 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683843270152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8918] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8918/stat : 8918 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683842218640 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8919] ppid=8901 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/8904/task/8919/stat : 8919 (java) S 8901 8904 8258 0 -1 4202560 13709 0 0 0 233 4 0 0 20 0 22 0 29854378 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683841165752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8920] ppid=8901 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/8904/task/8920/stat : 8920 (java) S 8901 8904 8258 0 -1 4202560 17011 0 0 0 223 5 0 0 20 0 22 0 29854378 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683840112952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8921] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8921/stat : 8921 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683839060344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8922] ppid=8901 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/8904/task/8922/stat : 8922 (java) S 8901 8904 8258 0 -1 4202560 51 0 0 0 16 21 0 0 20 0 22 0 29854378 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683838007752 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=9008] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/9008/stat : 9008 (java) S 8901 8904 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29861447 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683833796264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=9043] ppid=8901 vsize=9824732 CPUtime=22.61 cores=1,3,5,7
/proc/8904/task/9043/stat : 9043 (java) R 8901 8904 8258 0 -1 4202560 3 0 0 0 2261 0 0 0 20 0 22 0 29940317 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683836951600 140683886534812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=9044] ppid=8901 vsize=9824732 CPUtime=22.6 cores=1,3,5,7
/proc/8904/task/9044/stat : 9044 (java) R 8901 8904 8258 0 -1 4202560 8 0 0 0 2260 0 0 0 20 0 22 0 29940317 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683835899584 140683885603828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=9045] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/9045/stat : 9045 (java) S 8901 8904 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29940317 10060525568 673274 33554432000 1073741824 1073778376 140736463273904 140683834848424 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.43
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+903.901 s]
/proc/loadavg: 4.29 4.24 4.10 5/219 9182
/proc/meminfo: memFree=27185620/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9824732 CPUtime=1796.75 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 45229 0 1 0 179422 253 0 0 20 0 22 0 29854373 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2456183 666376 2304 9 0 2446860 0
[pid=8904/tid=8905] ppid=8901 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) S 8901 8904 8258 0 -1 4202560 2502 0 1 0 104 6 0 0 20 0 22 0 29854373 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684021789560 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8907] ppid=8901 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/8904/task/8907/stat : 8907 (java) S 8901 8904 8258 0 -1 4202560 532 0 0 0 235 12 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684010851368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8908] ppid=8901 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/8904/task/8908/stat : 8908 (java) S 8901 8904 8258 0 -1 4202560 430 0 0 0 240 13 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684009798568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8909] ppid=8901 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/8904/task/8909/stat : 8909 (java) S 8901 8904 8258 0 -1 4202560 441 0 0 0 229 11 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684008745768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8910] ppid=8901 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/8904/task/8910/stat : 8910 (java) S 8901 8904 8258 0 -1 4202560 379 0 0 0 222 10 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684007692968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8911] ppid=8901 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/8904/task/8911/stat : 8911 (java) S 8901 8904 8258 0 -1 4202560 391 0 0 0 243 11 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684006640168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8912] ppid=8901 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/8904/task/8912/stat : 8912 (java) S 8901 8904 8258 0 -1 4202560 499 0 0 0 224 10 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684005587368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8913] ppid=8901 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/8904/task/8913/stat : 8913 (java) S 8901 8904 8258 0 -1 4202560 553 0 0 0 247 15 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684004534568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8914] ppid=8901 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/8904/task/8914/stat : 8914 (java) S 8901 8904 8258 0 -1 4202560 443 0 0 0 244 13 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683857574056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8915] ppid=8901 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/8904/task/8915/stat : 8915 (java) S 8901 8904 8258 0 -1 4202560 2422 0 0 0 370 19 0 0 20 0 22 0 29854375 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683845377000 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8916] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8916/stat : 8916 (java) S 8901 8904 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683844323064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8917] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8917/stat : 8917 (java) S 8901 8904 8258 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683843270152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8918] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8918/stat : 8918 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683842218640 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8919] ppid=8901 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/8904/task/8919/stat : 8919 (java) S 8901 8904 8258 0 -1 4202560 13709 0 0 0 233 4 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683841165752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8920] ppid=8901 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/8904/task/8920/stat : 8920 (java) S 8901 8904 8258 0 -1 4202560 17011 0 0 0 223 5 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683840112952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8921] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8921/stat : 8921 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683839060344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8922] ppid=8901 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8904/task/8922/stat : 8922 (java) S 8901 8904 8258 0 -1 4202560 53 0 0 0 16 22 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683838007752 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=9008] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/9008/stat : 9008 (java) S 8901 8904 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29861447 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683833796264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=9043] ppid=8901 vsize=9824732 CPUtime=44.06 cores=1,3,5,7
/proc/8904/task/9043/stat : 9043 (java) R 8901 8904 8258 0 -1 4202560 4 0 0 0 4406 0 0 0 20 0 22 0 29940317 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683836944672 140683885812754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=9044] ppid=8901 vsize=9824732 CPUtime=44.05 cores=1,3,5,7
/proc/8904/task/9044/stat : 9044 (java) R 8901 8904 8258 0 -1 4202560 10 0 0 0 4405 0 0 0 20 0 22 0 29940317 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683835899504 140683885381409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=9045] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/9045/stat : 9045 (java) S 8901 8904 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29940317 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683834848424 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.75
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 8904 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+903.901 s]
/proc/loadavg: 4.29 4.24 4.10 5/219 9182
/proc/meminfo: memFree=27185620/32872528 swapFree=1200228/1314692
[pid=8904] ppid=8901 vsize=9824732 CPUtime=1796.75 cores=1,3,5,7
/proc/8904/stat : 8904 (java) S 8901 8904 8258 0 -1 4202496 45229 0 1 0 179422 253 0 0 20 0 22 0 29854373 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140736463265040 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8904/statm: 2456183 666376 2304 9 0 2446860 0
[pid=8904/tid=8905] ppid=8901 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/8904/task/8905/stat : 8905 (java) S 8901 8904 8258 0 -1 4202560 2502 0 1 0 104 6 0 0 20 0 22 0 29854373 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684021789560 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8907] ppid=8901 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/8904/task/8907/stat : 8907 (java) S 8901 8904 8258 0 -1 4202560 532 0 0 0 235 12 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684010851368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8908] ppid=8901 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/8904/task/8908/stat : 8908 (java) S 8901 8904 8258 0 -1 4202560 430 0 0 0 240 13 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684009798568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8909] ppid=8901 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/8904/task/8909/stat : 8909 (java) S 8901 8904 8258 0 -1 4202560 441 0 0 0 229 11 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684008745768 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8910] ppid=8901 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/8904/task/8910/stat : 8910 (java) S 8901 8904 8258 0 -1 4202560 379 0 0 0 222 10 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684007692968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8911] ppid=8901 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/8904/task/8911/stat : 8911 (java) S 8901 8904 8258 0 -1 4202560 391 0 0 0 243 11 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684006640168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8912] ppid=8901 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/8904/task/8912/stat : 8912 (java) S 8901 8904 8258 0 -1 4202560 499 0 0 0 224 10 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684005587368 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8913] ppid=8901 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/8904/task/8913/stat : 8913 (java) S 8901 8904 8258 0 -1 4202560 553 0 0 0 247 15 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140684004534568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8914] ppid=8901 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/8904/task/8914/stat : 8914 (java) S 8901 8904 8258 0 -1 4202560 443 0 0 0 244 13 0 0 20 0 22 0 29854374 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683857574056 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8915] ppid=8901 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/8904/task/8915/stat : 8915 (java) S 8901 8904 8258 0 -1 4202560 2422 0 0 0 370 19 0 0 20 0 22 0 29854375 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683845377000 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8916] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8916/stat : 8916 (java) S 8901 8904 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683844323064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=8917] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8917/stat : 8917 (java) S 8901 8904 8258 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29854375 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683843270152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8918] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8918/stat : 8918 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683842218640 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8919] ppid=8901 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/8904/task/8919/stat : 8919 (java) S 8901 8904 8258 0 -1 4202560 13709 0 0 0 233 4 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683841165752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8904/tid=8920] ppid=8901 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/8904/task/8920/stat : 8920 (java) S 8901 8904 8258 0 -1 4202560 17011 0 0 0 223 5 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683840112952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=8921] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/8921/stat : 8921 (java) S 8901 8904 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683839060344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=8922] ppid=8901 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8904/task/8922/stat : 8922 (java) S 8901 8904 8258 0 -1 4202560 53 0 0 0 16 22 0 0 20 0 22 0 29854378 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683838007752 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=9008] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/9008/stat : 9008 (java) S 8901 8904 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29861447 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683833796264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8904/tid=9043] ppid=8901 vsize=9824732 CPUtime=44.06 cores=1,3,5,7
/proc/8904/task/9043/stat : 9043 (java) R 8901 8904 8258 0 -1 4202560 4 0 0 0 4406 0 0 0 20 0 22 0 29940317 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683836944672 140683885812754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8904/tid=9044] ppid=8901 vsize=9824732 CPUtime=44.05 cores=1,3,5,7
/proc/8904/task/9044/stat : 9044 (java) R 8901 8904 8258 0 -1 4202560 10 0 0 0 4405 0 0 0 20 0 22 0 29940317 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683835899504 140683885381409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8904/tid=9045] ppid=8901 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8904/task/9045/stat : 9045 (java) S 8901 8904 8258 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29940317 10060525568 666376 33554432000 1073741824 1073778376 140736463273904 140683834848424 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 3.37988
#  lost CPU user time (s): 3.61995
#  lost CPU system time (s): -0.24

Real time (s): 903.959
CPU time (s): 1800.24
CPU user time (s): 1797.68
CPU system time (s): 2.56257
CPU usage (%): 199.151
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 2.80257
maximum resident set size= 2931588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45269
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28113
involuntary context switches= 44594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77312 second user time and 7.63284 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 21:27:58
IDJOB=4106818
IDBENCH=48275
IDSOLVER=2543
FILE ID=node131/4106818-1466278078
RUNJOBID= node131-1466276277-8275
PBS_JOBID= 19918257
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106818-1466278078/watcher-4106818-1466278078 -o /tmp/evaluation-result-4106818-1466278078/solver-4106818-1466278078 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466276277-8275 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106818-1466278078.opb

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

MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a
RANDOM SEED=259464116

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.752
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.752
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.56
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.752
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.57
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.752
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30297828 kB
Buffers:          157676 kB
Cached:           171188 kB
SwapCached:         1460 kB
Active:           286788 kB
Inactive:         225800 kB
Active(anon):     183300 kB
Inactive(anon):     2920 kB
Active(file):     103488 kB
Inactive(file):   222880 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:              2004 kB
Writeback:            24 kB
AnonPages:       1448904 kB
Mapped:            15520 kB
Shmem:                 0 kB
Slab:             604168 kB
SReclaimable:      47732 kB
SUnreclaim:       556436 kB
KernelStack:        1664 kB
PageTables:         7392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2133688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71704 MiB
End job on node131 at 2016-06-18 21:43:03