Trace number 4081101

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)16430 1800.66 909.666

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark465.143
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
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.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@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081101-1465219658.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.25/0.25	c ... done. Wall clock time 0.136s.
0.25/0.25	c declared #vars     163
0.25/0.25	c #constraints  73
0.25/0.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.26	c constraints type 
0.25/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
0.25/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.25/0.26	c 73 constraints processed.
0.25/0.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.26	c constraints type 
0.25/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.25/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 70
0.25/0.26	c 73 constraints processed.
0.25/0.26	c objective function length is 163 literals
0.25/0.29	c And the winner is solver0
0.97/0.76	c SATISFIABLE
0.97/0.76	c OPTIMIZING...
0.97/0.76	c Got one! Elapsed wall clock time (in seconds):0.641
0.97/0.76	o 19970
0.97/0.77	c And the winner is solver0
0.99/1.26	c Got one! Elapsed wall clock time (in seconds):1.143
0.99/1.26	o 19772
1.10/1.30	c And the winner is solver1
1.24/1.76	c Got one! Elapsed wall clock time (in seconds):1.645
1.24/1.76	o 19748
1.24/1.78	c And the winner is solver1
1.33/2.26	c Got one! Elapsed wall clock time (in seconds):2.147
1.33/2.26	o 19747
1.33/2.27	c And the winner is solver1
1.34/2.77	c Got one! Elapsed wall clock time (in seconds):2.648
1.34/2.77	o 19740
1.34/2.78	c And the winner is solver1
1.39/3.27	c Got one! Elapsed wall clock time (in seconds):3.15
1.39/3.27	o 19458
1.39/3.28	c And the winner is solver1
1.44/3.77	c Got one! Elapsed wall clock time (in seconds):3.651
1.44/3.77	o 19456
1.44/3.78	c And the winner is solver1
1.49/4.27	c Got one! Elapsed wall clock time (in seconds):4.153
1.49/4.27	o 19010
1.49/4.28	c And the winner is solver1
1.49/4.77	c Got one! Elapsed wall clock time (in seconds):4.655
1.49/4.77	o 19009
1.49/4.78	c And the winner is solver1
1.50/5.27	c Got one! Elapsed wall clock time (in seconds):5.157
1.50/5.27	o 18946
1.50/5.29	c And the winner is solver1
1.57/5.78	c Got one! Elapsed wall clock time (in seconds):5.659
1.57/5.78	o 18945
1.64/5.80	c And the winner is solver1
1.66/6.28	c Got one! Elapsed wall clock time (in seconds):6.16
1.66/6.28	o 18944
1.66/6.29	c And the winner is solver1
1.71/6.78	c Got one! Elapsed wall clock time (in seconds):6.662
1.71/6.78	o 18563
1.78/6.80	c And the winner is solver1
1.79/7.28	c Got one! Elapsed wall clock time (in seconds):7.163
1.79/7.28	o 18562
1.79/7.29	c And the winner is solver1
1.80/7.78	c Got one! Elapsed wall clock time (in seconds):7.664
1.80/7.78	o 18435
1.80/7.79	c And the winner is solver1
1.81/8.28	c Got one! Elapsed wall clock time (in seconds):8.166
1.81/8.28	o 18434
1.81/8.29	c And the winner is solver1
1.81/8.78	c Got one! Elapsed wall clock time (in seconds):8.667
1.81/8.78	o 18433
1.81/8.79	c And the winner is solver1
1.81/9.29	c Got one! Elapsed wall clock time (in seconds):9.169
1.81/9.29	o 18432
1.84/9.33	c And the winner is solver1
2.07/9.79	c Got one! Elapsed wall clock time (in seconds):9.67
2.07/9.79	o 18431
3.80/10.46	c cleaning 3467 clauses out of 6933 with flag 12131/6933
4.40/10.67	c And the winner is solver1
4.60/10.79	c Got one! Elapsed wall clock time (in seconds):10.671
4.60/10.79	o 17408
5.29/11.12	c cleaning 4293 clauses out of 8588 with flag 8089/12055
6.30/11.65	c And the winner is solver1
6.41/11.79	c Got one! Elapsed wall clock time (in seconds):11.673
6.41/11.79	o 17407
6.62/11.90	c And the winner is solver1
6.63/12.29	c Got one! Elapsed wall clock time (in seconds):12.174
6.63/12.29	o 17177
6.83/12.42	c cleaning 5377 clauses out of 10754 with flag 2622/18514
8.28/13.20	c cleaning 5685 clauses out of 11376 with flag 19129/24513
10.33/14.16	c cleaning 6346 clauses out of 12693 with flag 37420/31515
12.57/15.23	c cleaning 7171 clauses out of 14344 with flag 58888/39512
14.77/16.37	c cleaning 8088 clauses out of 16175 with flag 83485/48514
17.43/17.62	c cleaning 9041 clauses out of 18088 with flag 110706/58515
19.14/18.43	c And the winner is solver1
19.21/18.79	c Got one! Elapsed wall clock time (in seconds):18.676
19.21/18.79	o 17024
20.61/19.56	c cleaning 10043 clauses out of 20085 with flag 13246/69553
22.27/20.31	c cleaning 8014 clauses out of 16032 with flag 29184/75543
23.87/21.17	c cleaning 7509 clauses out of 15018 with flag 48423/82543
25.68/22.05	c cleaning 7752 clauses out of 15508 with flag 70304/90542
27.70/23.08	c cleaning 8378 clauses out of 16757 with flag 96541/99543
30.54/24.42	c cleaning 9194 clauses out of 18388 with flag 125645/109552
33.34/25.83	c cleaning 10092 clauses out of 20185 with flag 156440/120543
36.34/27.33	c cleaning 11045 clauses out of 22094 with flag 190148/132544
39.79/29.04	c cleaning 12024 clauses out of 24048 with flag 226060/145543
43.40/30.90	c cleaning 13005 clauses out of 26023 with flag 268211/159542
48.00/33.15	c cleaning 14008 clauses out of 28018 with flag 312618/174542
53.07/35.64	c cleaning 15006 clauses out of 30013 with flag 359226/190545
58.47/38.30	c cleaning 16003 clauses out of 32005 with flag 407663/207543
64.27/41.20	c cleaning 17001 clauses out of 34002 with flag 460781/225543
70.54/44.36	c cleaning 17998 clauses out of 36001 with flag 513371/244543
77.14/47.69	c cleaning 18998 clauses out of 38002 with flag 567790/264542
84.01/51.07	c cleaning 20003 clauses out of 40005 with flag 625048/285543
90.60/54.32	c cleaning 21001 clauses out of 42001 with flag 688770/307542
93.91/55.98	c cleaning 0 clauses out of 6703 with flag 0/6703
101.87/59.77	c cleaning 22000 clauses out of 44005 with flag 748564/330547
110.78/64.20	c cleaning 23000 clauses out of 46002 with flag 810703/354544
110.98/64.23	c And the winner is solver0
111.07/64.31	c Got one! Elapsed wall clock time (in seconds):64.192
111.07/64.31	o 17023
113.11/65.37	c cleaning 14092 clauses out of 28195 with flag 12517/359737
114.11/65.81	c And the winner is solver1
114.11/65.81	c Got one! Elapsed wall clock time (in seconds):65.694
114.11/65.81	o 17019
114.72/66.17	c cleaning 9583 clauses out of 19173 with flag 5196/364807
115.11/66.33	c And the winner is solver1
115.18/66.81	c Got one! Elapsed wall clock time (in seconds):66.695
115.18/66.81	o 17017
116.00/67.23	c And the winner is solver1
116.08/67.31	c Got one! Elapsed wall clock time (in seconds):67.197
116.08/67.31	o 16904
116.24/67.48	c cleaning 7527 clauses out of 15053 with flag 2559/370270
118.05/68.31	c cleaning 6758 clauses out of 13534 with flag 18832/376278
120.05/69.31	c cleaning 6883 clauses out of 13768 with flag 37499/383270
122.25/70.44	c cleaning 7442 clauses out of 14886 with flag 59345/391271
125.07/71.80	c cleaning 8220 clauses out of 16444 with flag 83974/400271
127.87/73.30	c cleaning 9110 clauses out of 18222 with flag 110866/410269
131.08/74.87	c cleaning 10055 clauses out of 20113 with flag 142417/421270
134.86/76.71	c cleaning 11028 clauses out of 22058 with flag 176050/433270
139.09/78.81	c cleaning 12016 clauses out of 24033 with flag 213042/446273
143.29/80.99	c cleaning 13009 clauses out of 26019 with flag 253449/460275
148.29/83.48	c cleaning 14005 clauses out of 28010 with flag 295139/475275
154.53/86.51	c cleaning 14999 clauses out of 30000 with flag 338158/491270
160.93/89.72	c cleaning 15998 clauses out of 32001 with flag 384382/508270
166.76/92.68	c cleaning 16997 clauses out of 34002 with flag 432462/526269
172.76/95.70	c cleaning 17990 clauses out of 36005 with flag 484403/545269
179.17/98.87	c cleaning 19006 clauses out of 38017 with flag 539442/565271
185.99/102.29	c cleaning 20006 clauses out of 40011 with flag 595124/586271
193.99/106.20	c cleaning 20999 clauses out of 42003 with flag 653587/608269
202.00/110.29	c cleaning 22004 clauses out of 44009 with flag 714903/631274
212.02/115.28	c cleaning 22997 clauses out of 46000 with flag 781465/655269
222.05/120.28	c cleaning 24000 clauses out of 48003 with flag 850466/680269
233.27/125.83	c cleaning 24998 clauses out of 50003 with flag 922275/706269
244.18/131.26	c cleaning 26003 clauses out of 52005 with flag 1001780/733269
256.22/137.22	c cleaning 27000 clauses out of 54004 with flag 1079821/761271
270.09/144.15	c cleaning 28000 clauses out of 56003 with flag 1159757/790270
284.93/151.55	c And the winner is solver1
285.08/151.84	c Got one! Elapsed wall clock time (in seconds):151.724
285.08/151.84	o 16903
289.06/153.84	c cleaning 31497 clauses out of 62994 with flag 13199/825261
291.47/155.10	c cleaning 18743 clauses out of 37498 with flag 30282/831262
294.08/156.36	c cleaning 12874 clauses out of 25753 with flag 49535/838260
294.27/156.40	c And the winner is solver1
294.28/156.85	c Got one! Elapsed wall clock time (in seconds):156.727
294.28/156.85	o 16902
295.40/157.41	c And the winner is solver1
295.42/157.85	c Got one! Elapsed wall clock time (in seconds):157.729
295.42/157.85	o 16899
295.74/158.05	c cleaning 9161 clauses out of 18350 with flag 3058/843731
297.53/158.92	c cleaning 7594 clauses out of 15190 with flag 19962/849732
298.14/159.26	c And the winner is solver1
298.26/159.35	c Got one! Elapsed wall clock time (in seconds):159.231
298.26/159.35	o 16898
298.98/159.75	c cleaning 6549 clauses out of 13100 with flag 8069/855236
300.58/160.51	c cleaning 6270 clauses out of 12547 with flag 24328/861232
302.18/161.39	c And the winner is solver1
302.38/161.85	c Got one! Elapsed wall clock time (in seconds):161.734
302.38/161.85	o 16897
304.08/162.76	c cleaning 9082 clauses out of 18169 with flag 13134/873124
305.88/163.63	c cleaning 7541 clauses out of 15084 with flag 29584/879121
307.68/164.57	c cleaning 7276 clauses out of 14551 with flag 49935/886129
310.11/165.70	c cleaning 7634 clauses out of 15271 with flag 72938/894125
312.71/167.09	c cleaning 8315 clauses out of 16634 with flag 97418/903122
315.92/168.66	c cleaning 9160 clauses out of 18319 with flag 126981/913122
318.92/170.19	c And the winner is solver1
319.12/170.36	c Got one! Elapsed wall clock time (in seconds):170.238
319.12/170.36	o 16896
321.02/171.37	c cleaning 12142 clauses out of 24286 with flag 13759/928249
322.81/172.24	c cleaning 9072 clauses out of 18145 with flag 30491/934250
324.61/173.12	c cleaning 8031 clauses out of 16072 with flag 50662/941249
326.82/174.22	c cleaning 8015 clauses out of 16040 with flag 74151/949248
329.02/175.38	c cleaning 8512 clauses out of 17026 with flag 100624/958249
331.64/176.69	c cleaning 9254 clauses out of 18515 with flag 129439/968250
334.44/178.09	c cleaning 10129 clauses out of 20260 with flag 162548/979249
337.66/179.66	c cleaning 11062 clauses out of 22130 with flag 199315/991248
341.07/181.33	c cleaning 12031 clauses out of 24068 with flag 241263/1004248
345.29/183.47	c cleaning 13019 clauses out of 26039 with flag 283269/1018250
350.32/185.99	c cleaning 14009 clauses out of 28019 with flag 325959/1033249
355.32/188.47	c cleaning 15008 clauses out of 30015 with flag 372189/1049254
360.96/191.26	c cleaning 15999 clauses out of 32001 with flag 419775/1066248
366.37/193.96	c cleaning 16999 clauses out of 34002 with flag 468103/1084248
372.62/197.09	c cleaning 18002 clauses out of 36004 with flag 521491/1103249
380.04/200.79	c cleaning 19006 clauses out of 38011 with flag 576654/1123258
387.67/204.51	c cleaning 19997 clauses out of 39995 with flag 637743/1144248
394.91/208.16	c cleaning 20996 clauses out of 42001 with flag 697201/1166251
403.38/212.37	c cleaning 21998 clauses out of 44003 with flag 762423/1189249
412.24/216.72	c cleaning 23001 clauses out of 46006 with flag 825887/1213250
421.86/221.59	c cleaning 24001 clauses out of 48003 with flag 892123/1238248
424.27/222.77	c cleaning 0 clauses out of 13343 with flag 0/13343
432.53/226.86	c cleaning 25002 clauses out of 50005 with flag 963475/1264251
440.99/231.03	c cleaning 25995 clauses out of 52000 with flag 1030037/1291248
450.42/235.73	c cleaning 27000 clauses out of 54007 with flag 1095514/1319250
458.86/239.95	c cleaning 28003 clauses out of 56005 with flag 1164707/1348248
469.94/245.46	c cleaning 28991 clauses out of 58002 with flag 1234662/1378248
482.81/251.88	c cleaning 30001 clauses out of 60012 with flag 1307706/1409249
494.51/257.65	c cleaning 31002 clauses out of 62010 with flag 1380774/1441248
505.57/263.14	c cleaning 32000 clauses out of 64009 with flag 1460670/1474249
522.55/271.83	c cleaning 33001 clauses out of 66009 with flag 1547438/1508249
523.93/272.60	c And the winner is solver0
524.38/272.86	c Got one! Elapsed wall clock time (in seconds):272.745
524.38/272.86	o 16769
524.87/273.10	c cleaning 19414 clauses out of 38838 with flag 2560/1514079
526.49/273.96	c cleaning 12706 clauses out of 25423 with flag 17935/1520078
528.28/274.87	c cleaning 9845 clauses out of 19716 with flag 36888/1527077
530.28/275.88	c cleaning 8927 clauses out of 17871 with flag 59229/1535077
532.50/276.97	c cleaning 8967 clauses out of 17944 with flag 82706/1544077
535.10/278.22	c cleaning 9487 clauses out of 18977 with flag 109321/1554077
538.10/279.74	c cleaning 10244 clauses out of 20492 with flag 138337/1565079
541.52/281.47	c cleaning 11123 clauses out of 22248 with flag 169594/1577079
545.15/283.21	c cleaning 12057 clauses out of 24124 with flag 202399/1590078
548.75/285.02	c cleaning 13026 clauses out of 26067 with flag 235244/1604078
552.76/287.06	c cleaning 14015 clauses out of 28040 with flag 271258/1619077
558.01/289.67	c cleaning 15011 clauses out of 30026 with flag 309084/1635078
563.22/292.25	c cleaning 15999 clauses out of 32014 with flag 349099/1652077
568.84/295.02	c cleaning 17005 clauses out of 34018 with flag 392602/1670080
573.07/297.14	c And the winner is solver0
573.31/297.37	c Got one! Elapsed wall clock time (in seconds):297.251
573.31/297.37	o 16674
574.83/298.18	c cleaning 18014 clauses out of 36028 with flag 13968/1689095
576.85/299.18	c cleaning 12003 clauses out of 24012 with flag 29496/1695093
578.85/300.12	c cleaning 9500 clauses out of 19009 with flag 49037/1702093
581.26/301.32	c cleaning 8750 clauses out of 17510 with flag 71877/1710094
584.26/302.84	c cleaning 8888 clauses out of 17775 with flag 95621/1719109
587.07/304.24	c cleaning 9435 clauses out of 18871 with flag 122433/1729093
589.91/305.69	c cleaning 10214 clauses out of 20437 with flag 152663/1740094
593.33/307.32	c cleaning 11108 clauses out of 22222 with flag 183807/1752093
596.96/309.17	c cleaning 12057 clauses out of 24118 with flag 219439/1765097
600.78/311.09	c cleaning 13030 clauses out of 26063 with flag 257758/1779099
605.21/313.21	c cleaning 14019 clauses out of 28038 with flag 298218/1794104
610.02/315.68	c cleaning 15004 clauses out of 30009 with flag 342830/1810094
615.65/318.42	c cleaning 15995 clauses out of 32005 with flag 387117/1827094
621.08/321.14	c cleaning 17001 clauses out of 34009 with flag 437011/1845093
627.51/324.38	c cleaning 18004 clauses out of 36010 with flag 488890/1864095
634.94/328.01	c cleaning 19002 clauses out of 38005 with flag 542350/1884094
642.37/331.75	c cleaning 20003 clauses out of 40005 with flag 600312/1905096
651.62/336.31	c cleaning 21002 clauses out of 42004 with flag 664645/1927098
660.04/340.52	c cleaning 22000 clauses out of 43999 with flag 731243/1950095
669.69/345.37	c cleaning 22999 clauses out of 45997 with flag 796562/1974093
679.35/350.15	c cleaning 23999 clauses out of 48001 with flag 863351/1999096
689.01/354.93	c cleaning 24990 clauses out of 50000 with flag 931033/2025094
698.26/359.50	c cleaning 26002 clauses out of 52009 with flag 1001465/2052093
707.77/364.26	c cleaning 26998 clauses out of 54007 with flag 1067732/2080093
720.22/370.40	c cleaning 28003 clauses out of 56009 with flag 1143252/2109093
734.30/377.46	c cleaning 29004 clauses out of 58017 with flag 1227005/2139104
748.94/384.73	c cleaning 30001 clauses out of 60005 with flag 1314839/2170096
762.79/391.66	c cleaning 30997 clauses out of 62003 with flag 1406015/2202095
775.80/398.11	c cleaning 31999 clauses out of 64004 with flag 1485915/2235093
789.89/405.18	c cleaning 32999 clauses out of 66005 with flag 1563906/2269093
805.22/412.79	c cleaning 34005 clauses out of 68010 with flag 1647245/2304097
821.11/420.68	c cleaning 34997 clauses out of 70001 with flag 1733058/2340093
838.41/429.26	c cleaning 36002 clauses out of 72006 with flag 1821705/2377095
856.11/438.05	c cleaning 37005 clauses out of 74009 with flag 1914528/2415100
867.55/443.77	c And the winner is solver0
867.98/444.08	c Got one! Elapsed wall clock time (in seconds):443.964
867.98/444.08	o 16672
870.76/445.48	c cleaning 35935 clauses out of 71870 with flag 13057/2449966
871.17/445.64	c And the winner is solver1
871.25/446.08	c Got one! Elapsed wall clock time (in seconds):445.967
871.25/446.08	o 16449
873.27/447.15	c cleaning 20897 clauses out of 41793 with flag 14878/2455824
875.27/448.16	c cleaning 13441 clauses out of 26883 with flag 32438/2461811
877.69/449.30	c cleaning 10220 clauses out of 20444 with flag 52203/2468813
879.89/450.40	c cleaning 9110 clauses out of 18225 with flag 74443/2476814
882.29/451.65	c cleaning 9051 clauses out of 18112 with flag 99962/2485811
885.74/453.32	c cleaning 9529 clauses out of 19065 with flag 127639/2495815
888.93/454.98	c cleaning 10265 clauses out of 20533 with flag 159409/2506812
893.17/457.04	c cleaning 11134 clauses out of 22268 with flag 192741/2518812
897.79/459.36	c cleaning 12066 clauses out of 24133 with flag 228241/2531811
903.23/462.03	c cleaning 13026 clauses out of 26067 with flag 267130/2545811
909.04/464.94	c cleaning 14021 clauses out of 28042 with flag 309522/2560812
915.88/468.32	c cleaning 15012 clauses out of 30023 with flag 355641/2576814
922.50/471.65	c cleaning 16002 clauses out of 32009 with flag 402781/2593812
929.78/475.24	c cleaning 17006 clauses out of 34012 with flag 452656/2611817
937.61/479.10	c cleaning 18000 clauses out of 36001 with flag 505685/2630812
946.67/483.96	c cleaning 18992 clauses out of 38000 with flag 561756/2650811
955.32/488.20	c cleaning 19997 clauses out of 40008 with flag 620292/2671811
963.94/492.54	c cleaning 21007 clauses out of 42015 with flag 684836/2693815
975.82/498.47	c cleaning 22001 clauses out of 44004 with flag 749501/2716811
980.62/500.88	c cleaning 0 clauses out of 19763 with flag 0/19765
988.03/504.55	c cleaning 23000 clauses out of 46010 with flag 819149/2740818
999.33/510.18	c cleaning 23998 clauses out of 48005 with flag 887767/2765813
1010.98/515.91	c cleaning 25003 clauses out of 50006 with flag 963469/2791812
1023.24/522.00	c cleaning 26001 clauses out of 52003 with flag 1041987/2818812
1036.78/528.71	c cleaning 26999 clauses out of 54003 with flag 1122699/2846813
1051.05/535.86	c cleaning 27997 clauses out of 56003 with flag 1203099/2875812
1068.12/544.35	c cleaning 29003 clauses out of 58005 with flag 1286901/2905811
1086.64/553.55	c cleaning 30000 clauses out of 60004 with flag 1373413/2936813
1104.73/562.58	c cleaning 31000 clauses out of 62003 with flag 1466587/2968812
1105.73/563.05	c And the winner is solver1
1105.88/563.43	c Got one! Elapsed wall clock time (in seconds):563.313
1105.88/563.43	o 16432
1107.41/564.20	c cleaning 18240 clauses out of 36480 with flag 7937/2974289
1109.21/565.14	c cleaning 12118 clauses out of 24239 with flag 24258/2980288
1111.25/566.20	c cleaning 9551 clauses out of 19121 with flag 44115/2987288
1113.84/567.46	c cleaning 8777 clauses out of 17574 with flag 66240/2995292
1116.46/568.73	c cleaning 8897 clauses out of 17794 with flag 91044/3004289
1119.08/570.02	c cleaning 9445 clauses out of 18899 with flag 119075/3014291
1122.48/571.79	c cleaning 10219 clauses out of 20451 with flag 149869/3025288
1127.52/574.24	c cleaning 11112 clauses out of 22232 with flag 182584/3037288
1131.92/576.41	c cleaning 12054 clauses out of 24120 with flag 218251/3050288
1135.91/578.42	c cleaning 13033 clauses out of 26068 with flag 257288/3064290
1140.55/580.80	c cleaning 14016 clauses out of 28033 with flag 298571/3079288
1145.21/583.03	c cleaning 15012 clauses out of 30026 with flag 343337/3095297
1151.03/585.98	c cleaning 16004 clauses out of 32010 with flag 388978/3112293
1157.28/589.04	c cleaning 17000 clauses out of 34002 with flag 439448/3130289
1165.13/592.99	c cleaning 18002 clauses out of 36003 with flag 491080/3149290
1173.34/597.03	c cleaning 19000 clauses out of 38001 with flag 545352/3169290
1181.64/601.15	c cleaning 19998 clauses out of 40002 with flag 603172/3190291
1190.49/605.56	c cleaning 21000 clauses out of 42001 with flag 668984/3212288
1200.13/610.37	c cleaning 22001 clauses out of 44001 with flag 736625/3235288
1210.36/615.44	c cleaning 22999 clauses out of 46000 with flag 808586/3259288
1221.23/620.89	c cleaning 24000 clauses out of 48005 with flag 883617/3284292
1232.48/626.41	c cleaning 25001 clauses out of 50004 with flag 964596/3310291
1245.36/632.85	c cleaning 26001 clauses out of 52002 with flag 1040867/3337290
1260.49/640.35	c cleaning 27002 clauses out of 54004 with flag 1120126/3365293
1274.97/647.56	c cleaning 28001 clauses out of 56003 with flag 1199181/3394294
1288.21/654.18	c cleaning 28997 clauses out of 57997 with flag 1279244/3424289
1301.68/660.87	c cleaning 29998 clauses out of 60002 with flag 1362399/3455291
1317.98/668.97	c cleaning 30998 clauses out of 62001 with flag 1448767/3487288
1332.46/676.17	c cleaning 32002 clauses out of 64005 with flag 1537276/3520290
1348.14/683.92	c cleaning 33001 clauses out of 66002 with flag 1632233/3554289
1363.86/691.78	c cleaning 33999 clauses out of 68002 with flag 1727630/3589290
1379.15/699.36	c cleaning 35001 clauses out of 70004 with flag 1820356/3625291
1381.35/700.40	c And the winner is solver0
1381.59/700.68	c Got one! Elapsed wall clock time (in seconds):700.562
1381.59/700.68	o 16431
1383.91/701.83	c cleaning 23003 clauses out of 46013 with flag 13771/3636301
1386.35/703.02	c cleaning 14505 clauses out of 29012 with flag 30188/3642303
1388.54/704.11	c cleaning 10749 clauses out of 21508 with flag 49639/3649304
1390.74/705.25	c cleaning 9375 clauses out of 18755 with flag 71964/3657300
1393.56/706.64	c cleaning 9171 clauses out of 18380 with flag 96552/3666300
1393.76/706.76	c And the winner is solver1
1393.90/707.18	c Got one! Elapsed wall clock time (in seconds):707.066
1393.90/707.18	o 16430
1395.12/707.87	c cleaning 7557 clauses out of 15143 with flag 14393/3672234
1396.71/708.60	c cleaning 6790 clauses out of 13583 with flag 32226/3678231
1398.31/709.43	c cleaning 6893 clauses out of 13795 with flag 53136/3685233
1400.11/710.35	c cleaning 7454 clauses out of 14907 with flag 77588/3693238
1402.54/711.52	c cleaning 8222 clauses out of 16448 with flag 103717/3702233
1405.36/712.99	c cleaning 9112 clauses out of 18225 with flag 132675/3712232
1408.54/714.59	c cleaning 10057 clauses out of 20115 with flag 165935/3723234
1412.58/716.50	c cleaning 11027 clauses out of 22058 with flag 200851/3735234
1416.24/718.40	c cleaning 12015 clauses out of 24030 with flag 239118/3748233
1420.42/720.43	c cleaning 12998 clauses out of 26013 with flag 282683/3762231
1425.08/722.70	c cleaning 14006 clauses out of 28015 with flag 329436/3777231
1429.86/725.13	c cleaning 15005 clauses out of 30009 with flag 378349/3793231
1435.70/728.02	c cleaning 15999 clauses out of 32004 with flag 427775/3810231
1442.53/731.41	c cleaning 17000 clauses out of 34007 with flag 478097/3828233
1450.62/735.49	c cleaning 18000 clauses out of 36005 with flag 531221/3847231
1458.27/739.29	c cleaning 19001 clauses out of 38007 with flag 587211/3867233
1465.91/743.08	c cleaning 19996 clauses out of 40004 with flag 647200/3888231
1475.15/747.68	c cleaning 20998 clauses out of 42008 with flag 711693/3910231
1484.57/752.38	c cleaning 22003 clauses out of 44012 with flag 778697/3933233
1494.62/757.33	c cleaning 22999 clauses out of 46007 with flag 851049/3957231
1504.86/762.44	c cleaning 24002 clauses out of 48008 with flag 925896/3982231
1518.94/769.42	c cleaning 25000 clauses out of 50006 with flag 1000387/4008231
1531.63/775.75	c cleaning 26003 clauses out of 52011 with flag 1080229/4035236
1544.32/782.05	c cleaning 27002 clauses out of 54006 with flag 1166247/4063234
1558.82/789.28	c cleaning 28004 clauses out of 56012 with flag 1250010/4092242
1572.66/796.16	c cleaning 28995 clauses out of 57997 with flag 1339385/4122231
1586.13/802.88	c cleaning 30000 clauses out of 60002 with flag 1430536/4153231
1600.21/809.83	c cleaning 31001 clauses out of 62003 with flag 1531377/4185232
1614.69/817.06	c cleaning 32001 clauses out of 64002 with flag 1635360/4218232
1632.17/825.75	c cleaning 32998 clauses out of 66000 with flag 1733419/4252231
1649.46/834.34	c cleaning 33999 clauses out of 68002 with flag 1836179/4287231
1668.21/844.08	c cleaning 35001 clauses out of 70003 with flag 1946850/4323231
1686.91/853.39	c cleaning 35997 clauses out of 72002 with flag 2060288/4360231
1704.84/862.25	c cleaning 37002 clauses out of 74005 with flag 2180337/4398231
1725.20/872.31	c cleaning 38006 clauses out of 76012 with flag 2298917/4437240
1747.09/883.29	c cleaning 38995 clauses out of 78000 with flag 2416582/4477234
1762.53/890.96	c cleaning 0 clauses out of 25995 with flag 0/25998
1770.17/894.79	c cleaning 40000 clauses out of 80003 with flag 2539815/4518232
1793.08/906.10	c cleaning 41003 clauses out of 82005 with flag 2676605/4560234
1800.11/909.60	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.11/909.60	c starts		: 82734
1800.11/909.60	c conflicts		: 4577355
1800.11/909.60	c decisions		: 8793094
1800.11/909.60	c propagations		: 87666292
1800.11/909.60	c inspects		: 12238432618
1800.11/909.60	c shortcuts		: 0
1800.11/909.60	c learnt literals	: 0
1800.11/909.60	c learnt binary clauses	: 0
1800.11/909.60	c learnt ternary clauses	: 0
1800.11/909.60	c learnt constraints	: 4577355
1800.11/909.60	c ignored constraints	: 0
1800.11/909.60	c root simplifications	: 0
1800.11/909.60	c removed literals (reason simplification)	: 31464501
1800.11/909.60	c reason swapping (by a shorter reason)	: 0
1800.11/909.60	c Calls to reduceDB	: 250
1800.11/909.60	c Number of update (reduction) of LBD	: 1401722
1800.11/909.60	c Imported unit clauses	: 0
1800.11/909.60	c number of reductions to clauses (during analyze)	: 0
1800.11/909.60	c number of learned constraints concerned by reduction	: 0
1800.11/909.60	c number of learning phase by resolution	: 0
1800.11/909.60	c number of learning phase by cutting planes	: 0
1800.11/909.60	c speed (assignments/second)	: 433095.3373711824
1800.11/909.60	c non guided choices	169
1800.11/909.63	c learnt constraints type 
1800.11/909.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58123
1800.11/909.63	c >>>>>>>>>> Solver number 1 (33 answers) <<<<<<<<<<<<<<<<<<
1800.11/909.63	c starts		: 151
1800.11/909.63	c conflicts		: 26275
1800.11/909.63	c decisions		: 82023
1800.11/909.63	c propagations		: 280489
1800.11/909.63	c inspects		: 1038560231
1800.11/909.63	c shortcuts		: 0
1800.11/909.63	c learnt literals	: 0
1800.11/909.63	c learnt binary clauses	: 0
1800.11/909.63	c learnt ternary clauses	: 0
1800.11/909.63	c learnt constraints	: 26271
1800.11/909.63	c ignored constraints	: 0
1800.11/909.63	c root simplifications	: 0
1800.11/909.63	c removed literals (reason simplification)	: 0
1800.11/909.63	c reason swapping (by a shorter reason)	: 0
1800.11/909.63	c Calls to reduceDB	: 4
1800.11/909.63	c Number of update (reduction) of LBD	: 0
1800.11/909.63	c Imported unit clauses	: 0
1800.11/909.63	c number of reductions to clauses (during analyze)	: 0
1800.11/909.63	c number of learned constraints concerned by reduction	: 0
1800.11/909.63	c number of learning phase by resolution	: 0
1800.11/909.63	c number of learning phase by cutting planes	: 0
1800.11/909.63	c speed (assignments/second)	: 1342.3994716338193
1800.11/909.63	c non guided choices	0
1800.11/909.64	c learnt constraints type 
1800.11/909.64	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 102
1800.11/909.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 26169
1800.11/909.64	s SATISFIABLE
1800.11/909.64	c Found 40 solution(s)
1800.11/909.64	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 
1800.11/909.64	c objective function=16430
1800.11/909.64	c Total wall clock time (in seconds): 909.524

