Trace number 4081728

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)-99 1800.06 913.062

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUM162153f0f0e5f8f2e587b9d579ee09dc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-113
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -136
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4081728-1465257830.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
1.56/0.75	c ... done. Wall clock time 0.618s.
1.56/0.75	c declared #vars     1000
1.56/0.75	c internal #vars     7318
1.56/0.75	c #constraints  14138
1.56/0.75	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.56/0.75	c constraints type 
1.56/0.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318
1.56/0.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.56/0.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.56/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1.56/0.75	c 14138 constraints processed.
1.56/0.75	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.56/0.75	c constraints type 
1.56/0.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
1.56/0.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6318
1.56/0.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002
1.56/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318
1.56/0.75	c 14138 constraints processed.
1.56/0.75	c objective function length is 500 literals
4.31/1.44	c And the winner is solver1
4.61/1.75	c SATISFIABLE
4.61/1.75	c OPTIMIZING...
4.61/1.75	c Got one! Elapsed wall clock time (in seconds):1.623
4.61/1.75	o -4
4.75/1.86	c And the winner is solver1
5.05/2.25	c Got one! Elapsed wall clock time (in seconds):2.126
5.05/2.25	o -21
5.17/2.32	c And the winner is solver1
5.26/2.76	c Got one! Elapsed wall clock time (in seconds):2.628
5.26/2.76	o -22
5.37/2.82	c And the winner is solver1
5.45/3.26	c Got one! Elapsed wall clock time (in seconds):3.131
5.45/3.26	o -23
5.45/3.30	c And the winner is solver1
5.59/3.76	c Got one! Elapsed wall clock time (in seconds):3.632
5.59/3.76	o -24
5.59/3.80	c And the winner is solver1
5.68/4.26	c Got one! Elapsed wall clock time (in seconds):4.134
5.68/4.26	o -25
5.76/4.32	c And the winner is solver1
5.82/4.76	c Got one! Elapsed wall clock time (in seconds):4.635
5.82/4.76	o -26
5.91/4.83	c And the winner is solver1
6.00/5.26	c Got one! Elapsed wall clock time (in seconds):5.136
6.00/5.26	o -27
6.08/5.30	c And the winner is solver1
6.10/5.77	c Got one! Elapsed wall clock time (in seconds):5.638
6.10/5.77	o -34
6.21/5.84	c And the winner is solver1
6.34/6.27	c Got one! Elapsed wall clock time (in seconds):6.139
6.34/6.27	o -35
6.43/6.32	c And the winner is solver1
6.48/6.77	c Got one! Elapsed wall clock time (in seconds):6.64
6.48/6.77	o -41
6.55/6.83	c And the winner is solver1
6.64/7.27	c Got one! Elapsed wall clock time (in seconds):7.141
6.64/7.27	o -42
6.69/7.34	c And the winner is solver1
6.86/7.77	c Got one! Elapsed wall clock time (in seconds):7.641
6.86/7.77	o -43
6.92/7.85	c And the winner is solver1
7.04/8.27	c Got one! Elapsed wall clock time (in seconds):8.142
7.04/8.27	o -44
7.09/8.33	c And the winner is solver1
7.17/8.77	c Got one! Elapsed wall clock time (in seconds):8.643
7.17/8.77	o -45
7.23/8.80	c And the winner is solver1
7.25/9.27	c Got one! Elapsed wall clock time (in seconds):9.144
7.25/9.27	o -46
7.30/9.33	c And the winner is solver1
7.37/9.77	c Got one! Elapsed wall clock time (in seconds):9.645
7.37/9.77	o -47
7.42/9.84	c And the winner is solver1
7.55/10.27	c Got one! Elapsed wall clock time (in seconds):10.146
7.55/10.27	o -48
7.59/10.32	c And the winner is solver1
7.65/10.77	c Got one! Elapsed wall clock time (in seconds):10.647
7.65/10.77	o -49
7.69/10.84	c And the winner is solver1
7.80/11.28	c Got one! Elapsed wall clock time (in seconds):11.148
7.80/11.28	o -50
7.84/11.33	c And the winner is solver1
7.92/11.78	c Got one! Elapsed wall clock time (in seconds):11.649
7.92/11.78	o -51
7.97/11.82	c And the winner is solver1
8.01/12.28	c Got one! Elapsed wall clock time (in seconds):12.15
8.01/12.28	o -63
8.05/12.33	c And the winner is solver1
8.13/12.78	c Got one! Elapsed wall clock time (in seconds):12.65
8.13/12.78	o -64
8.18/12.84	c And the winner is solver1
8.25/13.28	c Got one! Elapsed wall clock time (in seconds):13.151
8.25/13.28	o -65
8.31/13.37	c And the winner is solver1
8.49/13.78	c Got one! Elapsed wall clock time (in seconds):13.652
8.49/13.78	o -66
8.52/13.85	c And the winner is solver1
8.65/14.28	c Got one! Elapsed wall clock time (in seconds):14.152
8.65/14.28	o -67
8.70/14.32	c And the winner is solver1
8.74/14.78	c Got one! Elapsed wall clock time (in seconds):14.653
8.74/14.78	o -68
9.01/14.96	c And the winner is solver1
9.16/15.28	c Got one! Elapsed wall clock time (in seconds):15.154
9.16/15.28	o -69
9.42/15.41	c And the winner is solver1
9.45/15.78	c Got one! Elapsed wall clock time (in seconds):15.654
9.45/15.78	o -70
16.62/19.33	c cleaning 3861 clauses out of 7730 with flag 51734/7730
25.79/23.65	c cleaning 4928 clauses out of 9868 with flag 112722/13729
35.98/28.68	c cleaning 5967 clauses out of 11940 with flag 184273/20729
47.73/34.47	c cleaning 6982 clauses out of 13974 with flag 260701/28730
53.67/37.39	c And the winner is solver0
53.81/37.79	c Got one! Elapsed wall clock time (in seconds):37.66
53.81/37.79	o -78
55.02/38.45	c cleaning 5996 clauses out of 11991 with flag 4771/33729
62.22/42.00	c cleaning 5998 clauses out of 11996 with flag 24688/39730
71.08/46.47	c cleaning 6499 clauses out of 12997 with flag 49616/46729
72.28/47.07	c And the winner is solver1
72.40/47.29	c Got one! Elapsed wall clock time (in seconds):47.164
72.40/47.29	o -79
79.26/50.73	c cleaning 6218 clauses out of 12443 with flag 51776/52674
85.66/53.94	c And the winner is solver1
85.71/54.29	c Got one! Elapsed wall clock time (in seconds):54.166
85.71/54.29	o -80
86.71/54.86	c cleaning 5882 clauses out of 11764 with flag 10969/58213
94.94/58.93	c cleaning 5939 clauses out of 11883 with flag 70284/64214
97.74/60.33	c And the winner is solver1
97.79/60.80	c Got one! Elapsed wall clock time (in seconds):60.668
97.79/60.80	o -81
102.03/62.91	c cleaning 5501 clauses out of 11011 with flag 30538/69281
110.64/67.25	c cleaning 5747 clauses out of 11510 with flag 87695/75281
112.03/67.98	c And the winner is solver0
112.20/68.30	c Got one! Elapsed wall clock time (in seconds):68.17
112.20/68.30	o -84
113.65/69.07	c And the winner is solver1
113.79/69.30	c Got one! Elapsed wall clock time (in seconds):69.172
113.79/69.30	o -89
117.99/71.40	c cleaning 5432 clauses out of 10872 with flag 29897/80390
125.05/74.97	c cleaning 5713 clauses out of 11439 with flag 88093/86389
132.04/78.46	c cleaning 6300 clauses out of 12733 with flag 152871/93396
140.47/82.66	c cleaning 7205 clauses out of 14433 with flag 213268/101396
149.12/86.95	c cleaning 8112 clauses out of 16223 with flag 318068/110391
161.16/92.94	c cleaning 9060 clauses out of 18120 with flag 430346/120400
169.40/97.09	c And the winner is solver1
169.45/97.30	c Got one! Elapsed wall clock time (in seconds):97.177
169.45/97.30	o -90
178.06/101.67	c cleaning 10231 clauses out of 20471 with flag 52115/131811
181.46/103.36	c And the winner is solver1
181.59/103.81	c Got one! Elapsed wall clock time (in seconds):103.679
181.59/103.81	o -91
184.56/105.39	c cleaning 8036 clauses out of 16077 with flag 22118/137648
190.66/108.39	c cleaning 6911 clauses out of 14040 with flag 82437/143647
198.10/112.07	c cleaning 7110 clauses out of 14219 with flag 131396/150737
206.58/116.22	c cleaning 7453 clauses out of 15020 with flag 220223/158648
215.80/120.83	c cleaning 8274 clauses out of 16567 with flag 299638/167648
223.05/124.42	c And the winner is solver1
223.05/124.81	c Got one! Elapsed wall clock time (in seconds):124.684
223.05/124.81	o -92
229.67/128.20	c cleaning 10250 clauses out of 20499 with flag 51938/179854
236.32/131.44	c cleaning 8106 clauses out of 16250 with flag 103850/185855
243.56/135.10	c cleaning 7552 clauses out of 15143 with flag 166876/192854
250.99/138.75	c cleaning 7799 clauses out of 15597 with flag 245110/200860
259.88/143.16	c cleaning 8330 clauses out of 16792 with flag 332668/209854
266.90/146.65	c And the winner is solver1
266.92/146.82	c Got one! Elapsed wall clock time (in seconds):146.696
266.92/146.82	o -93
271.91/149.34	c cleaning 9530 clauses out of 19148 with flag 53549/220540
278.34/152.59	c cleaning 7763 clauses out of 15618 with flag 111860/226540
285.39/156.01	c cleaning 7320 clauses out of 14855 with flag 187752/233540
294.52/160.50	c cleaning 7661 clauses out of 15536 with flag 263056/241541
302.98/164.78	c cleaning 8444 clauses out of 16888 with flag 334704/250554
308.96/167.95	c And the winner is solver1
308.97/168.07	c Got one! Elapsed wall clock time (in seconds):167.938
308.97/168.07	o -94
315.29/171.27	c cleaning 9925 clauses out of 19934 with flag 51363/262044
321.49/174.37	c cleaning 7938 clauses out of 16011 with flag 108201/268046
329.12/178.16	c cleaning 7458 clauses out of 15078 with flag 173671/275051
337.14/182.18	c cleaning 7783 clauses out of 15616 with flag 244053/283047
345.97/186.55	c cleaning 8422 clauses out of 16843 with flag 342388/292057
355.60/191.36	c cleaning 9180 clauses out of 18408 with flag 440640/302044
366.88/197.00	c cleaning 10120 clauses out of 20240 with flag 568518/313056
380.76/203.87	c cleaning 11053 clauses out of 22109 with flag 725329/325045
398.80/212.89	c cleaning 12027 clauses out of 24055 with flag 928342/338044
415.28/221.04	c cleaning 13018 clauses out of 26036 with flag 1074170/352052
433.15/229.95	c cleaning 13979 clauses out of 28010 with flag 1245623/367044
441.17/233.97	c And the winner is solver1
441.17/234.09	c Got one! Elapsed wall clock time (in seconds):233.959
441.17/234.09	o -95
447.43/237.23	c cleaning 13130 clauses out of 26260 with flag 53903/379273
453.24/240.16	c cleaning 9549 clauses out of 19130 with flag 107554/385273
460.49/243.72	c cleaning 8184 clauses out of 16583 with flag 189248/392275
460.89/243.99	c And the winner is solver1
461.05/244.09	c Got one! Elapsed wall clock time (in seconds):243.962
461.05/244.09	o -96
466.54/247.20	c cleaning 6913 clauses out of 13922 with flag 51108/397798
472.99/250.37	c cleaning 6513 clauses out of 13025 with flag 111748/403814
479.22/253.43	c cleaning 6683 clauses out of 13497 with flag 187873/410799
488.25/257.99	c cleaning 7471 clauses out of 14942 with flag 263765/418927
498.10/262.81	c cleaning 8145 clauses out of 16339 with flag 368957/427795
504.30/265.93	c And the winner is solver1
504.30/266.29	c Got one! Elapsed wall clock time (in seconds):266.163
504.30/266.29	o -97
510.17/269.22	c cleaning 9396 clauses out of 19023 with flag 52555/438624
515.81/272.07	c cleaning 7824 clauses out of 15647 with flag 96209/444644
522.82/275.54	c cleaning 7411 clauses out of 14821 with flag 156197/451642
529.85/279.04	c cleaning 7665 clauses out of 15392 with flag 234820/459624
539.09/283.62	c cleaning 8336 clauses out of 16732 with flag 344904/468629
550.13/289.18	c cleaning 9130 clauses out of 18389 with flag 489241/478622
562.78/295.47	c cleaning 10148 clauses out of 20296 with flag 606951/489659
564.18/296.16	c And the winner is solver1
564.18/296.31	c Got one! Elapsed wall clock time (in seconds):296.185
564.18/296.31	o -98
568.15/298.36	c cleaning 7810 clauses out of 15620 with flag 41951/495131
574.19/301.30	c cleaning 6753 clauses out of 13810 with flag 98925/501131
581.42/304.95	c cleaning 6950 clauses out of 14057 with flag 158131/508131
588.82/308.67	c cleaning 7551 clauses out of 15115 with flag 232103/516139
597.45/312.98	c cleaning 8224 clauses out of 16556 with flag 340077/525131
608.28/318.36	c cleaning 9143 clauses out of 18332 with flag 448578/535131
620.31/324.36	c cleaning 10053 clauses out of 20191 with flag 659958/546133
636.18/332.22	c cleaning 11066 clauses out of 22136 with flag 946283/558131
648.64/338.45	c cleaning 11992 clauses out of 24077 with flag 1097529/571138
655.24/341.70	c And the winner is solver1
655.24/341.82	c Got one! Elapsed wall clock time (in seconds):341.693
655.24/341.82	o -99
661.25/344.87	c cleaning 11689 clauses out of 23580 with flag 53058/582633
666.70/347.51	c cleaning 8921 clauses out of 17888 with flag 109486/588630
672.90/350.69	c cleaning 7985 clauses out of 15970 with flag 181860/595633
680.19/354.20	c cleaning 7888 clauses out of 15982 with flag 267625/603630
689.07/358.62	c cleaning 8481 clauses out of 17102 with flag 348598/612638
697.25/362.77	c cleaning 9284 clauses out of 18614 with flag 427966/622631
706.31/367.27	c cleaning 10056 clauses out of 20331 with flag 525039/633632
716.94/372.55	c cleaning 11131 clauses out of 22273 with flag 624987/645630
728.60/378.36	c cleaning 12072 clauses out of 24154 with flag 747311/658642
744.79/386.77	c cleaning 13062 clauses out of 26123 with flag 887930/672683
761.26/394.93	c cleaning 14000 clauses out of 28018 with flag 1082086/687640
780.53/404.56	c cleaning 14959 clauses out of 30008 with flag 1330267/703630
793.59/411.09	c cleaning 16024 clauses out of 32049 with flag 1477744/720630
815.09/421.77	c cleaning 17010 clauses out of 34032 with flag 1678623/738637
832.95/430.62	c cleaning 18006 clauses out of 36018 with flag 1833152/757633
845.36/436.83	c cleaning 18996 clauses out of 38012 with flag 1988089/777633
864.08/446.17	c cleaning 19996 clauses out of 40013 with flag 2167954/798630
886.94/457.58	c cleaning 20979 clauses out of 42024 with flag 2366505/820637
920.55/474.22	c cleaning 21929 clauses out of 44039 with flag 2656836/843631
951.42/490.14	c cleaning 22969 clauses out of 46109 with flag 3000716/867630
979.51/504.19	c cleaning 23947 clauses out of 48142 with flag 3298617/892632
1009.04/518.81	c cleaning 25006 clauses out of 50197 with flag 3559662/918634
1046.20/537.36	c cleaning 26070 clauses out of 52189 with flag 3841520/945632
1085.80/557.05	c cleaning 27059 clauses out of 54117 with flag 4158910/973630
1123.58/575.75	c cleaning 27990 clauses out of 56059 with flag 4485548/1002631
1168.31/597.90	c cleaning 29029 clauses out of 58068 with flag 4882278/1032630
1212.47/619.98	c cleaning 30020 clauses out of 60040 with flag 5250975/1063631
1263.20/645.66	c cleaning 30981 clauses out of 62019 with flag 5576659/1095630
1317.19/672.59	c cleaning 32019 clauses out of 64038 with flag 5955054/1128630
1357.91/692.77	c cleaning 33001 clauses out of 66019 with flag 6294669/1162630
1396.56/711.91	c cleaning 34009 clauses out of 68019 with flag 6603675/1197631
1443.30/735.13	c cleaning 34978 clauses out of 70009 with flag 6982866/1233630
1490.28/758.58	c cleaning 35940 clauses out of 72036 with flag 7306212/1270635
1545.60/786.03	c cleaning 36972 clauses out of 74094 with flag 7644050/1308633
1561.49/793.96	c cleaning 0 clauses out of 12127 with flag 0/12127
1594.70/810.39	c cleaning 38066 clauses out of 76132 with flag 8022549/1347643
1653.09/839.31	c cleaning 38963 clauses out of 78053 with flag 8418253/1387630
1703.62/865.04	c cleaning 40037 clauses out of 80091 with flag 8789279/1428631
1763.71/894.92	c cleaning 40999 clauses out of 82054 with flag 9266734/1470631
1800.06/913.01	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.06/913.01	c starts		: 24744
1800.06/913.01	c conflicts		: 1497296
1800.06/913.01	c decisions		: 49926477
1800.06/913.01	c propagations		: 537698022
1800.06/913.01	c inspects		: 5773799221
1800.06/913.01	c shortcuts		: 0
1800.06/913.01	c learnt literals	: 0
1800.06/913.01	c learnt binary clauses	: 36
1800.06/913.01	c learnt ternary clauses	: 1300
1800.06/913.01	c learnt constraints	: 1497296
1800.06/913.01	c ignored constraints	: 0
1800.06/913.01	c root simplifications	: 0
1800.06/913.01	c removed literals (reason simplification)	: 600763342
1800.06/913.01	c reason swapping (by a shorter reason)	: 0
1800.06/913.01	c Calls to reduceDB	: 107
1800.06/913.01	c Number of update (reduction) of LBD	: 418699
1800.06/913.01	c Imported unit clauses	: 0
1800.06/913.01	c number of reductions to clauses (during analyze)	: 0
1800.06/913.01	c number of learned constraints concerned by reduction	: 0
1800.06/913.01	c number of learning phase by resolution	: 0
1800.06/913.01	c number of learning phase by cutting planes	: 0
1800.06/913.01	c speed (assignments/second)	: 941366.2062819838
1800.06/913.01	c non guided choices	0
1800.06/913.03	c learnt constraints type 
1800.06/913.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 36
1800.06/913.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 67684
1800.06/913.03	c >>>>>>>>>> Solver number 1 (43 answers) <<<<<<<<<<<<<<<<<<
1800.06/913.03	c starts		: 98
1800.06/913.03	c conflicts		: 12761
1800.06/913.03	c decisions		: 659128
1800.06/913.03	c propagations		: 7878075
1800.06/913.03	c inspects		: 1313815959
1800.06/913.03	c shortcuts		: 0
1800.06/913.03	c learnt literals	: 0
1800.06/913.03	c learnt binary clauses	: 0
1800.06/913.03	c learnt ternary clauses	: 0
1800.06/913.03	c learnt constraints	: 12761
1800.06/913.03	c ignored constraints	: 0
1800.06/913.03	c root simplifications	: 0
1800.06/913.03	c removed literals (reason simplification)	: 0
1800.06/913.03	c reason swapping (by a shorter reason)	: 0
1800.06/913.03	c Calls to reduceDB	: 1
1800.06/913.03	c Number of update (reduction) of LBD	: 0
1800.06/913.03	c Imported unit clauses	: 0
1800.06/913.03	c number of reductions to clauses (during analyze)	: 0
1800.06/913.03	c number of learned constraints concerned by reduction	: 0
1800.06/913.03	c number of learning phase by resolution	: 0
1800.06/913.03	c number of learning phase by cutting planes	: 0
1800.06/913.03	c speed (assignments/second)	: 9326.090430726796
1800.06/913.03	c non guided choices	160
1800.06/913.04	c learnt constraints type 
1800.06/913.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.06/913.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12759
1800.06/913.04	s SATISFIABLE
1800.06/913.04	c Found 45 solution(s)
1800.06/913.04	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 
1800.06/913.04	c objective function=-99
1800.06/913.04	c Total wall clock time (in seconds): 912.914

