Trace number 4105962

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)12444 1800.04 1066.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir03_trarea_ac.opb
MD5SUM4c7127e3833be0946f911f649745c11e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11452
Best CPU time to get the best result obtained on this benchmark0.664898
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11452
Optimality of the best value was proved YES
Number of variables1343
Total number of constraints2405
Number of constraints which are clauses2405
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint55
Number of terms in the objective function 690
Biggest coefficient in the objective function 989
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 524625
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 989
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 524625
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4105962-1466267225.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.46/0.31	c ... done. Wall clock time 0.178s.
0.46/0.31	c declared #vars     1343
0.46/0.31	c #constraints  2405
0.46/0.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.46/0.31	c constraints type 
0.46/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 649
0.46/0.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.46/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1753
0.46/0.31	c 2405 constraints processed.
0.46/0.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.46/0.31	c constraints type 
0.46/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1753
0.46/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 649
0.46/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.46/0.31	c 2405 constraints processed.
0.46/0.31	c objective function length is 690 literals
0.46/0.34	c And the winner is solver0
0.58/0.81	c SATISFIABLE
0.58/0.81	c OPTIMIZING...
0.58/0.81	c Got one! Elapsed wall clock time (in seconds):0.684
0.58/0.81	o 16687
0.58/0.84	c And the winner is solver0
0.70/1.32	c Got one! Elapsed wall clock time (in seconds):1.196
0.70/1.32	o 16065
0.70/1.34	c And the winner is solver0
1.15/1.83	c Got one! Elapsed wall clock time (in seconds):1.703
1.15/1.83	o 15471
1.15/1.84	c And the winner is solver0
1.20/2.34	c Got one! Elapsed wall clock time (in seconds):2.208
1.20/2.34	o 14877
1.20/2.37	c And the winner is solver0
1.47/2.84	c Got one! Elapsed wall clock time (in seconds):2.713
1.47/2.84	o 14283
2.01/3.04	c And the winner is solver0
2.34/3.34	c Got one! Elapsed wall clock time (in seconds):3.216
2.34/3.34	o 14267
2.50/3.46	c And the winner is solver1
2.68/3.85	c Got one! Elapsed wall clock time (in seconds):3.719
2.68/3.85	o 13689
3.95/4.45	c cleaning 3412 clauses out of 6824 with flag 13190/6824
5.86/5.30	c cleaning 4705 clauses out of 9412 with flag 34623/12824
7.85/6.22	c cleaning 5852 clauses out of 11708 with flag 56197/19825
9.90/7.30	c cleaning 6926 clauses out of 13856 with flag 79773/27825
12.57/8.58	c cleaning 7948 clauses out of 15929 with flag 106791/36824
15.40/9.99	c cleaning 8986 clauses out of 17981 with flag 138778/46824
18.70/11.57	c cleaning 9994 clauses out of 19995 with flag 170758/57824
22.11/13.25	c cleaning 10993 clauses out of 22001 with flag 206708/69824
26.38/15.31	c cleaning 12002 clauses out of 24010 with flag 247785/82826
30.88/17.53	c cleaning 12926 clauses out of 26006 with flag 285790/96824
35.71/19.95	c cleaning 14029 clauses out of 28080 with flag 332424/111824
41.22/22.65	c cleaning 14981 clauses out of 30051 with flag 392361/127824
44.23/24.17	c And the winner is solver1
44.31/24.38	c Got one! Elapsed wall clock time (in seconds):24.255
44.31/24.38	o 13325
45.76/25.20	c cleaning 15029 clauses out of 30063 with flag 14595/142817
47.56/26.06	c cleaning 10516 clauses out of 21034 with flag 31903/148817
48.71/26.55	c And the winner is solver1
48.80/26.90	c Got one! Elapsed wall clock time (in seconds):26.768
48.80/26.90	o 13174
49.21/27.18	c cleaning 7805 clauses out of 15613 with flag 5704/153912
50.80/28.00	c cleaning 6901 clauses out of 13806 with flag 22171/159910
52.80/28.91	c cleaning 6952 clauses out of 13905 with flag 43209/166910
54.80/29.95	c cleaning 7472 clauses out of 14953 with flag 65935/174910
57.20/31.14	c cleaning 8242 clauses out of 16483 with flag 92702/183912
60.00/32.55	c cleaning 9119 clauses out of 18240 with flag 120344/193911
63.35/34.14	c cleaning 10061 clauses out of 20122 with flag 152956/204912
66.54/35.76	c cleaning 11029 clauses out of 22059 with flag 190191/216910
70.33/37.65	c cleaning 12010 clauses out of 24031 with flag 226949/229911
74.35/39.68	c cleaning 13010 clauses out of 26020 with flag 268131/243910
79.29/42.08	c cleaning 14003 clauses out of 28010 with flag 311515/258910
84.09/44.49	c cleaning 14998 clauses out of 30007 with flag 358222/274910
89.91/47.32	c cleaning 16003 clauses out of 32010 with flag 405822/291911
96.30/50.51	c cleaning 17002 clauses out of 34006 with flag 457038/309910
103.22/53.91	c cleaning 17997 clauses out of 36004 with flag 511547/328910
110.02/57.35	c cleaning 19004 clauses out of 38008 with flag 574584/348911
112.82/58.70	c And the winner is solver1
112.82/58.90	c Got one! Elapsed wall clock time (in seconds):58.776
112.82/58.90	o 12871
114.41/59.78	c cleaning 16100 clauses out of 32213 with flag 14300/362120
116.23/60.65	c cleaning 11053 clauses out of 22113 with flag 32051/368120
118.01/61.60	c cleaning 9025 clauses out of 18060 with flag 51990/375120
120.42/62.71	c cleaning 8514 clauses out of 17037 with flag 75267/383122
122.82/63.98	c cleaning 8760 clauses out of 17521 with flag 101693/392120
125.81/65.42	c cleaning 9381 clauses out of 18761 with flag 131680/402120
129.12/67.10	c cleaning 10185 clauses out of 20383 with flag 164239/413123
132.75/68.86	c cleaning 11086 clauses out of 22195 with flag 201415/425120
136.56/70.73	c cleaning 12050 clauses out of 24110 with flag 242429/438121
140.75/72.83	c cleaning 13025 clauses out of 26059 with flag 285113/452120
145.35/75.14	c cleaning 14011 clauses out of 28035 with flag 333479/467121
150.35/77.66	c cleaning 15011 clauses out of 30024 with flag 383984/483121
155.77/80.38	c cleaning 16006 clauses out of 32012 with flag 432750/500120
162.11/83.44	c cleaning 17000 clauses out of 34006 with flag 491992/518120
168.70/86.77	c cleaning 18001 clauses out of 36007 with flag 551806/537121
175.50/90.10	c cleaning 18999 clauses out of 38005 with flag 614530/557120
182.70/93.73	c cleaning 19998 clauses out of 40006 with flag 691290/578120
185.50/95.11	c And the winner is solver1
185.50/95.41	c Got one! Elapsed wall clock time (in seconds):95.284
185.50/95.41	o 12770
187.06/96.29	c cleaning 16624 clauses out of 33247 with flag 13998/591359
188.86/97.14	c cleaning 11311 clauses out of 22624 with flag 32202/597360
191.17/98.24	c cleaning 9154 clauses out of 18312 with flag 53179/604359
191.97/98.66	c And the winner is solver1
192.11/98.96	c Got one! Elapsed wall clock time (in seconds):98.837
192.11/98.96	o 12568
192.57/99.26	c cleaning 7144 clauses out of 14293 with flag 5750/609494
194.17/100.09	c cleaning 6573 clauses out of 13149 with flag 22978/615494
196.17/101.04	c cleaning 6786 clauses out of 13575 with flag 42606/622493
198.37/102.14	c cleaning 7389 clauses out of 14789 with flag 65732/630493
200.77/103.40	c cleaning 8200 clauses out of 16401 with flag 93365/639494
203.77/104.83	c cleaning 9100 clauses out of 18201 with flag 123377/649494
206.97/106.45	c cleaning 10048 clauses out of 20100 with flag 157052/660493
210.57/108.24	c cleaning 11024 clauses out of 22052 with flag 193630/672493
214.57/110.23	c cleaning 12013 clauses out of 24028 with flag 233634/685493
218.78/112.35	c cleaning 13005 clauses out of 26015 with flag 278944/699493
223.57/114.76	c cleaning 14003 clauses out of 28010 with flag 325623/714493
228.96/117.44	c cleaning 15002 clauses out of 30009 with flag 377083/730495
234.36/120.10	c cleaning 15994 clauses out of 32005 with flag 440531/747493
239.56/122.79	c cleaning 16999 clauses out of 34011 with flag 496339/765493
245.36/125.68	c cleaning 18007 clauses out of 36014 with flag 557930/784495
251.58/128.71	c cleaning 19000 clauses out of 38005 with flag 622350/804493
258.38/132.11	c cleaning 20003 clauses out of 40006 with flag 698165/825494
265.16/135.58	c cleaning 20994 clauses out of 42002 with flag 777273/847493
272.37/139.18	c cleaning 22001 clauses out of 44008 with flag 852832/870493
280.95/143.71	c cleaning 23003 clauses out of 46007 with flag 926484/894493
288.75/147.66	c cleaning 23969 clauses out of 48004 with flag 1012583/919493
297.36/151.97	c cleaning 25007 clauses out of 50035 with flag 1117355/945493
306.54/156.55	c cleaning 26009 clauses out of 52028 with flag 1220179/972493
315.94/161.20	c cleaning 27009 clauses out of 54019 with flag 1315473/1000493
325.75/166.17	c cleaning 27997 clauses out of 56010 with flag 1424728/1029493
336.54/171.50	c cleaning 29004 clauses out of 58014 with flag 1528644/1059494
347.13/176.82	c cleaning 30004 clauses out of 60010 with flag 1655052/1090494
358.53/182.50	c cleaning 30995 clauses out of 62005 with flag 1787788/1122493
370.12/188.36	c cleaning 32001 clauses out of 64011 with flag 1939282/1155494
382.33/194.43	c cleaning 32998 clauses out of 66009 with flag 2083102/1189493
394.93/200.79	c cleaning 34005 clauses out of 68015 with flag 2241209/1224497
407.72/207.16	c cleaning 34989 clauses out of 70006 with flag 2364425/1260493
421.12/213.82	c cleaning 36006 clauses out of 72017 with flag 2512534/1297493
435.12/220.84	c cleaning 36995 clauses out of 74012 with flag 2676947/1335494
449.31/227.93	c cleaning 38005 clauses out of 76017 with flag 2843884/1374494
464.11/235.30	c cleaning 38995 clauses out of 78011 with flag 3015508/1414493
478.91/242.74	c cleaning 39990 clauses out of 80016 with flag 3205989/1455493
493.90/250.29	c cleaning 40989 clauses out of 82026 with flag 3401419/1497493
509.70/258.11	c cleaning 42018 clauses out of 84037 with flag 3602986/1540493
526.29/266.43	c cleaning 42976 clauses out of 86019 with flag 3789625/1584493
543.09/274.85	c cleaning 43990 clauses out of 88043 with flag 3988494/1629493
560.28/283.45	c cleaning 45019 clauses out of 90053 with flag 4188240/1675493
578.28/292.41	c cleaning 46016 clauses out of 92034 with flag 4377590/1722493
596.27/301.33	c cleaning 46996 clauses out of 94018 with flag 4581526/1770493
613.87/310.11	c cleaning 47988 clauses out of 96023 with flag 4813353/1819494
631.88/319.11	c cleaning 49012 clauses out of 98034 with flag 5067395/1869493
650.86/328.67	c cleaning 49990 clauses out of 100023 with flag 5308688/1920494
670.45/338.41	c cleaning 51010 clauses out of 102032 with flag 5549383/1972493
690.65/348.53	c cleaning 51997 clauses out of 104022 with flag 5788321/2025493
711.64/359.03	c cleaning 53010 clauses out of 106025 with flag 6012760/2079493
734.23/370.33	c cleaning 53982 clauses out of 108015 with flag 6210978/2134493
756.83/381.61	c cleaning 54996 clauses out of 110033 with flag 6431697/2190493
780.43/393.40	c cleaning 56011 clauses out of 112038 with flag 6641403/2247494
804.02/405.27	c cleaning 57012 clauses out of 114027 with flag 6855341/2305494
828.01/417.24	c cleaning 58004 clauses out of 116015 with flag 7068991/2364494
853.00/429.73	c cleaning 58993 clauses out of 118010 with flag 7282811/2424493
877.80/442.13	c cleaning 60003 clauses out of 120017 with flag 7494175/2485493
901.99/454.29	c cleaning 61008 clauses out of 122015 with flag 7712392/2547494
928.79/467.65	c cleaning 61993 clauses out of 124008 with flag 7919431/2610495
956.37/481.44	c cleaning 63007 clauses out of 126015 with flag 8153407/2674495
982.96/494.75	c cleaning 63974 clauses out of 128006 with flag 8415096/2739493
1011.56/509.05	c cleaning 64997 clauses out of 130032 with flag 8664004/2805493
1040.16/523.30	c cleaning 66014 clauses out of 132035 with flag 8896870/2872493
1067.76/537.13	c cleaning 67010 clauses out of 134023 with flag 9170754/2940495
1095.55/551.06	c cleaning 67996 clauses out of 136012 with flag 9422896/3009494
1124.96/565.78	c cleaning 69001 clauses out of 138015 with flag 9719280/3079493
1153.18/579.89	c cleaning 69996 clauses out of 140014 with flag 10005313/3150493
1183.77/595.11	c cleaning 71003 clauses out of 142018 with flag 10256129/3222493
1214.39/610.31	c cleaning 72005 clauses out of 144015 with flag 10550913/3295493
1247.18/626.77	c cleaning 73002 clauses out of 146011 with flag 10779418/3369494
1281.77/644.03	c cleaning 73997 clauses out of 148008 with flag 10987426/3444493
1313.57/659.95	c cleaning 74998 clauses out of 150012 with flag 11279618/3520494
1344.78/675.54	c cleaning 76007 clauses out of 152013 with flag 11594841/3597493
1354.16/680.21	c And the winner is solver0
1681.08/1007.28	c Got one! Elapsed wall clock time (in seconds):1007.149
1681.08/1007.28	o 12444
1683.73/1008.64	c cleaning 53675 clauses out of 107349 with flag 14084/3628836
1685.93/1009.74	c cleaning 29830 clauses out of 59674 with flag 28980/3634836
1688.13/1010.85	c cleaning 18422 clauses out of 36844 with flag 46478/3641836
1690.33/1012.00	c cleaning 13206 clauses out of 26422 with flag 66997/3649836
1692.94/1013.30	c cleaning 11106 clauses out of 22216 with flag 91084/3658836
1695.73/1014.69	c cleaning 10548 clauses out of 21111 with flag 116788/3668837
1698.93/1016.23	c cleaning 10772 clauses out of 21562 with flag 146355/3679836
1702.33/1017.93	c cleaning 11395 clauses out of 22790 with flag 179203/3691836
1706.90/1020.48	c cleaning 12195 clauses out of 24396 with flag 212598/3704837
1710.84/1022.46	c cleaning 13094 clauses out of 26200 with flag 251909/3718836
1715.24/1024.61	c cleaning 14052 clauses out of 28106 with flag 295577/3733836
1720.04/1027.05	c cleaning 15003 clauses out of 30054 with flag 348517/3749836
1725.04/1029.54	c cleaning 16022 clauses out of 32052 with flag 402129/3766837
1730.64/1032.38	c cleaning 17012 clauses out of 34029 with flag 467900/3784836
1736.64/1035.37	c cleaning 18002 clauses out of 36018 with flag 534339/3803837
1742.64/1038.37	c cleaning 19008 clauses out of 38017 with flag 591259/3823838
1749.04/1041.55	c cleaning 20004 clauses out of 40007 with flag 647030/3844836
1756.05/1045.02	c cleaning 20996 clauses out of 42004 with flag 722655/3866837
1763.24/1048.66	c cleaning 22003 clauses out of 44009 with flag 807354/3889838
1770.84/1052.45	c cleaning 23002 clauses out of 46006 with flag 895351/3913838
1778.84/1056.46	c cleaning 23992 clauses out of 48004 with flag 1000935/3938838
1787.44/1060.78	c cleaning 25004 clauses out of 50015 with flag 1105972/3964841
1796.44/1065.13	c cleaning 25998 clauses out of 52007 with flag 1211582/3991837
1800.04/1066.90	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.04/1066.90	c starts		: 55578
1800.04/1066.90	c conflicts		: 4003681
1800.04/1066.90	c decisions		: 36536949
1800.04/1066.90	c propagations		: 2048833010
1800.04/1066.90	c inspects		: 6053210093
1800.04/1066.90	c shortcuts		: 0
1800.04/1066.90	c learnt literals	: 0
1800.04/1066.90	c learnt binary clauses	: 0
1800.04/1066.90	c learnt ternary clauses	: 0
1800.04/1066.90	c learnt constraints	: 4003681
1800.04/1066.90	c ignored constraints	: 0
1800.04/1066.90	c root simplifications	: 0
1800.04/1066.90	c removed literals (reason simplification)	: 16230046
1800.04/1066.90	c reason swapping (by a shorter reason)	: 0
1800.04/1066.90	c Calls to reduceDB	: 146
1800.04/1066.90	c Number of update (reduction) of LBD	: 1638318
1800.04/1066.90	c Imported unit clauses	: 0
1800.04/1066.90	c number of reductions to clauses (during analyze)	: 0
1800.04/1066.90	c number of learned constraints concerned by reduction	: 0
1800.04/1066.90	c number of learning phase by resolution	: 0
1800.04/1066.90	c number of learning phase by cutting planes	: 0
1800.04/1066.90	c speed (assignments/second)	: 2116702.974163581
1800.04/1066.90	c non guided choices	0
1800.04/1066.92	c learnt constraints type 
1800.04/1066.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37853
1800.04/1066.92	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.04/1066.92	c starts		: 28
1800.04/1066.92	c conflicts		: 2701
1800.04/1066.92	c decisions		: 64212
1800.04/1066.92	c propagations		: 327601
1800.04/1066.92	c inspects		: 31350147
1800.04/1066.92	c shortcuts		: 0
1800.04/1066.92	c learnt literals	: 0
1800.04/1066.92	c learnt binary clauses	: 0
1800.04/1066.92	c learnt ternary clauses	: 0
1800.04/1066.92	c learnt constraints	: 2697
1800.04/1066.92	c ignored constraints	: 0
1800.04/1066.92	c root simplifications	: 0
1800.04/1066.92	c removed literals (reason simplification)	: 0
1800.04/1066.92	c reason swapping (by a shorter reason)	: 0
1800.04/1066.92	c Calls to reduceDB	: 0
1800.04/1066.92	c Number of update (reduction) of LBD	: 0
1800.04/1066.92	c Imported unit clauses	: 0
1800.04/1066.92	c number of reductions to clauses (during analyze)	: 0
1800.04/1066.92	c number of learned constraints concerned by reduction	: 0
1800.04/1066.92	c number of learning phase by resolution	: 0
1800.04/1066.92	c number of learning phase by cutting planes	: 0
1800.04/1066.92	c speed (assignments/second)	: 5493.435063301753
1800.04/1066.92	c non guided choices	0
1800.04/1066.92	c learnt constraints type 
1800.04/1066.92	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.04/1066.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2695
1800.04/1066.92	s SATISFIABLE
1800.04/1066.92	c Found 13 solution(s)
1800.04/1066.92	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 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 x1340 x1341 -x1342 x1343 
1800.04/1066.92	c objective function=12444
1800.04/1066.92	c Total wall clock time (in seconds): 1066.796

