Trace number 4106654

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 Resolution PB16SAT (TO)-95 1800.07 1774.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-109
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4106654-1466272888.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.47/0.39	c ... done. Wall clock time 0.292s.
0.47/0.39	c declared #vars     500
0.47/0.39	c internal #vars     3663
0.47/0.39	c #constraints  7326
0.47/0.39	c constraints type 
0.47/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3163
0.47/0.39	c org.sat4j.minisat.constraints.cnf.UnitClauses => 387
0.47/0.39	c org.sat4j.specs.Constr$1 => 570
0.47/0.39	c org.sat4j.minisat.constraints.cnf.UnitClause => 43
0.47/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3163
0.47/0.39	c 7326 constraints processed.
0.47/0.39	c objective function length is 500 literals
0.76/0.43	c SATISFIABLE
0.76/0.43	c OPTIMIZING...
0.76/0.43	c Got one! Elapsed wall clock time (in seconds):0.331
0.76/0.43	o -88
1.06/0.59	c Got one! Elapsed wall clock time (in seconds):0.49
1.06/0.59	o -89
1.61/0.85	c Got one! Elapsed wall clock time (in seconds):0.751
1.61/0.85	o -90
1.75/0.94	c Got one! Elapsed wall clock time (in seconds):0.835
1.75/0.94	o -91
1.96/1.05	c cleaning 3098 clauses out of 6195 with flag 2138/6195
2.51/1.40	c cleaning 4549 clauses out of 9097 with flag 14515/12195
2.92/1.81	c cleaning 5775 clauses out of 11549 with flag 29046/19196
3.34/2.28	c cleaning 6884 clauses out of 13773 with flag 45645/27195
3.96/2.83	c cleaning 7943 clauses out of 15889 with flag 64272/36195
4.06/2.98	c Got one! Elapsed wall clock time (in seconds):2.881
4.06/2.98	o -92
4.28/3.18	c cleaning 6897 clauses out of 13804 with flag 6244/42053
4.68/3.52	c cleaning 6449 clauses out of 12907 with flag 18698/48053
5.07/3.93	c cleaning 6729 clauses out of 13458 with flag 33064/55053
5.47/4.37	c cleaning 7363 clauses out of 14729 with flag 49418/63053
5.69/4.52	c Got one! Elapsed wall clock time (in seconds):4.419
5.69/4.52	o -93
5.88/4.76	c cleaning 6599 clauses out of 13200 with flag 6190/68887
6.35/5.13	c cleaning 6301 clauses out of 12602 with flag 18581/74888
6.76/5.53	c cleaning 6650 clauses out of 13300 with flag 33099/81887
7.15/5.99	c cleaning 7324 clauses out of 14650 with flag 49598/89887
7.76/6.54	c cleaning 8160 clauses out of 16326 with flag 68119/98887
8.36/7.10	c cleaning 9080 clauses out of 18167 with flag 88644/108888
8.97/7.75	c cleaning 10043 clauses out of 20087 with flag 111320/119888
9.76/8.57	c cleaning 11016 clauses out of 22043 with flag 135970/131887
10.66/9.42	c cleaning 12014 clauses out of 24027 with flag 162618/144887
11.76/10.44	c cleaning 13003 clauses out of 26013 with flag 191351/158887
12.86/11.56	c cleaning 14002 clauses out of 28011 with flag 222249/173888
13.96/12.67	c cleaning 14998 clauses out of 30008 with flag 255115/189887
15.16/13.81	c cleaning 16006 clauses out of 32011 with flag 290043/206888
16.37/15.05	c cleaning 17001 clauses out of 34004 with flag 326980/224887
17.72/16.36	c cleaning 17998 clauses out of 36004 with flag 366136/243888
19.32/17.96	c cleaning 18997 clauses out of 38005 with flag 407238/263887
20.92/19.53	c cleaning 20000 clauses out of 40008 with flag 450386/284887
22.67/21.18	c cleaning 21004 clauses out of 42008 with flag 495732/306887
24.37/22.88	c cleaning 22000 clauses out of 44004 with flag 543230/329887
26.47/24.95	c cleaning 22998 clauses out of 46004 with flag 592645/353887
28.86/27.32	c cleaning 24001 clauses out of 48006 with flag 644265/378887
31.65/30.05	c cleaning 25002 clauses out of 50006 with flag 698009/404888
34.45/32.83	c cleaning 26000 clauses out of 52005 with flag 753516/431889
37.70/35.89	c cleaning 27000 clauses out of 54004 with flag 811201/459888
41.20/39.32	c cleaning 28002 clauses out of 56004 with flag 871090/488888
45.14/43.12	c cleaning 28996 clauses out of 58002 with flag 932880/518888
48.54/46.56	c cleaning 30001 clauses out of 60005 with flag 997082/549887
52.50/50.35	c cleaning 31002 clauses out of 62005 with flag 1063766/581888
57.08/54.79	c cleaning 32000 clauses out of 64002 with flag 1132315/614887
61.38/59.07	c cleaning 33000 clauses out of 66002 with flag 1203062/648887
66.40/64.00	c cleaning 33997 clauses out of 68002 with flag 1276243/683887
71.55/69.16	c cleaning 35001 clauses out of 70005 with flag 1351385/719887
76.62/74.16	c cleaning 35998 clauses out of 72004 with flag 1428310/756887
81.41/78.80	c cleaning 36997 clauses out of 74006 with flag 1507460/794887
86.11/83.59	c cleaning 38003 clauses out of 76010 with flag 1588647/833888
91.15/88.50	c cleaning 39003 clauses out of 78007 with flag 1671970/873888
96.09/93.49	c cleaning 39999 clauses out of 80003 with flag 1757485/914887
101.46/98.70	c cleaning 41000 clauses out of 82004 with flag 1845098/956887
107.26/104.49	c cleaning 42000 clauses out of 84004 with flag 1934609/999887
113.34/110.43	c cleaning 42998 clauses out of 86005 with flag 2025571/1043888
118.94/115.92	c cleaning 44000 clauses out of 88007 with flag 2118615/1088888
126.20/123.13	c cleaning 45001 clauses out of 90006 with flag 2213570/1134887
131.99/128.81	c cleaning 45999 clauses out of 92006 with flag 2310818/1181888
139.41/136.14	c cleaning 46996 clauses out of 94006 with flag 2409643/1229887
148.69/145.38	c cleaning 48002 clauses out of 96010 with flag 2510297/1278887
157.74/154.37	c cleaning 49001 clauses out of 98008 with flag 2613058/1328887
166.47/162.92	c cleaning 49997 clauses out of 100008 with flag 2718025/1379888
173.65/170.02	c cleaning 51002 clauses out of 102011 with flag 2825396/1431888
181.04/177.31	c cleaning 52001 clauses out of 104009 with flag 2934898/1484888
188.79/184.90	c cleaning 53002 clauses out of 106007 with flag 3046405/1538887
195.86/191.97	c cleaning 53998 clauses out of 108005 with flag 3160051/1593887
203.28/199.25	c cleaning 55001 clauses out of 110008 with flag 3275771/1649888
211.93/207.79	c cleaning 55999 clauses out of 112007 with flag 3393642/1706888
219.06/214.70	c cleaning 57000 clauses out of 114008 with flag 3513421/1764888
227.68/223.24	c cleaning 58001 clauses out of 116009 with flag 3635403/1823889
236.46/232.00	c cleaning 59001 clauses out of 118008 with flag 3759462/1883889
244.12/239.53	c cleaning 60001 clauses out of 120005 with flag 3885545/1944887
253.03/248.33	c cleaning 60999 clauses out of 122004 with flag 4013811/2006887
262.75/257.92	c cleaning 61996 clauses out of 124005 with flag 4144080/2069887
272.50/267.58	c cleaning 63002 clauses out of 126009 with flag 4276409/2133887
283.79/278.68	c cleaning 63999 clauses out of 128007 with flag 4411062/2198887
292.92/287.60	c cleaning 65000 clauses out of 130008 with flag 4547816/2264887
300.24/294.88	c Got one! Elapsed wall clock time (in seconds):294.776
300.24/294.88	o -94
303.03/297.63	c cleaning 62426 clauses out of 124855 with flag 10371/2324734
304.13/298.70	c cleaning 34212 clauses out of 68429 with flag 22762/2330734
304.73/299.39	c cleaning 20605 clauses out of 41217 with flag 37193/2337734
305.37/299.95	c cleaning 14302 clauses out of 28612 with flag 53729/2345734
305.97/300.52	c cleaning 11650 clauses out of 23310 with flag 72351/2354734
306.57/301.11	c cleaning 10825 clauses out of 21660 with flag 93053/2364734
307.29/301.81	c cleaning 10915 clauses out of 21834 with flag 115749/2375733
308.00/302.51	c cleaning 11458 clauses out of 22919 with flag 140610/2387733
308.69/303.25	c cleaning 12229 clauses out of 24461 with flag 167451/2400733
309.60/304.17	c cleaning 13112 clauses out of 26233 with flag 196353/2414734
310.59/305.15	c cleaning 14058 clauses out of 28120 with flag 227221/2429733
311.71/306.21	c cleaning 15031 clauses out of 30062 with flag 260149/2445733
312.95/307.41	c cleaning 16013 clauses out of 32032 with flag 295214/2462734
314.25/308.73	c cleaning 17006 clauses out of 34018 with flag 332311/2480733
315.89/310.31	c cleaning 18004 clauses out of 36013 with flag 371467/2499734
317.88/312.33	c cleaning 19003 clauses out of 38008 with flag 412141/2519733
319.59/314.03	c cleaning 20001 clauses out of 40006 with flag 455362/2540734
321.43/315.86	c cleaning 20998 clauses out of 42004 with flag 500888/2562733
323.53/317.90	c cleaning 22000 clauses out of 44007 with flag 550121/2585734
325.53/319.99	c cleaning 23000 clauses out of 46007 with flag 599863/2609734
327.65/322.06	c cleaning 23998 clauses out of 48006 with flag 651912/2634733
330.48/324.80	c cleaning 25003 clauses out of 50009 with flag 706905/2660734
333.22/327.54	c cleaning 26001 clauses out of 52005 with flag 763139/2687733
336.65/330.92	c cleaning 27001 clauses out of 54004 with flag 821822/2715733
340.41/334.66	c cleaning 28002 clauses out of 56003 with flag 884801/2744733
343.99/338.10	c cleaning 29000 clauses out of 58002 with flag 950589/2774734
347.15/341.23	c cleaning 29996 clauses out of 60002 with flag 1018358/2805734
350.37/344.41	c cleaning 31003 clauses out of 62005 with flag 1088408/2837733
354.08/348.19	c cleaning 31997 clauses out of 64003 with flag 1160431/2870734
358.35/352.33	c cleaning 33000 clauses out of 66007 with flag 1237534/2904735
362.91/356.83	c cleaning 34000 clauses out of 68006 with flag 1318462/2939734
367.44/361.20	c cleaning 35001 clauses out of 70005 with flag 1401605/2975733
372.60/366.35	c cleaning 35998 clauses out of 72004 with flag 1487019/3012733
376.98/370.65	c cleaning 37001 clauses out of 74006 with flag 1571250/3050733
382.12/375.79	c cleaning 38002 clauses out of 76005 with flag 1651713/3089733
387.42/380.93	c cleaning 38998 clauses out of 78004 with flag 1734059/3129734
392.62/386.02	c cleaning 39998 clauses out of 80007 with flag 1818505/3170735
396.87/390.22	c cleaning 41001 clauses out of 82008 with flag 1904937/3212734
401.83/395.12	c cleaning 42002 clauses out of 84006 with flag 1993675/3255733
407.32/400.56	c cleaning 43001 clauses out of 86005 with flag 2084953/3299734
413.59/406.71	c cleaning 43998 clauses out of 88004 with flag 2178310/3344734
419.57/412.67	c cleaning 45002 clauses out of 90007 with flag 2273670/3390735
425.95/418.98	c cleaning 46001 clauses out of 92003 with flag 2371476/3437733
432.86/425.77	c cleaning 46997 clauses out of 94003 with flag 2471416/3485734
439.76/432.50	c cleaning 48001 clauses out of 96005 with flag 2573484/3534733
448.28/440.96	c cleaning 49002 clauses out of 98005 with flag 2677594/3584734
455.67/448.22	c cleaning 49998 clauses out of 100003 with flag 2783737/3635734
463.07/455.55	c cleaning 51001 clauses out of 102005 with flag 2891834/3687734
470.79/463.17	c cleaning 52000 clauses out of 104003 with flag 3002040/3740733
479.96/472.12	c cleaning 52997 clauses out of 106003 with flag 3114308/3794733
488.85/480.91	c cleaning 54002 clauses out of 108006 with flag 3228627/3849733
496.76/488.74	c cleaning 55000 clauses out of 110004 with flag 3345028/3905733
506.04/497.86	c cleaning 56001 clauses out of 112004 with flag 3463505/3962733
515.11/506.70	c cleaning 56999 clauses out of 114005 with flag 3583850/4020735
524.13/515.68	c cleaning 57997 clauses out of 116005 with flag 3706155/4079734
535.60/527.00	c cleaning 58999 clauses out of 118007 with flag 3830609/4139733
544.45/535.69	c cleaning 60001 clauses out of 120009 with flag 3957222/4200734
555.21/546.21	c cleaning 61002 clauses out of 122008 with flag 4085743/4262734
565.37/556.24	c cleaning 62003 clauses out of 124006 with flag 4216202/4325734
576.35/567.04	c cleaning 62998 clauses out of 126002 with flag 4349057/4389733
586.40/576.98	c cleaning 64001 clauses out of 128005 with flag 4485043/4454734
599.58/589.99	c cleaning 64999 clauses out of 130003 with flag 4621548/4520733
610.02/600.21	c cleaning 65998 clauses out of 132005 with flag 4759183/4587734
622.22/612.34	c cleaning 66998 clauses out of 134006 with flag 4898880/4655733
634.93/624.82	c cleaning 68003 clauses out of 136009 with flag 5040465/4724734
651.20/640.92	c cleaning 68996 clauses out of 138006 with flag 5184581/4794734
666.35/655.95	c cleaning 70005 clauses out of 140009 with flag 5331224/4865733
682.18/671.62	c cleaning 70997 clauses out of 142004 with flag 5479739/4937733
700.21/689.55	c cleaning 72000 clauses out of 144008 with flag 5630124/5010734
716.32/705.48	c cleaning 73003 clauses out of 146009 with flag 5784094/5084735
730.59/719.52	c cleaning 74001 clauses out of 148004 with flag 5940273/5159733
745.40/734.12	c cleaning 74998 clauses out of 150003 with flag 6098697/5235733
764.70/753.26	c cleaning 75999 clauses out of 152005 with flag 6258916/5312733
781.86/770.18	c cleaning 77000 clauses out of 154007 with flag 6421103/5390734
797.08/785.14	c cleaning 78000 clauses out of 156006 with flag 6585684/5469733
813.46/801.33	c cleaning 79001 clauses out of 158006 with flag 6751281/5549733
832.59/820.26	c cleaning 80000 clauses out of 160005 with flag 6918541/5630733
848.87/836.20	c cleaning 80999 clauses out of 162006 with flag 7088076/5712734
873.98/861.12	c cleaning 82001 clauses out of 164006 with flag 7258574/5795733
898.32/885.26	c cleaning 82998 clauses out of 166006 with flag 7431312/5879734
913.77/900.45	c cleaning 84000 clauses out of 168008 with flag 7606979/5964734
931.82/918.22	c cleaning 85003 clauses out of 170009 with flag 7784574/6050735
950.04/936.17	c cleaning 85997 clauses out of 172004 with flag 7964643/6137733
967.60/953.55	c cleaning 86994 clauses out of 174007 with flag 8146446/6225733
982.49/968.15	c cleaning 88003 clauses out of 176013 with flag 8330234/6314733
998.33/983.82	c cleaning 89005 clauses out of 178011 with flag 8516440/6404734
1016.40/1001.72	c cleaning 90000 clauses out of 180005 with flag 8704413/6495733
1035.89/1020.91	c cleaning 90997 clauses out of 182006 with flag 8894523/6587734
1054.88/1039.77	c cleaning 92002 clauses out of 184008 with flag 9086470/6680733
1070.22/1054.86	c cleaning 92996 clauses out of 186006 with flag 9280545/6774733
1074.86/1059.45	c Got one! Elapsed wall clock time (in seconds):1059.346
1074.86/1059.45	o -95
1077.55/1062.08	c cleaning 69279 clauses out of 138563 with flag 10297/6820286
1078.75/1063.30	c cleaning 37643 clauses out of 75285 with flag 22626/6826287
1079.55/1064.05	c cleaning 22320 clauses out of 44642 with flag 37052/6833287
1080.15/1064.64	c cleaning 15159 clauses out of 30321 with flag 53462/6841286
1080.77/1065.22	c cleaning 12082 clauses out of 24163 with flag 71935/6850287
1081.37/1065.80	c cleaning 11032 clauses out of 22080 with flag 92562/6860286
1081.97/1066.42	c cleaning 11015 clauses out of 22048 with flag 115194/6871286
1082.69/1067.18	c cleaning 11514 clauses out of 23033 with flag 139847/6883286
1083.48/1067.99	c cleaning 12258 clauses out of 24520 with flag 166647/6896287
1084.51/1068.90	c cleaning 13129 clauses out of 26262 with flag 195508/6910287
1085.41/1069.89	c cleaning 14063 clauses out of 28132 with flag 226498/6925286
1086.63/1071.02	c cleaning 15031 clauses out of 30070 with flag 259460/6941287
1087.93/1072.35	c cleaning 16019 clauses out of 32038 with flag 294564/6958286
1089.27/1073.66	c cleaning 17006 clauses out of 34020 with flag 331676/6976287
1090.79/1075.10	c cleaning 18003 clauses out of 36013 with flag 370878/6995286
1092.29/1076.64	c cleaning 19003 clauses out of 38011 with flag 412370/7015287
1093.91/1078.24	c cleaning 20002 clauses out of 40007 with flag 456171/7036286
1095.66/1079.94	c cleaning 21003 clauses out of 42005 with flag 501895/7058286
1097.36/1081.66	c cleaning 21997 clauses out of 44003 with flag 549604/7081287
1099.29/1083.56	c cleaning 22998 clauses out of 46006 with flag 599373/7105287
1101.30/1085.53	c cleaning 24002 clauses out of 48008 with flag 650912/7130287
1103.65/1087.80	c cleaning 24997 clauses out of 50006 with flag 704548/7156287
1106.19/1090.33	c cleaning 26003 clauses out of 52009 with flag 760343/7183287
1108.61/1092.77	c cleaning 27000 clauses out of 54005 with flag 817927/7211286
1111.17/1095.29	c cleaning 27999 clauses out of 56005 with flag 877593/7240286
1113.67/1097.70	c cleaning 29002 clauses out of 58006 with flag 939236/7270286
1116.31/1100.31	c cleaning 29995 clauses out of 60004 with flag 1002971/7301286
1118.91/1102.97	c cleaning 31003 clauses out of 62009 with flag 1068677/7333286
1121.93/1105.92	c cleaning 31999 clauses out of 64007 with flag 1136690/7366287
1125.27/1109.21	c cleaning 32999 clauses out of 66008 with flag 1206645/7400287
1128.30/1112.28	c cleaning 34003 clauses out of 68008 with flag 1278727/7435286
1132.01/1115.91	c cleaning 35000 clauses out of 70005 with flag 1352817/7471286
1135.59/1119.47	c cleaning 36001 clauses out of 72005 with flag 1429237/7508286
1139.46/1123.27	c cleaning 36996 clauses out of 74005 with flag 1507340/7546287
1143.48/1127.24	c cleaning 38002 clauses out of 76010 with flag 1587463/7585288
1147.86/1131.52	c cleaning 39001 clauses out of 78007 with flag 1669656/7625287
1151.61/1135.14	c cleaning 40001 clauses out of 80006 with flag 1753927/7666287
1156.27/1139.75	c cleaning 40999 clauses out of 82006 with flag 1840268/7708288
1160.70/1144.05	c cleaning 41999 clauses out of 84005 with flag 1928719/7751286
1165.67/1148.90	c cleaning 43001 clauses out of 86006 with flag 2019224/7795286
1170.40/1153.65	c cleaning 44001 clauses out of 88005 with flag 2111736/7840286
1175.73/1158.81	c cleaning 44997 clauses out of 90005 with flag 2206621/7886287
1183.02/1166.05	c cleaning 46004 clauses out of 92007 with flag 2306652/7933286
1190.74/1173.71	c cleaning 47001 clauses out of 94004 with flag 2407611/7981287
1198.22/1181.13	c cleaning 47999 clauses out of 96003 with flag 2509299/8030287
1203.68/1186.57	c cleaning 49001 clauses out of 98004 with flag 2612901/8080287
1209.42/1192.11	c cleaning 49998 clauses out of 100003 with flag 2718929/8131287
1216.39/1199.03	c cleaning 50998 clauses out of 102004 with flag 2827159/8183286
1221.87/1204.44	c cleaning 52000 clauses out of 104007 with flag 2937087/8236287
1227.75/1210.12	c cleaning 53001 clauses out of 106007 with flag 3048913/8290287
1233.32/1215.64	c cleaning 54001 clauses out of 108005 with flag 3163028/8345286
1241.22/1223.41	c cleaning 55000 clauses out of 110004 with flag 3285720/8401286
1249.55/1231.63	c cleaning 55996 clauses out of 112005 with flag 3413272/8458287
1258.82/1240.89	c cleaning 57003 clauses out of 114008 with flag 3542276/8516286
1268.72/1250.60	c cleaning 57994 clauses out of 116005 with flag 3671699/8575286
1278.52/1260.32	c cleaning 59001 clauses out of 118012 with flag 3796090/8635287
1290.24/1271.98	c cleaning 60000 clauses out of 120011 with flag 3922321/8696287
1303.63/1285.26	c cleaning 61001 clauses out of 122011 with flag 4050293/8758287
1321.98/1303.35	c cleaning 62002 clauses out of 124010 with flag 4182409/8821287
1334.09/1315.31	c cleaning 63004 clauses out of 126009 with flag 4320076/8885288
1346.31/1327.45	c cleaning 63999 clauses out of 128004 with flag 4454825/8950287
1357.91/1338.81	c cleaning 64999 clauses out of 130005 with flag 4591618/9016287
1368.92/1349.76	c cleaning 66001 clauses out of 132006 with flag 4730329/9083287
1380.59/1361.23	c cleaning 67000 clauses out of 134005 with flag 4871241/9151287
1393.06/1373.51	c cleaning 67998 clauses out of 136005 with flag 5014296/9220287
1406.35/1386.67	c cleaning 69004 clauses out of 138007 with flag 5159430/9290287
1420.13/1400.22	c cleaning 69997 clauses out of 140002 with flag 5305763/9361286
1434.12/1414.09	c cleaning 70998 clauses out of 142005 with flag 5454211/9433286
1447.10/1426.88	c cleaning 71999 clauses out of 144007 with flag 5604920/9506286
1460.31/1439.82	c cleaning 73000 clauses out of 146009 with flag 5757599/9580287
1470.91/1450.27	c cleaning 74001 clauses out of 148009 with flag 5912513/9655287
1486.60/1465.71	c cleaning 75003 clauses out of 150009 with flag 6069238/9731288
1500.58/1479.52	c cleaning 75998 clauses out of 152004 with flag 6227876/9808286
1512.83/1491.66	c cleaning 77001 clauses out of 154008 with flag 6388798/9886288
1527.34/1505.96	c cleaning 78000 clauses out of 156006 with flag 6551506/9965287
1541.18/1519.60	c cleaning 78998 clauses out of 158005 with flag 6716464/10045286
1557.27/1535.56	c cleaning 79999 clauses out of 160008 with flag 6883668/10126287
1571.00/1549.02	c cleaning 81004 clauses out of 162009 with flag 7053284/10208287
1586.85/1564.69	c cleaning 82001 clauses out of 164005 with flag 7224627/10291287
1600.93/1578.55	c cleaning 83002 clauses out of 166003 with flag 7398124/10375286
1618.54/1595.95	c cleaning 83995 clauses out of 168001 with flag 7574206/10460286
1633.68/1610.88	c cleaning 85001 clauses out of 170007 with flag 7751373/10546287
1651.20/1628.16	c cleaning 85999 clauses out of 172006 with flag 7930522/10633287
1671.01/1647.78	c cleaning 86996 clauses out of 174006 with flag 8111579/10721286
1686.58/1663.00	c cleaning 88002 clauses out of 176010 with flag 8295385/10810286
1702.55/1678.78	c cleaning 88999 clauses out of 178008 with flag 8481291/10900286
1719.37/1695.35	c cleaning 89998 clauses out of 180009 with flag 8669235/10991286
1736.52/1712.15	c cleaning 91001 clauses out of 182011 with flag 8859548/11083286
1754.17/1729.60	c cleaning 92003 clauses out of 184010 with flag 9051417/11176286
1771.79/1746.99	c cleaning 92999 clauses out of 186007 with flag 9245751/11270286
1789.01/1763.86	c cleaning 94000 clauses out of 188008 with flag 9441967/11365286
1800.07/1774.80	c starts		: 9
1800.07/1774.80	c conflicts		: 11422760
1800.07/1774.80	c decisions		: 13416353
1800.07/1774.80	c propagations		: 119902194
1800.07/1774.80	c inspects		: 27023591052
1800.07/1774.80	c shortcuts		: 0
1800.07/1774.80	c learnt literals	: 0
1800.07/1774.80	c learnt binary clauses	: 0
1800.07/1774.80	c learnt ternary clauses	: 0
1800.07/1774.80	c learnt constraints	: 11422760
1800.07/1774.80	c ignored constraints	: 0
1800.07/1774.80	c root simplifications	: 0
1800.07/1774.80	c removed literals (reason simplification)	: 0
1800.07/1774.80	c reason swapping (by a shorter reason)	: 0
1800.07/1774.80	c Calls to reduceDB	: 252
1800.07/1774.80	c Number of update (reduction) of LBD	: 72547
1800.07/1774.80	c Imported unit clauses	: 0
1800.07/1774.80	c number of reductions to clauses (during analyze)	: 0
1800.07/1774.80	c number of learned constraints concerned by reduction	: 0
1800.07/1774.80	c number of learning phase by resolution	: 0
1800.07/1774.80	c number of learning phase by cutting planes	: 0
1800.07/1774.80	c speed (assignments/second)	: 67573.64011242155
1800.07/1774.80	c non guided choices	0
1800.07/1774.83	c learnt constraints type 
1800.07/1774.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 151482
1800.07/1774.83	s SATISFIABLE
1800.07/1774.83	c Found 8 solution(s)
1800.07/1774.83	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 
1800.07/1774.83	c objective function=-95
1800.07/1774.83	c Total wall clock time (in seconds): 1774.733

