Trace number 4081620

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)104 1800.12 906.276

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-go19.opb
MD5SUMac3a0c512b81d5e532f489853538ca8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
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 361
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081620-1465268705.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.11/0.19	c ... done. Wall clock time 0.088s.
0.11/0.19	c declared #vars     441
0.11/0.19	c #constraints  521
0.27/0.20	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.27/0.20	c constraints type 
0.27/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 361
0.27/0.20	c org.sat4j.specs.Constr$1 => 80
0.27/0.20	c org.sat4j.minisat.constraints.cnf.UnitClause => 80
0.27/0.20	c 521 constraints processed.
0.27/0.20	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.27/0.20	c constraints type 
0.27/0.20	c org.sat4j.specs.Constr$1 => 80
0.27/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 361
0.27/0.20	c org.sat4j.pb.constraints.pb.UnitClausePB => 80
0.27/0.20	c 521 constraints processed.
0.27/0.20	c objective function length is 361 literals
0.27/0.21	c And the winner is solver1
0.28/0.70	c SATISFIABLE
0.28/0.70	c OPTIMIZING...
0.28/0.70	c Got one! Elapsed wall clock time (in seconds):0.593
0.28/0.70	o 141
0.28/0.71	c And the winner is solver0
0.30/1.20	c Got one! Elapsed wall clock time (in seconds):1.098
0.30/1.20	o 140
0.30/1.22	c And the winner is solver0
0.37/1.71	c Got one! Elapsed wall clock time (in seconds):1.601
0.37/1.71	o 139
0.37/1.78	c And the winner is solver1
0.72/2.21	c Got one! Elapsed wall clock time (in seconds):2.103
0.72/2.21	o 138
0.72/2.26	c And the winner is solver1
1.16/2.71	c Got one! Elapsed wall clock time (in seconds):2.606
1.16/2.71	o 137
1.16/2.75	c And the winner is solver1
1.44/3.21	c Got one! Elapsed wall clock time (in seconds):3.108
1.44/3.21	o 136
1.44/3.23	c And the winner is solver1
1.59/3.72	c Got one! Elapsed wall clock time (in seconds):3.61
1.59/3.72	o 135
1.59/3.76	c And the winner is solver1
1.80/4.22	c Got one! Elapsed wall clock time (in seconds):4.112
1.80/4.22	o 134
1.80/4.26	c And the winner is solver1
1.94/4.72	c Got one! Elapsed wall clock time (in seconds):4.613
1.94/4.72	o 133
1.94/4.73	c And the winner is solver1
1.98/5.22	c Got one! Elapsed wall clock time (in seconds):5.115
1.98/5.22	o 118
2.39/5.40	c And the winner is solver1
2.39/5.42	c cleaning 3924 clauses out of 7847 with flag 9684/7847
2.45/5.72	c Got one! Elapsed wall clock time (in seconds):5.616
2.45/5.72	o 117
2.96/5.99	c cleaning 4462 clauses out of 8923 with flag 12251/12847
3.56/6.28	c cleaning 5229 clauses out of 10461 with flag 27697/18847
3.77/6.31	c And the winner is solver1
3.80/6.72	c Got one! Elapsed wall clock time (in seconds):6.618
3.80/6.72	o 116
4.14/6.98	c cleaning 5388 clauses out of 10775 with flag 12222/24390
4.64/7.16	c And the winner is solver1
4.79/7.22	c Got one! Elapsed wall clock time (in seconds):7.119
4.79/7.22	o 115
4.79/7.28	c cleaning 5231 clauses out of 10464 with flag 2375/29467
5.41/7.56	c cleaning 5617 clauses out of 11234 with flag 16945/35468
6.31/7.93	c cleaning 6305 clauses out of 12616 with flag 34405/42467
6.31/7.98	c And the winner is solver1
6.49/8.23	c Got one! Elapsed wall clock time (in seconds):8.12
6.49/8.23	o 114
6.94/8.44	c cleaning 5793 clauses out of 11586 with flag 9649/47742
7.58/8.71	c cleaning 5895 clauses out of 11793 with flag 24520/53742
8.23/9.05	c cleaning 6448 clauses out of 12898 with flag 41780/60742
8.23/9.09	c And the winner is solver1
8.44/9.23	c Got one! Elapsed wall clock time (in seconds):9.122
8.44/9.23	o 113
8.79/9.42	c cleaning 5769 clauses out of 11537 with flag 9975/65829
8.98/9.59	c And the winner is solver1
9.25/9.73	c Got one! Elapsed wall clock time (in seconds):9.623
9.25/9.73	o 112
9.38/9.83	c cleaning 5403 clauses out of 10807 with flag 5057/70868
9.98/10.11	c cleaning 5702 clauses out of 11404 with flag 19577/76868
9.98/10.19	c And the winner is solver1
10.18/10.23	c Got one! Elapsed wall clock time (in seconds):10.124
10.18/10.23	o 111
10.51/10.42	c cleaning 5684 clauses out of 11367 with flag 9784/82533
11.19/10.75	c cleaning 5840 clauses out of 11683 with flag 24721/88533
11.80/11.10	c cleaning 6422 clauses out of 12846 with flag 41784/95536
12.79/11.50	c cleaning 7212 clauses out of 14423 with flag 61460/103535
13.79/12.00	c cleaning 8103 clauses out of 16209 with flag 84791/112533
15.10/12.64	c And the winner is solver1
15.18/12.73	c Got one! Elapsed wall clock time (in seconds):12.626
15.18/12.73	o 110
15.71/13.04	c cleaning 11517 clauses out of 23036 with flag 13164/127463
16.33/13.37	c cleaning 8759 clauses out of 17520 with flag 28279/133464
16.92/13.60	c And the winner is solver1
16.95/13.73	c Got one! Elapsed wall clock time (in seconds):13.627
16.95/13.73	o 109
16.95/13.80	c cleaning 7307 clauses out of 14616 with flag 2455/139319
17.67/14.11	c cleaning 6655 clauses out of 13310 with flag 17029/145320
18.29/14.46	c cleaning 6828 clauses out of 13656 with flag 34028/152321
18.78/14.62	c And the winner is solver1
18.84/14.73	c Got one! Elapsed wall clock time (in seconds):14.629
18.84/14.73	o 108
18.96/14.90	c cleaning 5936 clauses out of 11872 with flag 7178/157365
19.56/15.18	c cleaning 5968 clauses out of 11937 with flag 22251/163366
20.37/15.55	c cleaning 6482 clauses out of 12967 with flag 39290/170364
21.16/15.98	c cleaning 7244 clauses out of 14487 with flag 58800/178366
22.16/16.49	c cleaning 8122 clauses out of 16243 with flag 82087/187366
23.36/17.09	c cleaning 9059 clauses out of 18119 with flag 107934/197364
24.96/17.89	c cleaning 10030 clauses out of 20060 with flag 140171/208364
25.76/18.24	c And the winner is solver1
25.84/18.74	c Got one! Elapsed wall clock time (in seconds):18.63
25.84/18.74	o 107
26.69/19.11	c cleaning 10235 clauses out of 20473 with flag 12315/218807
27.29/19.46	c cleaning 8118 clauses out of 16236 with flag 27784/224805
28.10/19.87	c cleaning 7559 clauses out of 15118 with flag 46989/231805
29.08/20.33	c cleaning 7778 clauses out of 15560 with flag 66608/239806
30.08/20.83	c cleaning 8389 clauses out of 16781 with flag 89264/248805
31.08/21.38	c cleaning 9192 clauses out of 18392 with flag 114579/258805
32.28/21.96	c cleaning 10098 clauses out of 20201 with flag 143329/269806
34.04/22.72	c cleaning 11051 clauses out of 22102 with flag 174679/281805
35.44/23.43	c cleaning 12026 clauses out of 24051 with flag 207715/294805
35.84/23.61	c And the winner is solver1
35.87/23.74	c Got one! Elapsed wall clock time (in seconds):23.633
35.87/23.74	o 106
35.98/23.81	c cleaning 8541 clauses out of 17083 with flag 2456/299863
36.38/24.08	c cleaning 7268 clauses out of 14542 with flag 17238/305863
37.18/24.44	c cleaning 7136 clauses out of 14273 with flag 36513/312862
37.98/24.87	c cleaning 7569 clauses out of 15137 with flag 56494/320862
38.99/25.36	c cleaning 8282 clauses out of 16568 with flag 79102/329862
40.18/25.90	c cleaning 9142 clauses out of 18286 with flag 104443/339862
41.39/26.50	c cleaning 10072 clauses out of 20144 with flag 131920/350862
42.58/27.18	c cleaning 11032 clauses out of 22073 with flag 162014/362863
43.81/27.74	c And the winner is solver1
43.81/27.74	c Got one! Elapsed wall clock time (in seconds):27.635
43.81/27.74	o 105
45.03/28.20	c cleaning 13296 clauses out of 26594 with flag 12065/378416
45.63/28.58	c cleaning 9648 clauses out of 19298 with flag 26671/384416
46.43/28.98	c cleaning 8322 clauses out of 16649 with flag 44377/391415
47.43/29.42	c cleaning 8161 clauses out of 16327 with flag 64408/399415
48.43/29.94	c cleaning 8584 clauses out of 17167 with flag 86471/408416
49.63/30.52	c cleaning 9288 clauses out of 18583 with flag 111426/418416
51.03/31.20	c cleaning 10145 clauses out of 20294 with flag 139346/429415
52.64/32.01	c cleaning 11073 clauses out of 22150 with flag 172571/441416
54.43/32.94	c cleaning 12037 clauses out of 24077 with flag 207493/454416
56.97/34.16	c cleaning 13020 clauses out of 26039 with flag 248278/468415
59.37/35.35	c cleaning 14008 clauses out of 28019 with flag 288265/483415
61.96/36.60	c cleaning 15005 clauses out of 30011 with flag 330409/499415
64.56/37.97	c cleaning 15999 clauses out of 32006 with flag 377869/516415
67.77/39.58	c cleaning 17002 clauses out of 34007 with flag 430450/534415
71.37/41.38	c And the winner is solver1
71.47/41.75	c Got one! Elapsed wall clock time (in seconds):41.64
71.47/41.75	o 104
72.36/42.24	c cleaning 20314 clauses out of 40627 with flag 12118/558037
73.17/42.64	c cleaning 13154 clauses out of 26313 with flag 27354/564037
73.97/43.03	c cleaning 10079 clauses out of 20158 with flag 45531/571036
74.75/43.48	c cleaning 9036 clauses out of 18080 with flag 67326/579037
76.10/44.04	c cleaning 9018 clauses out of 18043 with flag 90999/588036
77.09/44.56	c cleaning 9509 clauses out of 19026 with flag 115463/598037
78.09/45.09	c cleaning 10256 clauses out of 20517 with flag 142529/609037
79.49/45.76	c cleaning 11127 clauses out of 22260 with flag 175756/621036
81.09/46.52	c cleaning 12065 clauses out of 24134 with flag 211103/634037
82.49/47.28	c cleaning 13032 clauses out of 26069 with flag 245987/648037
84.49/48.22	c cleaning 14015 clauses out of 28036 with flag 286370/663036
86.69/49.32	c cleaning 15009 clauses out of 30021 with flag 334016/679036
89.09/50.55	c cleaning 16003 clauses out of 32013 with flag 382643/696037
91.70/51.86	c cleaning 17002 clauses out of 34009 with flag 430166/714036
94.08/53.07	c cleaning 18002 clauses out of 36007 with flag 480333/733036
96.48/54.29	c cleaning 19002 clauses out of 38006 with flag 530953/753037
99.28/55.70	c cleaning 20000 clauses out of 40003 with flag 583603/774036
102.29/57.19	c cleaning 20998 clauses out of 42003 with flag 640211/796036
105.89/58.91	c cleaning 22003 clauses out of 44005 with flag 699458/819036
110.09/61.03	c cleaning 22999 clauses out of 46003 with flag 765977/843037
114.09/63.01	c cleaning 24001 clauses out of 48003 with flag 839953/868036
118.49/65.25	c cleaning 25000 clauses out of 50002 with flag 916856/894036
122.88/67.47	c cleaning 26001 clauses out of 52003 with flag 986370/921037
128.68/70.32	c cleaning 26999 clauses out of 54001 with flag 1063588/949036
135.14/73.74	c cleaning 28002 clauses out of 56003 with flag 1139931/978037
139.74/76.08	c cleaning 28993 clauses out of 58000 with flag 1215411/1008036
145.33/78.84	c cleaning 30004 clauses out of 60008 with flag 1300916/1039037
150.54/81.50	c cleaning 31000 clauses out of 62004 with flag 1386732/1071037
156.92/84.65	c cleaning 31999 clauses out of 64003 with flag 1481166/1104036
163.74/88.02	c cleaning 32997 clauses out of 66004 with flag 1570590/1138036
170.93/91.62	c cleaning 34000 clauses out of 68008 with flag 1663107/1173037
178.73/95.53	c cleaning 35004 clauses out of 70007 with flag 1766491/1209036
186.72/99.56	c cleaning 36000 clauses out of 72004 with flag 1866789/1246037
195.52/103.94	c cleaning 36996 clauses out of 74003 with flag 1971689/1284036
204.92/108.65	c cleaning 38005 clauses out of 76009 with flag 2074779/1323038
213.12/112.77	c cleaning 39000 clauses out of 78002 with flag 2178716/1363036
222.32/117.34	c cleaning 40000 clauses out of 80003 with flag 2293847/1404037
232.13/122.30	c cleaning 41001 clauses out of 82002 with flag 2414322/1446036
241.92/127.18	c cleaning 42000 clauses out of 84001 with flag 2535999/1489036
252.12/132.24	c cleaning 42996 clauses out of 86002 with flag 2670379/1533037
262.12/137.23	c cleaning 44000 clauses out of 88006 with flag 2798064/1578037
273.32/142.84	c cleaning 45001 clauses out of 90006 with flag 2920977/1624037
286.32/149.33	c cleaning 46000 clauses out of 92004 with flag 3044875/1671036
298.92/155.60	c cleaning 46998 clauses out of 94004 with flag 3184714/1719036
312.52/162.45	c cleaning 48002 clauses out of 96007 with flag 3341552/1768037
325.52/168.91	c cleaning 49002 clauses out of 98006 with flag 3489360/1818038
340.31/176.38	c cleaning 49999 clauses out of 100002 with flag 3632228/1869036
353.71/183.01	c cleaning 50997 clauses out of 102004 with flag 3784611/1921037
369.12/190.75	c cleaning 52002 clauses out of 104006 with flag 3926052/1974036
383.52/197.93	c cleaning 53001 clauses out of 106004 with flag 4078778/2028036
398.92/205.55	c cleaning 54002 clauses out of 108003 with flag 4241194/2083036
414.11/213.19	c cleaning 54999 clauses out of 110001 with flag 4409176/2139036
429.51/220.86	c cleaning 55998 clauses out of 112002 with flag 4590424/2196036
449.10/230.63	c cleaning 57000 clauses out of 114006 with flag 4751357/2254038
466.09/239.16	c cleaning 58001 clauses out of 116004 with flag 4923246/2313036
483.11/247.64	c cleaning 59000 clauses out of 118003 with flag 5101471/2373036
502.49/257.38	c cleaning 60003 clauses out of 120005 with flag 5292704/2434038
522.49/267.35	c cleaning 60995 clauses out of 122000 with flag 5470138/2496036
544.07/278.12	c cleaning 62000 clauses out of 124006 with flag 5640269/2559037
564.07/288.14	c cleaning 63002 clauses out of 126005 with flag 5821018/2623036
583.86/298.01	c cleaning 64002 clauses out of 128006 with flag 6008161/2688039
605.46/308.80	c cleaning 65001 clauses out of 130001 with flag 6205038/2754036
629.85/321.01	c cleaning 65994 clauses out of 132000 with flag 6381966/2821036
655.65/333.96	c cleaning 66999 clauses out of 134006 with flag 6559287/2889036
685.27/348.80	c cleaning 67997 clauses out of 136007 with flag 6738575/2958036
717.05/364.69	c cleaning 69005 clauses out of 138011 with flag 6913001/3028037
754.85/383.57	c cleaning 69992 clauses out of 140005 with flag 7086162/3099036
785.65/398.97	c cleaning 71004 clauses out of 142016 with flag 7266232/3171039
814.05/413.17	c cleaning 72001 clauses out of 144011 with flag 7445477/3244038
844.25/428.23	c cleaning 72998 clauses out of 146009 with flag 7621259/3318037
878.81/445.65	c cleaning 74001 clauses out of 148010 with flag 7801197/3393036
918.40/465.41	c cleaning 75004 clauses out of 150009 with flag 7990752/3469036
959.58/486.04	c cleaning 75994 clauses out of 152006 with flag 8203656/3546037
1000.98/506.72	c cleaning 77001 clauses out of 154011 with flag 8387851/3624036
1043.39/527.95	c cleaning 77999 clauses out of 156010 with flag 8574821/3703036
1088.99/550.73	c cleaning 78997 clauses out of 158012 with flag 8768542/3783037
1133.80/573.19	c cleaning 80000 clauses out of 160014 with flag 8962970/3864036
1181.39/596.97	c cleaning 81000 clauses out of 162015 with flag 9158352/3946037
1224.01/618.25	c cleaning 81999 clauses out of 164015 with flag 9355077/4029037
1271.59/642.07	c cleaning 82998 clauses out of 166016 with flag 9556893/4113037
1323.00/667.78	c cleaning 84005 clauses out of 168017 with flag 9758348/4198036
1371.41/691.91	c cleaning 85000 clauses out of 170012 with flag 9963849/4284036
1424.59/718.55	c cleaning 86005 clauses out of 172013 with flag 10171679/4371037
1477.40/744.97	c cleaning 87000 clauses out of 174007 with flag 10383156/4459036
1527.40/769.94	c cleaning 87999 clauses out of 176008 with flag 10615406/4548037
1579.60/796.09	c cleaning 88997 clauses out of 178008 with flag 10842055/4638036
1634.01/823.22	c cleaning 90005 clauses out of 180012 with flag 11087486/4729037
1699.00/855.79	c cleaning 91004 clauses out of 182007 with flag 11355269/4821037
1756.61/884.60	c cleaning 91999 clauses out of 184003 with flag 11633750/4914037
1800.12/906.20	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.12/906.20	c starts		: 54361
1800.12/906.20	c conflicts		: 4988191
1800.12/906.20	c decisions		: 13310135
1800.12/906.20	c propagations		: 184104260
1800.12/906.20	c inspects		: 18198899299
1800.12/906.20	c shortcuts		: 0
1800.12/906.20	c learnt literals	: 0
1800.12/906.20	c learnt binary clauses	: 0
1800.12/906.20	c learnt ternary clauses	: 0
1800.12/906.20	c learnt constraints	: 4988191
1800.12/906.20	c ignored constraints	: 0
1800.12/906.20	c root simplifications	: 0
1800.12/906.20	c removed literals (reason simplification)	: 9962969
1800.12/906.20	c reason swapping (by a shorter reason)	: 0
1800.12/906.20	c Calls to reduceDB	: 150
1800.12/906.20	c Number of update (reduction) of LBD	: 572336
1800.12/906.20	c Imported unit clauses	: 0
1800.12/906.20	c number of reductions to clauses (during analyze)	: 0
1800.12/906.20	c number of learned constraints concerned by reduction	: 0
1800.12/906.20	c number of learning phase by resolution	: 0
1800.12/906.20	c number of learning phase by cutting planes	: 0
1800.12/906.20	c speed (assignments/second)	: 212971.4791400362
1800.12/906.20	c non guided choices	0
1800.12/906.23	c learnt constraints type 
1800.12/906.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 166158
1800.12/906.23	c >>>>>>>>>> Solver number 1 (22 answers) <<<<<<<<<<<<<<<<<<
1800.12/906.23	c starts		: 45
1800.12/906.23	c conflicts		: 4981
1800.12/906.23	c decisions		: 25032
1800.12/906.23	c propagations		: 112903
1800.12/906.23	c inspects		: 44567765
1800.12/906.23	c shortcuts		: 0
1800.12/906.23	c learnt literals	: 0
1800.12/906.23	c learnt binary clauses	: 0
1800.12/906.23	c learnt ternary clauses	: 0
1800.12/906.23	c learnt constraints	: 4979
1800.12/906.23	c ignored constraints	: 0
1800.12/906.23	c root simplifications	: 0
1800.12/906.23	c removed literals (reason simplification)	: 0
1800.12/906.23	c reason swapping (by a shorter reason)	: 0
1800.12/906.23	c Calls to reduceDB	: 0
1800.12/906.23	c Number of update (reduction) of LBD	: 0
1800.12/906.23	c Imported unit clauses	: 0
1800.12/906.23	c number of reductions to clauses (during analyze)	: 0
1800.12/906.23	c number of learned constraints concerned by reduction	: 0
1800.12/906.23	c number of learning phase by resolution	: 0
1800.12/906.23	c number of learning phase by cutting planes	: 0
1800.12/906.23	c speed (assignments/second)	: 124.82117547688382
1800.12/906.23	c non guided choices	0
1800.12/906.23	c learnt constraints type 
1800.12/906.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 679
1800.12/906.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4300
1800.12/906.23	s SATISFIABLE
1800.12/906.23	c Found 24 solution(s)
1800.12/906.24	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 
1800.12/906.26	c objective function=104
1800.12/906.26	c Total wall clock time (in seconds): 906.151

