Trace number 4085911

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)34 1800.06 1797.55

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMb561a61efc46169e6f19abce33721598
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark789.012
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4085911-1465272589.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
0.70/0.44	c ... done. Wall clock time 0.329s.
0.70/0.44	c declared #vars     584
0.70/0.44	c internal #vars     2990
0.70/0.44	c #constraints  5666
0.70/0.44	c constraints type 
0.70/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2105
0.70/0.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 16
0.70/0.44	c org.sat4j.specs.Constr$1 => 618
0.70/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 424
0.70/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40
0.70/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 115
0.70/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2348
0.70/0.44	c 5666 constraints processed.
0.70/0.44	c objective function length is 182 literals
0.96/0.59	c SATISFIABLE
0.96/0.59	c OPTIMIZING...
0.96/0.59	c Got one! Elapsed wall clock time (in seconds):0.477
0.96/0.59	o 88
1.21/0.63	c Got one! Elapsed wall clock time (in seconds):0.518
1.21/0.63	o 84
1.98/1.25	c cleaning 2858 clauses out of 5721 with flag 16933/5721
2.34/1.59	c cleaning 4429 clauses out of 8863 with flag 31248/11721
2.45/1.69	c Got one! Elapsed wall clock time (in seconds):1.579
2.45/1.69	o 82
2.95/2.12	c cleaning 5079 clauses out of 10165 with flag 13183/17452
3.56/2.74	c cleaning 5540 clauses out of 11086 with flag 37543/23452
4.08/3.24	c cleaning 6269 clauses out of 12546 with flag 53657/30452
4.98/4.12	c cleaning 7135 clauses out of 14280 with flag 70514/38455
4.98/4.19	c Got one! Elapsed wall clock time (in seconds):4.075
4.98/4.19	o 80
5.70/4.83	c cleaning 6297 clauses out of 12609 with flag 26139/43919
6.30/5.47	c Got one! Elapsed wall clock time (in seconds):5.352
6.30/5.47	o 79
6.30/5.49	c Got one! Elapsed wall clock time (in seconds):5.377
6.30/5.49	o 77
6.44/5.58	c Got one! Elapsed wall clock time (in seconds):5.469
6.44/5.58	o 76
6.58/5.67	c Got one! Elapsed wall clock time (in seconds):5.556
6.58/5.67	o 75
6.68/5.73	c cleaning 6558 clauses out of 13122 with flag 2832/50729
6.78/5.85	c Got one! Elapsed wall clock time (in seconds):5.736
6.78/5.85	o 74
7.18/6.25	c cleaning 5948 clauses out of 11908 with flag 18932/56073
7.68/6.79	c cleaning 5972 clauses out of 11959 with flag 42252/62072
7.88/6.97	c Got one! Elapsed wall clock time (in seconds):6.852
7.88/6.97	o 72
8.08/7.12	c Got one! Elapsed wall clock time (in seconds):7.001
8.08/7.12	o 70
8.19/7.28	c cleaning 5709 clauses out of 11429 with flag 7839/67514
8.58/7.64	c Got one! Elapsed wall clock time (in seconds):7.522
8.58/7.64	o 57
8.58/7.66	c Got one! Elapsed wall clock time (in seconds):7.541
8.58/7.66	o 56
8.82/7.81	c Got one! Elapsed wall clock time (in seconds):7.693
8.82/7.81	o 55
8.92/7.95	c cleaning 5861 clauses out of 11747 with flag 6623/73541
9.21/8.21	c Got one! Elapsed wall clock time (in seconds):8.099
9.21/8.21	o 53
9.44/8.42	c Got one! Elapsed wall clock time (in seconds):8.307
9.44/8.42	o 51
9.54/8.59	c cleaning 5829 clauses out of 11672 with flag 7857/79327
10.14/9.17	c cleaning 5914 clauses out of 11842 with flag 27860/85326
10.24/9.28	c Got one! Elapsed wall clock time (in seconds):9.171
10.24/9.28	o 50
10.34/9.32	c Got one! Elapsed wall clock time (in seconds):9.203
10.34/9.32	o 49
10.76/9.79	c cleaning 5572 clauses out of 11160 with flag 20480/90558
11.36/10.34	c cleaning 5789 clauses out of 11587 with flag 35739/96557
11.95/10.97	c Got one! Elapsed wall clock time (in seconds):10.855
11.95/10.97	o 48
12.46/11.46	c cleaning 8816 clauses out of 17646 with flag 16720/108405
13.67/12.66	c cleaning 7406 clauses out of 14830 with flag 38592/114405
14.57/13.56	c Got one! Elapsed wall clock time (in seconds):13.444
14.57/13.56	o 47
15.27/14.29	c cleaning 9023 clauses out of 18055 with flag 24411/125036
15.97/14.90	c cleaning 7507 clauses out of 15033 with flag 41392/131037
16.37/15.37	c Got one! Elapsed wall clock time (in seconds):15.26
16.37/15.37	o 45
17.07/16.02	c cleaning 9509 clauses out of 19019 with flag 24753/142530
17.58/16.57	c Got one! Elapsed wall clock time (in seconds):16.458
17.58/16.57	o 44
18.17/17.17	c cleaning 9860 clauses out of 19727 with flag 14789/152747
18.78/17.70	c cleaning 7928 clauses out of 15866 with flag 29853/158746
19.27/18.21	c cleaning 7468 clauses out of 14939 with flag 47744/165747
19.67/18.68	c cleaning 7735 clauses out of 15471 with flag 68753/173747
20.67/19.61	c cleaning 8364 clauses out of 16735 with flag 87552/182746
21.57/20.58	c cleaning 9185 clauses out of 18372 with flag 108398/192747
22.67/21.62	c cleaning 10091 clauses out of 20186 with flag 131629/203746
23.97/22.91	c cleaning 11047 clauses out of 22096 with flag 157040/215747
25.47/24.41	c cleaning 12016 clauses out of 24048 with flag 200806/228746
27.07/26.08	c cleaning 13014 clauses out of 26034 with flag 229627/242748
28.77/27.79	c cleaning 13993 clauses out of 28018 with flag 271214/257746
31.47/30.47	c cleaning 14993 clauses out of 30025 with flag 325576/273746
34.37/33.37	c cleaning 16013 clauses out of 32035 with flag 378930/290749
37.57/36.54	c cleaning 17009 clauses out of 34021 with flag 416047/308748
41.36/40.40	c cleaning 18007 clauses out of 36013 with flag 454716/327749
44.56/43.54	c cleaning 18994 clauses out of 38003 with flag 515263/347746
46.76/45.76	c cleaning 19998 clauses out of 40009 with flag 571227/368746
49.16/48.14	c cleaning 21003 clauses out of 42013 with flag 629725/390748
53.03/51.91	c cleaning 22002 clauses out of 44008 with flag 706224/413746
55.73/54.67	c cleaning 23000 clauses out of 46007 with flag 769929/437747
56.63/55.57	c Got one! Elapsed wall clock time (in seconds):55.454
56.63/55.57	o 43
57.53/56.43	c cleaning 17978 clauses out of 36004 with flag 27623/450744
58.23/57.12	c cleaning 12001 clauses out of 24028 with flag 46911/456746
58.83/57.70	c Got one! Elapsed wall clock time (in seconds):57.587
58.83/57.70	o 42
58.93/57.88	c cleaning 8848 clauses out of 17713 with flag 8172/462432
59.63/58.57	c cleaning 7420 clauses out of 14865 with flag 31238/468432
60.73/59.68	c cleaning 7212 clauses out of 14445 with flag 56466/475432
62.03/60.99	c cleaning 7605 clauses out of 15235 with flag 84024/483434
63.53/62.43	c cleaning 8298 clauses out of 16628 with flag 116723/492432
64.53/63.44	c Got one! Elapsed wall clock time (in seconds):63.323
64.53/63.44	o 41
65.23/64.14	c cleaning 9923 clauses out of 19855 with flag 24095/503957
66.04/64.93	c cleaning 7957 clauses out of 15932 with flag 46239/509957
66.93/65.83	c cleaning 7476 clauses out of 14978 with flag 73677/516960
67.83/66.75	c cleaning 7740 clauses out of 15500 with flag 101777/524958
69.03/67.91	c cleaning 8371 clauses out of 16759 with flag 131177/533957
69.93/68.81	c cleaning 9193 clauses out of 18388 with flag 159365/543957
70.73/69.70	c cleaning 10096 clauses out of 20196 with flag 186349/554958
72.33/71.23	c cleaning 11050 clauses out of 22101 with flag 212537/566959
74.03/72.97	c cleaning 12025 clauses out of 24049 with flag 239504/579957
75.83/74.79	c cleaning 13003 clauses out of 26026 with flag 286116/593959
77.93/76.89	c cleaning 14009 clauses out of 28021 with flag 336406/608957
79.03/77.94	c cleaning 15005 clauses out of 30012 with flag 373303/624957
80.63/79.55	c cleaning 16006 clauses out of 32011 with flag 407777/641961
82.54/81.41	c cleaning 16996 clauses out of 34001 with flag 444393/659957
84.64/83.56	c cleaning 18000 clauses out of 36005 with flag 483474/678957
84.85/83.71	c Got one! Elapsed wall clock time (in seconds):83.599
84.85/83.71	o 40
85.44/84.33	c cleaning 11891 clauses out of 23790 with flag 23914/684742
85.74/84.68	c Got one! Elapsed wall clock time (in seconds):84.57
85.74/84.68	o 39
86.24/85.13	c cleaning 8811 clauses out of 17640 with flag 18528/690483
86.84/85.77	c cleaning 7412 clauses out of 14829 with flag 48700/696483
87.74/86.61	c cleaning 7204 clauses out of 14418 with flag 69982/703484
88.84/87.76	c cleaning 7599 clauses out of 15213 with flag 96562/711483
89.94/88.86	c cleaning 8300 clauses out of 16613 with flag 126423/720482
91.45/90.34	c cleaning 9148 clauses out of 18313 with flag 163532/730482
93.04/91.93	c cleaning 10074 clauses out of 20165 with flag 202541/741482
95.35/94.21	c cleaning 11039 clauses out of 22094 with flag 248057/753485
97.95/96.85	c cleaning 11999 clauses out of 24052 with flag 304512/766482
100.65/99.54	c cleaning 13019 clauses out of 26053 with flag 373354/780482
102.60/101.49	c cleaning 14002 clauses out of 28036 with flag 420085/795484
106.00/104.82	c cleaning 15008 clauses out of 30035 with flag 483301/811485
108.10/106.90	c cleaning 16008 clauses out of 32027 with flag 531165/828485
110.70/109.52	c cleaning 17006 clauses out of 34017 with flag 580098/846483
112.70/111.59	c cleaning 17999 clauses out of 36010 with flag 634606/865482
114.61/113.46	c cleaning 18999 clauses out of 38011 with flag 687042/885482
119.70/118.60	c cleaning 19999 clauses out of 40013 with flag 758346/906483
125.30/124.18	c cleaning 20997 clauses out of 42015 with flag 835441/928484
131.30/130.18	c cleaning 21997 clauses out of 44016 with flag 916024/951482
138.60/137.40	c cleaning 23001 clauses out of 46020 with flag 1006365/975483
145.31/144.14	c cleaning 24003 clauses out of 48018 with flag 1097143/1000482
150.51/149.35	c cleaning 25003 clauses out of 50016 with flag 1183864/1026483
154.52/153.32	c cleaning 26002 clauses out of 52013 with flag 1265375/1053483
161.11/159.92	c cleaning 26998 clauses out of 54010 with flag 1362816/1081482
166.61/165.48	c cleaning 28004 clauses out of 56013 with flag 1465004/1110483
171.02/169.88	c cleaning 28998 clauses out of 58010 with flag 1537245/1140484
176.34/175.12	c cleaning 29999 clauses out of 60011 with flag 1619964/1171483
184.44/183.22	c cleaning 31002 clauses out of 62011 with flag 1701185/1203482
189.24/188.06	c cleaning 31999 clauses out of 64010 with flag 1792395/1236483
194.64/193.43	c cleaning 32994 clauses out of 66010 with flag 1893782/1270482
201.94/200.72	c cleaning 33998 clauses out of 68016 with flag 2021067/1305482
210.14/208.97	c cleaning 35003 clauses out of 70019 with flag 2160196/1341483
218.64/217.42	c cleaning 35998 clauses out of 72016 with flag 2293938/1378483
227.15/225.98	c cleaning 37004 clauses out of 74019 with flag 2412849/1416484
235.05/233.81	c cleaning 38005 clauses out of 76013 with flag 2525560/1455482
247.15/245.91	c cleaning 39003 clauses out of 78009 with flag 2613831/1495483
255.65/254.47	c cleaning 40000 clauses out of 80006 with flag 2714518/1536483
265.26/264.09	c cleaning 41001 clauses out of 82007 with flag 2805576/1578484
272.85/271.60	c cleaning 41997 clauses out of 84005 with flag 2899441/1621483
281.06/279.84	c cleaning 42999 clauses out of 86007 with flag 2995170/1665482
290.29/289.03	c cleaning 44004 clauses out of 88009 with flag 3093092/1710483
299.79/298.52	c cleaning 44999 clauses out of 90007 with flag 3195243/1756485
309.30/308.10	c cleaning 46002 clauses out of 92007 with flag 3298657/1803484
320.20/318.96	c cleaning 47001 clauses out of 94006 with flag 3403418/1851485
329.50/328.23	c cleaning 47998 clauses out of 96002 with flag 3544658/1900482
336.70/335.45	c Got one! Elapsed wall clock time (in seconds):335.339
336.70/335.45	o 38
336.80/335.51	c Got one! Elapsed wall clock time (in seconds):335.396
336.80/335.51	o 37
338.30/337.07	c cleaning 47098 clauses out of 94202 with flag 27663/1946680
338.50/337.26	c Got one! Elapsed wall clock time (in seconds):337.143
338.50/337.26	o 35
339.30/338.07	c cleaning 26134 clauses out of 52282 with flag 22076/1951858
340.10/338.85	c cleaning 16068 clauses out of 32152 with flag 39087/1957862
341.00/339.72	c cleaning 11535 clauses out of 23080 with flag 58928/1964858
341.60/340.36	c cleaning 9765 clauses out of 19545 with flag 79296/1972858
342.30/341.08	c cleaning 9386 clauses out of 18782 with flag 102484/1981860
343.09/341.89	c cleaning 9689 clauses out of 19394 with flag 126725/1991858
344.09/342.83	c cleaning 10342 clauses out of 20705 with flag 154649/2002858
345.20/343.90	c cleaning 11169 clauses out of 22363 with flag 185891/2014858
347.00/345.78	c cleaning 12089 clauses out of 24194 with flag 248720/2027858
349.09/347.89	c cleaning 13041 clauses out of 26105 with flag 299473/2041858
350.49/349.21	c cleaning 14032 clauses out of 28064 with flag 340645/2056858
352.39/351.19	c cleaning 15014 clauses out of 30032 with flag 385736/2072858
354.69/353.43	c cleaning 16001 clauses out of 32018 with flag 429264/2089858
357.00/355.74	c cleaning 17010 clauses out of 34019 with flag 468114/2107860
359.70/358.46	c cleaning 18004 clauses out of 36007 with flag 507356/2126858
362.60/361.32	c cleaning 18999 clauses out of 38004 with flag 548616/2146859
365.41/364.18	c cleaning 20002 clauses out of 40005 with flag 592803/2167859
368.50/367.26	c cleaning 21001 clauses out of 42004 with flag 639128/2189860
372.30/371.02	c cleaning 22001 clauses out of 44004 with flag 687518/2212861
375.90/374.62	c cleaning 22988 clauses out of 46002 with flag 743781/2236860
379.40/378.13	c cleaning 23998 clauses out of 48013 with flag 818272/2261859
384.43/383.18	c cleaning 25000 clauses out of 50014 with flag 911180/2287858
389.23/387.95	c cleaning 26005 clauses out of 52015 with flag 975353/2314859
396.93/395.63	c cleaning 27003 clauses out of 54011 with flag 1033902/2342860
403.73/402.48	c cleaning 27996 clauses out of 56006 with flag 1105902/2371858
410.43/409.16	c cleaning 29001 clauses out of 58011 with flag 1233272/2401859
414.13/412.81	c cleaning 30005 clauses out of 60014 with flag 1303538/2432863
419.04/417.72	c cleaning 31000 clauses out of 62004 with flag 1370242/2464858
425.54/424.20	c cleaning 31995 clauses out of 64004 with flag 1470391/2497858
431.63/430.34	c cleaning 32999 clauses out of 66017 with flag 1563088/2531866
436.53/435.24	c cleaning 33997 clauses out of 68012 with flag 1661015/2566860
442.93/441.69	c cleaning 35002 clauses out of 70013 with flag 1771426/2602858
449.43/448.19	c cleaning 35993 clauses out of 72011 with flag 1881091/2639858
455.03/453.73	c cleaning 37008 clauses out of 74022 with flag 1993140/2677862
464.03/462.72	c cleaning 38003 clauses out of 76010 with flag 2101913/2716858
479.53/478.24	c cleaning 38999 clauses out of 78008 with flag 2195051/2756859
490.55/489.21	c cleaning 40000 clauses out of 80008 with flag 2299208/2797858
496.86/495.59	c cleaning 40988 clauses out of 82008 with flag 2414233/2839858
503.36/502.01	c cleaning 42009 clauses out of 84021 with flag 2523133/2882859
512.56/511.24	c cleaning 43004 clauses out of 86013 with flag 2611732/2926860
524.86/523.57	c cleaning 44004 clauses out of 88008 with flag 2701832/2971859
537.86/536.54	c cleaning 45001 clauses out of 90003 with flag 2793850/3017858
551.26/550.00	c cleaning 45998 clauses out of 92002 with flag 2887930/3064858
565.77/564.46	c cleaning 46997 clauses out of 94004 with flag 2984007/3112858
581.26/579.91	c cleaning 48002 clauses out of 96009 with flag 3082128/3161860
597.16/595.85	c cleaning 49000 clauses out of 98006 with flag 3182161/3211859
613.27/611.92	c cleaning 50002 clauses out of 100005 with flag 3292245/3262858
626.37/625.01	c cleaning 50998 clauses out of 102009 with flag 3457618/3314864
644.63/643.25	c cleaning 51996 clauses out of 104005 with flag 3593024/3367858
659.22/657.86	c cleaning 52994 clauses out of 106009 with flag 3765563/3421858
670.33/668.99	c cleaning 53998 clauses out of 108015 with flag 3908872/3476858
682.02/680.65	c cleaning 55000 clauses out of 110017 with flag 4077854/3532858
693.62/692.26	c cleaning 56005 clauses out of 112021 with flag 4231531/3589862
705.02/703.66	c cleaning 57003 clauses out of 114012 with flag 4393895/3647858
725.93/724.54	c cleaning 57999 clauses out of 116009 with flag 4555754/3706858
742.10/740.66	c cleaning 58998 clauses out of 118011 with flag 4712386/3766859
760.61/759.19	c cleaning 59999 clauses out of 120012 with flag 4921057/3827858
775.71/774.29	c cleaning 61003 clauses out of 122013 with flag 5094902/3889858
793.81/792.35	c cleaning 62001 clauses out of 124011 with flag 5290763/3952859
811.12/809.69	c cleaning 62995 clauses out of 126010 with flag 5461198/4016859
837.32/835.87	c cleaning 64003 clauses out of 128014 with flag 5591395/4081858
863.42/861.96	c cleaning 65004 clauses out of 130011 with flag 5724316/4147858
873.94/872.40	c Got one! Elapsed wall clock time (in seconds):872.29
873.94/872.40	o 34
875.94/874.30	c cleaning 58314 clauses out of 116639 with flag 20827/4199490
877.14/875.55	c cleaning 32158 clauses out of 64325 with flag 36275/4205490
878.34/876.77	c cleaning 19577 clauses out of 39169 with flag 53073/4212492
879.24/877.63	c cleaning 13788 clauses out of 27590 with flag 70560/4220490
880.04/878.42	c cleaning 11392 clauses out of 22802 with flag 89303/4229490
880.84/879.21	c cleaning 10701 clauses out of 21410 with flag 110806/4239490
881.84/880.25	c cleaning 10849 clauses out of 21711 with flag 133859/4250492
882.94/881.32	c cleaning 11427 clauses out of 22861 with flag 158761/4262491
884.14/882.56	c cleaning 12214 clauses out of 24433 with flag 185609/4275490
885.74/884.17	c cleaning 13109 clauses out of 26221 with flag 214255/4289492
887.54/885.95	c cleaning 14054 clauses out of 28110 with flag 244876/4304490
889.24/887.65	c cleaning 15025 clauses out of 30057 with flag 281065/4320491
890.93/889.38	c cleaning 16009 clauses out of 32032 with flag 322875/4337491
893.64/892.06	c cleaning 17007 clauses out of 34023 with flag 365826/4355491
895.54/893.92	c cleaning 17999 clauses out of 36015 with flag 412526/4374490
897.84/896.30	c cleaning 19001 clauses out of 38018 with flag 455090/4394492
900.45/898.87	c cleaning 20000 clauses out of 40015 with flag 500320/4415490
903.24/901.61	c cleaning 20999 clauses out of 42015 with flag 548501/4437490
906.24/904.61	c cleaning 21990 clauses out of 44016 with flag 610247/4460490
909.44/907.81	c cleaning 23009 clauses out of 46028 with flag 671382/4484492
913.55/911.98	c cleaning 24002 clauses out of 48018 with flag 735072/4509491
916.85/915.23	c cleaning 25006 clauses out of 50015 with flag 794499/4535490
921.54/919.99	c cleaning 26004 clauses out of 52009 with flag 854775/4562490
924.94/923.31	c cleaning 26987 clauses out of 54007 with flag 930839/4590492
930.24/928.64	c cleaning 28004 clauses out of 56019 with flag 1004975/4619491
934.69/933.00	c cleaning 29000 clauses out of 58015 with flag 1076379/4649491
939.59/937.97	c cleaning 29994 clauses out of 60015 with flag 1151057/4680491
945.89/944.25	c cleaning 31009 clauses out of 62021 with flag 1241707/4712491
949.79/948.17	c cleaning 31999 clauses out of 64013 with flag 1320705/4745492
955.60/953.94	c cleaning 32988 clauses out of 66012 with flag 1411301/4779490
961.20/959.53	c cleaning 34005 clauses out of 68024 with flag 1502783/4814490
966.70/965.00	c cleaning 35006 clauses out of 70019 with flag 1588656/4850490
972.50/970.87	c cleaning 36001 clauses out of 72016 with flag 1682829/4887493
978.60/976.92	c cleaning 37001 clauses out of 74012 with flag 1775131/4925490
995.01/993.34	c cleaning 38006 clauses out of 76011 with flag 1860396/4964490
1007.11/1005.40	c cleaning 38999 clauses out of 78005 with flag 1954578/5004490
1016.47/1014.74	c cleaning 40000 clauses out of 80008 with flag 2064405/5045492
1025.88/1024.13	c cleaning 40993 clauses out of 82006 with flag 2164288/5087490
1034.97/1033.27	c cleaning 41999 clauses out of 84015 with flag 2270237/5130492
1045.07/1043.37	c cleaning 42994 clauses out of 86014 with flag 2371954/5174490
1060.26/1058.55	c cleaning 43994 clauses out of 88021 with flag 2556900/5219491
1072.96/1071.24	c cleaning 45007 clauses out of 90026 with flag 2738218/5265490
1080.57/1078.88	c cleaning 46006 clauses out of 92019 with flag 2851890/5312490
1091.06/1089.33	c cleaning 47002 clauses out of 94013 with flag 2950149/5360490
1099.17/1097.37	c cleaning 47999 clauses out of 96012 with flag 3075952/5409491
1107.38/1105.54	c cleaning 49001 clauses out of 98014 with flag 3198429/5459492
1122.17/1120.37	c cleaning 50000 clauses out of 100012 with flag 3305914/5510491
1134.87/1133.10	c cleaning 51003 clauses out of 102012 with flag 3413160/5562491
1150.66/1148.86	c cleaning 52004 clauses out of 104012 with flag 3523755/5615494
1159.56/1157.76	c cleaning 52994 clauses out of 106007 with flag 3665763/5669493
1174.35/1172.57	c cleaning 54003 clauses out of 108011 with flag 3821330/5724491
1196.15/1194.36	c cleaning 54995 clauses out of 110008 with flag 3958536/5780491
1211.58/1209.68	c cleaning 55985 clauses out of 112012 with flag 4136971/5837490
1230.19/1228.23	c cleaning 57011 clauses out of 114027 with flag 4254402/5895490
1249.98/1248.08	c cleaning 58005 clauses out of 116018 with flag 4373717/5954492
1274.58/1272.70	c cleaning 59002 clauses out of 118012 with flag 4493731/6014491
1298.89/1296.92	c cleaning 60003 clauses out of 120014 with flag 4615762/6075495
1314.29/1312.34	c cleaning 60998 clauses out of 122006 with flag 4755148/6137490
1327.99/1326.03	c cleaning 62001 clauses out of 124010 with flag 4908778/6200492
1350.90/1348.99	c cleaning 62996 clauses out of 126008 with flag 5058816/6264491
1365.23/1363.12	c cleaning 63998 clauses out of 128011 with flag 5236588/6329490
1379.82/1377.79	c cleaning 64996 clauses out of 130013 with flag 5414539/6395490
1395.52/1393.40	c cleaning 66010 clauses out of 132019 with flag 5594083/6462492
1412.63/1410.60	c cleaning 66992 clauses out of 134009 with flag 5770675/6530492
1431.64/1429.46	c cleaning 68004 clauses out of 136016 with flag 5972548/6599491
1448.75/1446.56	c cleaning 68995 clauses out of 138013 with flag 6191204/6669492
1467.44/1465.23	c cleaning 70008 clauses out of 140017 with flag 6401748/6740491
1486.64/1484.48	c cleaning 70996 clauses out of 142008 with flag 6589848/6812490
1506.34/1504.03	c cleaning 71995 clauses out of 144012 with flag 6781333/6885490
1524.75/1522.43	c cleaning 72999 clauses out of 146017 with flag 6994052/6959490
1540.94/1538.63	c cleaning 73995 clauses out of 148020 with flag 7211417/7034492
1559.75/1557.42	c cleaning 75009 clauses out of 150023 with flag 7414463/7110490
1580.05/1577.66	c cleaning 75996 clauses out of 152015 with flag 7618709/7187491
1603.05/1600.67	c cleaning 76997 clauses out of 154021 with flag 7812156/7265493
1636.64/1634.27	c cleaning 78010 clauses out of 156021 with flag 7977026/7344490
1675.75/1673.31	c cleaning 79002 clauses out of 158012 with flag 8139273/7424491
1716.56/1714.17	c cleaning 80002 clauses out of 160010 with flag 8302461/7505491
1758.67/1756.24	c cleaning 81005 clauses out of 162009 with flag 8467043/7587492
1800.06/1797.51	c starts		: 17507
1800.06/1797.51	c conflicts		: 7668437
1800.06/1797.51	c decisions		: 9421023
1800.06/1797.51	c propagations		: 611127024
1800.06/1797.51	c inspects		: 37602514913
1800.06/1797.51	c shortcuts		: 0
1800.06/1797.51	c learnt literals	: 0
1800.06/1797.51	c learnt binary clauses	: 79
1800.06/1797.51	c learnt ternary clauses	: 202
1800.06/1797.51	c learnt constraints	: 7668437
1800.06/1797.51	c ignored constraints	: 0
1800.06/1797.51	c root simplifications	: 0
1800.06/1797.51	c removed literals (reason simplification)	: 0
1800.06/1797.51	c reason swapping (by a shorter reason)	: 0
1800.06/1797.51	c Calls to reduceDB	: 250
1800.06/1797.51	c Number of update (reduction) of LBD	: 519501
1800.06/1797.51	c Imported unit clauses	: 0
1800.06/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.06/1797.51	c number of learned constraints concerned by reduction	: 0
1800.06/1797.51	c number of learning phase by resolution	: 0
1800.06/1797.51	c number of learning phase by cutting planes	: 0
1800.06/1797.51	c speed (assignments/second)	: 340070.27307364636
1800.06/1797.51	c non guided choices	5928
1800.06/1797.54	c learnt constraints type 
1800.06/1797.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 79
1800.06/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 161871
1800.06/1797.54	s SATISFIABLE
1800.06/1797.54	c Found 31 solution(s)
1800.06/1797.54	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 x62 x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 -x217 -x218 x219 x220 x221 -x222 -x223 x224 x225 -x226 -x227 x228 x229 -x230 -x231 x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 x241 -x242 x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 x266 x267 x268 x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 x278 x279 x280 -x281 x282 x283 -x284 x285 -x286 -x287 -x288 x289 -x290 x291 x292 -x293 x294 x295 x296 x297 x298 x299 x300 -x301 x302 -x303 x304 x305 x306 x307 x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 x319 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 x339 -x340 x341 -x342 -x343 -x344 x345 -x346 x347 x348 x349 x350 -x351 -x352 -x353 -x354 x355 x356 x357 x358 x359 x360 x361 -x362 x363 -x364 -x365 x366 x367 x368 x369 x370 -x371 x372 x373 -x374 -x375 x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 -x386 x387 x388 x389 x390 x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 x406 x407 x408 x409 -x410 x411 -x412 x413 x414 x415 x416 x417 -x418 -x419 -x420 x421 x422 x423 x424 x425 x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 x437 -x438 x439 x440 x441 x442 x443 -x444 -x445 x446 x447 x448 -x449 x450 -x451 x452 x453 -x454 x455 -x456 x457 -x458 x459 x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 x477 x478 x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497 -x498 -x499 x500 -x501 -x502 x503 -x504 -x505 x506 x507 -x508 -x509 -x510 x511 x512 x513 -x514 -x515 -x516 x517 x518 -x519 x520 x521 x522 -x523 x524 x525 -x526 x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 x539 -x540 x541 x542 x543 x544 x545 x546 -x547 -x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1800.06/1797.54	c objective function=34
1800.06/1797.54	c Total wall clock time (in seconds): 1797.43