Verifier Data 

OK	-95

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-4106654-1466272888/watcher-4106654-1466272888 -o /tmp/evaluation-result-4106654-1466272888/solver-4106654-1466272888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106654-1466272888.opb 

pid=22206
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: 2.26 2.23 2.18 4/195 22209
/proc/meminfo: memFree=29997112/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 1361 0 0 0 0 0 0 0 20 0 2 0 29335656 98582528 985 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 24068 986 750 9 0 16774 0
[pid=22209/tid=22210] ppid=22206 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 29335657 98582528 986 33554432000 1073741824 1073778376 140734189137280 140292208999976 259112387997 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.26 2.23 2.18 4/195 22209
/proc/meminfo: memFree=29997112/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 4506 0 1 0 10 1 0 0 20 0 18 0 29335656 9787879424 6135 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2389619 6135 2157 9 0 2380296 0
[pid=22209/tid=22210] ppid=22206 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2383 0 1 0 7 0 0 0 20 0 18 0 29335657 9787879424 6135 33554432000 1073741824 1073778376 140734189137280 140292209003424 140292036556965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200394 s]
/proc/loadavg: 2.26 2.23 2.18 4/195 22209
/proc/meminfo: memFree=29997112/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 4683 0 1 0 24 1 0 0 20 0 18 0 29335656 9787879424 6761 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2389619 6761 2214 9 0 2380296 0
[pid=22209/tid=22210] ppid=22206 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2408 0 1 0 16 2 0 0 20 0 18 0 29335657 9787879424 6761 33554432000 1073741824 1073778376 140734189137280 140292208988512 140292036605685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300409 s]
/proc/loadavg: 2.26 2.23 2.18 4/195 22209
/proc/meminfo: memFree=29997112/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 5676 0 1 0 46 1 0 0 20 0 18 0 29335656 9787879424 8910 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2389619 8910 2242 9 0 2380296 0
[pid=22209/tid=22210] ppid=22206 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2411 0 1 0 26 2 0 0 20 0 18 0 29335657 9787879424 8910 33554432000 1073741824 1073778376 140734189137280 140292208988512 140292036556192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700334 s]
/proc/loadavg: 2.26 2.23 2.18 4/195 22209
/proc/meminfo: memFree=29997112/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 14277 0 1 0 147 4 0 0 20 0 19 0 29335656 9856040960 16474 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 16474 2265 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2429 0 1 0 66 2 0 0 20 0 19 0 29335657 9856040960 16474 33554432000 1073741824 1073778376 140734189137280 140292209005184 140292037283055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50086 s]
/proc/loadavg: 2.26 2.23 2.18 5/214 22228
/proc/meminfo: memFree=29929920/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=2.61 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 15930 0 1 0 257 4 0 0 20 0 19 0 29335656 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 21639 2274 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2440 0 1 0 146 2 0 0 20 0 19 0 29335657 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292209005032 140292037209671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22212] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22212/stat : 22212 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292170496936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22213] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22213/stat : 22213 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292169444392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22214] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22214/stat : 22214 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292168391336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22215] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22215/stat : 22215 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292167338792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22216] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22216/stat : 22216 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292166285736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22217] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22217/stat : 22217 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292165233192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22218] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22218/stat : 22218 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292164180136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22219] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22219/stat : 22219 (java) S 22206 22209 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292163127592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22220] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22220/stat : 22220 (java) S 22206 22209 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292032277352 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22221] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22221/stat : 22221 (java) S 22206 22209 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292031223672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22222] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22222/stat : 22222 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292030170504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22223] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22223/stat : 22223 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292029119248 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22224] ppid=22206 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/22209/task/22224/stat : 22224 (java) S 22206 22209 6916 0 -1 4202560 6660 0 0 0 57 2 0 0 20 0 19 0 29335661 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292028066104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22225] ppid=22206 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/22209/task/22225/stat : 22225 (java) S 22206 22209 6916 0 -1 4202560 5557 0 0 0 51 2 0 0 20 0 19 0 29335661 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292027013560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22226] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22226/stat : 22226 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292025960696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22227] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22227/stat : 22227 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292024908360 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22228] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22228/stat : 22228 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335698 9856040960 21639 33554432000 1073741824 1073778376 140734189137280 140292023854632 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9625040