Verifier Data 

OK	-99

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-4081728-1465257830/watcher-4081728-1465257830 -o /tmp/evaluation-result-4081728-1465257830/solver-4081728-1465257830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8856 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081728-1465257830.opb 

pid=9614
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.98 3.98 3.78 4/198 9617
/proc/meminfo: memFree=29354648/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9617/stat : 9617 (java) D 9614 9617 8839 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 107717662 2560000 47 33554432000 1073741824 1073778376 140735437426864 140735437423992 224913354023 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/9617/statm: 625 47 37 9 0 29 0

[startup+0.100062 s]
/proc/loadavg: 3.98 3.98 3.78 4/198 9617
/proc/meminfo: memFree=29354648/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 4437 0 1 0 7 1 0 0 20 0 18 0 107717662 9787879424 5555 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2389619 5555 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200232 s]
/proc/loadavg: 3.98 3.98 3.78 4/198 9617
/proc/meminfo: memFree=29354648/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 4627 0 1 0 20 2 0 0 20 0 18 0 107717662 9787879424 7246 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2389619 7246 2196 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300249 s]
/proc/loadavg: 3.98 3.98 3.78 4/198 9617
/proc/meminfo: memFree=29354648/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 5826 0 1 0 42 2 0 0 20 0 18 0 107717662 9787879424 9151 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2389619 9151 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.7002 s]
/proc/loadavg: 3.98 3.98 3.78 4/198 9617
/proc/meminfo: memFree=29354648/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9558476 CPUtime=1.56 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 21993 0 1 0 150 6 0 0 20 0 18 0 107717662 9787879424 44139 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2389619 44139 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9558476