Verifier Data 

OK	12444

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-4105962-1466267225/watcher-4105962-1466267225 -o /tmp/evaluation-result-4105962-1466267225/solver-4105962-1466267225 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105962-1466267225.opb 

pid=29363
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: 4.16 4.16 4.01 4/197 29366
/proc/meminfo: memFree=26178892/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29366/stat : 29366 (java) R 29363 29366 28285 0 -1 4202496 267 0 0 0 0 0 0 0 20 0 1 0 28770921 9515008 126 33554432000 1073741824 1073778376 140733263046880 140733263044008 217410147119 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29366/statm: 2372 133 103 9 0 120 0

[startup+0.100059 s]
/proc/loadavg: 4.16 4.16 4.01 4/197 29366
/proc/meminfo: memFree=26178892/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 4328 0 1 0 6 1 0 0 20 0 18 0 28770921 9787879424 5433 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2389619 5433 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200228 s]
/proc/loadavg: 4.16 4.16 4.01 4/197 29366
/proc/meminfo: memFree=26178892/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 4696 0 1 0 21 2 0 0 20 0 18 0 28770921 9787879424 6763 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2389619 6763 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 4.16 4.16 4.01 4/197 29366
/proc/meminfo: memFree=26178892/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 5634 0 1 0 44 2 0 0 20 0 18 0 28770921 9787879424 9028 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2389619 9028 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700255 s]
/proc/loadavg: 4.16 4.16 4.01 4/197 29366
/proc/meminfo: memFree=26178892/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 5939 0 1 0 54 4 0 0 20 0 19 0 28770921 10060525568 10152 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2456183 10152 2249 9 0 2446860 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.16 4.16 4.01 2/212 29456
/proc/meminfo: memFree=30050472/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 14230 0 1 0 92 10 0 0 20 0 19 0 28770921 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2456183 17409 2252 9 0 2446860 0
[pid=29366/tid=29368] ppid=29363 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/29366/task/29368/stat : 29368 (java) S 29363 29366 28285 0 -1 4202560 2424 0 1 0 27 2 0 0 20 0 19 0 28770922 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139991080477560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29369] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29369/stat : 29369 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139991041968424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29370] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29370/stat : 29370 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139991040915624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29371] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29371/stat : 29371 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139991039863336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29372] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29372/stat : 29372 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139991038810536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29373] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29373/stat : 29373 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139991037758248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29374] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29374/stat : 29374 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990919015080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29375] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29375/stat : 29375 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990917962792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29376] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29376/stat : 29376 (java) S 29363 29366 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990916909992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29377] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29377/stat : 29377 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28770925 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990904711400 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29378] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29378/stat : 29378 (java) S 29363 29366 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28770925 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990903657464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29379] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29379/stat : 29379 (java) S 29363 29366 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28770925 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990298256648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29380] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29380/stat : 29380 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770928 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990297205136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29381] ppid=29363 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/29366/task/29381/stat : 29381 (java) R 29363 29366 28285 0 -1 4202560 7514 0 0 0 30 0 0 0 20 0 19 0 28770928 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990296130872 139991082564032 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29382] ppid=29363 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/29366/task/29382/stat : 29382 (java) S 29363 29366 28285 0 -1 4202560 2947 0 0 0 22 1 0 0 20 0 19 0 28770928 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990295099960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29383] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29383/stat : 29383 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770928 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990294047864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29384] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29384/stat : 29384 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770928 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990292995272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29388] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29388/stat : 29388 (java) S 29363 29366 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28770953 10060525568 17409 33554432000 1073741824 1073778376 140736654223312 139990288782376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.16 4.16 4.01 2/213 29469
/proc/meminfo: memFree=29918584/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 17724 0 1 0 216 14 0 0 20 0 19 0 28770921 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2456183 25096 2265 9 0 2446860 0
[pid=29366/tid=29368] ppid=29363 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29366/task/29368/stat : 29368 (java) S 29363 29366 28285 0 -1 4202560 2427 0 1 0 29 2 0 0 20 0 19 0 28770922 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139991080477560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29369] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29369/stat : 29369 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139991041968424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29370] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29370/stat : 29370 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139991040915624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29371] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29371/stat : 29371 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139991039863336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29372] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29372/stat : 29372 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139991038810536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29373] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29373/stat : 29373 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139991037758248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29374] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29374/stat : 29374 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990919015080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29375] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29375/stat : 29375 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990917962792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29376] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29376/stat : 29376 (java) S 29363 29366 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28770924 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990916909992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29377] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29377/stat : 29377 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28770925 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990904711400 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29378] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29378/stat : 29378 (java) S 29363 29366 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28770925 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990903657464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29379] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29379/stat : 29379 (java) S 29363 29366 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28770925 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990298256648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29380] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29380/stat : 29380 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770928 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990297205136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29381] ppid=29363 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/29366/task/29381/stat : 29381 (java) S 29363 29366 28285 0 -1 4202560 8146 0 0 0 75 0 0 0 20 0 19 0 28770928 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990296152760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29382] ppid=29363 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/29366/task/29382/stat : 29382 (java) R 29363 29366 28285 0 -1 4202560 5774 0 0 0 54 2 0 0 20 0 19 0 28770928 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990295099960 139991083382876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29383] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29383/stat : 29383 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770928 10060525568 25096 33554432000 1073741824 1073778376 140736654223312 139990294047864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29384] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29384/stat : 29384 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28770928 10060525568 25105 33554432000 1073741824 1073778376 140736654223312 139990292995272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29388] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29388/stat : 29388 (java) S 29363 29366 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28770953 10060525568 25106 33554432000 1073741824 1073778376 140736654223312 139990288782376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=26 pid=1813 uid=0 cmd=