[startup+3.10088 s]
/proc/loadavg: 2.24 2.23 2.18 4/214 22228
/proc/meminfo: memFree=29898456/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=4.28 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 15954 0 1 0 423 5 0 0 20 0 19 0 29335656 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 32903 2274 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2464 0 1 0 305 2 0 0 20 0 19 0 29335657 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292209003112 140292037233456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22212] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22212/stat : 22212 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292170496936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22213] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22213/stat : 22213 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292169444392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22214] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22214/stat : 22214 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292168391336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22215] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22215/stat : 22215 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292167338792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22216] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22216/stat : 22216 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292166285736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22217] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22217/stat : 22217 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292165233192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22218] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22218/stat : 22218 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292164180136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22219] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22219/stat : 22219 (java) S 22206 22209 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292163127592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22220] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22220/stat : 22220 (java) S 22206 22209 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292032277352 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22221] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22221/stat : 22221 (java) S 22206 22209 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292031223672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22222] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22222/stat : 22222 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292030170504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22223] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22223/stat : 22223 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292029119248 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22224] ppid=22206 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/22209/task/22224/stat : 22224 (java) S 22206 22209 6916 0 -1 4202560 6660 0 0 0 62 2 0 0 20 0 19 0 29335661 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292028066104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22225] ppid=22206 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/22209/task/22225/stat : 22225 (java) S 22206 22209 6916 0 -1 4202560 5557 0 0 0 52 2 0 0 20 0 19 0 29335661 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292027013560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22226] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22226/stat : 22226 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292025960696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22227] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22227/stat : 22227 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292024908360 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22228] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22228/stat : 22228 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335698 9856040960 32903 33554432000 1073741824 1073778376 140734189137280 140292023854632 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.24 2.23 2.18 4/214 22228
/proc/meminfo: memFree=29799416/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=7.56 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 16056 0 1 0 748 8 0 0 20 0 19 0 29335656 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 51277 2288 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2492 0 1 0 620 3 0 0 20 0 19 0 29335657 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292208996064 140292037493399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22212] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22212/stat : 22212 (java) S 22206 22209 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292170496936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22213] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22213/stat : 22213 (java) S 22206 22209 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292169444392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22214] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22214/stat : 22214 (java) S 22206 22209 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292168391336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22215] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22215/stat : 22215 (java) S 22206 22209 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292167338792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22216] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22216/stat : 22216 (java) S 22206 22209 6916 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292166285736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22217] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22217/stat : 22217 (java) S 22206 22209 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292165233192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22218] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22218/stat : 22218 (java) S 22206 22209 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292164180136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22219] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22219/stat : 22219 (java) S 22206 22209 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29335658 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292163127592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22220] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22220/stat : 22220 (java) S 22206 22209 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292032277352 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22221] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22221/stat : 22221 (java) S 22206 22209 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292031223672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22222] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22222/stat : 22222 (java) S 22206 22209 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292030170504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22223] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22223/stat : 22223 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292029119248 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22224] ppid=22206 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/22209/task/22224/stat : 22224 (java) S 22206 22209 6916 0 -1 4202560 6660 0 0 0 65 2 0 0 20 0 19 0 29335661 9856040960 51277 33554432000 1073741824 1073778376 140734189137280 140292028066104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22225] ppid=22206 vsize=9625040 CPUtime=0.54 cores=1,3,5,7

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