Verifier Data 

OK	16430

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-4081101-1465219658/watcher-4081101-1465219658 -o /tmp/evaluation-result-4081101-1465219658/solver-4081101-1465219658 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3987 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081101-1465219658.opb 

pid=9053
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: 3.12 3.77 3.82 4/197 9056
/proc/meminfo: memFree=28410828/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9056/stat : 9056 (java) R 9053 9056 3970 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 103901131 9515008 182 33554432000 1073741824 1073778376 140734252819216 140734252801944 249650036484 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2323 183 140 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 3.12 3.77 3.82 4/197 9056
/proc/meminfo: memFree=28410828/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 4435 0 1 0 8 1 0 0 20 0 18 0 103901131 9787879424 6060 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2389619 6060 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 3.12 3.77 3.82 4/197 9056
/proc/meminfo: memFree=28410828/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 4823 0 1 0 24 1 0 0 20 0 18 0 103901131 9787879424 7409 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2389619 7409 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300247 s]
/proc/loadavg: 3.12 3.77 3.82 4/197 9056
/proc/meminfo: memFree=28410828/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 12479 0 1 0 55 4 0 0 20 0 20 0 103901131 10060525568 14675 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 14675 2237 9 0 2446860 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9824732

[startup+0.700223 s]
/proc/loadavg: 3.12 3.77 3.82 4/197 9056
/proc/meminfo: memFree=28410828/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 16052 0 1 0 92 5 0 0 20 0 19 0 103901131 10060525568 14753 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 14753 2243 9 0 2446860 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 3.12 3.77 3.82 3/216 9081
/proc/meminfo: memFree=28353120/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 16493 0 1 0 117 7 0 0 20 0 19 0 103901131 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 17595 2250 9 0 2446860 0
[pid=9056/tid=9058] ppid=9053 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/9056/task/9058/stat : 9058 (java) S 9053 9056 3970 0 -1 4202560 2486 0 1 0 23 0 0 0 20 0 19 0 103901132 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139647100662648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9059] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9059/stat : 9059 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139647039392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9060] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9060/stat : 9060 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139647038340008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9061] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9061/stat : 9061 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646941739816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9062] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9062/stat : 9062 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646940687016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9063] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646939634216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9064] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9064/stat : 9064 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646938581416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9065] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9065/stat : 9065 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646937528616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9066] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9066/stat : 9066 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646936475816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9067] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9067/stat : 9067 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901134 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646924278760 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9068] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9068/stat : 9068 (java) S 9053 9056 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 103901135 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646923224824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9069] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9069/stat : 9069 (java) S 9053 9056 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103901135 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646922171912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9070] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646921120400 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9071] ppid=9053 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/9056/task/9071/stat : 9071 (java) S 9053 9056 3970 0 -1 4202560 6788 0 0 0 39 0 0 0 20 0 19 0 103901137 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646920067512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9072] ppid=9053 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/9056/task/9072/stat : 9072 (java) S 9053 9056 3970 0 -1 4202560 5850 0 0 0 41 2 0 0 20 0 19 0 103901137 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646919014712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9073] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9073/stat : 9073 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646917962104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9074] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 17595 33554432000 1073741824 1073778376 140734252819216 139646916909512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 3.03 3.74 3.81 3/216 9087
/proc/meminfo: memFree=28343136/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 16520 0 1 0 128 11 0 0 20 0 19 0 103901131 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 21180 2251 9 0 2446860 0
[pid=9056/tid=9058] ppid=9053 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/9056/task/9058/stat : 9058 (java) S 9053 9056 3970 0 -1 4202560 2487 0 1 0 23 0 0 0 20 0 19 0 103901132 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139647100662648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9059] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9059/stat : 9059 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139647039392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9060] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9060/stat : 9060 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139647038340008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9061] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9061/stat : 9061 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646941739816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9062] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9062/stat : 9062 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646940687016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9063] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646939634216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9064] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9064/stat : 9064 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646938581416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9065] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9065/stat : 9065 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646937528616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9066] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9066/stat : 9066 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646936475816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9067] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9067/stat : 9067 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901134 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646924278760 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9068] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9068/stat : 9068 (java) S 9053 9056 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 103901135 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646923224824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9069] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9069/stat : 9069 (java) S 9053 9056 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103901135 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646922171912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9070] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646921120400 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9071] ppid=9053 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/9056/task/9071/stat : 9071 (java) S 9053 9056 3970 0 -1 4202560 6789 0 0 0 43 0 0 0 20 0 19 0 103901137 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646920067512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9072] ppid=9053 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/9056/task/9072/stat : 9072 (java) S 9053 9056 3970 0 -1 4202560 5850 0 0 0 44 2 0 0 20 0 19 0 103901137 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646919014712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9073] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9073/stat : 9073 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646917962104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9074] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646916909512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9084] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9084/stat : 9084 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901258 10060525568 21180 33554432000 1073741824 1073778376 140734252819216 139646914803240 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30078 s]
/proc/loadavg: 3.03 3.74 3.81 3/216 9108
/proc/meminfo: memFree=28306920/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 16624 0 1 0 150 21 0 0 20 0 19 0 103901131 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 31273 2256 9 0 2446860 0
[pid=9056/tid=9058] ppid=9053 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9056/task/9058/stat : 9058 (java) S 9053 9056 3970 0 -1 4202560 2488 0 1 0 24 0 0 0 20 0 19 0 103901132 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139647100662648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9059] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9059/stat : 9059 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139647039392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9060] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9060/stat : 9060 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139647038340008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9061] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9061/stat : 9061 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646941739816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9062] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9062/stat : 9062 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646940687016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9063] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646939634216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9064] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9064/stat : 9064 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646938581416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9065] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9065/stat : 9065 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646937528616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9066] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9066/stat : 9066 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103901133 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646936475816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9067] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9067/stat : 9067 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 103901134 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646924278760 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9068] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9068/stat : 9068 (java) S 9053 9056 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 103901135 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646923224824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9069] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9069/stat : 9069 (java) S 9053 9056 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103901135 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646922171912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9070] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646921120400 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9071] ppid=9053 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/9056/task/9071/stat : 9071 (java) S 9053 9056 3970 0 -1 4202560 6794 0 0 0 46 0 0 0 20 0 19 0 103901137 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646920067512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9072] ppid=9053 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/9056/task/9072/stat : 9072 (java) S 9053 9056 3970 0 -1 4202560 5859 0 0 0 51 2 0 0 20 0 19 0 103901137 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646919014712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9073] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9073/stat : 9073 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646917962104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9074] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901137 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646916909512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9084] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9084/stat : 9084 (java) S 9053 9056 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 103901258 10060525568 31273 33554432000 1073741824 1073778376 140734252819216 139646914803240 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824732
heavy processes:


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


