Trace number 4119253

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)2874 1800.41 928.148

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.opb
MD5SUMdddfb0d383bd0edd68ae99c0832dc538
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2393
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables553
Total number of constraints8097
Number of constraints which are clauses8096
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6235
Biggest coefficient in the objective function 3269
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 18647
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 3269
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 18647
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)5738
Sum of products size (including duplicates)11476
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119253-1467251518.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
2.21/0.93	c ... done. Wall clock time 0.814s.
2.21/0.93	c declared #vars     553
2.21/0.93	c internal #vars     6291
2.21/0.93	c #constraints  19574
2.21/0.93	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.21/0.93	c constraints type 
2.21/0.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13834
2.21/0.93	c org.sat4j.specs.Constr$1 => 1
2.21/0.93	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
2.21/0.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5738
2.21/0.93	c 19574 constraints processed.
2.21/0.93	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.21/0.93	c constraints type 
2.21/0.93	c org.sat4j.specs.Constr$1 => 1
2.21/0.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 13834
2.21/0.93	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
2.21/0.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5738
2.21/0.93	c 19574 constraints processed.
2.21/0.93	c objective function length is 6235 literals
2.99/1.13	c And the winner is solver0
3.68/1.44	c SATISFIABLE
3.68/1.44	c OPTIMIZING...
3.68/1.44	c Got one! Elapsed wall clock time (in seconds):1.324
3.68/1.44	o 3546
4.36/1.69	c And the winner is solver0
5.74/2.28	c Got one! Elapsed wall clock time (in seconds):2.166
5.74/2.29	o 3539
5.85/2.31	c And the winner is solver0
5.96/2.80	c Got one! Elapsed wall clock time (in seconds):2.686
5.96/2.80	o 3450
5.96/2.88	c And the winner is solver0
6.29/3.32	c Got one! Elapsed wall clock time (in seconds):3.2
6.29/3.32	o 3447
6.29/3.34	c And the winner is solver0
6.33/3.83	c Got one! Elapsed wall clock time (in seconds):3.712
6.33/3.83	o 3444
6.33/3.87	c And the winner is solver0
6.56/4.34	c Got one! Elapsed wall clock time (in seconds):4.222
6.56/4.34	o 3443
6.56/4.37	c And the winner is solver0
6.68/4.85	c Got one! Elapsed wall clock time (in seconds):4.732
6.68/4.85	o 3441
6.82/4.98	c And the winner is solver0
7.25/5.36	c Got one! Elapsed wall clock time (in seconds):5.241
7.25/5.36	o 3440
7.37/5.41	c And the winner is solver0
7.46/5.87	c Got one! Elapsed wall clock time (in seconds):5.749
7.46/5.87	o 3438
7.51/5.97	c And the winner is solver0
7.93/6.37	c Got one! Elapsed wall clock time (in seconds):6.257
7.93/6.37	o 3437
7.96/6.43	c And the winner is solver0
8.27/6.88	c Got one! Elapsed wall clock time (in seconds):6.764
8.27/6.88	o 3434
8.29/6.95	c And the winner is solver0
8.72/7.39	c Got one! Elapsed wall clock time (in seconds):7.272
8.72/7.39	o 3433
8.73/7.47	c And the winner is solver0
9.21/7.90	c Got one! Elapsed wall clock time (in seconds):7.78
9.21/7.90	o 3431
9.21/7.95	c And the winner is solver0
9.61/8.41	c Got one! Elapsed wall clock time (in seconds):8.287
9.61/8.41	o 3430
9.61/8.48	c And the winner is solver0
10.00/8.91	c Got one! Elapsed wall clock time (in seconds):8.795
10.00/8.91	o 3429
10.00/8.98	c And the winner is solver0
10.45/9.42	c Got one! Elapsed wall clock time (in seconds):9.302
10.45/9.42	o 3426
10.45/9.46	c And the winner is solver0
10.55/9.93	c Got one! Elapsed wall clock time (in seconds):9.81
10.55/9.93	o 3424
10.55/9.98	c And the winner is solver0
10.67/10.44	c Got one! Elapsed wall clock time (in seconds):10.318
10.67/10.44	o 3423
10.78/10.56	c And the winner is solver0
11.11/10.94	c Got one! Elapsed wall clock time (in seconds):10.825
11.11/10.94	o 3422
14.02/12.47	c And the winner is solver0
14.41/12.97	c Got one! Elapsed wall clock time (in seconds):12.854
14.41/12.97	o 3421
14.45/13.02	c And the winner is solver0
14.79/13.48	c Got one! Elapsed wall clock time (in seconds):13.361
14.79/13.48	o 3420
18.83/15.59	c cleaning 3188 clauses out of 6375 with flag 6061/6375
19.34/15.78	c And the winner is solver0
19.68/15.99	c Got one! Elapsed wall clock time (in seconds):15.869
19.68/15.99	o 3419
20.19/16.20	c And the winner is solver0
20.29/16.50	c Got one! Elapsed wall clock time (in seconds):16.377
20.29/16.50	o 3417
20.30/16.55	c And the winner is solver0
20.60/17.00	c Got one! Elapsed wall clock time (in seconds):16.885
20.60/17.00	o 3411
20.60/17.06	c And the winner is solver0
20.92/17.51	c Got one! Elapsed wall clock time (in seconds):17.394
20.92/17.51	o 3410
27.99/21.04	c cleaning 4418 clauses out of 8836 with flag 10040/12024
36.74/25.35	c And the winner is solver0
36.87/25.52	c Got one! Elapsed wall clock time (in seconds):25.402
36.87/25.52	o 3409
37.00/25.62	c And the winner is solver0
37.10/26.03	c Got one! Elapsed wall clock time (in seconds):25.91
37.10/26.03	o 3404
37.10/26.07	c And the winner is solver0
37.23/26.54	c Got one! Elapsed wall clock time (in seconds):26.419
37.23/26.54	o 3403
37.44/26.69	c And the winner is solver0
37.78/27.05	c Got one! Elapsed wall clock time (in seconds):26.928
37.78/27.05	o 3398
37.87/27.10	c And the winner is solver0
37.92/27.55	c Got one! Elapsed wall clock time (in seconds):27.436
37.92/27.55	o 3394
37.92/27.58	c And the winner is solver0
37.98/28.06	c Got one! Elapsed wall clock time (in seconds):27.944
37.98/28.06	o 3393
37.98/28.08	c And the winner is solver0
38.02/28.57	c Got one! Elapsed wall clock time (in seconds):28.453
38.02/28.57	o 3391
38.02/28.59	c And the winner is solver0
38.07/29.08	c Got one! Elapsed wall clock time (in seconds):28.961
38.07/29.08	o 3390
39.31/29.80	c And the winner is solver0
39.71/30.09	c Got one! Elapsed wall clock time (in seconds):29.969
39.71/30.09	o 3389
39.75/30.10	c And the winner is solver0
39.77/30.59	c Got one! Elapsed wall clock time (in seconds):30.477
39.77/30.59	o 3388
41.93/31.68	c And the winner is solver0
42.38/32.10	c Got one! Elapsed wall clock time (in seconds):31.986
42.38/32.10	o 3387
42.38/32.16	c And the winner is solver0
42.54/32.61	c Got one! Elapsed wall clock time (in seconds):32.493
42.54/32.61	o 3385
42.54/32.68	c And the winner is solver0
43.00/33.12	c Got one! Elapsed wall clock time (in seconds):33.002
43.00/33.12	o 3382
43.00/33.15	c And the winner is solver0
43.09/33.63	c Got one! Elapsed wall clock time (in seconds):33.51
43.09/33.63	o 3381
43.09/33.65	c And the winner is solver0
43.14/34.14	c Got one! Elapsed wall clock time (in seconds):34.018
43.14/34.14	o 3378
47.26/36.28	c cleaning 8197 clauses out of 16400 with flag 6126/24006
56.88/40.92	c cleaning 7096 clauses out of 14203 with flag 18137/30006
59.57/42.27	c And the winner is solver0
59.99/42.65	c Got one! Elapsed wall clock time (in seconds):42.528
59.99/42.65	o 3377
65.31/45.37	c cleaning 6532 clauses out of 13070 with flag 8018/35969
68.71/47.09	c And the winner is solver0
69.00/47.20	c Got one! Elapsed wall clock time (in seconds):47.087
69.00/47.20	o 3375
71.12/48.23	c And the winner is solver0
71.25/48.71	c Got one! Elapsed wall clock time (in seconds):48.595
71.25/48.71	o 3374
71.25/48.75	c And the winner is solver0
71.34/49.22	c Got one! Elapsed wall clock time (in seconds):49.104
71.34/49.22	o 3373
71.34/49.24	c And the winner is solver0
71.40/49.73	c Got one! Elapsed wall clock time (in seconds):49.613
71.40/49.73	o 3370
74.32/51.22	c cleaning 6226 clauses out of 12478 with flag 4187/41909
78.52/53.31	c And the winner is solver0
78.81/53.74	c Got one! Elapsed wall clock time (in seconds):53.622
78.81/53.74	o 3369
81.11/54.90	c And the winner is solver0
81.33/55.25	c Got one! Elapsed wall clock time (in seconds):55.131
81.33/55.25	o 3367
81.33/55.28	c And the winner is solver0
81.42/55.76	c Got one! Elapsed wall clock time (in seconds):55.639
81.42/55.76	o 3364
82.89/56.51	c cleaning 6032 clauses out of 12077 with flag 2128/47734
91.40/60.76	c cleaning 6010 clauses out of 12044 with flag 14258/53733
92.00/61.06	c And the winner is solver0
92.22/61.27	c Got one! Elapsed wall clock time (in seconds):61.149
92.22/61.27	o 3363
92.27/61.30	c And the winner is solver0
92.30/61.78	c Got one! Elapsed wall clock time (in seconds):61.658
92.30/61.78	o 3358
94.93/63.16	c And the winner is solver0
95.09/63.28	c Got one! Elapsed wall clock time (in seconds):63.167
95.09/63.28	o 3357
95.17/63.32	c And the winner is solver0
95.24/63.79	c Got one! Elapsed wall clock time (in seconds):63.675
95.24/63.79	o 3356
95.45/63.97	c And the winner is solver0
95.91/64.30	c Got one! Elapsed wall clock time (in seconds):64.184
95.91/64.30	o 3353
95.91/64.33	c And the winner is solver0
96.00/64.81	c Got one! Elapsed wall clock time (in seconds):64.693
96.00/64.81	o 3344
98.75/66.25	c And the winner is solver0
98.91/66.37	c Got one! Elapsed wall clock time (in seconds):66.252
98.91/66.37	o 3343
99.31/66.57	c And the winner is solver0
99.61/66.88	c Got one! Elapsed wall clock time (in seconds):66.761
99.61/66.88	o 3334
99.64/66.91	c And the winner is solver0
99.68/67.39	c Got one! Elapsed wall clock time (in seconds):67.271
99.68/67.39	o 3333
99.69/67.43	c And the winner is solver0
99.77/67.90	c Got one! Elapsed wall clock time (in seconds):67.78
99.77/67.90	o 3332
99.77/67.92	c And the winner is solver0
99.83/68.41	c Got one! Elapsed wall clock time (in seconds):68.29
99.83/68.41	o 3331
100.60/68.84	c And the winner is solver0
101.03/69.22	c Got one! Elapsed wall clock time (in seconds):69.1
101.03/69.22	o 3330
101.03/69.26	c And the winner is solver0
101.13/69.73	c Got one! Elapsed wall clock time (in seconds):69.609
101.13/69.73	o 3329
102.06/70.22	c And the winner is solver0
102.29/70.44	c Got one! Elapsed wall clock time (in seconds):70.319
102.29/70.44	o 3327
102.29/70.48	c And the winner is solver0
102.45/70.95	c Got one! Elapsed wall clock time (in seconds):70.829
102.45/70.95	o 3325
102.45/70.99	c And the winner is solver0
102.57/71.46	c Got one! Elapsed wall clock time (in seconds):71.338
102.57/71.46	o 3322
102.57/71.48	c And the winner is solver0
102.63/71.96	c Got one! Elapsed wall clock time (in seconds):71.847
102.63/71.96	o 3321
102.68/72.00	c And the winner is solver0
102.70/72.47	c Got one! Elapsed wall clock time (in seconds):72.356
102.70/72.47	o 3319
106.74/74.58	c cleaning 7642 clauses out of 15292 with flag 6027/62991
109.14/75.77	c And the winner is solver0
109.61/76.13	c Got one! Elapsed wall clock time (in seconds):76.017
109.61/76.13	o 3318
110.74/76.79	c And the winner is solver0
111.18/77.14	c Got one! Elapsed wall clock time (in seconds):77.026
111.18/77.14	o 3315
111.18/77.20	c And the winner is solver0
111.32/77.65	c Got one! Elapsed wall clock time (in seconds):77.536
111.32/77.65	o 3314
111.44/77.76	c And the winner is solver0
111.67/78.16	c Got one! Elapsed wall clock time (in seconds):78.046
111.67/78.16	o 3311
117.12/80.98	c cleaning 7162 clauses out of 14343 with flag 8163/69684
125.52/85.13	c cleaning 6587 clauses out of 13184 with flag 20227/75687
134.32/89.50	c And the winner is solver0
134.63/89.88	c Got one! Elapsed wall clock time (in seconds):89.758
134.63/89.88	o 3309
136.29/90.74	c And the winner is solver0
136.65/91.04	c Got one! Elapsed wall clock time (in seconds):90.918
136.65/91.04	o 3308
136.65/91.06	c And the winner is solver0
136.73/91.55	c Got one! Elapsed wall clock time (in seconds):91.428
136.73/91.55	o 3305
136.73/91.59	c And the winner is solver0
136.84/92.05	c Got one! Elapsed wall clock time (in seconds):91.937
136.84/92.06	o 3302
136.84/92.08	c And the winner is solver0
136.90/92.56	c Got one! Elapsed wall clock time (in seconds):92.447
136.90/92.56	o 3300
140.12/94.35	c And the winner is solver0
140.44/94.67	c Got one! Elapsed wall clock time (in seconds):94.554
140.44/94.67	o 3299
144.70/96.86	c cleaning 9637 clauses out of 19290 with flag 6119/88380
152.68/100.88	c cleaning 7821 clauses out of 15654 with flag 18151/94381
162.08/105.52	c cleaning 7409 clauses out of 14835 with flag 32190/101383
172.88/110.99	c cleaning 7706 clauses out of 15424 with flag 48259/109381
185.28/117.17	c cleaning 8352 clauses out of 16718 with flag 66289/118381
199.81/124.23	c cleaning 9178 clauses out of 18368 with flag 86326/128383
214.81/131.79	c cleaning 10086 clauses out of 20187 with flag 108381/139380
231.62/140.19	c cleaning 11037 clauses out of 22101 with flag 132430/151380
251.74/150.23	c cleaning 12025 clauses out of 24065 with flag 158508/164381
270.95/159.88	c cleaning 13018 clauses out of 26043 with flag 186711/178384
291.35/170.08	c cleaning 14001 clauses out of 28022 with flag 216723/193381
313.96/181.39	c cleaning 14998 clauses out of 30020 with flag 248754/209380
339.88/194.04	c cleaning 16000 clauses out of 32023 with flag 282822/226381
355.88/202.03	c And the winner is solver1
355.99/202.19	c Got one! Elapsed wall clock time (in seconds):202.072
355.99/202.19	o 3049
365.20/206.82	c cleaning 15923 clauses out of 31852 with flag 10879/242210
376.35/213.04	c And the winner is solver0
376.70/213.38	c Got one! Elapsed wall clock time (in seconds):213.262
376.70/213.38	o 3048
378.61/214.38	c cleaning 10902 clauses out of 21805 with flag 2061/248086
390.02/220.09	c cleaning 8449 clauses out of 16901 with flag 15366/254084
403.80/226.94	c cleaning 7726 clauses out of 15453 with flag 30863/261085
419.40/234.73	c cleaning 7860 clauses out of 15726 with flag 49473/269084
437.21/243.66	c cleaning 8432 clauses out of 16868 with flag 71699/278086
458.15/254.08	c cleaning 9209 clauses out of 18434 with flag 95507/288084
478.55/264.28	c cleaning 10112 clauses out of 20226 with flag 122848/299085
498.16/274.02	c cleaning 11055 clauses out of 22115 with flag 153333/311086
508.55/279.23	c And the winner is solver0
509.18/279.80	c Got one! Elapsed wall clock time (in seconds):279.686
509.18/279.80	o 3047
519.03/284.61	c cleaning 11479 clauses out of 22967 with flag 11186/322993
529.63/289.99	c cleaning 8738 clauses out of 17489 with flag 24758/328994
542.24/296.25	c cleaning 7869 clauses out of 15750 with flag 40821/335993
557.64/303.96	c cleaning 7939 clauses out of 15884 with flag 59794/343996
574.43/312.37	c And the winner is solver0
575.11/312.97	c Got one! Elapsed wall clock time (in seconds):312.854
575.11/312.97	o 3046
585.74/318.16	c cleaning 10959 clauses out of 21918 with flag 11741/357969
596.95/323.79	c cleaning 8475 clauses out of 16961 with flag 26314/363971
609.77/330.16	c cleaning 7736 clauses out of 15484 with flag 42777/370969
610.35/330.43	c And the winner is solver0
611.20/331.24	c Got one! Elapsed wall clock time (in seconds):331.119
611.20/331.24	o 3041
621.59/336.33	c cleaning 6537 clauses out of 13082 with flag 11921/376303
633.98/342.59	c cleaning 6273 clauses out of 12547 with flag 26257/382305
648.38/349.71	c cleaning 6625 clauses out of 13273 with flag 43365/389304
652.18/351.64	c And the winner is solver0
652.91/352.30	c Got one! Elapsed wall clock time (in seconds):352.186
652.91/352.30	o 3040
658.08/354.95	c cleaning 5919 clauses out of 11842 with flag 7027/394498
669.60/360.53	c cleaning 5957 clauses out of 11921 with flag 21668/400496
682.60/367.08	c cleaning 6479 clauses out of 12964 with flag 38729/407496
697.40/374.40	c cleaning 7241 clauses out of 14485 with flag 57957/415496
714.00/382.70	c cleaning 8118 clauses out of 16245 with flag 79691/424497
732.16/391.69	c cleaning 9058 clauses out of 18126 with flag 102556/434496
746.34/398.77	c And the winner is solver0
747.03/399.37	c Got one! Elapsed wall clock time (in seconds):399.257
747.03/399.37	o 3038
757.56/404.45	c cleaning 11169 clauses out of 22339 with flag 12026/447767
771.16/411.26	c cleaning 8584 clauses out of 17171 with flag 26387/453768
786.16/418.76	c cleaning 7794 clauses out of 15587 with flag 42291/460768
808.05/430.10	c cleaning 7896 clauses out of 15791 with flag 58863/468766
825.88/438.92	c cleaning 8446 clauses out of 16898 with flag 79916/477769
845.18/448.53	c cleaning 9220 clauses out of 18449 with flag 100575/487766
845.38/448.69	c And the winner is solver0
846.29/449.41	c Got one! Elapsed wall clock time (in seconds):449.293
846.29/449.41	o 3036
852.65/452.66	c cleaning 7189 clauses out of 14394 with flag 10377/492931
861.99/457.29	c cleaning 6598 clauses out of 13205 with flag 23618/498931
873.80/463.17	c cleaning 6799 clauses out of 13610 with flag 38560/505934
876.59/464.57	c And the winner is solver0
877.77/465.60	c Got one! Elapsed wall clock time (in seconds):465.478
877.77/465.60	o 3034
882.97/468.19	c cleaning 6277 clauses out of 12561 with flag 8282/511684
890.97/472.18	c cleaning 6131 clauses out of 12284 with flag 20705/517684
900.54/476.86	c cleaning 6566 clauses out of 13153 with flag 35385/524684
911.14/482.16	c cleaning 7285 clauses out of 14588 with flag 51958/532685
922.94/488.09	c cleaning 8142 clauses out of 16302 with flag 70696/541684
936.76/494.84	c cleaning 9076 clauses out of 18162 with flag 91345/551686
951.55/502.25	c cleaning 10034 clauses out of 20084 with flag 114338/562684
968.34/510.62	c cleaning 11019 clauses out of 22051 with flag 139500/574685
986.63/519.62	c cleaning 12007 clauses out of 24031 with flag 166570/587684
1006.02/529.38	c cleaning 13001 clauses out of 26024 with flag 195823/601684
1027.81/540.07	c cleaning 14003 clauses out of 28024 with flag 227513/616685
1050.88/551.31	c cleaning 15003 clauses out of 30022 with flag 261223/632686
1074.68/563.28	c cleaning 16003 clauses out of 32021 with flag 296765/649688
1099.97/575.67	c cleaning 16999 clauses out of 34016 with flag 334586/667686
1127.14/589.03	c cleaning 18003 clauses out of 36016 with flag 374766/686685
1156.95/603.71	c cleaning 18997 clauses out of 38012 with flag 416452/706684
1188.85/619.27	c cleaning 19995 clauses out of 40015 with flag 460378/727684
1208.22/629.60	c And the winner is solver1
1208.47/629.72	c Got one! Elapsed wall clock time (in seconds):629.604
1208.47/629.72	o 2880
1219.26/635.15	c cleaning 18183 clauses out of 36376 with flag 12752/744040
1231.25/641.16	c cleaning 12091 clauses out of 24192 with flag 27707/750039
1245.97/648.43	c cleaning 9548 clauses out of 19102 with flag 45137/757040
1261.37/656.10	c cleaning 8773 clauses out of 17554 with flag 64311/765040
1278.93/664.84	c cleaning 8885 clauses out of 17780 with flag 87473/774039
1298.00/674.24	c cleaning 9448 clauses out of 18895 with flag 111541/784039
1317.61/684.07	c And the winner is solver0
1319.55/685.39	c Got one! Elapsed wall clock time (in seconds):685.269
1319.55/685.39	o 2879
1330.81/690.85	c cleaning 12611 clauses out of 25229 with flag 14452/799821
1343.59/697.20	c cleaning 9304 clauses out of 18613 with flag 33015/805816
1354.75/702.77	c cleaning 8153 clauses out of 16309 with flag 50306/812816
1369.55/710.13	c cleaning 8076 clauses out of 16159 with flag 70751/820819
1388.13/720.28	c cleaning 8540 clauses out of 17080 with flag 92726/829816
1392.53/722.47	c And the winner is solver0
1393.92/723.75	c Got one! Elapsed wall clock time (in seconds):723.627
1393.92/723.75	o 2878
1400.27/726.95	c cleaning 7148 clauses out of 14298 with flag 7776/835574
1412.40/732.99	c cleaning 6567 clauses out of 13147 with flag 23339/841571
1424.60/739.08	c cleaning 6788 clauses out of 13580 with flag 40823/848571
1441.14/747.28	c cleaning 7396 clauses out of 14792 with flag 62069/856571
1459.94/756.69	c cleaning 8197 clauses out of 16400 with flag 84115/865575
1479.69/766.43	c cleaning 9094 clauses out of 18199 with flag 108150/875571
1488.30/770.72	c And the winner is solver0
1489.78/771.90	c Got one! Elapsed wall clock time (in seconds):771.781
1489.78/771.90	o 2876
1491.76/772.90	c cleaning 7470 clauses out of 14944 with flag 2794/881410
1504.12/779.09	c cleaning 6735 clauses out of 13473 with flag 19262/887409
1519.11/786.48	c cleaning 6867 clauses out of 13738 with flag 36200/894409
1533.31/793.55	c And the winner is solver0
1536.38/796.37	c Got one! Elapsed wall clock time (in seconds):796.248
1536.38/796.37	o 2875
1546.80/801.52	c cleaning 9521 clauses out of 19044 with flag 13268/906582
1557.80/807.05	c cleaning 7758 clauses out of 15524 with flag 29257/912583
1570.40/813.34	c And the winner is solver0
1572.21/814.95	c Got one! Elapsed wall clock time (in seconds):814.837
1572.21/814.95	o 2874
1582.63/820.14	c cleaning 9876 clauses out of 19755 with flag 13315/924572
1595.03/826.34	c cleaning 7938 clauses out of 15879 with flag 28234/930572
1606.83/832.21	c cleaning 7471 clauses out of 14941 with flag 46874/937572
1617.82/837.70	c cleaning 7735 clauses out of 15470 with flag 66020/945572
1632.17/844.83	c cleaning 8368 clauses out of 16735 with flag 86580/954572
1647.57/852.51	c cleaning 9185 clauses out of 18369 with flag 110637/964574
1667.54/862.43	c cleaning 10088 clauses out of 20181 with flag 138171/975571
1686.73/872.03	c cleaning 11044 clauses out of 22093 with flag 164715/987571
1709.36/883.23	c cleaning 12020 clauses out of 24049 with flag 192681/1000571
1734.70/895.74	c cleaning 13012 clauses out of 26030 with flag 222359/1014572
1760.90/908.84	c cleaning 14008 clauses out of 28019 with flag 253885/1029573
1790.83/923.61	c cleaning 15003 clauses out of 30009 with flag 289905/1045571
1800.14/928.10	c >>>>>>>>>> Solver number 0 (89 answers) <<<<<<<<<<<<<<<<<<
1800.14/928.10	c starts		: 8657
1800.14/928.10	c conflicts		: 1050832
1800.14/928.10	c decisions		: 5651272
1800.14/928.10	c propagations		: 94720375
1800.14/928.10	c inspects		: 914451073
1800.14/928.10	c shortcuts		: 0
1800.14/928.10	c learnt literals	: 0
1800.14/928.10	c learnt binary clauses	: 0
1800.14/928.10	c learnt ternary clauses	: 399
1800.14/928.10	c learnt constraints	: 1050832
1800.14/928.10	c ignored constraints	: 0
1800.14/928.10	c root simplifications	: 0
1800.14/928.10	c removed literals (reason simplification)	: 120375997
1800.14/928.10	c reason swapping (by a shorter reason)	: 0
1800.14/928.10	c Calls to reduceDB	: 109
1800.14/928.10	c Number of update (reduction) of LBD	: 20780
1800.14/928.10	c Imported unit clauses	: 0
1800.14/928.10	c number of reductions to clauses (during analyze)	: 0
1800.14/928.10	c number of learned constraints concerned by reduction	: 0
1800.14/928.10	c number of learning phase by resolution	: 0
1800.14/928.10	c number of learning phase by cutting planes	: 0
1800.14/928.10	c speed (assignments/second)	: 317460.5103077062
1800.14/928.10	c non guided choices	6
1800.14/928.11	c learnt constraints type 
1800.14/928.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20267
1800.14/928.11	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.14/928.11	c starts		: 96
1800.14/928.11	c conflicts		: 1215
1800.14/928.11	c decisions		: 26599
1800.14/928.11	c propagations		: 541841
1800.14/928.11	c inspects		: 79612477
1800.14/928.11	c shortcuts		: 0
1800.14/928.11	c learnt literals	: 0
1800.14/928.11	c learnt binary clauses	: 0
1800.14/928.11	c learnt ternary clauses	: 0
1800.14/928.11	c learnt constraints	: 1161
1800.14/928.11	c ignored constraints	: 0
1800.14/928.11	c root simplifications	: 0
1800.14/928.11	c removed literals (reason simplification)	: 0
1800.14/928.11	c reason swapping (by a shorter reason)	: 0
1800.14/928.11	c Calls to reduceDB	: 0
1800.14/928.11	c Number of update (reduction) of LBD	: 0
1800.14/928.11	c Imported unit clauses	: 0
1800.14/928.11	c number of reductions to clauses (during analyze)	: 0
1800.14/928.11	c number of learned constraints concerned by reduction	: 0
1800.14/928.11	c number of learning phase by resolution	: 0
1800.14/928.11	c number of learning phase by cutting planes	: 0
1800.14/928.11	c speed (assignments/second)	: 4789.035017942056
1800.14/928.11	c non guided choices	0
1800.14/928.11	c learnt constraints type 
1800.14/928.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1161
1800.14/928.11	s SATISFIABLE
1800.14/928.11	c Found 91 solution(s)
1800.14/928.11	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 
1800.14/928.11	c objective function=2874
1800.14/928.11	c Total wall clock time (in seconds): 927.997