Verifier Data 

OK	34

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-4085911-1465272589/watcher-4085911-1465272589 -o /tmp/evaluation-result-4085911-1465272589/solver-4085911-1465272589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085911-1465272589.opb 

pid=26353
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.02 2.04 2.01 3/196 26356
/proc/meminfo: memFree=30692052/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26356/stat : 26356 (java) D 26353 26356 23284 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 109190913 9515008 182 33554432000 1073741824 1073778376 140735288519344 140735288510376 206408859317 0 0 4096 0 18446744072100756772 0 0 17 3 0 0 0 0 0
/proc/26356/statm: 2323 182 140 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.02 2.04 2.01 3/196 26356
/proc/meminfo: memFree=30692052/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 4456 0 1 0 7 1 0 0 20 0 18 0 109190913 9787879424 5577 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2389619 5577 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.02 2.04 2.01 3/196 26356
/proc/meminfo: memFree=30692052/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 4940 0 1 0 24 1 0 0 20 0 18 0 109190913 9787879424 6997 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2389619 6997 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300237 s]
/proc/loadavg: 2.02 2.04 2.01 3/196 26356
/proc/meminfo: memFree=30692052/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 6556 0 1 0 46 2 0 0 20 0 18 0 109190913 9787879424 8443 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2389619 8445 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700181 s]
/proc/loadavg: 2.02 2.04 2.01 3/196 26356
/proc/meminfo: memFree=30692052/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 8707 0 1 0 132 2 0 0 20 0 19 0 109190913 9856040960 13334 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 13335 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.02 2.04 2.01 3/215 26375
/proc/meminfo: memFree=30646480/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=2.34 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 10555 0 1 0 231 3 0 0 20 0 19 0 109190913 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 13957 2273 9 0 2396937 0
[pid=26356/tid=26358] ppid=26353 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/26356/task/26358/stat : 26358 (java) R 26353 26356 23284 0 -1 4202560 2480 0 1 0 144 1 0 0 20 0 19 0 109190914 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828975780152 139828848530295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26359] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26359/stat : 26359 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828819479080 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26360] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26360/stat : 26360 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828818426280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26361] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26361/stat : 26361 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828817373480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26362] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26362/stat : 26362 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828816320680 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26363] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26363/stat : 26363 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828815268904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26364] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26364/stat : 26364 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828814216104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26365] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26365/stat : 26365 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828813163304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26366] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26366/stat : 26366 (java) S 26353 26356 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828812110504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26367] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26367/stat : 26367 (java) S 26353 26356 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109190916 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828799912424 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26368] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26368/stat : 26368 (java) S 26353 26356 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828798858488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26369] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26369/stat : 26369 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828797805576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26370] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26370/stat : 26370 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828796754064 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26371] ppid=26353 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26356/task/26371/stat : 26371 (java) S 26353 26356 23284 0 -1 4202560 2759 0 0 0 41 0 0 0 20 0 19 0 109190919 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828795702200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26372] ppid=26353 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/26356/task/26372/stat : 26372 (java) S 26353 26356 23284 0 -1 4202560 4044 0 0 0 44 0 0 0 20 0 19 0 109190919 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828794649400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26373] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26373/stat : 26373 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828793596792 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26374] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26374/stat : 26374 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828792544200 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 13957 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.02 2.04 2.01 3/215 26375
/proc/meminfo: memFree=30641640/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 10602 0 1 0 395 3 0 0 20 0 19 0 109190913 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 14986 2273 9 0 2396937 0
[pid=26356/tid=26358] ppid=26353 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/26356/task/26358/stat : 26358 (java) R 26353 26356 23284 0 -1 4202560 2483 0 1 0 304 1 0 0 20 0 19 0 109190914 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828975780136 139828848480786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26359] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26359/stat : 26359 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828819479080 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26360] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26360/stat : 26360 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828818426280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26361] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26361/stat : 26361 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828817373480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26362] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26362/stat : 26362 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828816320680 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26363] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26363/stat : 26363 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828815268904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26364] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26364/stat : 26364 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828814216104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26365] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26365/stat : 26365 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828813163304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26366] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26366/stat : 26366 (java) S 26353 26356 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828812110504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26367] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26367/stat : 26367 (java) S 26353 26356 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109190916 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828799912424 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26368] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26368/stat : 26368 (java) S 26353 26356 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828798858488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26369] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26369/stat : 26369 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828797805576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26370] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26370/stat : 26370 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828796754064 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26371] ppid=26353 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26356/task/26371/stat : 26371 (java) S 26353 26356 23284 0 -1 4202560 2759 0 0 0 41 0 0 0 20 0 19 0 109190919 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828795702200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26372] ppid=26353 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/26356/task/26372/stat : 26372 (java) S 26353 26356 23284 0 -1 4202560 4088 0 0 0 46 0 0 0 20 0 19 0 109190919 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828794649400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26373] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26373/stat : 26373 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828793596792 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26374] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26374/stat : 26374 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828792544200 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 14986 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.10 2.05 2.01 4/215 26375
/proc/meminfo: memFree=30631976/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=7.28 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 11578 0 1 0 724 4 0 0 20 0 19 0 109190913 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 17916 2274 9 0 2396937 0
[pid=26356/tid=26358] ppid=26353 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/26356/task/26358/stat : 26358 (java) R 26353 26356 23284 0 -1 4202560 2490 0 1 0 622 2 0 0 20 0 19 0 109190914 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828975771312 139828848487904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26359] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26359/stat : 26359 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828819479080 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26360] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26360/stat : 26360 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828818426280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26361] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26361/stat : 26361 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828817373480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26362] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26362/stat : 26362 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828816320680 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26363] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26363/stat : 26363 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828815268904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26364] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26364/stat : 26364 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828814216104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26365] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26365/stat : 26365 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828813163304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26366] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26366/stat : 26366 (java) S 26353 26356 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109190915 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828812110504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26367] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26367/stat : 26367 (java) S 26353 26356 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109190916 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828799912424 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26368] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26368/stat : 26368 (java) S 26353 26356 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828798858488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26369] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26369/stat : 26369 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828797805576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26370] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26370/stat : 26370 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828796754064 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26371] ppid=26353 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/26356/task/26371/stat : 26371 (java) S 26353 26356 23284 0 -1 4202560 3726 0 0 0 49 1 0 0 20 0 19 0 109190919 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828795702200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26372] ppid=26353 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/26356/task/26372/stat : 26372 (java) S 26353 26356 23284 0 -1 4202560 4089 0 0 0 47 0 0 0 20 0 19 0 109190919 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828794649400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26373] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26373/stat : 26373 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828793596792 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26374] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26374/stat : 26374 (java) S 26353 26356 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828792544200 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 17916 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9625040


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