[startup+1.50091 s]
/proc/loadavg: 3.98 3.98 3.78 7/220 9639
/proc/meminfo: memFree=29160480/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9824732 CPUtime=4.56 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 30688 0 1 0 445 11 0 0 20 0 19 0 107717662 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2456183 54674 2283 9 0 2446860 0
[pid=9617/tid=9619] ppid=9614 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/9617/task/9619/stat : 9619 (java) S 9614 9617 8839 0 -1 4202560 2524 0 1 0 69 3 0 0 20 0 19 0 107717663 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039483966328 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9620] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9620/stat : 9620 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039327267752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9621] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9621/stat : 9621 (java) S 9614 9617 8839 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039326215208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9622] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9622/stat : 9622 (java) S 9614 9617 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039325162152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9623] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9623/stat : 9623 (java) S 9614 9617 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039324109608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9624] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9624/stat : 9624 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039323056552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9625] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9625/stat : 9625 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039322004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9626] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9626/stat : 9626 (java) S 9614 9617 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039320950952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9627] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9627/stat : 9627 (java) S 9614 9617 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039319898408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9628] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9628/stat : 9628 (java) S 9614 9617 8839 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107717666 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039307701096 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9629] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9629/stat : 9629 (java) S 9614 9617 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107717666 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039306647416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9630] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9630/stat : 9630 (java) S 9614 9617 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107717666 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039305594248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9631] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9631/stat : 9631 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107717669 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039304542992 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9632] ppid=9614 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/9617/task/9632/stat : 9632 (java) R 9614 9617 8839 0 -1 4202560 15119 0 0 0 119 3 0 0 20 0 19 0 107717669 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039303477248 140039490952526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9633] ppid=9614 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/9617/task/9633/stat : 9633 (java) S 9614 9617 8839 0 -1 4202560 11609 0 0 0 115 3 0 0 20 0 19 0 107717669 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039302437304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9634] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9634/stat : 9634 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107717669 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039301384440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9635] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9635/stat : 9635 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107717669 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039300332104 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9639] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9639/stat : 9639 (java) S 9614 9617 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107717739 10060525568 54674 33554432000 1073741824 1073778376 140735437426864 140039296120232 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 3.98 3.98 3.78 3/217 9642
/proc/meminfo: memFree=29141188/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9824732 CPUtime=5.45 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 30916 0 1 0 528 17 0 0 20 0 19 0 107717662 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2456183 53810 2286 9 0 2446860 0
[pid=9617/tid=9619] ppid=9614 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/9617/task/9619/stat : 9619 (java) S 9614 9617 8839 0 -1 4202560 2525 0 1 0 70 3 0 0 20 0 19 0 107717663 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039483966328 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9620] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9620/stat : 9620 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039327267752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9621] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9621/stat : 9621 (java) S 9614 9617 8839 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039326215208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9622] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9622/stat : 9622 (java) S 9614 9617 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039325162152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9623] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9623/stat : 9623 (java) S 9614 9617 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039324109608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9624] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9624/stat : 9624 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039323056552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9625] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9625/stat : 9625 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039322004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9626] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9626/stat : 9626 (java) S 9614 9617 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039320950952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9627] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9627/stat : 9627 (java) S 9614 9617 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107717665 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039319898408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9628] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9628/stat : 9628 (java) S 9614 9617 8839 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107717666 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039307701096 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9629] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9629/stat : 9629 (java) S 9614 9617 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107717666 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039306647416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9630] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9630/stat : 9630 (java) S 9614 9617 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107717666 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039305594248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9631] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9631/stat : 9631 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107717669 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039304542992 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9632] ppid=9614 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/9617/task/9632/stat : 9632 (java) S 9614 9617 8839 0 -1 4202560 15324 0 0 0 146 3 0 0 20 0 19 0 107717669 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039303489848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9633] ppid=9614 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/9617/task/9633/stat : 9633 (java) S 9614 9617 8839 0 -1 4202560 11612 0 0 0 125 3 0 0 20 0 19 0 107717669 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039302437304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9634] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9634/stat : 9634 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107717669 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039301384440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9635] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9635/stat : 9635 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107717669 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039300332104 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9639] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9639/stat : 9639 (java) S 9614 9617 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107717739 10060525568 53810 33554432000 1073741824 1073778376 140735437426864 140039296120232 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 9824732