Verifier Data 

OK	2874

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-4119253-1467251518/watcher-4119253-1467251518 -o /tmp/evaluation-result-4119253-1467251518/solver-4119253-1467251518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9331 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119253-1467251518.opb 

pid=10888
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.00 4.00 3.78 3/197 10891
/proc/meminfo: memFree=25442120/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/10891/stat : 10891 (java) R 10888 10891 8968 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 6047900 9445376 92 33554432000 1073741824 1073778376 140735531908720 140735531905848 218225483046 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2306 93 74 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.00 4.00 3.78 3/197 10891
/proc/meminfo: memFree=25442120/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 6047900 9787879424 6034 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2389619 6034 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 4.00 4.00 3.78 3/197 10891
/proc/meminfo: memFree=25442120/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 4607 0 1 0 21 1 0 0 20 0 18 0 6047900 9787879424 7234 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2389619 7234 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.30023 s]
/proc/loadavg: 4.00 4.00 3.78 3/197 10891
/proc/meminfo: memFree=25442120/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 5776 0 1 0 45 1 0 0 20 0 18 0 6047900 9787879424 8978 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2389619 8978 2240 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700169 s]
/proc/loadavg: 4.00 4.00 3.78 3/197 10891
/proc/meminfo: memFree=25442120/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9558476 CPUtime=1.61 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 33051 0 1 0 155 6 0 0 20 0 18 0 6047900 9787879424 34161 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2389619 34161 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9558476