Verifier Data 

OK	104

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-4081620-1465268705/watcher-4081620-1465268705 -o /tmp/evaluation-result-4081620-1465268705/solver-4081620-1465268705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465256572-5999 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081620-1465268705.opb 

pid=13048
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.30 4.23 4.22 4/195 13051
/proc/meminfo: memFree=26561512/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 108803519 98570240 977 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 24065 977 743 9 0 16771 0
[pid=13051/tid=13052] ppid=13048 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) R 13048 13051 5982 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 108803520 98570240 977 33554432000 1073741824 1073778376 140733628850720 139751077158440 227512501632 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 4.30 4.23 4.22 4/195 13051
/proc/meminfo: memFree=26561512/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 4477 0 1 0 10 1 0 0 20 0 18 0 108803519 9787879424 6114 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2389619 6114 2158 9 0 2380296 0
[pid=13051/tid=13052] ppid=13048 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) R 13048 13051 5982 0 -1 4202560 2390 0 1 0 6 2 0 0 20 0 18 0 108803520 9787879424 6114 33554432000 1073741824 1073778376 140733628850720 139751077161888 139750937819491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200271 s]
/proc/loadavg: 4.30 4.23 4.22 4/195 13051
/proc/meminfo: memFree=26561512/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 4932 0 1 0 26 1 0 0 20 0 18 0 108803519 9787879424 7483 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2389619 7483 2220 9 0 2380296 0
[pid=13051/tid=13052] ppid=13048 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) R 13048 13051 5982 0 -1 4202560 2429 0 1 0 16 2 0 0 20 0 18 0 108803520 9787879424 7483 33554432000 1073741824 1073778376 140733628850720 139751077160072 227515884813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 4.30 4.23 4.22 4/195 13051
/proc/meminfo: memFree=26561512/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 5011 0 1 0 27 1 0 0 20 0 19 0 108803519 10060525568 8030 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 8030 2227 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2436 0 1 0 16 2 0 0 20 0 19 0 108803520 10060525568 8030 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732