[startup+6.30085 s]
/proc/loadavg: 3.98 3.98 3.78 3/217 9663
/proc/meminfo: memFree=29135920/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9824732 CPUtime=6.43 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 31006 0 1 0 612 31 0 0 20 0 22 0 107717662 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2456183 54912 2290 9 0 2446860 0
[pid=9617/tid=9619] ppid=9614 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/9617/task/9619/stat : 9619 (java) S 9614 9617 8839 0 -1 4202560 2527 0 1 0 70 3 0 0 20 0 22 0 107717663 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039483966328 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9620] ppid=9614 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9617/task/9620/stat : 9620 (java) S 9614 9617 8839 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039327267752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9621] ppid=9614 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9617/task/9621/stat : 9621 (java) S 9614 9617 8839 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039326215208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9622] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9622/stat : 9622 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039325162152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9623] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9623/stat : 9623 (java) S 9614 9617 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039324109608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9624] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9624/stat : 9624 (java) S 9614 9617 8839 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039323056552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9625] ppid=9614 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9617/task/9625/stat : 9625 (java) S 9614 9617 8839 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039322004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9626] ppid=9614 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9617/task/9626/stat : 9626 (java) S 9614 9617 8839 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039320950952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9627] ppid=9614 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9617/task/9627/stat : 9627 (java) S 9614 9617 8839 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 107717665 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039319898408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9628] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9628/stat : 9628 (java) S 9614 9617 8839 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039307701096 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9629] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9629/stat : 9629 (java) S 9614 9617 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039306647416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9630] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9630/stat : 9630 (java) S 9614 9617 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039305594248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9631] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9631/stat : 9631 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039304542992 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9632] ppid=9614 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/9617/task/9632/stat : 9632 (java) S 9614 9617 8839 0 -1 4202560 15327 0 0 0 157 3 0 0 20 0 22 0 107717669 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039303489848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9633] ppid=9614 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/9617/task/9633/stat : 9633 (java) S 9614 9617 8839 0 -1 4202560 11613 0 0 0 135 3 0 0 20 0 22 0 107717669 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039302437304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9634] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9634/stat : 9634 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039301384440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9635] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9635/stat : 9635 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039300332104 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9639] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9639/stat : 9639 (java) S 9614 9617 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107717739 10060525568 54912 33554432000 1073741824 1073778376 140735437426864 140039296120232 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 9824732


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

