Trace number 4119402

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)551 1800.03 1775.34

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.opb
MD5SUM5019819e38c93741933e11d6bd120509
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark474
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables553
Total number of constraints8097
Number of constraints which are clauses8096
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 1821
Biggest coefficient in the objective function 741
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 4979
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 741
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 4979
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)1463
Sum of products size (including duplicates)2926
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4119402-1467257444.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
0.78/0.46	c ... done. Wall clock time 0.36s.
0.78/0.46	c declared #vars     553
0.78/0.46	c internal #vars     2016
0.78/0.46	c #constraints  11024
0.78/0.46	c constraints type 
0.78/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9559
0.78/0.46	c org.sat4j.specs.Constr$1 => 1
0.78/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.78/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1463
0.78/0.46	c 11024 constraints processed.
0.78/0.46	c objective function length is 1821 literals
1.08/0.50	c SATISFIABLE
1.08/0.50	c OPTIMIZING...
1.08/0.50	c Got one! Elapsed wall clock time (in seconds):0.401
1.08/0.50	o 621
1.08/0.57	c Got one! Elapsed wall clock time (in seconds):0.47
1.08/0.57	o 620
1.38/0.63	c Got one! Elapsed wall clock time (in seconds):0.529
1.38/0.63	o 612
1.68/0.76	c Got one! Elapsed wall clock time (in seconds):0.659
1.68/0.76	o 611
1.68/0.77	c Got one! Elapsed wall clock time (in seconds):0.669
1.68/0.77	o 609
1.68/0.78	c Got one! Elapsed wall clock time (in seconds):0.678
1.68/0.78	o 608
1.68/0.79	c Got one! Elapsed wall clock time (in seconds):0.685
1.68/0.79	o 600
2.31/1.01	c Got one! Elapsed wall clock time (in seconds):0.913
2.31/1.01	o 599
2.31/1.03	c Got one! Elapsed wall clock time (in seconds):0.931
2.31/1.03	o 597
2.31/1.04	c Got one! Elapsed wall clock time (in seconds):0.935
2.31/1.04	o 587
2.43/1.10	c Got one! Elapsed wall clock time (in seconds):1.003
2.43/1.10	o 586
2.43/1.11	c Got one! Elapsed wall clock time (in seconds):1.012
2.43/1.11	o 585
2.43/1.12	c Got one! Elapsed wall clock time (in seconds):1.015
2.43/1.12	o 576
3.10/1.72	c cleaning 2979 clauses out of 5984 with flag 8054/5984
3.33/1.94	c Got one! Elapsed wall clock time (in seconds):1.843
3.33/1.94	o 575
3.33/1.95	c Got one! Elapsed wall clock time (in seconds):1.847
3.33/1.95	o 573
3.49/2.01	c Got one! Elapsed wall clock time (in seconds):1.91
3.49/2.01	o 572
3.49/2.05	c Got one! Elapsed wall clock time (in seconds):1.947
3.49/2.05	o 571
3.49/2.05	c Got one! Elapsed wall clock time (in seconds):1.95
3.49/2.05	o 568
3.49/2.05	c Got one! Elapsed wall clock time (in seconds):1.953
3.49/2.05	o 567
4.12/2.64	c cleaning 4600 clauses out of 9211 with flag 8150/12190
4.62/3.12	c Got one! Elapsed wall clock time (in seconds):3.018
4.62/3.12	o 566
4.62/3.13	c Got one! Elapsed wall clock time (in seconds):3.031
4.62/3.13	o 565
4.73/3.20	c Got one! Elapsed wall clock time (in seconds):3.099
4.73/3.20	o 564
4.73/3.20	c Got one! Elapsed wall clock time (in seconds):3.103
4.73/3.20	o 563
5.03/3.52	c cleaning 5232 clauses out of 10470 with flag 4120/18049
6.04/4.42	c cleaning 5608 clauses out of 11238 with flag 16869/24049
7.05/5.45	c cleaning 6305 clauses out of 12630 with flag 31556/31049
8.25/6.65	c cleaning 7153 clauses out of 14324 with flag 47937/39048
9.65/8.00	c cleaning 8077 clauses out of 16171 with flag 66177/48048
11.39/9.60	c cleaning 9038 clauses out of 18094 with flag 86595/58048
12.99/11.29	c cleaning 10021 clauses out of 20056 with flag 110624/69048
14.89/13.15	c cleaning 11009 clauses out of 22036 with flag 135937/81049
17.22/15.36	c cleaning 11997 clauses out of 24027 with flag 162943/94049
19.62/17.75	c cleaning 13005 clauses out of 26029 with flag 191032/108048
22.60/20.52	c cleaning 14002 clauses out of 28024 with flag 221668/123048
25.40/23.36	c cleaning 15002 clauses out of 30025 with flag 253915/139051
28.48/26.37	c cleaning 15999 clauses out of 32020 with flag 289158/156048
31.68/29.55	c cleaning 17000 clauses out of 34021 with flag 326297/174048
35.43/33.12	c cleaning 18003 clauses out of 36022 with flag 365922/193049
39.22/36.91	c cleaning 19006 clauses out of 38019 with flag 406611/213049
43.56/40.95	c cleaning 19998 clauses out of 40012 with flag 450793/234048
47.86/45.21	c cleaning 20999 clauses out of 42014 with flag 497353/256048
51.96/49.33	c cleaning 21995 clauses out of 44015 with flag 545775/279048
56.88/54.15	c cleaning 22998 clauses out of 46021 with flag 598034/303049
61.88/59.16	c cleaning 23996 clauses out of 48022 with flag 652986/328048
67.18/64.46	c cleaning 25001 clauses out of 50027 with flag 710492/354049
73.11/70.03	c cleaning 26005 clauses out of 52027 with flag 769757/381050
78.51/75.40	c cleaning 27000 clauses out of 54020 with flag 832326/409048
84.52/81.44	c cleaning 28000 clauses out of 56022 with flag 892162/438050
90.91/87.87	c cleaning 28998 clauses out of 58020 with flag 953661/468048
97.91/94.52	c cleaning 29997 clauses out of 60022 with flag 1018114/499048
105.01/101.62	c cleaning 30998 clauses out of 62026 with flag 1084754/531049
112.61/109.23	c cleaning 32004 clauses out of 64029 with flag 1153873/564050
120.41/117.03	c cleaning 33000 clauses out of 66024 with flag 1224854/598049
128.92/125.09	c cleaning 33997 clauses out of 68023 with flag 1296920/633048
136.82/132.99	c cleaning 35000 clauses out of 70026 with flag 1370162/669048
145.42/141.59	c cleaning 36004 clauses out of 72026 with flag 1445732/706048
155.69/151.32	c cleaning 36999 clauses out of 74022 with flag 1524939/744048
165.19/160.89	c cleaning 37986 clauses out of 76023 with flag 1606057/783048
174.99/170.69	c cleaning 39003 clauses out of 78038 with flag 1689556/823049
185.20/180.51	c cleaning 40008 clauses out of 80034 with flag 1774966/864048
194.70/190.02	c cleaning 41003 clauses out of 82029 with flag 1862128/906051
204.42/199.79	c cleaning 42002 clauses out of 84024 with flag 1953164/949049
215.53/210.52	c cleaning 43003 clauses out of 86022 with flag 2046938/993049
225.83/220.81	c cleaning 43998 clauses out of 88018 with flag 2142301/1038048
237.53/232.53	c cleaning 45001 clauses out of 90021 with flag 2239249/1084049
249.15/243.90	c cleaning 45989 clauses out of 92020 with flag 2337239/1131049
260.16/254.99	c cleaning 47006 clauses out of 94030 with flag 2439035/1179048
272.69/267.25	c cleaning 48004 clauses out of 96024 with flag 2544120/1228048
280.99/275.51	c Got one! Elapsed wall clock time (in seconds):275.411
280.99/275.51	o 562
281.29/275.86	c Got one! Elapsed wall clock time (in seconds):275.757
281.29/275.86	o 561
282.59/277.13	c cleaning 45124 clauses out of 90280 with flag 8804/1270308
283.81/278.35	c cleaning 25567 clauses out of 51156 with flag 21917/1276308
285.01/279.58	c cleaning 16291 clauses out of 32594 with flag 36909/1283313
286.30/280.90	c cleaning 12139 clauses out of 24298 with flag 54835/1291308
287.80/282.34	c cleaning 10573 clauses out of 21161 with flag 74906/1300310
289.41/283.93	c cleaning 10277 clauses out of 20587 with flag 96373/1310309
291.28/285.74	c cleaning 10639 clauses out of 21310 with flag 119901/1321309
293.18/287.65	c cleaning 11324 clauses out of 22670 with flag 145205/1333308
295.28/289.72	c cleaning 12166 clauses out of 24347 with flag 172281/1346309
297.58/292.08	c cleaning 13085 clauses out of 26180 with flag 201853/1360308
300.18/294.63	c cleaning 14037 clauses out of 28096 with flag 233462/1375309
302.88/297.36	c cleaning 15019 clauses out of 30058 with flag 268191/1391308
305.77/300.21	c cleaning 16006 clauses out of 32039 with flag 303502/1408308
309.08/303.41	c cleaning 17004 clauses out of 34035 with flag 341014/1426310
312.38/306.71	c cleaning 18004 clauses out of 36029 with flag 381240/1445308
315.88/310.25	c cleaning 19000 clauses out of 38026 with flag 424914/1465309
319.68/314.01	c cleaning 19999 clauses out of 40025 with flag 470107/1486308
323.48/317.88	c cleaning 20998 clauses out of 42028 with flag 516073/1508310
327.86/322.13	c cleaning 22009 clauses out of 44029 with flag 565069/1531309
332.26/326.59	c cleaning 23000 clauses out of 46021 with flag 616034/1555310
336.97/331.24	c cleaning 23995 clauses out of 48019 with flag 667338/1580308
342.06/336.31	c cleaning 25004 clauses out of 50025 with flag 721028/1606309
347.57/341.71	c cleaning 26002 clauses out of 52021 with flag 777013/1633309
353.16/347.36	c cleaning 26991 clauses out of 54018 with flag 834796/1661308
359.17/353.30	c cleaning 27996 clauses out of 56028 with flag 896047/1690309
365.42/359.50	c cleaning 29004 clauses out of 58033 with flag 959390/1720310
371.72/365.77	c cleaning 30005 clauses out of 60028 with flag 1025857/1751309
378.33/372.36	c cleaning 31005 clauses out of 62023 with flag 1095452/1783309
385.68/379.52	c cleaning 31993 clauses out of 64017 with flag 1164620/1816308
392.87/386.74	c cleaning 33004 clauses out of 66025 with flag 1236035/1850309
400.47/394.39	c cleaning 33994 clauses out of 68021 with flag 1310734/1885309
408.70/402.44	c cleaning 35000 clauses out of 70027 with flag 1386609/1921309
417.00/410.71	c cleaning 35994 clauses out of 72029 with flag 1463752/1958311
425.79/419.43	c cleaning 36997 clauses out of 74032 with flag 1543014/1996308
433.89/427.58	c cleaning 38002 clauses out of 76036 with flag 1624076/2035309
443.37/436.81	c cleaning 39005 clauses out of 78033 with flag 1709422/2075308
452.46/445.98	c cleaning 40002 clauses out of 80028 with flag 1797249/2116308
462.50/455.78	c cleaning 41000 clauses out of 82026 with flag 1888915/2158308
472.79/466.04	c cleaning 42002 clauses out of 84026 with flag 1979802/2201308
483.64/476.79	c cleaning 42999 clauses out of 86025 with flag 2072290/2245309
494.64/487.72	c cleaning 44008 clauses out of 88025 with flag 2167167/2290308
506.92/499.96	c cleaning 45000 clauses out of 90019 with flag 2262803/2336310
519.33/512.17	c cleaning 45995 clauses out of 92017 with flag 2360261/2383308
531.34/524.11	c cleaning 46995 clauses out of 94022 with flag 2459798/2431308
544.37/537.01	c cleaning 48001 clauses out of 96028 with flag 2562027/2480309
557.64/550.17	c cleaning 49004 clauses out of 98027 with flag 2666506/2530309
570.80/563.20	c cleaning 49998 clauses out of 100022 with flag 2773594/2581308
583.81/576.15	c cleaning 50999 clauses out of 102024 with flag 2881815/2633308
597.50/589.67	c cleaning 52006 clauses out of 104026 with flag 2991397/2686309
612.28/604.33	c cleaning 52993 clauses out of 106019 with flag 3103412/2740308
627.80/619.78	c cleaning 54004 clauses out of 108028 with flag 3216299/2795310
644.13/635.91	c cleaning 54994 clauses out of 110023 with flag 3330572/2851309
660.74/652.42	c cleaning 56002 clauses out of 112028 with flag 3448022/2908308
676.66/668.23	c cleaning 57003 clauses out of 114027 with flag 3567216/2966309
693.69/685.15	c cleaning 57996 clauses out of 116023 with flag 3693801/3025308
710.89/702.29	c cleaning 59000 clauses out of 118030 with flag 3816798/3085311
727.72/718.92	c cleaning 59998 clauses out of 120027 with flag 3943953/3146308
745.96/736.91	c cleaning 60999 clauses out of 122031 with flag 4071372/3208310
765.81/756.67	c cleaning 62005 clauses out of 124031 with flag 4201807/3271309
785.18/775.74	c cleaning 62997 clauses out of 126026 with flag 4333655/3335309
800.16/790.58	c Got one! Elapsed wall clock time (in seconds):790.479
800.16/790.58	o 560
801.17/791.59	c Got one! Elapsed wall clock time (in seconds):791.494
801.17/791.59	o 559
802.77/793.12	c cleaning 61063 clauses out of 122149 with flag 6709/3394429
803.77/794.15	c Got one! Elapsed wall clock time (in seconds):794.049
803.77/794.15	o 558
804.86/795.21	c Got one! Elapsed wall clock time (in seconds):795.107
804.86/795.21	o 557
804.97/795.32	c Got one! Elapsed wall clock time (in seconds):795.221
804.97/795.32	o 556
804.97/795.33	c Got one! Elapsed wall clock time (in seconds):795.227
804.97/795.33	o 555
804.97/795.36	c Got one! Elapsed wall clock time (in seconds):795.256
804.97/795.36	o 554
804.97/795.36	c Got one! Elapsed wall clock time (in seconds):795.261
804.97/795.36	o 553
805.36/795.75	c cleaning 36146 clauses out of 72324 with flag 2121/3405667
806.46/796.89	c cleaning 21074 clauses out of 42179 with flag 14900/3411668
807.69/798.06	c cleaning 14040 clauses out of 28105 with flag 29802/3418668
808.90/799.29	c cleaning 11020 clauses out of 22064 with flag 46823/3426667
810.30/800.67	c cleaning 10008 clauses out of 20044 with flag 65861/3435667
811.80/802.18	c cleaning 10007 clauses out of 20037 with flag 87025/3445668
813.50/803.86	c cleaning 10501 clauses out of 21029 with flag 109961/3456667
815.42/805.76	c cleaning 11251 clauses out of 22528 with flag 134990/3468667
817.52/807.80	c cleaning 12124 clauses out of 24278 with flag 161862/3481668
819.72/810.04	c cleaning 13057 clauses out of 26154 with flag 192115/3495668
822.13/812.48	c cleaning 14036 clauses out of 28098 with flag 224382/3510669
824.94/815.22	c cleaning 15014 clauses out of 30061 with flag 257780/3526668
827.87/818.19	c cleaning 16003 clauses out of 32046 with flag 293802/3543667
831.07/821.32	c cleaning 17006 clauses out of 34044 with flag 331424/3561668
834.69/824.98	c cleaning 18009 clauses out of 36039 with flag 370280/3580669
838.49/828.73	c cleaning 18999 clauses out of 38030 with flag 411531/3600669
842.66/832.86	c cleaning 19997 clauses out of 40029 with flag 455508/3621667
846.84/836.98	c cleaning 20995 clauses out of 42032 with flag 500901/3643667
851.24/841.38	c cleaning 22013 clauses out of 44039 with flag 550647/3666669
856.21/846.20	c cleaning 22999 clauses out of 46025 with flag 600669/3690668
861.57/851.53	c cleaning 24004 clauses out of 48030 with flag 651844/3715672
866.67/856.61	c cleaning 24999 clauses out of 50021 with flag 706902/3741667
872.10/862.07	c cleaning 25998 clauses out of 52022 with flag 766246/3768667
878.18/868.08	c cleaning 27003 clauses out of 54025 with flag 826299/3796668
884.44/874.25	c cleaning 28001 clauses out of 56021 with flag 886291/3825667
891.19/880.98	c cleaning 28997 clauses out of 58022 with flag 948193/3855669
898.13/887.83	c cleaning 29999 clauses out of 60023 with flag 1012081/3886667
905.08/894.71	c cleaning 30995 clauses out of 62024 with flag 1077089/3918667
912.33/901.85	c cleaning 32006 clauses out of 64032 with flag 1149124/3951670
920.34/909.78	c cleaning 32990 clauses out of 66024 with flag 1220598/3985668
929.10/918.42	c cleaning 34007 clauses out of 68035 with flag 1292956/4020669
937.73/926.94	c cleaning 34997 clauses out of 70029 with flag 1366109/4056670
946.50/935.61	c cleaning 35999 clauses out of 72030 with flag 1442030/4093668
955.64/944.68	c cleaning 37001 clauses out of 74030 with flag 1522713/4131667
965.03/953.88	c cleaning 38001 clauses out of 76029 with flag 1607412/4170667
974.72/963.34	c cleaning 38998 clauses out of 78029 with flag 1691575/4210668
983.99/972.56	c cleaning 40000 clauses out of 80030 with flag 1776346/4251667
994.20/982.47	c cleaning 41001 clauses out of 82031 with flag 1865641/4293668
1004.48/992.58	c cleaning 42003 clauses out of 84029 with flag 1956972/4336667
1015.45/1003.33	c cleaning 42996 clauses out of 86026 with flag 2048829/4380667
1026.46/1014.14	c cleaning 43999 clauses out of 88030 with flag 2141385/4425667
1037.53/1025.06	c cleaning 44999 clauses out of 90032 with flag 2235662/4471668
1049.28/1036.51	c cleaning 45997 clauses out of 92032 with flag 2332614/4518667
1062.05/1049.18	c cleaning 46994 clauses out of 94036 with flag 2432808/4566668
1074.87/1061.78	c cleaning 48002 clauses out of 96041 with flag 2536826/4615667
1088.37/1075.07	c cleaning 49015 clauses out of 98043 with flag 2643506/4665671
1102.81/1089.20	c cleaning 49995 clauses out of 100025 with flag 2746503/4716668
1117.19/1103.36	c cleaning 51004 clauses out of 102029 with flag 2854794/4768667
1131.57/1117.40	c cleaning 52000 clauses out of 104025 with flag 2965686/4821667
1146.32/1132.00	c cleaning 53001 clauses out of 106026 with flag 3077398/4875668
1162.09/1147.55	c cleaning 53994 clauses out of 108024 with flag 3189718/4930667
1176.45/1161.73	c Got one! Elapsed wall clock time (in seconds):1161.625
1176.45/1161.73	o 552
1177.14/1162.43	c Got one! Elapsed wall clock time (in seconds):1162.325
1177.14/1162.43	o 551
1178.67/1163.81	c cleaning 54915 clauses out of 109842 with flag 6723/4986479
1179.97/1165.14	c cleaning 30443 clauses out of 60925 with flag 19235/4992477
1181.27/1166.41	c cleaning 18729 clauses out of 37483 with flag 33908/4999478
1182.60/1167.73	c cleaning 13367 clauses out of 26753 with flag 51469/5007477
1184.00/1169.13	c cleaning 11172 clauses out of 22386 with flag 70616/5016477
1185.50/1170.69	c cleaning 10589 clauses out of 21214 with flag 92477/5026477
1187.33/1172.41	c cleaning 10800 clauses out of 21625 with flag 116538/5037477
1189.27/1174.33	c cleaning 11402 clauses out of 22826 with flag 143023/5049478
1191.27/1176.38	c cleaning 12197 clauses out of 24425 with flag 171156/5062479
1193.71/1178.72	c cleaning 13098 clauses out of 26226 with flag 201676/5076477
1196.27/1181.22	c cleaning 14053 clauses out of 28129 with flag 234780/5091478
1198.88/1183.88	c cleaning 15025 clauses out of 30075 with flag 269119/5107477
1201.77/1186.68	c cleaning 16011 clauses out of 32051 with flag 305931/5124478
1204.89/1189.78	c cleaning 17007 clauses out of 34044 with flag 345174/5142482
1208.22/1193.03	c cleaning 17998 clauses out of 36032 with flag 387061/5161477
1211.85/1196.62	c cleaning 19001 clauses out of 38034 with flag 430016/5181477
1215.78/1200.50	c cleaning 20004 clauses out of 40035 with flag 473716/5202479
1220.17/1204.80	c cleaning 20993 clauses out of 42029 with flag 519999/5224477
1224.63/1209.26	c cleaning 22003 clauses out of 44037 with flag 567444/5247478
1229.19/1213.78	c cleaning 23005 clauses out of 46033 with flag 617524/5271477
1234.39/1218.84	c cleaning 24005 clauses out of 48030 with flag 670360/5296479
1239.54/1223.96	c cleaning 24999 clauses out of 50023 with flag 726453/5322477
1244.84/1229.12	c cleaning 25993 clauses out of 52026 with flag 783357/5349479
1250.89/1235.00	c cleaning 27008 clauses out of 54032 with flag 842019/5377478
1256.65/1240.70	c cleaning 28002 clauses out of 56023 with flag 903010/5406477
1262.68/1246.62	c cleaning 28995 clauses out of 58021 with flag 967702/5436477
1269.32/1253.17	c cleaning 30000 clauses out of 60027 with flag 1033403/5467478
1276.17/1259.83	c cleaning 31004 clauses out of 62026 with flag 1101086/5499477
1283.25/1266.87	c cleaning 31993 clauses out of 64022 with flag 1169064/5532477
1290.89/1274.36	c cleaning 33009 clauses out of 66032 with flag 1238925/5566480
1298.65/1281.95	c cleaning 33989 clauses out of 68020 with flag 1311500/5601477
1306.90/1290.00	c cleaning 34999 clauses out of 70031 with flag 1389184/5637477
1315.82/1298.77	c cleaning 36008 clauses out of 72033 with flag 1469679/5674478
1325.01/1307.80	c cleaning 37001 clauses out of 74026 with flag 1551817/5712479
1333.62/1316.31	c cleaning 38001 clauses out of 76024 with flag 1635647/5751478
1343.51/1326.11	c cleaning 39007 clauses out of 78022 with flag 1720599/5791477
1352.91/1335.34	c cleaning 39996 clauses out of 80015 with flag 1809526/5832477
1362.40/1344.68	c cleaning 40992 clauses out of 82019 with flag 1899254/5874477
1372.27/1354.32	c cleaning 42007 clauses out of 84028 with flag 1989560/5917478
1382.65/1364.50	c cleaning 42997 clauses out of 86021 with flag 2082056/5961478
1394.24/1375.99	c cleaning 44001 clauses out of 88023 with flag 2179099/6006477
1405.11/1386.66	c cleaning 45002 clauses out of 90024 with flag 2279914/6052479
1415.92/1397.24	c cleaning 45995 clauses out of 92020 with flag 2381177/6099477
1428.00/1409.20	c cleaning 47001 clauses out of 94026 with flag 2478922/6147478
1441.13/1422.05	c cleaning 48001 clauses out of 96025 with flag 2577807/6196478
1453.85/1434.45	c cleaning 49002 clauses out of 98024 with flag 2678756/6246478
1466.90/1447.30	c cleaning 49992 clauses out of 100021 with flag 2782512/6297477
1480.83/1461.01	c cleaning 51004 clauses out of 102030 with flag 2888028/6349478
1494.39/1474.45	c cleaning 52005 clauses out of 104029 with flag 3001310/6402481
1509.15/1488.97	c cleaning 52994 clauses out of 106020 with flag 3115462/6456477
1524.75/1504.40	c cleaning 53993 clauses out of 108026 with flag 3232240/6511477
1542.01/1521.34	c cleaning 55011 clauses out of 110033 with flag 3350852/6567477
1557.88/1536.95	c cleaning 56000 clauses out of 112023 with flag 3469423/6624478
1572.80/1551.65	c cleaning 57000 clauses out of 114023 with flag 3588692/6682478
1589.56/1568.16	c cleaning 57996 clauses out of 116022 with flag 3712550/6741477
1606.79/1585.10	c cleaning 59002 clauses out of 118027 with flag 3839128/6801478
1624.72/1602.71	c cleaning 60005 clauses out of 120025 with flag 3967279/6862478
1642.96/1620.73	c cleaning 60989 clauses out of 122020 with flag 4094539/6924478
1659.90/1637.45	c cleaning 62002 clauses out of 124030 with flag 4225676/6987477
1678.88/1656.13	c cleaning 63003 clauses out of 126028 with flag 4361964/7051477
1699.84/1676.72	c cleaning 64000 clauses out of 128025 with flag 4499306/7116477
1719.71/1696.26	c cleaning 64994 clauses out of 130025 with flag 4638765/7182477
1737.49/1713.73	c cleaning 66004 clauses out of 132031 with flag 4782231/7249477
1757.56/1733.55	c cleaning 67002 clauses out of 134028 with flag 4926013/7317478
1779.41/1755.03	c cleaning 67998 clauses out of 136026 with flag 5067209/7386478
1799.83/1775.12	c cleaning 69005 clauses out of 138027 with flag 5210875/7456477
1800.03/1775.30	c starts		: 36
1800.03/1775.30	c conflicts		: 7457393
1800.03/1775.30	c decisions		: 7697111
1800.03/1775.30	c propagations		: 143682904
1800.03/1775.30	c inspects		: 14857889196
1800.03/1775.30	c shortcuts		: 0
1800.03/1775.30	c learnt literals	: 0
1800.03/1775.30	c learnt binary clauses	: 0
1800.03/1775.30	c learnt ternary clauses	: 31
1800.03/1775.30	c learnt constraints	: 7457393
1800.03/1775.30	c ignored constraints	: 0
1800.03/1775.30	c root simplifications	: 0
1800.03/1775.30	c removed literals (reason simplification)	: 0
1800.03/1775.30	c reason swapping (by a shorter reason)	: 0
1800.03/1775.30	c Calls to reduceDB	: 225
1800.03/1775.30	c Number of update (reduction) of LBD	: 54553
1800.03/1775.30	c Imported unit clauses	: 0
1800.03/1775.30	c number of reductions to clauses (during analyze)	: 0
1800.03/1775.30	c number of learned constraints concerned by reduction	: 0
1800.03/1775.30	c number of learning phase by resolution	: 0
1800.03/1775.30	c number of learning phase by cutting planes	: 0
1800.03/1775.30	c speed (assignments/second)	: 80955.82283608975
1800.03/1775.30	c non guided choices	887
1800.03/1775.33	c learnt constraints type 
1800.03/1775.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69938
1800.03/1775.33	s SATISFIABLE
1800.03/1775.33	c Found 35 solution(s)
1800.03/1775.33	v -x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 -x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 x91 x92 x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 x106 x107 x108 x109 x110 x111 -x112 x113 x114 x115 x116 x117 x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 x143 x144 -x145 x146 x147 x148 x149 x150 x151 -x152 x153 -x154 x155 -x156 x157 x158 x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 x233 x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 -x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 -x275 -x276 x277 x278 -x279 x280 x281 -x282 -x283 -x284 -x285 x286 x287 x288 x289 x290 x291 x292 x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 x308 x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 x367 -x368 -x369 x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 x379 x380 -x381 x382 x383 x384 x385 x386 x387 x388 x389 -x390 x391 x392 x393 -x394 -x395 x396 x397 x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 x463 -x464 -x465 x466 x467 x468 -x469 -x470 x471 x472 x473 -x474 x475 -x476 -x477 -x478 x479 x480 -x481 -x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 x499 x500 x501 -x502 -x503 x504 x505 x506 -x507 x508 x509 x510 -x511 -x512 x513 x514 x515 -x516 x517 x518 -x519 -x520 x521 x522 x523 -x524 x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 -x542 x543 x544 x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 
1800.03/1775.33	c objective function=551
1800.03/1775.33	c Total wall clock time (in seconds): 1775.228