[startup+6.30094 s]
/proc/loadavg: 3.82 4.09 3.99 3/216 29499
/proc/meminfo: memFree=29775820/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9824732 CPUtime=8.05 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 19621 0 1 0 784 21 0 0 20 0 22 0 28770921 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2456183 51473 2285 9 0 2446860 0
[pid=29366/tid=29368] ppid=29363 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29366/task/29368/stat : 29368 (java) S 29363 29366 28285 0 -1 4202560 2427 0 1 0 29 2 0 0 20 0 22 0 28770922 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139991080477560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29369] ppid=29363 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29366/task/29369/stat : 29369 (java) S 29363 29366 28285 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139991041968424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29370] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29370/stat : 29370 (java) S 29363 29366 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139991040915624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29371] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29371/stat : 29371 (java) S 29363 29366 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139991039863336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29372] ppid=29363 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29366/task/29372/stat : 29372 (java) S 29363 29366 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139991038810536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29373] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29373/stat : 29373 (java) S 29363 29366 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139991037758248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29374] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29374/stat : 29374 (java) S 29363 29366 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990919015080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29375] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29375/stat : 29375 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990917962792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29376] ppid=29363 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29366/task/29376/stat : 29376 (java) S 29363 29366 28285 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28770924 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990916909992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29377] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29377/stat : 29377 (java) S 29363 29366 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990904711400 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29378] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29378/stat : 29378 (java) S 29363 29366 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990903657464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29379] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29379/stat : 29379 (java) S 29363 29366 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990298256648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29380] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29380/stat : 29380 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990297205136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29381] ppid=29363 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/29366/task/29381/stat : 29381 (java) S 29363 29366 28285 0 -1 4202560 8150 0 0 0 88 0 0 0 20 0 22 0 28770928 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990296152760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29382] ppid=29363 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/29366/task/29382/stat : 29382 (java) S 29363 29366 28285 0 -1 4202560 7528 0 0 0 98 2 0 0 20 0 22 0 28770928 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990295099960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29383] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29383/stat : 29383 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990294047864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29384] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29384/stat : 29384 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990292995272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29484] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29484/stat : 29484 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28771256 10060525568 51473 33554432000 1073741824 1073778376 140736654223312 139990291940648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29488] ppid=29363 vsize=9824732 CPUtime=2.38 cores=1,3,5,7

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