/proc/9617/task/9627/stat : 9627 (java) S 9614 9617 8839 0 -1 4202560 886 0 0 0 227 18 0 0 20 0 22 0 107717665 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039319898408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9628] ppid=9614 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/9617/task/9628/stat : 9628 (java) S 9614 9617 8839 0 -1 4202560 2596 0 0 0 382 13 0 0 20 0 22 0 107717666 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039307701096 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9629] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9629/stat : 9629 (java) S 9614 9617 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039306647416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9630] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9630/stat : 9630 (java) S 9614 9617 8839 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039305594248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9631] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9631/stat : 9631 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039304542992 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9632] ppid=9614 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/9617/task/9632/stat : 9632 (java) S 9614 9617 8839 0 -1 4202560 15356 0 0 0 192 3 0 0 20 0 22 0 107717669 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039303489848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9633] ppid=9614 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/9617/task/9633/stat : 9633 (java) S 9614 9617 8839 0 -1 4202560 12120 0 0 0 237 3 0 0 20 0 22 0 107717669 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039302437304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9634] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9634/stat : 9634 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039301384440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9635] ppid=9614 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/9617/task/9635/stat : 9635 (java) S 9614 9617 8839 0 -1 4202560 47 0 0 0 16 19 0 0 20 0 22 0 107717669 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039300332104 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9742] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9742/stat : 9742 (java) S 9614 9617 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107724493 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039298225832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9778] ppid=9614 vsize=9824732 CPUtime=473.45 cores=1,3,5,7
/proc/9617/task/9778/stat : 9778 (java) R 9614 9617 8839 0 -1 4202560 20 0 0 0 47337 8 0 0 20 0 22 0 107751845 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039297171440 140039424233191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9779] ppid=9614 vsize=9824732 CPUtime=473.34 cores=1,3,5,7
/proc/9617/task/9779/stat : 9779 (java) R 9614 9617 8839 0 -1 4202560 1381 0 0 0 47321 13 0 0 20 0 22 0 107751845 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039296119952 140039424833953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9780] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9780/stat : 9780 (java) S 9614 9617 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107751845 10060525568 903800 33554432000 1073741824 1073778376 140735437426864 140039299278120 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1618.28
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.07 4.04 3.91 5/220 10017
/proc/meminfo: memFree=25033456/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9824732 CPUtime=1737.86 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 43428 0 1 0 173472 314 0 0 20 0 22 0 107717662 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2456183 944874 2303 9 0 2446860 0
[pid=9617/tid=9619] ppid=9614 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/9617/task/9619/stat : 9619 (java) S 9614 9617 8839 0 -1 4202560 2535 0 1 0 75 5 0 0 20 0 22 0 107717663 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039483966328 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9620] ppid=9614 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/9617/task/9620/stat : 9620 (java) S 9614 9617 8839 0 -1 4202560 835 0 0 0 231 20 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039327267752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9621] ppid=9614 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/9617/task/9621/stat : 9621 (java) S 9614 9617 8839 0 -1 4202560 686 0 0 0 231 17 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039326215208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9622] ppid=9614 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/9617/task/9622/stat : 9622 (java) S 9614 9617 8839 0 -1 4202560 723 0 0 0 228 17 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039325162152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9623] ppid=9614 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/9617/task/9623/stat : 9623 (java) S 9614 9617 8839 0 -1 4202560 710 0 0 0 245 17 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039324109608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9624] ppid=9614 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/9617/task/9624/stat : 9624 (java) S 9614 9617 8839 0 -1 4202560 667 0 0 0 254 20 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039323056552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9625] ppid=9614 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/9617/task/9625/stat : 9625 (java) S 9614 9617 8839 0 -1 4202560 741 0 0 0 244 17 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039322004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9626] ppid=9614 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/9617/task/9626/stat : 9626 (java) S 9614 9617 8839 0 -1 4202560 567 0 0 0 246 18 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039320950952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9627] ppid=9614 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/9617/task/9627/stat : 9627 (java) S 9614 9617 8839 0 -1 4202560 929 0 0 0 243 19 0 0 20 0 22 0 107717665 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039319898408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9628] ppid=9614 vsize=9824732 CPUtime=5.21 cores=1,3,5,7
/proc/9617/task/9628/stat : 9628 (java) S 9614 9617 8839 0 -1 4202560 2827 0 0 0 507 14 0 0 20 0 22 0 107717666 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039307701096 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9629] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9629/stat : 9629 (java) S 9614 9617 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039306647416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9630] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9630/stat : 9630 (java) S 9614 9617 8839 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039305594248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9631] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9631/stat : 9631 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039304542992 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9632] ppid=9614 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/9617/task/9632/stat : 9632 (java) S 9614 9617 8839 0 -1 4202560 15356 0 0 0 192 3 0 0 20 0 22 0 107717669 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039303489848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9633] ppid=9614 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/9617/task/9633/stat : 9633 (java) S 9614 9617 8839 0 -1 4202560 12120 0 0 0 237 3 0 0 20 0 22 0 107717669 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039302437304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9634] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9634/stat : 9634 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039301384440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9635] ppid=9614 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/9617/task/9635/stat : 9635 (java) S 9614 9617 8839 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 107717669 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039300332104 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9742] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9742/stat : 9742 (java) S 9614 9617 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107724493 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039298225832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9778] ppid=9614 vsize=9824732 CPUtime=531.59 cores=1,3,5,7
/proc/9617/task/9778/stat : 9778 (java) R 9614 9617 8839 0 -1 4202560 22 0 0 0 53150 9 0 0 20 0 22 0 107751845 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039297171440 140039424734974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9779] ppid=9614 vsize=9824732 CPUtime=531.48 cores=1,3,5,7
/proc/9617/task/9779/stat : 9779 (java) R 9614 9617 8839 0 -1 4202560 1385 0 0 0 53134 14 0 0 20 0 22 0 107751845 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039296119952 140039424582287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9780] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9780/stat : 9780 (java) S 9614 9617 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107751845 10060525568 944874 33554432000 1073741824 1073778376 140735437426864 140039299278120 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1737.86
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+913.001 s]
/proc/loadavg: 4.04 4.03 3.91 5/220 10018
/proc/meminfo: memFree=25093488/32872528 swapFree=11372/178980
[pid=9617] ppid=9614 vsize=9824732 CPUtime=1799.54 cores=1,3,5,7
/proc/9617/stat : 9617 (java) S 9614 9617 8839 0 -1 4202496 43486 0 1 0 179639 315 0 0 20 0 22 0 107717662 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140735437418000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9617/statm: 2456183 944919 2303 9 0 2446860 0
[pid=9617/tid=9619] ppid=9614 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/9617/task/9619/stat : 9619 (java) S 9614 9617 8839 0 -1 4202560 2535 0 1 0 75 5 0 0 20 0 22 0 107717663 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039483966328 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9620] ppid=9614 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/9617/task/9620/stat : 9620 (java) S 9614 9617 8839 0 -1 4202560 837 0 0 0 238 20 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039327267752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9621] ppid=9614 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/9617/task/9621/stat : 9621 (java) S 9614 9617 8839 0 -1 4202560 686 0 0 0 237 17 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039326215208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9622] ppid=9614 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/9617/task/9622/stat : 9622 (java) S 9614 9617 8839 0 -1 4202560 744 0 0 0 235 17 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039325162152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9623] ppid=9614 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/9617/task/9623/stat : 9623 (java) S 9614 9617 8839 0 -1 4202560 721 0 0 0 255 17 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039324109608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9624] ppid=9614 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/9617/task/9624/stat : 9624 (java) S 9614 9617 8839 0 -1 4202560 667 0 0 0 264 20 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039323056552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9625] ppid=9614 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/9617/task/9625/stat : 9625 (java) S 9614 9617 8839 0 -1 4202560 750 0 0 0 251 17 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039322004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9626] ppid=9614 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/9617/task/9626/stat : 9626 (java) S 9614 9617 8839 0 -1 4202560 568 0 0 0 252 18 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039320950952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9627] ppid=9614 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/9617/task/9627/stat : 9627 (java) S 9614 9617 8839 0 -1 4202560 935 0 0 0 248 19 0 0 20 0 22 0 107717665 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039319898408 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9628] ppid=9614 vsize=9824732 CPUtime=5.21 cores=1,3,5,7
/proc/9617/task/9628/stat : 9628 (java) S 9614 9617 8839 0 -1 4202560 2829 0 0 0 507 14 0 0 20 0 22 0 107717666 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039307701096 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9629] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9629/stat : 9629 (java) S 9614 9617 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039306647416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9630] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9630/stat : 9630 (java) S 9614 9617 8839 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 107717666 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039305594248 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9631] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9631/stat : 9631 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039304542992 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9632] ppid=9614 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/9617/task/9632/stat : 9632 (java) S 9614 9617 8839 0 -1 4202560 15356 0 0 0 192 3 0 0 20 0 22 0 107717669 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039303489848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9633] ppid=9614 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/9617/task/9633/stat : 9633 (java) S 9614 9617 8839 0 -1 4202560 12120 0 0 0 237 3 0 0 20 0 22 0 107717669 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039302437304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9634] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9634/stat : 9634 (java) S 9614 9617 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107717669 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039301384440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9635] ppid=9614 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/9617/task/9635/stat : 9635 (java) S 9614 9617 8839 0 -1 4202560 53 0 0 0 19 21 0 0 20 0 22 0 107717669 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039300332104 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9617/tid=9742] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9742/stat : 9742 (java) S 9614 9617 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107724493 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039298225832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9617/tid=9778] ppid=9614 vsize=9824732 CPUtime=562.06 cores=1,3,5,7
/proc/9617/task/9778/stat : 9778 (java) R 9614 9617 8839 0 -1 4202560 22 0 0 0 56197 9 0 0 20 0 22 0 107751845 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039297170672 140039424568831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9617/tid=9779] ppid=9614 vsize=9824732 CPUtime=561.94 cores=1,3,5,7
/proc/9617/task/9779/stat : 9779 (java) R 9614 9617 8839 0 -1 4202560 1389 0 0 0 56180 14 0 0 20 0 22 0 107751845 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039296118720 140039424872332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9617/tid=9780] ppid=9614 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9617/task/9780/stat : 9780 (java) S 9614 9617 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107751845 10060525568 944919 33554432000 1073741824 1073778376 140735437426864 140039299278120 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
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 9617 sig 9
??? kill -9617 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9617 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=549339
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=540461
# CPU time returned by wait4() is 1797.09
# while last known CPU time is 1799.54
#
# 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): 0.519993
#  lost CPU user time (s): 0.630043
#  lost CPU system time (s): -0.11