[startup+0.700253 s]
/proc/loadavg: 4.30 4.23 4.22 4/195 13051
/proc/meminfo: memFree=26561512/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 5011 0 1 0 27 1 0 0 20 0 19 0 108803519 10060525568 8030 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 8030 2227 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2436 0 1 0 16 2 0 0 20 0 19 0 108803520 10060525568 8030 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732

[startup+1.50073 s]
/proc/loadavg: 4.30 4.23 4.22 3/214 13076
/proc/meminfo: memFree=26488548/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 5125 0 1 0 34 3 0 0 20 0 19 0 108803519 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 10138 2242 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2439 0 1 0 17 2 0 0 20 0 19 0 108803520 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13054/stat : 13054 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750921108136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13055] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13055/stat : 13055 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750920055592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13056] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13056/stat : 13056 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750919003048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13057] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13057/stat : 13057 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750917950504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13058] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13058/stat : 13058 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750916896936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13059] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13059/stat : 13059 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750915844392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13060] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13060/stat : 13060 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750914791848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13061] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13061/stat : 13061 (java) S 13048 13051 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750913739304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13062] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13062/stat : 13062 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108803522 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750901328488 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13063] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13063/stat : 13063 (java) S 13048 13051 5982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108803522 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750900274808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13064] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13064/stat : 13064 (java) S 13048 13051 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108803522 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750899222152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13065] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13065/stat : 13065 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803524 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750898170896 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13066] ppid=13048 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13051/task/13066/stat : 13066 (java) S 13048 13051 5982 0 -1 4202560 593 0 0 0 6 0 0 0 20 0 19 0 108803524 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750897117240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13067] ppid=13048 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/13051/task/13067/stat : 13067 (java) S 13048 13051 5982 0 -1 4202560 748 0 0 0 4 0 0 0 20 0 19 0 108803524 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750896064696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13068] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13068/stat : 13068 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803524 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750895012344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13069] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13069/stat : 13069 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803524 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750893960008 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13076] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13076/stat : 13076 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108803590 10060525568 10138 33554432000 1073741824 1073778376 140733628850720 139750891852840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 4.30 4.23 4.22 3/214 13082
/proc/meminfo: memFree=26472696/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 15492 0 1 0 134 10 0 0 20 0 19 0 108803519 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 19581 2257 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2441 0 1 0 18 2 0 0 20 0 19 0 108803520 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13054/stat : 13054 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750921108136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13055] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13055/stat : 13055 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750920055592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13056] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13056/stat : 13056 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750919003048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13057] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13057/stat : 13057 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750917950504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13058] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13058/stat : 13058 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750916896936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13059] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13059/stat : 13059 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750915844392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13060] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13060/stat : 13060 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750914791848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13061] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13061/stat : 13061 (java) S 13048 13051 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108803521 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750913739304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13062] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13062/stat : 13062 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108803522 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750901328488 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13063] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13063/stat : 13063 (java) S 13048 13051 5982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108803522 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750900274808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13064] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13064/stat : 13064 (java) S 13048 13051 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108803522 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750899222152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13065] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13065/stat : 13065 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803524 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750898170896 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13066] ppid=13048 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/13051/task/13066/stat : 13066 (java) S 13048 13051 5982 0 -1 4202560 6872 0 0 0 49 0 0 0 20 0 19 0 108803524 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750897117240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13067] ppid=13048 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/13051/task/13067/stat : 13067 (java) S 13048 13051 5982 0 -1 4202560 4793 0 0 0 35 0 0 0 20 0 19 0 108803524 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750896064696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13068] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13068/stat : 13068 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803524 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750895012344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13069] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13069/stat : 13069 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108803524 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750893960008 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13082] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13082/stat : 13082 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108803691 10060525568 19581 33554432000 1073741824 1073778376 140733628850720 139750889747240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=24 pid=1753 uid=0 cmd=