[startup+1.50075 s]
/proc/loadavg: 4.00 4.00 3.78 6/217 10913
/proc/meminfo: memFree=25302504/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 44688 0 1 0 385 11 0 0 20 0 21 0 6047900 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2456183 36692 2268 9 0 2446860 0
[pid=10891/tid=10893] ppid=10888 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (java) S 10888 10891 8968 0 -1 4202560 2453 0 1 0 92 3 0 0 20 0 21 0 6047901 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043808854904 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10894] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043786955432 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10895] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10895/stat : 10895 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043785902888 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10896] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10896/stat : 10896 (java) S 10888 10891 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043582696360 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10897] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10897/stat : 10897 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043581643816 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10898] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10898/stat : 10898 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043580590248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10899] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10899/stat : 10899 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043579537704 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10900] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10900/stat : 10900 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043578485160 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10901] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10901/stat : 10901 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 6047902 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043577432616 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10902] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10902/stat : 10902 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 6047903 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043565234792 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10903] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10903/stat : 10903 (java) S 10888 10891 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 6047903 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043564181112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10904] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10904/stat : 10904 (java) S 10888 10891 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 6047903 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043563128456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10905] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10905/stat : 10905 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047906 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043562077200 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10906] ppid=10888 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/10891/task/10906/stat : 10906 (java) R 10888 10891 8968 0 -1 4202560 18435 0 0 0 122 3 0 0 20 0 21 0 6047906 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043561010640 140043810664048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10907] ppid=10888 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/10891/task/10907/stat : 10907 (java) R 10888 10891 8968 0 -1 4202560 22478 0 0 0 122 4 0 0 20 0 21 0 6047906 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043559948248 140043815006891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10908] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10908/stat : 10908 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047906 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043558918648 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10909] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10909/stat : 10909 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6047906 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043557866312 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10913] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10913/stat : 10913 (java) S 10888 10891 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 6047997 10060525568 36692 33554432000 1073741824 1073778376 140735531908720 140043553654440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.00 4.00 3.78 4/217 10919
/proc/meminfo: memFree=25298680/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9824732 CPUtime=6.29 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 47072 0 1 0 612 17 0 0 20 0 19 0 6047900 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2456183 43894 2276 9 0 2446860 0
[pid=10891/tid=10893] ppid=10888 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (java) S 10888 10891 8968 0 -1 4202560 2460 0 1 0 96 3 0 0 20 0 19 0 6047901 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043808854904 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10894] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043786955432 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10895] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10895/stat : 10895 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043785902888 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10896] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10896/stat : 10896 (java) S 10888 10891 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043582696360 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10897] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10897/stat : 10897 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043581643816 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10898] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10898/stat : 10898 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043580590248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10899] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10899/stat : 10899 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043579537704 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10900] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10900/stat : 10900 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043578485160 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10901] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10901/stat : 10901 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043577432616 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10902] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10902/stat : 10902 (java) S 10888 10891 8968 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6047903 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043565234792 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10903] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10903/stat : 10903 (java) S 10888 10891 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6047903 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043564181112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10904] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10904/stat : 10904 (java) S 10888 10891 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6047903 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043563128456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10905] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10905/stat : 10905 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047906 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043562077200 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10906] ppid=10888 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/10891/task/10906/stat : 10906 (java) S 10888 10891 8968 0 -1 4202560 18453 0 0 0 180 3 0 0 20 0 19 0 6047906 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043561023544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10907] ppid=10888 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/10891/task/10907/stat : 10907 (java) S 10888 10891 8968 0 -1 4202560 24792 0 0 0 178 4 0 0 20 0 19 0 6047906 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043559971000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10908] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10908/stat : 10908 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047906 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043558918648 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10909] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10909/stat : 10909 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047906 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043557866312 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10913] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10913/stat : 10913 (java) S 10888 10891 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6047997 10060525568 43894 33554432000 1073741824 1073778376 140735531908720 140043553654440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9824732