[pid=22209/tid=22228] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22228/stat : 22228 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335698 9856040960 154147 33554432000 1073741824 1073778376 140734189137280 140292023854632 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1625.04
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.47 2.36 2.24 4/213 22268
/proc/meminfo: memFree=29145240/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=1685.88 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 29719 0 1 0 168393 195 0 0 20 0 19 0 29335656 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 171813 2297 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=1643.33 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2887 0 1 0 164300 33 0 0 20 0 19 0 29335657 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292209003776 140292037450996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22212] ppid=22206 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/22209/task/22212/stat : 22212 (java) S 22206 22209 6916 0 -1 4202560 1533 0 0 0 392 23 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292170496936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22213] ppid=22206 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/22209/task/22213/stat : 22213 (java) S 22206 22209 6916 0 -1 4202560 874 0 0 0 369 18 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292169444392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22214] ppid=22206 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/22209/task/22214/stat : 22214 (java) S 22206 22209 6916 0 -1 4202560 2098 0 0 0 375 21 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292168391336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22215] ppid=22206 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/22209/task/22215/stat : 22215 (java) S 22206 22209 6916 0 -1 4202560 1271 0 0 0 363 20 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292167338792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22216] ppid=22206 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/22209/task/22216/stat : 22216 (java) S 22206 22209 6916 0 -1 4202560 1426 0 0 0 342 19 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292166285736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22217] ppid=22206 vsize=9625040 CPUtime=3.95 cores=1,3,5,7
/proc/22209/task/22217/stat : 22217 (java) S 22206 22209 6916 0 -1 4202560 1352 0 0 0 378 17 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292165233192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22218] ppid=22206 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/22209/task/22218/stat : 22218 (java) S 22206 22209 6916 0 -1 4202560 1482 0 0 0 376 18 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292164180136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22219] ppid=22206 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/22209/task/22219/stat : 22219 (java) S 22206 22209 6916 0 -1 4202560 1563 0 0 0 371 21 0 0 20 0 19 0 29335658 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292163127592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22220] ppid=22206 vsize=9625040 CPUtime=5.49 cores=1,3,5,7
/proc/22209/task/22220/stat : 22220 (java) S 22206 22209 6916 0 -1 4202560 1643 0 0 0 543 6 0 0 20 0 19 0 29335659 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292032277352 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22221] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22221/stat : 22221 (java) S 22206 22209 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292031223672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22222] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22222/stat : 22222 (java) S 22206 22209 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292030170504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22223] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22223/stat : 22223 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292029119248 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22224] ppid=22206 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/22209/task/22224/stat : 22224 (java) S 22206 22209 6916 0 -1 4202560 6677 0 0 0 67 2 0 0 20 0 19 0 29335661 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292028066104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22225] ppid=22206 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/22209/task/22225/stat : 22225 (java) S 22206 22209 6916 0 -1 4202560 5557 0 0 0 52 2 0 0 20 0 19 0 29335661 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292027013560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22226] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22226/stat : 22226 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292025960696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22227] ppid=22206 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/22209/task/22227/stat : 22227 (java) S 22206 22209 6916 0 -1 4202560 97 0 0 0 20 24 0 0 20 0 19 0 29335661 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292024908360 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22228] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22228/stat : 22228 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335698 9856040960 171813 33554432000 1073741824 1073778376 140734189137280 140292023854632 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1685.88
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.33 2.24 3/214 22272
/proc/meminfo: memFree=29019212/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=1746.87 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 31593 0 1 0 174479 208 0 0 20 0 19 0 29335656 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 203162 2297 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=1702.49 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2899 0 1 0 170215 34 0 0 20 0 19 0 29335657 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292209003776 140292037236187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22212] ppid=22206 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/22209/task/22212/stat : 22212 (java) S 22206 22209 6916 0 -1 4202560 1571 0 0 0 408 25 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292170496936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22213] ppid=22206 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/22209/task/22213/stat : 22213 (java) S 22206 22209 6916 0 -1 4202560 1471 0 0 0 384 19 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292169444392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22214] ppid=22206 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/22209/task/22214/stat : 22214 (java) S 22206 22209 6916 0 -1 4202560 2137 0 0 0 391 22 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292168391336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22215] ppid=22206 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/22209/task/22215/stat : 22215 (java) S 22206 22209 6916 0 -1 4202560 1449 0 0 0 376 22 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292167338792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22216] ppid=22206 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/22209/task/22216/stat : 22216 (java) S 22206 22209 6916 0 -1 4202560 1795 0 0 0 360 22 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292166285736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22217] ppid=22206 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/22209/task/22217/stat : 22217 (java) S 22206 22209 6916 0 -1 4202560 1536 0 0 0 397 20 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292165233192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22218] ppid=22206 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/22209/task/22218/stat : 22218 (java) S 22206 22209 6916 0 -1 4202560 1702 0 0 0 389 19 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292164180136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22219] ppid=22206 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/22209/task/22219/stat : 22219 (java) S 22206 22209 6916 0 -1 4202560 1671 0 0 0 383 21 0 0 20 0 19 0 29335658 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292163127592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22220] ppid=22206 vsize=9625040 CPUtime=5.8 cores=1,3,5,7
/proc/22209/task/22220/stat : 22220 (java) S 22206 22209 6916 0 -1 4202560 1770 0 0 0 574 6 0 0 20 0 19 0 29335659 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292032277352 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22221] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22221/stat : 22221 (java) S 22206 22209 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292031223672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22222] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22222/stat : 22222 (java) S 22206 22209 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292030170504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22223] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22223/stat : 22223 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292029119248 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22224] ppid=22206 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/22209/task/22224/stat : 22224 (java) S 22206 22209 6916 0 -1 4202560 6677 0 0 0 67 2 0 0 20 0 19 0 29335661 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292028066104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22225] ppid=22206 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/22209/task/22225/stat : 22225 (java) S 22206 22209 6916 0 -1 4202560 5557 0 0 0 52 2 0 0 20 0 19 0 29335661 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292027013560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22226] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22226/stat : 22226 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292025960696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22227] ppid=22206 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/22209/task/22227/stat : 22227 (java) S 22206 22209 6916 0 -1 4202560 99 0 0 0 21 25 0 0 20 0 19 0 29335661 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292024908360 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22228] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22228/stat : 22228 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335698 9856040960 203162 33554432000 1073741824 1073778376 140734189137280 140292023854632 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.8 s]
/proc/loadavg: 2.17 2.29 2.23 3/213 22404
/proc/meminfo: memFree=28987580/32872528 swapFree=1497824/1644992
[pid=22209] ppid=22206 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/22209/stat : 22209 (java) S 22206 22209 6916 0 -1 4202496 31805 0 1 0 179789 218 0 0 20 0 19 0 29335656 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140734189128416 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22209/statm: 2406260 223196 2297 9 0 2396937 0
[pid=22209/tid=22210] ppid=22206 vsize=9625040 CPUtime=1754.41 cores=1,3,5,7
/proc/22209/task/22210/stat : 22210 (java) R 22206 22209 6916 0 -1 4202560 2906 0 1 0 175406 35 0 0 20 0 19 0 29335657 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292209003760 140292037204831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22212] ppid=22206 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/22209/task/22212/stat : 22212 (java) S 22206 22209 6916 0 -1 4202560 1578 0 0 0 420 25 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292170496936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22213] ppid=22206 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/22209/task/22213/stat : 22213 (java) S 22206 22209 6916 0 -1 4202560 1491 0 0 0 393 20 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292169444392 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22209/tid=22214] ppid=22206 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/22209/task/22214/stat : 22214 (java) S 22206 22209 6916 0 -1 4202560 2154 0 0 0 402 23 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292168391336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22215] ppid=22206 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/22209/task/22215/stat : 22215 (java) S 22206 22209 6916 0 -1 4202560 1468 0 0 0 389 23 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292167338792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22216] ppid=22206 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/22209/task/22216/stat : 22216 (java) S 22206 22209 6916 0 -1 4202560 1810 0 0 0 370 23 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292166285736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22217] ppid=22206 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/22209/task/22217/stat : 22217 (java) S 22206 22209 6916 0 -1 4202560 1545 0 0 0 406 20 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292165233192 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22218] ppid=22206 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/22209/task/22218/stat : 22218 (java) S 22206 22209 6916 0 -1 4202560 1732 0 0 0 404 21 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292164180136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22219] ppid=22206 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/22209/task/22219/stat : 22219 (java) S 22206 22209 6916 0 -1 4202560 1681 0 0 0 394 21 0 0 20 0 19 0 29335658 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292163127592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22220] ppid=22206 vsize=9625040 CPUtime=5.98 cores=1,3,5,7
/proc/22209/task/22220/stat : 22220 (java) S 22206 22209 6916 0 -1 4202560 1844 0 0 0 591 7 0 0 20 0 19 0 29335659 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292032277352 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22221] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22221/stat : 22221 (java) S 22206 22209 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292031223672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22222] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22222/stat : 22222 (java) S 22206 22209 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29335659 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292030170504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22223] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22223/stat : 22223 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292029119248 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22224] ppid=22206 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/22209/task/22224/stat : 22224 (java) S 22206 22209 6916 0 -1 4202560 6677 0 0 0 67 2 0 0 20 0 19 0 29335661 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292028066104 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22209/tid=22225] ppid=22206 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/22209/task/22225/stat : 22225 (java) S 22206 22209 6916 0 -1 4202560 5557 0 0 0 52 2 0 0 20 0 19 0 29335661 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292027013560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22226] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22226/stat : 22226 (java) S 22206 22209 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29335661 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292025960696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22209/tid=22227] ppid=22206 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/22209/task/22227/stat : 22227 (java) S 22206 22209 6916 0 -1 4202560 103 0 0 0 22 26 0 0 20 0 19 0 29335661 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292024908360 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22209/tid=22228] ppid=22206 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22209/task/22228/stat : 22228 (java) S 22206 22209 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29335698 9856040960 223196 33554432000 1073741824 1073778376 140734189137280 140292023854632 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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 22209 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1774.84
CPU time (s): 1800.07
CPU user time (s): 1797.89
CPU system time (s): 2.18
CPU usage (%): 101.421
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 2.6206
maximum resident set size= 892912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31841
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50631
involuntary context switches= 61890

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3821 second user time and 11.4153 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 20:01:28
IDJOB=4106654
IDBENCH=48164
IDSOLVER=2546
FILE ID=node124/4106654-1466272888
RUNJOBID= node124-1466241833-6933
PBS_JOBID= 19918215
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106654-1466272888/watcher-4106654-1466272888 -o /tmp/evaluation-result-4106654-1466272888/solver-4106654-1466272888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106654-1466272888.opb

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

MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402
RANDOM SEED=675876322

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29997112 kB
Buffers:          161020 kB
Cached:           188336 kB
SwapCached:         3080 kB
Active:           206448 kB
Inactive:         257396 kB
Active(anon):     114212 kB
Inactive(anon):     2880 kB
Active(file):      92236 kB
Inactive(file):   254516 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:              1024 kB
Writeback:             0 kB
AnonPages:       1793272 kB
Mapped:            16996 kB
Shmem:                 0 kB
Slab:             627096 kB
SReclaimable:      70848 kB
SUnreclaim:       556248 kB
KernelStack:        1768 kB
PageTables:         7536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 71728 MiB
End job on node124 at 2016-06-18 20:31:03