[startup+6.30083 s]
/proc/loadavg: 4.19 4.21 4.21 4/214 13103
/proc/meminfo: memFree=26386636/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 17470 0 1 0 354 23 0 0 20 0 22 0 108803519 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 44942 2284 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2443 0 1 0 19 2 0 0 20 0 22 0 108803520 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13054/stat : 13054 (java) S 13048 13051 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750921108136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13055] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13055/stat : 13055 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750920055592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13056] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13056/stat : 13056 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750919003048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13057] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13057/stat : 13057 (java) S 13048 13051 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750917950504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13058] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13058/stat : 13058 (java) S 13048 13051 5982 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750916896936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13059] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13059/stat : 13059 (java) S 13048 13051 5982 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750915844392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13060] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13060/stat : 13060 (java) S 13048 13051 5982 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750914791848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13061] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13061/stat : 13061 (java) S 13048 13051 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108803521 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750913739304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13062] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13062/stat : 13062 (java) S 13048 13051 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750901328488 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13063] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13063/stat : 13063 (java) S 13048 13051 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750900274808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13064] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13064/stat : 13064 (java) S 13048 13051 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750899222152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13065] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13065/stat : 13065 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 44942 33554432000 1073741824 1073778376 140733628850720 139750898170896 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13066] ppid=13048 vsize=9824732 CPUtime=0.71 cores=1,3,5,7

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