[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 98295 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1724.76
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 26486
/proc/meminfo: memFree=31279908/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=1784.85 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 13409 0 1 0 178414 71 0 0 20 0 19 0 109190913 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 100854 2288 9 0 2396937 0
[pid=26356/tid=26358] ppid=26353 vsize=9625040 CPUtime=1777.07 cores=1,3,5,7
/proc/26356/task/26358/stat : 26358 (java) R 26353 26356 23284 0 -1 4202560 2556 0 1 0 177667 40 0 0 20 0 19 0 109190914 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828975779072 139828848529696 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26359] ppid=26353 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26356/task/26359/stat : 26359 (java) S 26353 26356 23284 0 -1 4202560 191 0 0 0 21 5 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828819479080 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26360] ppid=26353 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26356/task/26360/stat : 26360 (java) S 26353 26356 23284 0 -1 4202560 297 0 0 0 23 4 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828818426280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26361] ppid=26353 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26356/task/26361/stat : 26361 (java) S 26353 26356 23284 0 -1 4202560 230 0 0 0 17 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828817373480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26362] ppid=26353 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26356/task/26362/stat : 26362 (java) S 26353 26356 23284 0 -1 4202560 197 0 0 0 18 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828816320680 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26363] ppid=26353 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26356/task/26363/stat : 26363 (java) S 26353 26356 23284 0 -1 4202560 50 0 0 0 16 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828815268904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26364] ppid=26353 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/26356/task/26364/stat : 26364 (java) S 26353 26356 23284 0 -1 4202560 107 0 0 0 19 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828814216104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26365] ppid=26353 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26356/task/26365/stat : 26365 (java) S 26353 26356 23284 0 -1 4202560 175 0 0 0 15 2 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828813163304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26366] ppid=26353 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26356/task/26366/stat : 26366 (java) S 26353 26356 23284 0 -1 4202560 124 0 0 0 17 2 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828812110504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26367] ppid=26353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26356/task/26367/stat : 26367 (java) S 26353 26356 23284 0 -1 4202560 68 0 0 0 0 1 0 0 20 0 19 0 109190916 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828799912424 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26368] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26368/stat : 26368 (java) S 26353 26356 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828798858488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26369] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26369/stat : 26369 (java) S 26353 26356 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828797805576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26370] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26370/stat : 26370 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828796754064 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26371] ppid=26353 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/26356/task/26371/stat : 26371 (java) S 26353 26356 23284 0 -1 4202560 3956 0 0 0 55 2 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828795702200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26372] ppid=26353 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/26356/task/26372/stat : 26372 (java) S 26353 26356 23284 0 -1 4202560 4096 0 0 0 54 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828794649400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26373] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26373/stat : 26373 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828793596792 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26374] ppid=26353 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/26356/task/26374/stat : 26374 (java) S 26353 26356 23284 0 -1 4202560 104 0 0 0 18 28 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828792544200 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.85
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 26486
/proc/meminfo: memFree=31280032/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 13409 0 1 0 179935 71 0 0 20 0 19 0 109190913 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 100854 2288 9 0 2396937 0
[pid=26356/tid=26358] ppid=26353 vsize=9625040 CPUtime=1792.24 cores=1,3,5,7
/proc/26356/task/26358/stat : 26358 (java) R 26353 26356 23284 0 -1 4202560 2556 0 1 0 179184 40 0 0 20 0 19 0 109190914 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828975779072 139828848561354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26359] ppid=26353 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26356/task/26359/stat : 26359 (java) S 26353 26356 23284 0 -1 4202560 191 0 0 0 21 5 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828819479080 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26360] ppid=26353 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26356/task/26360/stat : 26360 (java) S 26353 26356 23284 0 -1 4202560 297 0 0 0 23 4 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828818426280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26361] ppid=26353 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26356/task/26361/stat : 26361 (java) S 26353 26356 23284 0 -1 4202560 230 0 0 0 17 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828817373480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26362] ppid=26353 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26356/task/26362/stat : 26362 (java) S 26353 26356 23284 0 -1 4202560 197 0 0 0 18 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828816320680 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26363] ppid=26353 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26356/task/26363/stat : 26363 (java) S 26353 26356 23284 0 -1 4202560 50 0 0 0 16 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828815268904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26364] ppid=26353 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/26356/task/26364/stat : 26364 (java) S 26353 26356 23284 0 -1 4202560 107 0 0 0 19 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828814216104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26365] ppid=26353 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26356/task/26365/stat : 26365 (java) S 26353 26356 23284 0 -1 4202560 175 0 0 0 15 2 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828813163304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26366] ppid=26353 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26356/task/26366/stat : 26366 (java) S 26353 26356 23284 0 -1 4202560 124 0 0 0 17 2 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828812110504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26367] ppid=26353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26356/task/26367/stat : 26367 (java) S 26353 26356 23284 0 -1 4202560 68 0 0 0 0 1 0 0 20 0 19 0 109190916 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828799912424 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26368] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26368/stat : 26368 (java) S 26353 26356 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828798858488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26369] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26369/stat : 26369 (java) S 26353 26356 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828797805576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26370] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26370/stat : 26370 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828796754064 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26371] ppid=26353 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/26356/task/26371/stat : 26371 (java) S 26353 26356 23284 0 -1 4202560 3956 0 0 0 55 2 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828795702200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26372] ppid=26353 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/26356/task/26372/stat : 26372 (java) S 26353 26356 23284 0 -1 4202560 4096 0 0 0 54 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828794649400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26373] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26373/stat : 26373 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828793596792 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26374] ppid=26353 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/26356/task/26374/stat : 26374 (java) S 26353 26356 23284 0 -1 4202560 104 0 0 0 18 28 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828792544200 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 26356 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 26486
/proc/meminfo: memFree=31280032/32872528 swapFree=8144/8144
[pid=26356] ppid=26353 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/26356/stat : 26356 (java) S 26353 26356 23284 0 -1 4202496 13409 0 1 0 179935 71 0 0 20 0 19 0 109190913 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 140733760038496 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26356/statm: 2406260 100854 2288 9 0 2396937 0
[pid=26356/tid=26358] ppid=26353 vsize=9625040 CPUtime=1792.24 cores=1,3,5,7
/proc/26356/task/26358/stat : 26358 (java) R 26353 26356 23284 0 -1 4202560 2556 0 1 0 179184 40 0 0 20 0 19 0 109190914 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828975779072 139828848561354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26359] ppid=26353 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26356/task/26359/stat : 26359 (java) S 26353 26356 23284 0 -1 4202560 191 0 0 0 21 5 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828819479080 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26360] ppid=26353 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26356/task/26360/stat : 26360 (java) S 26353 26356 23284 0 -1 4202560 297 0 0 0 23 4 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828818426280 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26361] ppid=26353 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26356/task/26361/stat : 26361 (java) S 26353 26356 23284 0 -1 4202560 230 0 0 0 17 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828817373480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26362] ppid=26353 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26356/task/26362/stat : 26362 (java) S 26353 26356 23284 0 -1 4202560 197 0 0 0 18 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828816320680 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26363] ppid=26353 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26356/task/26363/stat : 26363 (java) S 26353 26356 23284 0 -1 4202560 50 0 0 0 16 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828815268904 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26364] ppid=26353 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/26356/task/26364/stat : 26364 (java) S 26353 26356 23284 0 -1 4202560 107 0 0 0 19 3 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828814216104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26356/tid=26365] ppid=26353 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26356/task/26365/stat : 26365 (java) S 26353 26356 23284 0 -1 4202560 175 0 0 0 15 2 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828813163304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26366] ppid=26353 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26356/task/26366/stat : 26366 (java) S 26353 26356 23284 0 -1 4202560 124 0 0 0 17 2 0 0 20 0 19 0 109190915 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828812110504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26356/tid=26367] ppid=26353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26356/task/26367/stat : 26367 (java) S 26353 26356 23284 0 -1 4202560 68 0 0 0 0 1 0 0 20 0 19 0 109190916 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828799912424 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26368] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26368/stat : 26368 (java) S 26353 26356 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828798858488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26369] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26369/stat : 26369 (java) S 26353 26356 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109190917 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828797805576 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26370] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26370/stat : 26370 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828796754064 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26371] ppid=26353 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/26356/task/26371/stat : 26371 (java) S 26353 26356 23284 0 -1 4202560 3956 0 0 0 55 2 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828795702200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26372] ppid=26353 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/26356/task/26372/stat : 26372 (java) S 26353 26356 23284 0 -1 4202560 4096 0 0 0 54 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828794649400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26373] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26373/stat : 26373 (java) S 26353 26356 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828793596792 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26356/tid=26374] ppid=26353 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/26356/task/26374/stat : 26374 (java) S 26353 26356 23284 0 -1 4202560 104 0 0 0 18 28 0 0 20 0 19 0 109190919 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828792544200 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26356/tid=26375] ppid=26353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26356/task/26375/stat : 26375 (java) S 26353 26356 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109190958 9856040960 100854 33554432000 1073741824 1073778376 140733760047360 139828791489704 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26356 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=788150
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=111830
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.55
CPU time (s): 1800.06
CPU user time (s): 1799.35
CPU system time (s): 0.71
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 1.11183
maximum resident set size= 403544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13447
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38535
involuntary context switches= 14275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9332 second user time and 11.4933 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-07 06:09:49
IDJOB=4085911
IDBENCH=72483
IDSOLVER=2546
FILE ID=node133/4085911-1465272589
RUNJOBID= node133-1465257785-23301
PBS_JOBID= 19843288
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085911-1465272589/watcher-4085911-1465272589 -o /tmp/evaluation-result-4085911-1465272589/solver-4085911-1465272589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085911-1465272589.opb

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

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=858724413

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
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		: 2667.065
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:        30692432 kB
Buffers:           80268 kB
Cached:           137840 kB
SwapCached:         2064 kB
Active:          1280796 kB
Inactive:         150212 kB
Active(anon):    1213904 kB
Inactive(anon):     1428 kB
Active(file):      66892 kB
Inactive(file):   148784 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098268 kB
Dirty:               616 kB
Writeback:             0 kB
AnonPages:       1230516 kB
Mapped:            15484 kB
Shmem:                 0 kB
Slab:             597256 kB
SReclaimable:      40400 kB
SUnreclaim:       556856 kB
KernelStack:        1624 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2707000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1185792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node133 at 2016-06-07 06:39:46