[pid=29366/tid=29376] ppid=29363 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/29366/task/29376/stat : 29376 (java) R 29363 29366 28285 0 -1 4202560 309 0 0 0 52 15 0 0 20 0 22 0 28770924 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990916910120 217410473095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29377] ppid=29363 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/29366/task/29377/stat : 29377 (java) S 29363 29366 28285 0 -1 4202560 2414 0 0 0 143 2 0 0 20 0 22 0 28770925 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990904710280 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29378] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29378/stat : 29378 (java) S 29363 29366 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990903657464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29379] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29379/stat : 29379 (java) S 29363 29366 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990298256648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29380] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29380/stat : 29380 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990297205136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29381] ppid=29363 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/29366/task/29381/stat : 29381 (java) S 29363 29366 28285 0 -1 4202560 8151 0 0 0 101 1 0 0 20 0 22 0 28770928 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990296152760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29382] ppid=29363 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/29366/task/29382/stat : 29382 (java) S 29363 29366 28285 0 -1 4202560 7543 0 0 0 112 2 0 0 20 0 22 0 28770928 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990295099960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29383] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29383/stat : 29383 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990294047864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29384] ppid=29363 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/29366/task/29384/stat : 29384 (java) S 29363 29366 28285 0 -1 4202560 62 0 0 0 9 14 0 0 20 0 22 0 28770928 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990292995272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29530] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29530/stat : 29530 (java) S 29363 29366 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28780818 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990289835560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29720] ppid=29363 vsize=9824732 CPUtime=54.04 cores=1,3,5,7
/proc/29366/task/29720/stat : 29720 (java) S 29363 29366 28285 0 -1 4202560 3 0 0 0 5404 0 0 0 20 0 22 0 28871649 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990288780024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29721] ppid=29363 vsize=9824732 CPUtime=54.04 cores=1,3,5,7
/proc/29366/task/29721/stat : 29721 (java) S 29363 29366 28285 0 -1 4202560 4 0 0 0 5404 0 0 0 20 0 22 0 28871649 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990290885688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29722] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29722/stat : 29722 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28871650 10060525568 818581 33554432000 1073741824 1073778376 140736654223312 139990291940520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.01
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1066.9 s]
/proc/loadavg: 3.94 3.73 3.87 5/219 29791
/proc/meminfo: memFree=25757532/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9824732 CPUtime=1796.3 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 26118 0 1 0 179427 203 0 0 20 0 22 0 28770921 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2456183 801524 2294 9 0 2446860 0
[pid=29366/tid=29368] ppid=29363 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/29366/task/29368/stat : 29368 (java) S 29363 29366 28285 0 -1 4202560 2432 0 1 0 35 4 0 0 20 0 22 0 28770922 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991080477560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29369] ppid=29363 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/29366/task/29369/stat : 29369 (java) S 29363 29366 28285 0 -1 4202560 349 0 0 0 58 15 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991041968424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29370] ppid=29363 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/29366/task/29370/stat : 29370 (java) S 29363 29366 28285 0 -1 4202560 470 0 0 0 48 14 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991040915624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29371] ppid=29363 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29366/task/29371/stat : 29371 (java) S 29363 29366 28285 0 -1 4202560 256 0 0 0 43 12 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991039863336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29372] ppid=29363 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29366/task/29372/stat : 29372 (java) S 29363 29366 28285 0 -1 4202560 435 0 0 0 44 11 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991038810536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29373] ppid=29363 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/29366/task/29373/stat : 29373 (java) S 29363 29366 28285 0 -1 4202560 240 0 0 0 42 10 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991037758248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29374] ppid=29363 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/29366/task/29374/stat : 29374 (java) S 29363 29366 28285 0 -1 4202560 438 0 0 0 60 17 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990919015080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29375] ppid=29363 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/29366/task/29375/stat : 29375 (java) S 29363 29366 28285 0 -1 4202560 295 0 0 0 45 13 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990917962792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29376] ppid=29363 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/29366/task/29376/stat : 29376 (java) S 29363 29366 28285 0 -1 4202560 309 0 0 0 54 15 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990916909992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29377] ppid=29363 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/29366/task/29377/stat : 29377 (java) S 29363 29366 28285 0 -1 4202560 2414 0 0 0 143 2 0 0 20 0 22 0 28770925 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990904711400 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29378] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29378/stat : 29378 (java) S 29363 29366 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990903657464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29379] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29379/stat : 29379 (java) S 29363 29366 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990298256648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29380] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29380/stat : 29380 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990297205136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29381] ppid=29363 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/29366/task/29381/stat : 29381 (java) S 29363 29366 28285 0 -1 4202560 8151 0 0 0 101 1 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990296152760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29382] ppid=29363 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/29366/task/29382/stat : 29382 (java) S 29363 29366 28285 0 -1 4202560 7543 0 0 0 112 2 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990295099960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29383] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29383/stat : 29383 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990294047864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29384] ppid=29363 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/29366/task/29384/stat : 29384 (java) S 29363 29366 28285 0 -1 4202560 62 0 0 0 9 14 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990292995272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29530] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29530/stat : 29530 (java) S 29363 29366 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28780818 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990289835560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29720] ppid=29363 vsize=9824732 CPUtime=58.58 cores=1,3,5,7
/proc/29366/task/29720/stat : 29720 (java) R 29363 29366 28285 0 -1 4202560 3 0 0 0 5858 0 0 0 20 0 22 0 28871649 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990288772976 139990919623654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29721] ppid=29363 vsize=9824732 CPUtime=58.58 cores=1,3,5,7
/proc/29366/task/29721/stat : 29721 (java) R 29363 29366 28285 0 -1 4202560 5 0 0 0 5858 0 0 0 20 0 22 0 28871649 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990290885568 139990920265056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29722] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29722/stat : 29722 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28871650 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990291940520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29366 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1066.9 s]
/proc/loadavg: 3.94 3.73 3.87 5/219 29791
/proc/meminfo: memFree=25757532/32872528 swapFree=1534436/1655032
[pid=29366] ppid=29363 vsize=9824732 CPUtime=1796.3 cores=1,3,5,7
/proc/29366/stat : 29366 (java) S 29363 29366 28285 0 -1 4202496 26118 0 1 0 179427 203 0 0 20 0 22 0 28770921 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 140736654214448 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29366/statm: 2456183 801524 2294 9 0 2446860 0
[pid=29366/tid=29368] ppid=29363 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/29366/task/29368/stat : 29368 (java) S 29363 29366 28285 0 -1 4202560 2432 0 1 0 35 4 0 0 20 0 22 0 28770922 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991080477560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29369] ppid=29363 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/29366/task/29369/stat : 29369 (java) S 29363 29366 28285 0 -1 4202560 349 0 0 0 58 15 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991041968424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29370] ppid=29363 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/29366/task/29370/stat : 29370 (java) S 29363 29366 28285 0 -1 4202560 470 0 0 0 48 14 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991040915624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29371] ppid=29363 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29366/task/29371/stat : 29371 (java) S 29363 29366 28285 0 -1 4202560 256 0 0 0 43 12 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991039863336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29372] ppid=29363 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29366/task/29372/stat : 29372 (java) S 29363 29366 28285 0 -1 4202560 435 0 0 0 44 11 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991038810536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29373] ppid=29363 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/29366/task/29373/stat : 29373 (java) S 29363 29366 28285 0 -1 4202560 240 0 0 0 42 10 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139991037758248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29374] ppid=29363 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/29366/task/29374/stat : 29374 (java) S 29363 29366 28285 0 -1 4202560 438 0 0 0 60 17 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990919015080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29375] ppid=29363 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/29366/task/29375/stat : 29375 (java) S 29363 29366 28285 0 -1 4202560 295 0 0 0 45 13 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990917962792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29376] ppid=29363 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/29366/task/29376/stat : 29376 (java) S 29363 29366 28285 0 -1 4202560 309 0 0 0 54 15 0 0 20 0 22 0 28770924 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990916909992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29377] ppid=29363 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/29366/task/29377/stat : 29377 (java) S 29363 29366 28285 0 -1 4202560 2414 0 0 0 143 2 0 0 20 0 22 0 28770925 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990904711400 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29378] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29378/stat : 29378 (java) S 29363 29366 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990903657464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29379] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29379/stat : 29379 (java) S 29363 29366 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28770925 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990298256648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29380] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29380/stat : 29380 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990297205136 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29381] ppid=29363 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/29366/task/29381/stat : 29381 (java) S 29363 29366 28285 0 -1 4202560 8151 0 0 0 101 1 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990296152760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29382] ppid=29363 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/29366/task/29382/stat : 29382 (java) S 29363 29366 28285 0 -1 4202560 7543 0 0 0 112 2 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990295099960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29383] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29383/stat : 29383 (java) S 29363 29366 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990294047864 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29384] ppid=29363 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/29366/task/29384/stat : 29384 (java) S 29363 29366 28285 0 -1 4202560 62 0 0 0 9 14 0 0 20 0 22 0 28770928 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990292995272 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29366/tid=29530] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29530/stat : 29530 (java) S 29363 29366 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28780818 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990289835560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29366/tid=29720] ppid=29363 vsize=9824732 CPUtime=58.58 cores=1,3,5,7
/proc/29366/task/29720/stat : 29720 (java) R 29363 29366 28285 0 -1 4202560 3 0 0 0 5858 0 0 0 20 0 22 0 28871649 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990288772976 139990919623654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29366/tid=29721] ppid=29363 vsize=9824732 CPUtime=58.58 cores=1,3,5,7
/proc/29366/task/29721/stat : 29721 (java) R 29363 29366 28285 0 -1 4202560 5 0 0 0 5858 0 0 0 20 0 22 0 28871649 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990290885568 139990920265056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29366/tid=29722] ppid=29363 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29366/task/29722/stat : 29722 (java) S 29363 29366 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28871650 10060525568 801524 33554432000 1073741824 1073778376 140736654223312 139990291940520 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 9824732

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.74006
#  lost CPU user time (s): 3.99004
#  lost CPU system time (s): -0.25