/proc/13051/task/13056/stat : 13056 (java) S 13048 13051 5982 0 -1 4202560 1158 0 0 0 37 13 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750919003048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13057] ppid=13048 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/13051/task/13057/stat : 13057 (java) S 13048 13051 5982 0 -1 4202560 1947 0 0 0 37 14 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750917950504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13058] ppid=13048 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/13051/task/13058/stat : 13058 (java) S 13048 13051 5982 0 -1 4202560 1553 0 0 0 34 11 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750916896936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13059] ppid=13048 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/13051/task/13059/stat : 13059 (java) S 13048 13051 5982 0 -1 4202560 2672 0 0 0 34 16 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750915844392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13060] ppid=13048 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/13051/task/13060/stat : 13060 (java) S 13048 13051 5982 0 -1 4202560 1608 0 0 0 28 11 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750914791848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13061] ppid=13048 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/13051/task/13061/stat : 13061 (java) S 13048 13051 5982 0 -1 4202560 1162 0 0 0 46 18 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750913739304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13062] ppid=13048 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/13051/task/13062/stat : 13062 (java) S 13048 13051 5982 0 -1 4202560 1709 0 0 0 103 3 0 0 20 0 22 0 108803522 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750901328488 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13063] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13063/stat : 13063 (java) S 13048 13051 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750900274808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13064] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13064/stat : 13064 (java) S 13048 13051 5982 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750899222152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13065] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13065/stat : 13065 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750898170896 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13066] ppid=13048 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/13051/task/13066/stat : 13066 (java) S 13048 13051 5982 0 -1 4202560 6923 0 0 0 105 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750897117240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13067] ppid=13048 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/13051/task/13067/stat : 13067 (java) S 13048 13051 5982 0 -1 4202560 6618 0 0 0 81 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750896064696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13068] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13068/stat : 13068 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750895012344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13069] ppid=13048 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13051/task/13069/stat : 13069 (java) S 13048 13051 5982 0 -1 4202560 48 0 0 0 9 8 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750893960008 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13082] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13082/stat : 13082 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108803691 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750889747240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13143] ppid=13048 vsize=9824732 CPUtime=776.99 cores=1,3,5,7
/proc/13051/task/13143/stat : 13143 (java) R 13048 13051 5982 0 -1 4202560 11 0 0 0 77688 11 0 0 20 0 22 0 108807695 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750892896544 139750938795024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13144] ppid=13048 vsize=9824732 CPUtime=777.04 cores=1,3,5,7
/proc/13051/task/13144/stat : 13144 (java) R 13048 13051 5982 0 -1 4202560 286 0 0 0 77686 18 0 0 20 0 22 0 108807695 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750890798592 139750938876602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13145] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13145/stat : 13145 (java) S 13048 13051 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108807695 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750891853480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1632.21
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.18 4.25 4.21 5/217 13301
/proc/meminfo: memFree=26515944/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=1752.21 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 35671 0 1 0 175029 192 0 0 20 0 22 0 108803519 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 833753 2294 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2446 0 1 0 22 2 0 0 20 0 22 0 108803520 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/13051/task/13054/stat : 13054 (java) S 13048 13051 5982 0 -1 4202560 2246 0 0 0 29 9 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750921108136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13055] ppid=13048 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/13051/task/13055/stat : 13055 (java) S 13048 13051 5982 0 -1 4202560 2237 0 0 0 40 16 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750920055592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13056] ppid=13048 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/13051/task/13056/stat : 13056 (java) S 13048 13051 5982 0 -1 4202560 1158 0 0 0 37 13 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750919003048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13057] ppid=13048 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/13051/task/13057/stat : 13057 (java) S 13048 13051 5982 0 -1 4202560 1947 0 0 0 37 14 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750917950504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13058] ppid=13048 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/13051/task/13058/stat : 13058 (java) S 13048 13051 5982 0 -1 4202560 1553 0 0 0 34 11 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750916896936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13059] ppid=13048 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/13051/task/13059/stat : 13059 (java) S 13048 13051 5982 0 -1 4202560 2672 0 0 0 34 16 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750915844392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13060] ppid=13048 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/13051/task/13060/stat : 13060 (java) S 13048 13051 5982 0 -1 4202560 1608 0 0 0 28 11 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750914791848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13061] ppid=13048 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/13051/task/13061/stat : 13061 (java) S 13048 13051 5982 0 -1 4202560 1162 0 0 0 46 18 0 0 20 0 22 0 108803521 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750913739304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13062] ppid=13048 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/13051/task/13062/stat : 13062 (java) S 13048 13051 5982 0 -1 4202560 1709 0 0 0 104 3 0 0 20 0 22 0 108803522 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750901328488 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13063] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13063/stat : 13063 (java) S 13048 13051 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750900274808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13064] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13064/stat : 13064 (java) S 13048 13051 5982 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750899222152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13065] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13065/stat : 13065 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750898170896 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13066] ppid=13048 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/13051/task/13066/stat : 13066 (java) S 13048 13051 5982 0 -1 4202560 6923 0 0 0 105 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750897117240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13067] ppid=13048 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/13051/task/13067/stat : 13067 (java) S 13048 13051 5982 0 -1 4202560 6618 0 0 0 81 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750896064696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13068] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13068/stat : 13068 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750895012344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13069] ppid=13048 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/13051/task/13069/stat : 13069 (java) S 13048 13051 5982 0 -1 4202560 52 0 0 0 9 10 0 0 20 0 22 0 108803524 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750893960008 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13082] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13082/stat : 13082 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108803691 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750889747240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13143] ppid=13048 vsize=9824732 CPUtime=836.84 cores=1,3,5,7
/proc/13051/task/13143/stat : 13143 (java) R 13048 13051 5982 0 -1 4202560 11 0 0 0 83672 12 0 0 20 0 22 0 108807695 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750892896544 139750938324003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13144] ppid=13048 vsize=9824732 CPUtime=836.89 cores=1,3,5,7
/proc/13051/task/13144/stat : 13144 (java) R 13048 13051 5982 0 -1 4202560 286 0 0 0 83670 19 0 0 20 0 22 0 108807695 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750890798592 139750938857580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13145] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13145/stat : 13145 (java) S 13048 13051 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108807695 10060525568 833753 33554432000 1073741824 1073778376 140733628850720 139750891853480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1752.21
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.201 s]
/proc/loadavg: 4.25 4.26 4.21 6/218 13304
/proc/meminfo: memFree=26488928/32872528 swapFree=17280/1464432
[pid=13051] ppid=13048 vsize=9824732 CPUtime=1800.12 cores=1,3,5,7
/proc/13051/stat : 13051 (java) S 13048 13051 5982 0 -1 4202496 35823 0 1 0 179819 193 0 0 20 0 22 0 108803519 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 140733628841856 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13051/statm: 2456183 833900 2294 9 0 2446860 0
[pid=13051/tid=13052] ppid=13048 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/13051/task/13052/stat : 13052 (java) S 13048 13051 5982 0 -1 4202560 2446 0 1 0 22 2 0 0 20 0 22 0 108803520 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139751077163896 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/13051/task/13054/stat : 13054 (java) S 13048 13051 5982 0 -1 4202560 2258 0 0 0 32 9 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750921108136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13055] ppid=13048 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/13051/task/13055/stat : 13055 (java) S 13048 13051 5982 0 -1 4202560 2243 0 0 0 44 16 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750920055592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13056] ppid=13048 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/13051/task/13056/stat : 13056 (java) S 13048 13051 5982 0 -1 4202560 1170 0 0 0 39 13 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750919003048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13057] ppid=13048 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/13051/task/13057/stat : 13057 (java) S 13048 13051 5982 0 -1 4202560 1978 0 0 0 40 14 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750917950504 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13058] ppid=13048 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/13051/task/13058/stat : 13058 (java) S 13048 13051 5982 0 -1 4202560 1588 0 0 0 36 11 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750916896936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13059] ppid=13048 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/13051/task/13059/stat : 13059 (java) S 13048 13051 5982 0 -1 4202560 2679 0 0 0 41 16 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750915844392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13060] ppid=13048 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/13051/task/13060/stat : 13060 (java) S 13048 13051 5982 0 -1 4202560 1608 0 0 0 31 12 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750914791848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13061] ppid=13048 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/13051/task/13061/stat : 13061 (java) S 13048 13051 5982 0 -1 4202560 1206 0 0 0 48 18 0 0 20 0 22 0 108803521 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750913739304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13062] ppid=13048 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/13051/task/13062/stat : 13062 (java) S 13048 13051 5982 0 -1 4202560 1711 0 0 0 104 3 0 0 20 0 22 0 108803522 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750901328488 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13063] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13063/stat : 13063 (java) S 13048 13051 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750900274808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13064] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13064/stat : 13064 (java) S 13048 13051 5982 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 108803522 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750899222152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13065] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13065/stat : 13065 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750898170896 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13066] ppid=13048 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/13051/task/13066/stat : 13066 (java) S 13048 13051 5982 0 -1 4202560 6923 0 0 0 105 0 0 0 20 0 22 0 108803524 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750897117240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13067] ppid=13048 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/13051/task/13067/stat : 13067 (java) S 13048 13051 5982 0 -1 4202560 6618 0 0 0 81 0 0 0 20 0 22 0 108803524 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750896064696 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13068] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13068/stat : 13068 (java) S 13048 13051 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108803524 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750895012344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13051/tid=13069] ppid=13048 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13051/task/13069/stat : 13069 (java) S 13048 13051 5982 0 -1 4202560 54 0 0 0 9 11 0 0 20 0 22 0 108803524 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750893960008 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13082] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13082/stat : 13082 (java) S 13048 13051 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108803691 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750889747240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13051/tid=13143] ppid=13048 vsize=9824732 CPUtime=860.61 cores=1,3,5,7
/proc/13051/task/13143/stat : 13143 (java) R 13048 13051 5982 0 -1 4202560 12 0 0 0 86048 13 0 0 20 0 22 0 108807695 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750892904256 139750938323998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13051/tid=13144] ppid=13048 vsize=9824732 CPUtime=860.64 cores=1,3,5,7
/proc/13051/task/13144/stat : 13144 (java) R 13048 13051 5982 0 -1 4202560 286 0 0 0 86043 21 0 0 20 0 22 0 108807695 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750890797664 139750938659457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13051/tid=13145] ppid=13048 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13051/task/13145/stat : 13145 (java) S 13048 13051 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108807695 10060525568 833900 33554432000 1073741824 1073778376 140733628850720 139750891853480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
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 13051 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 906.276
CPU time (s): 1800.12
CPU user time (s): 1798.19
CPU system time (s): 1.93
CPU usage (%): 198.628
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 2.37264
maximum resident set size= 3335736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35869
page faults= 1
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22919
involuntary context switches= 7260

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38118 second user time and 6.84596 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-07 05:05:05
IDJOB=4081620
IDBENCH=89865
IDSOLVER=2543
FILE ID=node121/4081620-1465268705
RUNJOBID= node121-1465256572-5999
PBS_JOBID= 19843282
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-go19.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081620-1465268705/watcher-4081620-1465268705 -o /tmp/evaluation-result-4081620-1465268705/solver-4081620-1465268705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465256572-5999 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081620-1465268705.opb

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

MD5SUM BENCH= ac3a0c512b81d5e532f489853538ca8f
RANDOM SEED=1472923568

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
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		: 2667.050
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		: 2667.050
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.54
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		: 2667.050
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:        26561892 kB
Buffers:          103440 kB
Cached:           177132 kB
SwapCached:         1720 kB
Active:          3904456 kB
Inactive:         188748 kB
Active(anon):    3812940 kB
Inactive(anon):     2180 kB
Active(file):      91516 kB
Inactive(file):   186568 kB
Unevictable:     1464432 kB
Mlocked:           17280 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       5239672 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             600816 kB
SReclaimable:      44612 kB
SUnreclaim:       556204 kB
KernelStack:        1768 kB
PageTables:        14572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5790872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5173248 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= 71732 MiB
End job on node121 at 2016-06-07 05:20:11