[startup+6.30073 s]
/proc/loadavg: 3.84 3.97 3.77 3/216 10940
/proc/meminfo: memFree=25215216/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9824732 CPUtime=7.93 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 47225 0 1 0 764 29 0 0 20 0 19 0 6047900 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2456183 58530 2289 9 0 2446860 0
[pid=10891/tid=10893] ppid=10888 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (java) S 10888 10891 8968 0 -1 4202560 2470 0 1 0 101 3 0 0 20 0 19 0 6047901 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043808854904 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10894] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (java) S 10888 10891 8968 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043786955432 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10895] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10895/stat : 10895 (java) S 10888 10891 8968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043785902888 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10896] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10896/stat : 10896 (java) S 10888 10891 8968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043582696360 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 1 0 0
[pid=10891/tid=10897] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10897/stat : 10897 (java) S 10888 10891 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043581643816 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10898] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10898/stat : 10898 (java) S 10888 10891 8968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043580590248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10899] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10899/stat : 10899 (java) S 10888 10891 8968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043579537704 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10900] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10900/stat : 10900 (java) S 10888 10891 8968 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043578485160 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10901] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10901/stat : 10901 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6047902 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043577432616 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10902] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10902/stat : 10902 (java) S 10888 10891 8968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6047903 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043565234792 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10903] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10903/stat : 10903 (java) S 10888 10891 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6047903 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043564181112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10904] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10904/stat : 10904 (java) S 10888 10891 8968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6047903 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043563128456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10905] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10905/stat : 10905 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047906 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043562077200 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10906] ppid=10888 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/10891/task/10906/stat : 10906 (java) S 10888 10891 8968 0 -1 4202560 18465 0 0 0 195 3 0 0 20 0 19 0 6047906 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043561023544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10907] ppid=10888 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/10891/task/10907/stat : 10907 (java) S 10888 10891 8968 0 -1 4202560 24792 0 0 0 195 4 0 0 20 0 19 0 6047906 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043559971000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10908] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10908/stat : 10908 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047906 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043558918648 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10909] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10909/stat : 10909 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6047906 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043557866312 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10913] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10913/stat : 10913 (java) S 10888 10891 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6047997 10060525568 58530 33554432000 1073741824 1073778376 140735531908720 140043553654440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 9824732


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