Verifier Data 

OK	551

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-4119402-1467257444/watcher-4119402-1467257444 -o /tmp/evaluation-result-4119402-1467257444/solver-4119402-1467257444 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6484 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119402-1467257444.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.10 2.12 3/195 7724
/proc/meminfo: memFree=29640156/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 1285 0 0 0 0 0 0 0 20 0 2 0 4773624 94019584 918 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 23225 921 698 9 0 16769 0
[pid=7724/tid=7725] ppid=7721 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) D 7721 7724 6303 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 4773625 95129600 927 33554432000 1073741824 1073778376 140733282393376 139853614980648 271778409767 0 0 4096 0 18446744072100588836 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.03 2.10 2.12 3/195 7724
/proc/meminfo: memFree=29640156/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 4502 0 1 0 10 0 0 0 20 0 18 0 4773624 9787879424 6130 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2389619 6130 2157 9 0 2380296 0
[pid=7724/tid=7725] ppid=7721 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2380 0 1 0 7 0 0 0 20 0 18 0 4773625 9787879424 6130 33554432000 1073741824 1073778376 140733282393376 139853614984096 139853480183169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200267 s]
/proc/loadavg: 2.03 2.10 2.12 3/195 7724
/proc/meminfo: memFree=29640156/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 4703 0 1 0 25 0 0 0 20 0 18 0 4773624 9787879424 6794 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2389619 6794 2215 9 0 2380296 0
[pid=7724/tid=7725] ppid=7721 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2404 0 1 0 17 0 0 0 20 0 18 0 4773625 9787879424 6794 33554432000 1073741824 1073778376 140733282393376 139853614984096 139853480166743 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300252 s]
/proc/loadavg: 2.03 2.10 2.12 3/195 7724
/proc/meminfo: memFree=29640156/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 6037 0 1 0 47 1 0 0 20 0 18 0 4773624 9787879424 8647 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2389619 8647 2240 9 0 2380296 0
[pid=7724/tid=7725] ppid=7721 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2406 0 1 0 27 0 0 0 20 0 18 0 4773625 9787879424 8647 33554432000 1073741824 1073778376 140733282393376 139853614984096 139853480179441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700206 s]
/proc/loadavg: 2.03 2.10 2.12 3/195 7724
/proc/meminfo: memFree=29640156/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 17406 0 1 0 165 3 0 0 20 0 19 0 4773624 9856040960 17882 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 17882 2266 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2426 0 1 0 67 0 0 0 20 0 19 0 4773625 9856040960 17882 33554432000 1073741824 1073778376 140733282393376 139853614977176 139853480181047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.03 2.10 2.12 3/214 7743
/proc/meminfo: memFree=29567940/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 18104 0 1 0 280 3 0 0 20 0 19 0 4773624 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 23576 2273 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2439 0 1 0 146 1 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853614985704 139853480871899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7727] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853604047400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7728] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853602994600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7729] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853601941800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7730] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853600889000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7731] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853599837224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7732] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853598784424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7733] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853452491560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7734] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853451438760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7735] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 6303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4773626 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853439240680 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7736] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853438186744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7737] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853437133832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7738] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853436082320 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7739] ppid=7721 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 6303 0 -1 4202560 5765 0 0 0 64 0 0 0 20 0 19 0 4773629 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853435030456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7740] ppid=7721 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/7724/task/7740/stat : 7740 (java) S 7721 7724 6303 0 -1 4202560 8622 0 0 0 67 2 0 0 20 0 19 0 4773629 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853433977656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7741] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853432925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7742] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7742/stat : 7742 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853431872456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7743] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4773672 9856040960 23576 33554432000 1073741824 1073778376 140733282393376 139853430768808 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.03 2.10 2.12 3/214 7743
/proc/meminfo: memFree=29530828/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=4.62 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 20166 0 1 0 458 4 0 0 20 0 19 0 4773624 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 35358 2278 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2464 0 1 0 306 1 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853614985704 139853481167218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7727] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853604047400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7728] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853602994600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7729] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853601941800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7730] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853600889000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7731] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853599837224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7732] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853598784424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7733] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853452491560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7734] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853451438760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7735] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 6303 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4773626 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853439240680 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7736] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853438186744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7737] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853437133832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7738] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853436082320 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7739] ppid=7721 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 6303 0 -1 4202560 6929 0 0 0 73 1 0 0 20 0 19 0 4773629 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853435030456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7740] ppid=7721 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/7724/task/7740/stat : 7740 (java) S 7721 7724 6303 0 -1 4202560 9494 0 0 0 76 2 0 0 20 0 19 0 4773629 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853433977656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7741] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853432925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7742] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7742/stat : 7742 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853431872456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7743] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4773672 9856040960 35358 33554432000 1073741824 1073778376 140733282393376 139853430768808 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.03 2.10 2.12 3/214 7743
/proc/meminfo: memFree=29434036/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=7.95 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 20291 0 1 0 785 10 0 0 20 0 19 0 4773624 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 53130 2291 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2483 0 1 0 621 2 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853614976688 139853481082816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7727] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 6303 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853604047400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7728] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 6303 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853602994600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7729] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853601941800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7730] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 6303 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853600889000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7731] ppid=7721 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 6303 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853599837224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7732] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 6303 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853598784424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7733] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 6303 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853452491560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7734] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4773625 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853451438760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7735] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 6303 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4773626 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853439240680 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7736] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853438186744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7737] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853437133832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7738] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853436082320 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7739] ppid=7721 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 6303 0 -1 4202560 6929 0 0 0 74 1 0 0 20 0 19 0 4773629 9856040960 53130 33554432000 1073741824 1073778376 140733282393376 139853435030456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7740] ppid=7721 vsize=9625040 CPUtime=0.8 cores=0,2,4,6

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