[startup+822.301 s]
/proc/loadavg: 4.01 3.95 3.87 5/219 9301
/proc/meminfo: memFree=27040176/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=1625.33 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 28560 0 1 0 162318 215 0 0 20 0 22 0 103901131 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 529945 2294 9 0 2446860 0
[pid=9056/tid=9058] ppid=9053 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/9056/task/9058/stat : 9058 (java) S 9053 9056 3970 0 -1 4202560 2496 0 1 0 29 3 0 0 20 0 22 0 103901132 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139647100662648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9059] ppid=9053 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/9056/task/9059/stat : 9059 (java) S 9053 9056 3970 0 -1 4202560 358 0 0 0 235 6 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139647039392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9060] ppid=9053 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/9056/task/9060/stat : 9060 (java) S 9053 9056 3970 0 -1 4202560 354 0 0 0 237 9 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139647038340008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9061] ppid=9053 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/9056/task/9061/stat : 9061 (java) S 9053 9056 3970 0 -1 4202560 365 0 0 0 256 7 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646941739816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9062] ppid=9053 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/9056/task/9062/stat : 9062 (java) S 9053 9056 3970 0 -1 4202560 380 0 0 0 236 8 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646940687016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9063] ppid=9053 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (java) S 9053 9056 3970 0 -1 4202560 387 0 0 0 250 7 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646939634216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9064] ppid=9053 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/9056/task/9064/stat : 9064 (java) S 9053 9056 3970 0 -1 4202560 359 0 0 0 240 7 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646938581416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9065] ppid=9053 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/9056/task/9065/stat : 9065 (java) S 9053 9056 3970 0 -1 4202560 369 0 0 0 245 6 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646937528616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9066] ppid=9053 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/9056/task/9066/stat : 9066 (java) S 9053 9056 3970 0 -1 4202560 348 0 0 0 239 8 0 0 20 0 22 0 103901133 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646936475816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9067] ppid=9053 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/9056/task/9067/stat : 9067 (java) S 9053 9056 3970 0 -1 4202560 1384 0 0 0 112 22 0 0 20 0 22 0 103901134 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646924278760 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9068] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9068/stat : 9068 (java) S 9053 9056 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103901135 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646923224824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9069] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9069/stat : 9069 (java) S 9053 9056 3970 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 22 0 103901135 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646922171912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9070] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103901137 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646921120400 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9071] ppid=9053 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/9056/task/9071/stat : 9071 (java) S 9053 9056 3970 0 -1 4202560 7856 0 0 0 151 0 0 0 20 0 22 0 103901137 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646920067512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9072] ppid=9053 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/9056/task/9072/stat : 9072 (java) S 9053 9056 3970 0 -1 4202560 10644 0 0 0 152 3 0 0 20 0 22 0 103901137 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646919014712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9073] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9073/stat : 9073 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103901137 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646917962104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9074] ppid=9053 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (java) S 9053 9056 3970 0 -1 4202560 47 0 0 0 15 21 0 0 20 0 22 0 103901137 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646916909512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9293] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9293/stat : 9293 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103971200 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646912698024 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9294] ppid=9053 vsize=9824732 CPUtime=114.21 cores=1,3,5,7
/proc/9056/task/9294/stat : 9294 (java) R 9053 9056 3970 0 -1 4202560 16 0 0 0 11420 1 0 0 20 0 22 0 103971850 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646915854240 139647041144823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9295] ppid=9053 vsize=9824732 CPUtime=114.18 cores=1,3,5,7
/proc/9056/task/9295/stat : 9295 (java) R 9053 9056 3970 0 -1 4202560 19 0 0 0 11417 1 0 0 20 0 22 0 103971850 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646913747904 139647041144563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9296] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9296/stat : 9296 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103971850 10060525568 529945 33554432000 1073741824 1073778376 140734252819216 139646914802984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1625.33
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.96 3.94 3.87 5/219 9302
/proc/meminfo: memFree=26793296/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=1745.31 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 28736 0 1 0 174312 219 0 0 20 0 22 0 103901131 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 521826 2294 9 0 2446860 0
[pid=9056/tid=9058] ppid=9053 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/9056/task/9058/stat : 9058 (java) S 9053 9056 3970 0 -1 4202560 2497 0 1 0 30 3 0 0 20 0 22 0 103901132 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139647100662648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9059] ppid=9053 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/9056/task/9059/stat : 9059 (java) S 9053 9056 3970 0 -1 4202560 362 0 0 0 259 6 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139647039392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9060] ppid=9053 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/9056/task/9060/stat : 9060 (java) S 9053 9056 3970 0 -1 4202560 395 0 0 0 254 9 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139647038340008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9061] ppid=9053 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/9056/task/9061/stat : 9061 (java) S 9053 9056 3970 0 -1 4202560 368 0 0 0 275 7 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646941739816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9062] ppid=9053 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/9056/task/9062/stat : 9062 (java) S 9053 9056 3970 0 -1 4202560 395 0 0 0 264 8 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646940687016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9063] ppid=9053 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (java) S 9053 9056 3970 0 -1 4202560 388 0 0 0 268 7 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646939634216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9064] ppid=9053 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/9056/task/9064/stat : 9064 (java) S 9053 9056 3970 0 -1 4202560 366 0 0 0 263 7 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646938581416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9065] ppid=9053 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/9056/task/9065/stat : 9065 (java) S 9053 9056 3970 0 -1 4202560 371 0 0 0 259 6 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646937528616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9066] ppid=9053 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/9056/task/9066/stat : 9066 (java) S 9053 9056 3970 0 -1 4202560 367 0 0 0 263 8 0 0 20 0 22 0 103901133 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646936475816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9067] ppid=9053 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/9056/task/9067/stat : 9067 (java) S 9053 9056 3970 0 -1 4202560 1444 0 0 0 185 23 0 0 20 0 22 0 103901134 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646924278760 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9068] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9068/stat : 9068 (java) S 9053 9056 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103901135 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646923224824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9069] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9069/stat : 9069 (java) S 9053 9056 3970 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 103901135 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646922171912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9070] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103901137 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646921120400 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9071] ppid=9053 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/9056/task/9071/stat : 9071 (java) S 9053 9056 3970 0 -1 4202560 7856 0 0 0 151 0 0 0 20 0 22 0 103901137 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646920067512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9072] ppid=9053 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/9056/task/9072/stat : 9072 (java) S 9053 9056 3970 0 -1 4202560 10644 0 0 0 152 3 0 0 20 0 22 0 103901137 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646919014712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9073] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9073/stat : 9073 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103901137 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646917962104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9074] ppid=9053 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (java) S 9053 9056 3970 0 -1 4202560 51 0 0 0 16 22 0 0 20 0 22 0 103901137 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646916909512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9293] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9293/stat : 9293 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103971200 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646912698024 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9294] ppid=9053 vsize=9824732 CPUtime=172.99 cores=1,3,5,7
/proc/9056/task/9294/stat : 9294 (java) R 9053 9056 3970 0 -1 4202560 27 0 0 0 17297 2 0 0 20 0 22 0 103971850 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646915854240 139647040915789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9295] ppid=9053 vsize=9824732 CPUtime=172.98 cores=1,3,5,7
/proc/9056/task/9295/stat : 9295 (java) R 9053 9056 3970 0 -1 4202560 24 0 0 0 17296 2 0 0 20 0 22 0 103971850 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646913747888 139647040920930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9296] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9296/stat : 9296 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103971850 10060525568 521826 33554432000 1073741824 1073778376 140734252819216 139646914802984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1745.31
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+909.601 s]
/proc/loadavg: 3.97 3.95 3.87 5/219 9303
/proc/meminfo: memFree=26822264/32872528 swapFree=10608/190480
[pid=9056] ppid=9053 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/9056/stat : 9056 (java) S 9053 9056 3970 0 -1 4202496 28746 0 1 0 179791 220 0 0 20 0 22 0 103901131 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 140734252810352 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9056/statm: 2456183 516872 2294 9 0 2446860 0
[pid=9056/tid=9058] ppid=9053 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/9056/task/9058/stat : 9058 (java) S 9053 9056 3970 0 -1 4202560 2497 0 1 0 30 3 0 0 20 0 22 0 103901132 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139647100662648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9059] ppid=9053 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/9056/task/9059/stat : 9059 (java) S 9053 9056 3970 0 -1 4202560 362 0 0 0 264 6 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139647039392808 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9060] ppid=9053 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/9056/task/9060/stat : 9060 (java) S 9053 9056 3970 0 -1 4202560 395 0 0 0 258 9 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139647038340008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9061] ppid=9053 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/9056/task/9061/stat : 9061 (java) S 9053 9056 3970 0 -1 4202560 368 0 0 0 285 7 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646941739816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9062] ppid=9053 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/9056/task/9062/stat : 9062 (java) S 9053 9056 3970 0 -1 4202560 395 0 0 0 272 8 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646940687016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9063] ppid=9053 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (java) S 9053 9056 3970 0 -1 4202560 388 0 0 0 273 7 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646939634216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9064] ppid=9053 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/9056/task/9064/stat : 9064 (java) S 9053 9056 3970 0 -1 4202560 366 0 0 0 269 7 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646938581416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9065] ppid=9053 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/9056/task/9065/stat : 9065 (java) S 9053 9056 3970 0 -1 4202560 371 0 0 0 265 6 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646937528616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9066] ppid=9053 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/9056/task/9066/stat : 9066 (java) S 9053 9056 3970 0 -1 4202560 367 0 0 0 268 8 0 0 20 0 22 0 103901133 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646936475816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9067] ppid=9053 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/9056/task/9067/stat : 9067 (java) S 9053 9056 3970 0 -1 4202560 1446 0 0 0 185 23 0 0 20 0 22 0 103901134 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646924278760 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9068] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9068/stat : 9068 (java) S 9053 9056 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103901135 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646923224824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9069] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9069/stat : 9069 (java) S 9053 9056 3970 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 103901135 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646922171912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9070] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103901137 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646921120400 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9071] ppid=9053 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/9056/task/9071/stat : 9071 (java) S 9053 9056 3970 0 -1 4202560 7856 0 0 0 151 0 0 0 20 0 22 0 103901137 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646920067512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9072] ppid=9053 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/9056/task/9072/stat : 9072 (java) S 9053 9056 3970 0 -1 4202560 10645 0 0 0 153 3 0 0 20 0 22 0 103901137 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646919014712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9073] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9073/stat : 9073 (java) S 9053 9056 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103901137 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646917962104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9074] ppid=9053 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (java) S 9053 9056 3970 0 -1 4202560 53 0 0 0 16 24 0 0 20 0 22 0 103901137 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646916909512 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9056/tid=9293] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9293/stat : 9293 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103971200 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646912698024 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9056/tid=9294] ppid=9053 vsize=9824732 CPUtime=200.13 cores=1,3,5,7
/proc/9056/task/9294/stat : 9294 (java) R 9053 9056 3970 0 -1 4202560 32 0 0 0 20010 3 0 0 20 0 22 0 103971850 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646915854224 139647040857580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9056/tid=9295] ppid=9053 vsize=9824732 CPUtime=200.13 cores=1,3,5,7
/proc/9056/task/9295/stat : 9295 (java) R 9053 9056 3970 0 -1 4202560 24 0 0 0 20010 3 0 0 20 0 22 0 103971850 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646913748016 139647041020720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9056/tid=9296] ppid=9053 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9296/stat : 9296 (java) S 9053 9056 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 103971850 10060525568 516872 33554432000 1073741824 1073778376 140734252819216 139646914802984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 9056 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 909.666
CPU time (s): 1800.66
CPU user time (s): 1798.18
CPU system time (s): 2.48362
CPU usage (%): 197.947
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.48362
maximum resident set size= 2864916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28788
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= 30926
involuntary context switches= 42938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96524 second user time and 5.12722 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-06 15:27:38
IDJOB=4081101
IDBENCH=1848
IDSOLVER=2543
FILE ID=node102/4081101-1465219658
RUNJOBID= node102-1465216787-3987
PBS_JOBID= 19843204
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081101-1465219658/watcher-4081101-1465219658 -o /tmp/evaluation-result-4081101-1465219658/solver-4081101-1465219658 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3987 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081101-1465219658.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=181451690

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.470
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.470
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.470
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.470
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:        28411472 kB
Buffers:            7872 kB
Cached:            46976 kB
SwapCached:         2328 kB
Active:          3536652 kB
Inactive:          31556 kB
Active(anon):    3513776 kB
Inactive(anon):     1568 kB
Active(file):      22876 kB
Inactive(file):    29988 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098412 kB
Dirty:               728 kB
Writeback:             0 kB
AnonPages:       3702440 kB
Mapped:            15500 kB
Shmem:                 0 kB
Slab:             565908 kB
SReclaimable:       9716 kB
SUnreclaim:       556192 kB
KernelStack:        1632 kB
PageTables:        11712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4142520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3631104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node102 at 2016-06-06 15:42:48