Real time (s): 1066.95
CPU time (s): 1800.04
CPU user time (s): 1798.26
CPU system time (s): 1.78
CPU usage (%): 168.709
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.22366
maximum resident set size= 3364152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26159
page faults= 1
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31669
involuntary context switches= 22412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.30219 second user time and 5.50016 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 18:27:05
IDJOB=4105962
IDBENCH=24964
IDSOLVER=2543
FILE ID=node122/4105962-1466267225
RUNJOBID= node122-1466264503-28302
PBS_JOBID= 19918220
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir03_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105962-1466267225/watcher-4105962-1466267225 -o /tmp/evaluation-result-4105962-1466267225/solver-4105962-1466267225 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105962-1466267225.opb

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

MD5SUM BENCH= 4c7127e3833be0946f911f649745c11e
RANDOM SEED=1007389305

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26179420 kB
Buffers:          141052 kB
Cached:           218400 kB
SwapCached:            0 kB
Active:          4012756 kB
Inactive:         264096 kB
Active(anon):    3910176 kB
Inactive(anon):     9916 kB
Active(file):     102580 kB
Inactive(file):   254180 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               664 kB
Writeback:             0 kB
AnonPages:       5582600 kB
Mapped:            21264 kB
Shmem:               204 kB
Slab:             610004 kB
SReclaimable:      53700 kB
SUnreclaim:       556304 kB
KernelStack:        1624 kB
PageTables:        14840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6047636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3973120 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= 71744 MiB
End job on node122 at 2016-06-18 18:44:52