[pid=7724/tid=7743] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4773672 9856040960 256934 33554432000 1073741824 1073778376 140733282393376 139853430768808 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1685.15
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.36 2.30 2.23 3/213 7849
/proc/meminfo: memFree=29096620/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=1746.23 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 32076 0 1 0 174327 296 0 0 20 0 19 0 4773624 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 260796 2300 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=1705.25 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2783 0 1 0 170495 30 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853614984400 139853481083644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7727] ppid=7721 vsize=9625040 CPUtime=3.73 cores=0,2,4,6
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 6303 0 -1 4202560 944 0 0 0 339 34 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853604047400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7728] ppid=7721 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 6303 0 -1 4202560 1275 0 0 0 352 34 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853602994600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7729] ppid=7721 vsize=9625040 CPUtime=3.69 cores=0,2,4,6
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 6303 0 -1 4202560 956 0 0 0 339 30 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853601941800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7730] ppid=7721 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 6303 0 -1 4202560 1184 0 0 0 321 30 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853600889000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7731] ppid=7721 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 6303 0 -1 4202560 1065 0 0 0 343 34 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853599837224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7732] ppid=7721 vsize=9625040 CPUtime=4.04 cores=0,2,4,6
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 6303 0 -1 4202560 951 0 0 0 370 34 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853598784424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7733] ppid=7721 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 6303 0 -1 4202560 1290 0 0 0 344 30 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853452491560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7734] ppid=7721 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 6303 0 -1 4202560 1122 0 0 0 369 39 0 0 20 0 19 0 4773625 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853451438760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7735] ppid=7721 vsize=9625040 CPUtime=4.22 cores=0,2,4,6
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 6303 0 -1 4202560 2718 0 0 0 417 5 0 0 20 0 19 0 4773626 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853439240680 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7736] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853438186744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7737] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853437133832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7738] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853436082320 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7739] ppid=7721 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 6303 0 -1 4202560 6929 0 0 0 74 1 0 0 20 0 19 0 4773629 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853435030456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7740] ppid=7721 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/7724/task/7740/stat : 7740 (java) S 7721 7724 6303 0 -1 4202560 9496 0 0 0 81 2 0 0 20 0 19 0 4773629 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853433977656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7741] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853432925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7742] ppid=7721 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7724/task/7742/stat : 7742 (java) S 7721 7724 6303 0 -1 4202560 99 0 0 0 28 25 0 0 20 0 19 0 4773629 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853431872456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7743] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4773672 9856040960 260796 33554432000 1073741824 1073778376 140733282393376 139853430768808 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1746.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.3 s]
/proc/loadavg: 2.19 2.27 2.22 3/214 7853
/proc/meminfo: memFree=29060896/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 32453 0 1 0 179700 303 0 0 20 0 19 0 4773624 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 273840 2300 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=1757.61 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2791 0 1 0 175730 31 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853614976688 139853480956092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7727] ppid=7721 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 6303 0 -1 4202560 983 0 0 0 358 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853604047400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7728] ppid=7721 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 6303 0 -1 4202560 1290 0 0 0 365 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853602994600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7729] ppid=7721 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 6303 0 -1 4202560 1034 0 0 0 348 30 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853601941800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7730] ppid=7721 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 6303 0 -1 4202560 1196 0 0 0 330 31 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853600889000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7731] ppid=7721 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 6303 0 -1 4202560 1158 0 0 0 359 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853599837224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7732] ppid=7721 vsize=9625040 CPUtime=4.21 cores=0,2,4,6
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 6303 0 -1 4202560 966 0 0 0 386 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853598784424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7733] ppid=7721 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 6303 0 -1 4202560 1299 0 0 0 355 30 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853452491560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7734] ppid=7721 vsize=9625040 CPUtime=4.19 cores=0,2,4,6
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 6303 0 -1 4202560 1182 0 0 0 379 40 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853451438760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7735] ppid=7721 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 6303 0 -1 4202560 2762 0 0 0 437 5 0 0 20 0 19 0 4773626 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853439240680 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7736] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853438186744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7737] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853437133832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7738] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853436082320 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7739] ppid=7721 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 6303 0 -1 4202560 6929 0 0 0 74 1 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853435030456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7740] ppid=7721 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/7724/task/7740/stat : 7740 (java) S 7721 7724 6303 0 -1 4202560 9496 0 0 0 81 2 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853433977656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7741] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853432925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7742] ppid=7721 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7724/task/7742/stat : 7742 (java) S 7721 7724 6303 0 -1 4202560 103 0 0 0 29 25 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853431872456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7743] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4773672 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853430768808 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 7724 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1775.3 s]
/proc/loadavg: 2.19 2.27 2.22 3/214 7853
/proc/meminfo: memFree=29060896/32872528 swapFree=1100912/1182672
[pid=7724] ppid=7721 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/7724/stat : 7724 (java) S 7721 7724 6303 0 -1 4202496 32453 0 1 0 179700 303 0 0 20 0 19 0 4773624 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 140733282384512 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7724/statm: 2406260 273840 2300 9 0 2396937 0
[pid=7724/tid=7725] ppid=7721 vsize=9625040 CPUtime=1757.61 cores=0,2,4,6
/proc/7724/task/7725/stat : 7725 (java) R 7721 7724 6303 0 -1 4202560 2791 0 1 0 175730 31 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853614976688 139853480956092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7727] ppid=7721 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 6303 0 -1 4202560 983 0 0 0 358 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853604047400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7728] ppid=7721 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 6303 0 -1 4202560 1290 0 0 0 365 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853602994600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7729] ppid=7721 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 6303 0 -1 4202560 1034 0 0 0 348 30 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853601941800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7730] ppid=7721 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 6303 0 -1 4202560 1196 0 0 0 330 31 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853600889000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7731] ppid=7721 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 6303 0 -1 4202560 1158 0 0 0 359 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853599837224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7732] ppid=7721 vsize=9625040 CPUtime=4.21 cores=0,2,4,6
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 6303 0 -1 4202560 966 0 0 0 386 35 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853598784424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7733] ppid=7721 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 6303 0 -1 4202560 1299 0 0 0 355 30 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853452491560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7734] ppid=7721 vsize=9625040 CPUtime=4.19 cores=0,2,4,6
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 6303 0 -1 4202560 1182 0 0 0 379 40 0 0 20 0 19 0 4773625 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853451438760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7735] ppid=7721 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 6303 0 -1 4202560 2762 0 0 0 437 5 0 0 20 0 19 0 4773626 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853439240680 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7724/tid=7736] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853438186744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7737] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4773627 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853437133832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7738] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853436082320 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7739] ppid=7721 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 6303 0 -1 4202560 6929 0 0 0 74 1 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853435030456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7724/tid=7740] ppid=7721 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/7724/task/7740/stat : 7740 (java) S 7721 7724 6303 0 -1 4202560 9496 0 0 0 81 2 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853433977656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7741] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853432925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7724/tid=7742] ppid=7721 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7724/task/7742/stat : 7742 (java) S 7721 7724 6303 0 -1 4202560 103 0 0 0 29 25 0 0 20 0 19 0 4773629 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853431872456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7724/tid=7743] ppid=7721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4773672 9856040960 273840 33554432000 1073741824 1073778376 140733282393376 139853430768808 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7724 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=489500
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=491469
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.34
CPU time (s): 1800.03
CPU user time (s): 1797
CPU system time (s): 3.03
CPU usage (%): 101.391
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.49
system time used= 3.49147
maximum resident set size= 1814284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32489
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44971
involuntary context switches= 37134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7851 second user time and 16.2435 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 05:30:44
IDJOB=4119402
IDBENCH=111721
IDSOLVER=2546
FILE ID=node115/4119402-1467257444
RUNJOBID= node115-1467248476-6484
PBS_JOBID= 20004473
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119402-1467257444/watcher-4119402-1467257444 -o /tmp/evaluation-result-4119402-1467257444/solver-4119402-1467257444 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6484 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119402-1467257444.opb

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

MD5SUM BENCH= 5019819e38c93741933e11d6bd120509
RANDOM SEED=2023527624

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.54
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.087
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.087
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.087
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.087
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.087
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:        29641212 kB
Buffers:          137624 kB
Cached:           159744 kB
SwapCached:            0 kB
Active:          1125928 kB
Inactive:         184772 kB
Active(anon):    1007108 kB
Inactive(anon):     8556 kB
Active(file):     118820 kB
Inactive(file):   176216 kB
Unevictable:     1182672 kB
Mlocked:         1100912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       2199520 kB
Mapped:            22204 kB
Shmem:               204 kB
Slab:             604704 kB
SReclaimable:      48804 kB
SUnreclaim:       555900 kB
KernelStack:        1648 kB
PageTables:         8380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2500976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1040384 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= 71660 MiB
End job on node115 at 2016-06-30 06:00:20