Real time (s): 913.062
CPU time (s): 1800.06
CPU user time (s): 1797.02
CPU system time (s): 3.04
CPU usage (%): 197.145
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 3.54046
maximum resident set size= 3779792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43522
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27595
involuntary context switches= 37510

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9421 second user time and 7.62484 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-07 02:03:50
IDJOB=4081728
IDBENCH=48258
IDSOLVER=2543
FILE ID=node105/4081728-1465257830
RUNJOBID= node105-1465255598-8856
PBS_JOBID= 19843277
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081728-1465257830/watcher-4081728-1465257830 -o /tmp/evaluation-result-4081728-1465257830/solver-4081728-1465257830 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8856 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081728-1465257830.opb

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

MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc
RANDOM SEED=627271013

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29355176 kB
Buffers:           68324 kB
Cached:           131032 kB
SwapCached:         1752 kB
Active:          2511628 kB
Inactive:         120280 kB
Active(anon):    2432072 kB
Inactive(anon):     2716 kB
Active(file):      79556 kB
Inactive(file):   117564 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098468 kB
Dirty:               500 kB
Writeback:             0 kB
AnonPages:       2559788 kB
Mapped:            15480 kB
Shmem:                 0 kB
Slab:             569928 kB
SReclaimable:      13556 kB
SUnreclaim:       556372 kB
KernelStack:        1792 kB
PageTables:        10292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2825328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2492416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node105 at 2016-06-07 02:19:03