[startup+882.308 s]
/proc/loadavg: 4.00 3.97 3.85 5/219 11488
/proc/meminfo: memFree=21085232/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9824732 CPUtime=1707.58 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 66178 0 1 0 170100 658 0 0 20 0 22 0 6047900 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2456183 1088543 2303 9 0 2446860 0
[pid=10891/tid=10893] ppid=10888 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (java) S 10888 10891 8968 0 -1 4202560 2501 0 1 0 178 5 0 0 20 0 22 0 6047901 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043808854904 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10894] ppid=10888 vsize=9824732 CPUtime=4.11 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (java) S 10888 10891 8968 0 -1 4202560 1823 0 0 0 346 65 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043786955432 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10895] ppid=10888 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/10891/task/10895/stat : 10895 (java) S 10888 10891 8968 0 -1 4202560 1377 0 0 0 395 61 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043785902888 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10896] ppid=10888 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/10891/task/10896/stat : 10896 (java) S 10888 10891 8968 0 -1 4202560 2605 0 0 0 279 49 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043582696360 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 1 0 0
[pid=10891/tid=10897] ppid=10888 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/10891/task/10897/stat : 10897 (java) S 10888 10891 8968 0 -1 4202560 1206 0 0 0 287 50 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043581643816 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10898] ppid=10888 vsize=9824732 CPUtime=3.74 cores=0,2,4,6
/proc/10891/task/10898/stat : 10898 (java) S 10888 10891 8968 0 -1 4202560 2809 0 0 0 322 52 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043580590248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10899] ppid=10888 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/10891/task/10899/stat : 10899 (java) S 10888 10891 8968 0 -1 4202560 1274 0 0 0 356 64 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043579537704 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10900] ppid=10888 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/10891/task/10900/stat : 10900 (java) S 10888 10891 8968 0 -1 4202560 1742 0 0 0 307 47 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043578485160 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10901] ppid=10888 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/10891/task/10901/stat : 10901 (java) S 10888 10891 8968 0 -1 4202560 1799 0 0 0 315 56 0 0 20 0 22 0 6047902 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043577432616 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10902] ppid=10888 vsize=9824732 CPUtime=7.88 cores=0,2,4,6
/proc/10891/task/10902/stat : 10902 (java) S 10888 10891 8968 0 -1 4202560 3201 0 0 0 779 9 0 0 20 0 22 0 6047903 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043565234792 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10903] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10903/stat : 10903 (java) S 10888 10891 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6047903 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043564181112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10904] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10904/stat : 10904 (java) S 10888 10891 8968 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 22 0 6047903 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043563128456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10905] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10905/stat : 10905 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6047906 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043562077200 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10906] ppid=10888 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/10891/task/10906/stat : 10906 (java) S 10888 10891 8968 0 -1 4202560 18495 0 0 0 259 3 0 0 20 0 22 0 6047906 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043561023544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10907] ppid=10888 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/10891/task/10907/stat : 10907 (java) S 10888 10891 8968 0 -1 4202560 24818 0 0 0 234 4 0 0 20 0 22 0 6047906 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043559971000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10908] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10908/stat : 10908 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6047906 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043558918648 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10909] ppid=10888 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/10891/task/10909/stat : 10909 (java) S 10888 10891 8968 0 -1 4202560 51 0 0 0 11 13 0 0 20 0 22 0 6047906 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043557866312 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=11467] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/11467/stat : 11467 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6110874 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043553653672 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11485] ppid=10888 vsize=9824732 CPUtime=66.96 cores=0,2,4,6
/proc/10891/task/11485/stat : 11485 (java) R 10888 10891 8968 0 -1 4202560 3 0 0 0 6695 1 0 0 20 0 22 0 6129397 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043554704480 140043668504346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=11486] ppid=10888 vsize=9824732 CPUtime=66.95 cores=0,2,4,6
/proc/10891/task/11486/stat : 11486 (java) R 10888 10891 8968 0 -1 4202560 7 0 0 0 6694 1 0 0 20 0 22 0 6129397 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043556810800 140043667575627 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=11487] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/11487/stat : 11487 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6129397 10060525568 1088543 33554432000 1073741824 1073778376 140735531908720 140043555758888 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1707.58
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+928.101 s]
/proc/loadavg: 4.00 3.97 3.85 5/219 11489
/proc/meminfo: memFree=20999184/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9824732 CPUtime=1800.14 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 66438 0 1 0 179345 669 0 0 20 0 22 0 6047900 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2456183 1110142 2303 9 0 2446860 0
[pid=10891/tid=10893] ppid=10888 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (java) S 10888 10891 8968 0 -1 4202560 2502 0 1 0 178 5 0 0 20 0 22 0 6047901 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043808854904 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10894] ppid=10888 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (java) S 10888 10891 8968 0 -1 4202560 1865 0 0 0 366 66 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043786955432 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10895] ppid=10888 vsize=9824732 CPUtime=4.79 cores=0,2,4,6
/proc/10891/task/10895/stat : 10895 (java) S 10888 10891 8968 0 -1 4202560 1385 0 0 0 418 61 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043785902888 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10896] ppid=10888 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/10891/task/10896/stat : 10896 (java) S 10888 10891 8968 0 -1 4202560 2619 0 0 0 308 49 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043582696360 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10891/tid=10897] ppid=10888 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/10891/task/10897/stat : 10897 (java) S 10888 10891 8968 0 -1 4202560 1236 0 0 0 302 51 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043581643816 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10898] ppid=10888 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/10891/task/10898/stat : 10898 (java) S 10888 10891 8968 0 -1 4202560 2827 0 0 0 336 53 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043580590248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10899] ppid=10888 vsize=9824732 CPUtime=4.47 cores=0,2,4,6
/proc/10891/task/10899/stat : 10899 (java) S 10888 10891 8968 0 -1 4202560 1344 0 0 0 381 66 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043579537704 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10900] ppid=10888 vsize=9824732 CPUtime=3.95 cores=0,2,4,6
/proc/10891/task/10900/stat : 10900 (java) S 10888 10891 8968 0 -1 4202560 1791 0 0 0 345 50 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043578485160 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10901] ppid=10888 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/10891/task/10901/stat : 10901 (java) S 10888 10891 8968 0 -1 4202560 1821 0 0 0 342 56 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043577432616 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10902] ppid=10888 vsize=9824732 CPUtime=7.88 cores=0,2,4,6
/proc/10891/task/10902/stat : 10902 (java) S 10888 10891 8968 0 -1 4202560 3203 0 0 0 779 9 0 0 20 0 22 0 6047903 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043565234792 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10903] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10903/stat : 10903 (java) S 10888 10891 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6047903 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043564181112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10904] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10904/stat : 10904 (java) S 10888 10891 8968 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 22 0 6047903 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043563128456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10905] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10905/stat : 10905 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043562077200 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10906] ppid=10888 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/10891/task/10906/stat : 10906 (java) S 10888 10891 8968 0 -1 4202560 18495 0 0 0 259 3 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043561023544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10907] ppid=10888 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/10891/task/10907/stat : 10907 (java) S 10888 10891 8968 0 -1 4202560 24818 0 0 0 234 4 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043559971000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10908] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10908/stat : 10908 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043558918648 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10909] ppid=10888 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/10891/task/10909/stat : 10909 (java) S 10888 10891 8968 0 -1 4202560 53 0 0 0 12 13 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043557866312 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11467] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/11467/stat : 11467 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6110874 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043553653672 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11485] ppid=10888 vsize=9824732 CPUtime=112.25 cores=0,2,4,6
/proc/10891/task/11485/stat : 11485 (java) R 10888 10891 8968 0 -1 4202560 3 0 0 0 11224 1 0 0 20 0 22 0 6129397 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043554704480 140043668082683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=11486] ppid=10888 vsize=9824732 CPUtime=112.23 cores=0,2,4,6
/proc/10891/task/11486/stat : 11486 (java) R 10888 10891 8968 0 -1 4202560 9 0 0 0 11222 1 0 0 20 0 22 0 6129397 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043556810352 140043667521088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11487] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/11487/stat : 11487 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6129397 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043555758888 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 10891 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+928.101 s]
/proc/loadavg: 4.00 3.97 3.85 5/219 11489
/proc/meminfo: memFree=20999184/32872528 swapFree=7620/7620
[pid=10891] ppid=10888 vsize=9824732 CPUtime=1800.14 cores=0,2,4,6
/proc/10891/stat : 10891 (java) S 10888 10891 8968 0 -1 4202496 66438 0 1 0 179345 669 0 0 20 0 22 0 6047900 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140735531899856 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10891/statm: 2456183 1110142 2303 9 0 2446860 0
[pid=10891/tid=10893] ppid=10888 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/10891/task/10893/stat : 10893 (java) S 10888 10891 8968 0 -1 4202560 2502 0 1 0 178 5 0 0 20 0 22 0 6047901 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043808854904 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10894] ppid=10888 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/10891/task/10894/stat : 10894 (java) S 10888 10891 8968 0 -1 4202560 1865 0 0 0 366 66 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043786955432 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10895] ppid=10888 vsize=9824732 CPUtime=4.79 cores=0,2,4,6
/proc/10891/task/10895/stat : 10895 (java) S 10888 10891 8968 0 -1 4202560 1385 0 0 0 418 61 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043785902888 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10896] ppid=10888 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/10891/task/10896/stat : 10896 (java) S 10888 10891 8968 0 -1 4202560 2619 0 0 0 308 49 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043582696360 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=10891/tid=10897] ppid=10888 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/10891/task/10897/stat : 10897 (java) S 10888 10891 8968 0 -1 4202560 1236 0 0 0 302 51 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043581643816 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10898] ppid=10888 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/10891/task/10898/stat : 10898 (java) S 10888 10891 8968 0 -1 4202560 2827 0 0 0 336 53 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043580590248 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10899] ppid=10888 vsize=9824732 CPUtime=4.47 cores=0,2,4,6
/proc/10891/task/10899/stat : 10899 (java) S 10888 10891 8968 0 -1 4202560 1344 0 0 0 381 66 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043579537704 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=10900] ppid=10888 vsize=9824732 CPUtime=3.95 cores=0,2,4,6
/proc/10891/task/10900/stat : 10900 (java) S 10888 10891 8968 0 -1 4202560 1791 0 0 0 345 50 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043578485160 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10901] ppid=10888 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/10891/task/10901/stat : 10901 (java) S 10888 10891 8968 0 -1 4202560 1821 0 0 0 342 56 0 0 20 0 22 0 6047902 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043577432616 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10902] ppid=10888 vsize=9824732 CPUtime=7.88 cores=0,2,4,6
/proc/10891/task/10902/stat : 10902 (java) S 10888 10891 8968 0 -1 4202560 3203 0 0 0 779 9 0 0 20 0 22 0 6047903 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043565234792 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10903] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10903/stat : 10903 (java) S 10888 10891 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6047903 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043564181112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10904] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10904/stat : 10904 (java) S 10888 10891 8968 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 22 0 6047903 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043563128456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10905] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10905/stat : 10905 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043562077200 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10891/tid=10906] ppid=10888 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/10891/task/10906/stat : 10906 (java) S 10888 10891 8968 0 -1 4202560 18495 0 0 0 259 3 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043561023544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10907] ppid=10888 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/10891/task/10907/stat : 10907 (java) S 10888 10891 8968 0 -1 4202560 24818 0 0 0 234 4 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043559971000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10891/tid=10908] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/10908/stat : 10908 (java) S 10888 10891 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043558918648 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=10909] ppid=10888 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/10891/task/10909/stat : 10909 (java) S 10888 10891 8968 0 -1 4202560 53 0 0 0 12 13 0 0 20 0 22 0 6047906 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043557866312 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11467] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/11467/stat : 11467 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6110874 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043553653672 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11485] ppid=10888 vsize=9824732 CPUtime=112.25 cores=0,2,4,6
/proc/10891/task/11485/stat : 11485 (java) R 10888 10891 8968 0 -1 4202560 3 0 0 0 11224 1 0 0 20 0 22 0 6129397 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043554704480 140043668082683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10891/tid=11486] ppid=10888 vsize=9824732 CPUtime=112.23 cores=0,2,4,6
/proc/10891/task/11486/stat : 11486 (java) R 10888 10891 8968 0 -1 4202560 9 0 0 0 11222 1 0 0 20 0 22 0 6129397 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043556810352 140043667521088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10891/tid=11487] ppid=10888 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10891/task/11487/stat : 11487 (java) S 10888 10891 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6129397 10060525568 1110142 33554432000 1073741824 1073778376 140735531908720 140043555758888 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 928.148
CPU time (s): 1800.41
CPU user time (s): 1793.49
CPU system time (s): 6.92195
CPU usage (%): 193.979
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 6.92195
maximum resident set size= 4548464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66481
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26459
involuntary context switches= 19295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04308 second user time and 7.08492 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-30 03:51:58
IDJOB=4119253
IDBENCH=111684
IDSOLVER=2543
FILE ID=node106/4119253-1467251518
RUNJOBID= node106-1467248675-9331
PBS_JOBID= 20004477
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119253-1467251518/watcher-4119253-1467251518 -o /tmp/evaluation-result-4119253-1467251518/solver-4119253-1467251518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9331 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119253-1467251518.opb

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

MD5SUM BENCH= dddfb0d383bd0edd68ae99c0832dc538
RANDOM SEED=1201302672

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
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.56
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.495
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
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:        25442648 kB
Buffers:           34824 kB
Cached:          2859304 kB
SwapCached:            0 kB
Active:          5987412 kB
Inactive:         674804 kB
Active(anon):    3754364 kB
Inactive(anon):    16068 kB
Active(file):    2233048 kB
Inactive(file):   658736 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:       3774964 kB
Mapped:            23468 kB
Shmem:               204 kB
Slab:             623876 kB
SReclaimable:      67080 kB
SUnreclaim:       556796 kB
KernelStack:        1632 kB
PageTables:        11216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4436420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3702784 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= 71748 MiB
End job on node106 at 2016-06-30 04:07:26