Trace number 4081380

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)56 1800.52 922.144

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
Number of bits of the biggest sum of numbers13
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version PB16.v20160501
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		501472288
0.07/0.11	c Max memory 		7480803328
0.07/0.11	c Total memory 		504102912
0.07/0.11	c Number of processors 	8
0.07/0.14	c Pseudo Boolean Optimization by upper bound
0.07/0.14	c ManyCore solver with 2 solvers running in parallel
0.07/0.14	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Glucose 2.1 dynamic restart strategy
0.07/0.14	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.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.14	c No reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	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.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-4081380-1465233244.opb
0.07/0.14	c reading problem ... 
0.07/0.14	c  objective function found
0.21/0.20	c ... done. Wall clock time 0.064s.
0.21/0.20	c declared #vars     172
0.21/0.20	c #constraints  14
0.21/0.20	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.21/0.20	c constraints type 
0.21/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.21/0.21	c 14 constraints processed.
0.21/0.21	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.21/0.21	c constraints type 
0.21/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
0.21/0.21	c 14 constraints processed.
0.21/0.21	c objective function length is 112 literals
1.28/0.59	c And the winner is solver0
1.84/0.71	c SATISFIABLE
1.84/0.71	c OPTIMIZING...
1.84/0.71	c Got one! Elapsed wall clock time (in seconds):0.569
1.84/0.71	o 248
2.17/0.85	c And the winner is solver0
2.52/1.21	c Got one! Elapsed wall clock time (in seconds):1.071
2.52/1.21	o 246
2.52/1.25	c And the winner is solver0
2.65/1.71	c Got one! Elapsed wall clock time (in seconds):1.573
2.65/1.71	o 245
2.65/1.74	c And the winner is solver0
2.78/2.21	c Got one! Elapsed wall clock time (in seconds):2.075
2.78/2.21	o 244
2.78/2.23	c And the winner is solver0
2.83/2.71	c Got one! Elapsed wall clock time (in seconds):2.576
2.83/2.71	o 243
2.83/2.72	c And the winner is solver0
2.83/3.21	c Got one! Elapsed wall clock time (in seconds):3.078
2.83/3.21	o 242
2.83/3.24	c And the winner is solver0
2.88/3.72	c Got one! Elapsed wall clock time (in seconds):3.579
2.88/3.72	o 241
2.88/3.73	c And the winner is solver0
2.93/4.22	c Got one! Elapsed wall clock time (in seconds):4.08
2.93/4.22	o 238
2.93/4.24	c And the winner is solver0
2.99/4.72	c Got one! Elapsed wall clock time (in seconds):4.582
2.99/4.72	o 237
3.20/4.81	c And the winner is solver0
3.25/5.22	c Got one! Elapsed wall clock time (in seconds):5.083
3.25/5.22	o 235
3.25/5.24	c And the winner is solver0
3.31/5.72	c Got one! Elapsed wall clock time (in seconds):5.584
3.31/5.72	o 233
3.36/5.84	c And the winner is solver0
3.36/6.22	c Got one! Elapsed wall clock time (in seconds):6.085
3.36/6.22	o 217
3.36/6.26	c And the winner is solver0
3.45/6.72	c Got one! Elapsed wall clock time (in seconds):6.586
3.45/6.72	o 216
3.45/6.74	c And the winner is solver0
3.49/7.22	c Got one! Elapsed wall clock time (in seconds):7.088
3.49/7.22	o 212
3.49/7.24	c And the winner is solver0
3.61/7.73	c Got one! Elapsed wall clock time (in seconds):7.589
3.61/7.73	o 211
3.61/7.75	c And the winner is solver0
3.67/8.23	c Got one! Elapsed wall clock time (in seconds):8.09
3.67/8.23	o 209
3.67/8.24	c And the winner is solver0
3.71/8.73	c Got one! Elapsed wall clock time (in seconds):8.591
3.71/8.73	o 207
3.71/8.78	c And the winner is solver0
3.83/9.23	c Got one! Elapsed wall clock time (in seconds):9.092
3.83/9.23	o 206
3.83/9.25	c And the winner is solver0
3.88/9.73	c Got one! Elapsed wall clock time (in seconds):9.593
3.88/9.73	o 204
3.88/9.74	c And the winner is solver0
3.90/10.23	c Got one! Elapsed wall clock time (in seconds):10.094
3.90/10.23	o 200
3.90/10.27	c And the winner is solver0
4.03/10.73	c Got one! Elapsed wall clock time (in seconds):10.595
4.03/10.73	o 198
4.03/10.75	c And the winner is solver0
4.09/11.23	c Got one! Elapsed wall clock time (in seconds):11.098
4.09/11.23	o 196
4.09/11.27	c And the winner is solver0
4.17/11.74	c Got one! Elapsed wall clock time (in seconds):11.599
4.17/11.74	o 194
4.49/11.93	c cleaning 6190 clauses out of 12380 with flag 4265/12380
5.12/12.23	c And the winner is solver0
5.12/12.29	c Got one! Elapsed wall clock time (in seconds):12.15
5.12/12.29	o 193
5.43/12.48	c cleaning 5998 clauses out of 12003 with flag 4712/18193
6.67/13.03	c cleaning 6000 clauses out of 12005 with flag 18663/24193
6.90/13.15	c And the winner is solver1
7.02/13.29	c Got one! Elapsed wall clock time (in seconds):13.151
7.02/13.29	o 191
7.23/13.43	c And the winner is solver0
7.34/13.79	c Got one! Elapsed wall clock time (in seconds):13.653
7.34/13.79	o 189
7.57/13.95	c cleaning 5789 clauses out of 11586 with flag 5010/29774
7.57/13.96	c And the winner is solver0
7.72/14.29	c Got one! Elapsed wall clock time (in seconds):14.154
7.72/14.29	o 188
7.74/14.39	c And the winner is solver0
7.96/14.79	c Got one! Elapsed wall clock time (in seconds):14.655
7.96/14.79	o 186
8.36/15.00	c And the winner is solver0
8.39/15.29	c Got one! Elapsed wall clock time (in seconds):15.157
8.39/15.29	o 185
8.41/15.40	c cleaning 5967 clauses out of 11933 with flag 2247/35910
9.43/15.84	c cleaning 5977 clauses out of 11965 with flag 15801/41909
9.63/15.90	c And the winner is solver0
9.66/16.29	c Got one! Elapsed wall clock time (in seconds):16.158
9.66/16.29	o 183
10.07/16.58	c cleaning 5550 clauses out of 11100 with flag 9246/47021
10.46/16.75	c And the winner is solver0
10.46/16.80	c Got one! Elapsed wall clock time (in seconds):16.659
10.46/16.80	o 181
10.97/17.07	c cleaning 5686 clauses out of 11378 with flag 6845/52849
11.18/17.17	c And the winner is solver0
11.36/17.30	c Got one! Elapsed wall clock time (in seconds):17.16
11.36/17.30	o 180
11.75/17.58	c cleaning 5802 clauses out of 11611 with flag 9716/58768
12.17/17.72	c And the winner is solver0
12.25/17.80	c Got one! Elapsed wall clock time (in seconds):17.661
12.25/17.80	o 178
12.64/18.03	c cleaning 5589 clauses out of 11188 with flag 6900/64147
12.84/18.18	c And the winner is solver0
13.06/18.30	c Got one! Elapsed wall clock time (in seconds):18.162
13.06/18.30	o 177
13.44/18.51	c cleaning 5697 clauses out of 11422 with flag 7272/69970
13.65/18.69	c And the winner is solver0
13.86/18.80	c Got one! Elapsed wall clock time (in seconds):18.663
13.86/18.80	o 176
14.06/18.96	c cleaning 5583 clauses out of 11170 with flag 4647/75415
14.67/19.29	c And the winner is solver0
14.92/19.40	c Got one! Elapsed wall clock time (in seconds):19.265
14.92/19.40	o 174
15.13/19.50	c cleaning 5772 clauses out of 11557 with flag 2063/81385
15.96/19.93	c cleaning 5886 clauses out of 11785 with flag 16014/87385
16.95/20.42	c cleaning 6449 clauses out of 12902 with flag 33131/94388
17.96/21.00	c And the winner is solver0
18.33/21.40	c Got one! Elapsed wall clock time (in seconds):21.266
18.33/21.40	o 172
19.11/21.88	c And the winner is solver0
19.30/21.95	c Got one! Elapsed wall clock time (in seconds):21.817
19.30/21.95	o 170
19.40/22.05	c cleaning 9773 clauses out of 19545 with flag 2315/107480
20.19/22.47	c cleaning 7887 clauses out of 15773 with flag 15958/113481
21.18/22.95	c cleaning 7441 clauses out of 14891 with flag 32015/120486
21.18/22.96	c And the winner is solver0
21.36/23.46	c Got one! Elapsed wall clock time (in seconds):23.318
21.36/23.46	o 169
22.04/23.84	c cleaning 6328 clauses out of 12669 with flag 11662/125705
22.24/23.91	c And the winner is solver0
22.24/23.96	c Got one! Elapsed wall clock time (in seconds):23.819
22.24/23.96	o 167
22.80/24.26	c cleaning 5774 clauses out of 11564 with flag 8962/130928
23.79/24.70	c cleaning 5891 clauses out of 11794 with flag 22830/136932
24.79/25.21	c cleaning 6449 clauses out of 12901 with flag 39016/143930
25.99/25.87	c cleaning 7220 clauses out of 14449 with flag 57367/151927
26.19/25.92	c And the winner is solver0
26.19/25.96	c Got one! Elapsed wall clock time (in seconds):25.82
26.19/25.96	o 165
26.94/26.38	c cleaning 6539 clauses out of 13085 with flag 11219/157783
27.95/26.82	c cleaning 6263 clauses out of 12542 with flag 24093/163779
28.94/27.36	c cleaning 6641 clauses out of 13281 with flag 39647/170781
30.34/28.00	c cleaning 7315 clauses out of 14632 with flag 57653/178773
31.76/28.77	c cleaning 8160 clauses out of 16322 with flag 77899/187778
33.54/29.67	c cleaning 9077 clauses out of 18159 with flag 100571/197775
35.78/30.74	c cleaning 10037 clauses out of 20082 with flag 125657/208775
38.19/31.97	c cleaning 11010 clauses out of 22044 with flag 153076/220774
40.98/33.36	c cleaning 12011 clauses out of 24038 with flag 182258/233778
44.38/35.03	c cleaning 13010 clauses out of 26023 with flag 212614/247774
48.18/36.94	c cleaning 14007 clauses out of 28014 with flag 245763/262775
52.18/38.97	c cleaning 15003 clauses out of 30007 with flag 280931/278775
55.04/40.32	c And the winner is solver1
55.04/40.46	c Got one! Elapsed wall clock time (in seconds):40.323
55.04/40.46	o 135
56.11/41.02	c And the winner is solver0
56.31/41.46	c Got one! Elapsed wall clock time (in seconds):41.324
56.31/41.46	o 134
56.99/41.85	c cleaning 15915 clauses out of 31846 with flag 5238/295617
58.38/42.52	c cleaning 10967 clauses out of 21937 with flag 19678/301623
58.98/42.81	c And the winner is solver0
59.20/43.06	c Got one! Elapsed wall clock time (in seconds):42.926
59.20/43.06	o 133
59.32/43.18	c cleaning 8190 clauses out of 16381 with flag 2195/307034
59.72/43.38	c And the winner is solver0
60.32/43.86	c Got one! Elapsed wall clock time (in seconds):43.727
60.32/43.86	o 132
60.64/44.07	c cleaning 6993 clauses out of 14004 with flag 7809/312847
61.43/44.47	c cleaning 6499 clauses out of 13013 with flag 22772/318849
62.43/44.93	c cleaning 6752 clauses out of 13512 with flag 40364/325847
63.43/45.49	c cleaning 7374 clauses out of 14760 with flag 60896/333847
63.83/45.66	c And the winner is solver0
64.37/46.12	c Got one! Elapsed wall clock time (in seconds):45.979
64.37/46.12	o 131
64.54/46.26	c And the winner is solver0
64.76/46.62	c Got one! Elapsed wall clock time (in seconds):46.48
64.76/46.62	o 127
64.91/46.72	c cleaning 6603 clauses out of 13205 with flag 2454/339666
65.91/47.21	c cleaning 6299 clauses out of 12597 with flag 16315/345661
66.91/47.78	c cleaning 6646 clauses out of 13296 with flag 32294/352659
68.11/48.31	c And the winner is solver0
68.52/48.77	c Got one! Elapsed wall clock time (in seconds):48.631
68.52/48.77	o 125
69.61/49.35	c cleaning 8918 clauses out of 17844 with flag 11256/363853
70.81/49.91	c cleaning 7459 clauses out of 14929 with flag 24944/369856
72.01/50.55	c cleaning 7235 clauses out of 14471 with flag 41418/376857
73.41/51.26	c cleaning 7612 clauses out of 15232 with flag 60278/384853
74.80/51.99	c And the winner is solver0
75.07/52.27	c Got one! Elapsed wall clock time (in seconds):52.137
75.07/52.27	o 123
76.34/52.97	c cleaning 10462 clauses out of 20926 with flag 11320/398159
77.53/53.58	c cleaning 8231 clauses out of 16465 with flag 24980/404160
78.93/54.25	c cleaning 7615 clauses out of 15234 with flag 40999/411160
80.33/54.93	c cleaning 7803 clauses out of 15617 with flag 59411/419158
81.93/55.73	c cleaning 8400 clauses out of 16814 with flag 80098/428158
83.93/56.73	c cleaning 9199 clauses out of 18414 with flag 103061/438158
86.13/57.86	c cleaning 10108 clauses out of 20216 with flag 128424/449159
88.73/59.10	c cleaning 11055 clauses out of 22109 with flag 156209/461160
91.54/60.56	c cleaning 12029 clauses out of 24059 with flag 186153/474165
93.74/61.61	c And the winner is solver0
93.80/61.78	c Got one! Elapsed wall clock time (in seconds):61.644
93.80/61.78	o 122
94.23/62.06	c And the winner is solver0
94.70/62.44	c Got one! Elapsed wall clock time (in seconds):62.299
94.70/62.44	o 119
95.61/62.95	c And the winner is solver0
95.77/63.45	c Got one! Elapsed wall clock time (in seconds):63.306
95.77/63.45	o 118
96.08/63.63	c cleaning 14043 clauses out of 28097 with flag 2136/490232
96.88/64.05	c And the winner is solver0
97.25/64.45	c Got one! Elapsed wall clock time (in seconds):64.312
97.25/64.45	o 117
97.55/64.60	c cleaning 9725 clauses out of 19461 with flag 2139/495639
97.95/64.86	c And the winner is solver0
98.21/65.00	c Got one! Elapsed wall clock time (in seconds):64.868
98.21/65.00	o 115
98.59/65.22	c cleaning 7459 clauses out of 14926 with flag 4709/500829
99.59/65.72	c cleaning 6726 clauses out of 13466 with flag 18417/506828
100.59/66.24	c cleaning 6870 clauses out of 13743 with flag 34228/513831
101.99/66.92	c cleaning 7436 clauses out of 14871 with flag 52692/521829
103.19/67.55	c And the winner is solver0
103.35/68.01	c Got one! Elapsed wall clock time (in seconds):67.874
103.35/68.01	o 113
104.51/68.63	c cleaning 10081 clauses out of 20162 with flag 11184/534556
105.71/69.22	c cleaning 8032 clauses out of 16084 with flag 24553/540559
107.11/69.91	c cleaning 7518 clauses out of 15052 with flag 39669/547559
108.51/70.64	c cleaning 7759 clauses out of 15531 with flag 57480/555556
109.31/71.06	c And the winner is solver0
109.69/71.52	c Got one! Elapsed wall clock time (in seconds):71.381
109.69/71.52	o 112
109.85/71.64	c cleaning 6790 clauses out of 13591 with flag 2425/561375
110.24/71.85	c And the winner is solver0
110.43/72.02	c Got one! Elapsed wall clock time (in seconds):71.887
110.43/72.02	o 110
110.97/72.32	c cleaning 6358 clauses out of 12723 with flag 6944/567297
111.37/72.54	c And the winner is solver0
111.59/73.03	c Got one! Elapsed wall clock time (in seconds):72.894
111.59/73.03	o 109
111.93/73.24	c cleaning 5788 clauses out of 11581 with flag 4385/572513
112.73/73.70	c cleaning 5889 clauses out of 11791 with flag 18831/578511
112.93/73.71	c And the winner is solver0
113.05/74.04	c Got one! Elapsed wall clock time (in seconds):73.901
113.05/74.04	o 107
113.76/74.44	c cleaning 5480 clauses out of 10973 with flag 11745/583582
114.57/74.89	c And the winner is solver0
114.81/75.04	c Got one! Elapsed wall clock time (in seconds):74.907
114.81/75.04	o 105
115.70/75.58	c cleaning 8127 clauses out of 16255 with flag 11308/594344
116.72/76.08	c cleaning 7066 clauses out of 14132 with flag 25769/600348
117.90/76.65	c cleaning 7022 clauses out of 14061 with flag 42774/607343
119.30/77.35	c cleaning 7515 clauses out of 15040 with flag 62177/615344
121.11/78.21	c cleaning 8259 clauses out of 16525 with flag 83625/624344
123.11/79.21	c cleaning 9132 clauses out of 18267 with flag 108060/634345
123.70/79.58	c And the winner is solver0
123.92/80.05	c Got one! Elapsed wall clock time (in seconds):79.915
123.92/80.05	o 103
124.01/80.18	c cleaning 7332 clauses out of 14688 with flag 2084/639898
125.01/80.67	c cleaning 6678 clauses out of 13356 with flag 16263/645898
126.21/81.23	c cleaning 6839 clauses out of 13682 with flag 33332/652902
127.41/81.89	c cleaning 7420 clauses out of 14839 with flag 53103/660898
129.02/82.66	c cleaning 8210 clauses out of 16419 with flag 74937/669898
130.41/83.32	c And the winner is solver0
130.63/83.56	c Got one! Elapsed wall clock time (in seconds):83.422
130.63/83.56	o 101
131.75/84.17	c cleaning 10566 clauses out of 21131 with flag 11783/682820
132.75/84.69	c cleaning 8281 clauses out of 16565 with flag 25883/688820
133.95/85.28	c cleaning 7640 clauses out of 15285 with flag 43136/695821
135.37/85.99	c cleaning 7818 clauses out of 15643 with flag 62782/703819
136.95/86.79	c cleaning 8411 clauses out of 16825 with flag 84396/712819
138.95/87.71	c cleaning 9200 clauses out of 18414 with flag 110040/722819
138.95/87.75	c And the winner is solver0
139.40/88.17	c Got one! Elapsed wall clock time (in seconds):88.03
139.40/88.17	o 99
140.31/88.64	c cleaning 7383 clauses out of 14773 with flag 11866/728378
141.32/89.14	c cleaning 6688 clauses out of 13392 with flag 26641/734380
142.51/89.71	c cleaning 6844 clauses out of 13703 with flag 43967/741379
143.91/90.45	c cleaning 7424 clauses out of 14858 with flag 64053/749378
144.31/90.66	c And the winner is solver0
145.34/91.63	c Got one! Elapsed wall clock time (in seconds):91.489
145.34/91.63	o 98
145.47/91.72	c And the winner is solver0
145.57/92.13	c Got one! Elapsed wall clock time (in seconds):91.996
145.57/92.13	o 86
145.89/92.39	c cleaning 6921 clauses out of 13841 with flag 7154/755785
146.89/92.87	c cleaning 6452 clauses out of 12914 with flag 21788/761779
148.09/93.46	c cleaning 6728 clauses out of 13460 with flag 38361/768777
149.29/94.04	c And the winner is solver0
149.73/94.44	c Got one! Elapsed wall clock time (in seconds):94.304
149.73/94.44	o 84
150.85/95.02	c cleaning 9436 clauses out of 18875 with flag 11179/780920
151.85/95.52	c cleaning 7721 clauses out of 15441 with flag 25440/786922
152.85/96.08	c cleaning 7360 clauses out of 14720 with flag 41544/793922
154.25/96.72	c cleaning 7676 clauses out of 15358 with flag 60840/801920
155.85/97.53	c cleaning 8339 clauses out of 16684 with flag 82532/810922
157.45/98.34	c And the winner is solver0
157.68/98.50	c Got one! Elapsed wall clock time (in seconds):98.362
157.68/98.50	o 83
159.15/99.28	c cleaning 11165 clauses out of 22329 with flag 11248/824906
159.55/99.40	c And the winner is solver0
159.65/99.51	c Got one! Elapsed wall clock time (in seconds):99.37
159.65/99.51	o 81
160.42/99.94	c cleaning 8277 clauses out of 16570 with flag 9149/830312
161.42/100.42	c cleaning 7137 clauses out of 14294 with flag 22804/836313
161.42/100.50	c And the winner is solver0
161.73/100.61	c Got one! Elapsed wall clock time (in seconds):100.477
161.73/100.61	o 79
162.29/100.95	c cleaning 6145 clauses out of 12297 with flag 9053/841453
163.29/101.42	c cleaning 6068 clauses out of 12153 with flag 23141/847454
163.49/101.56	c And the winner is solver0
163.66/101.67	c Got one! Elapsed wall clock time (in seconds):101.535
163.66/101.67	o 77
164.13/101.93	c cleaning 5538 clauses out of 11098 with flag 7232/852467
164.94/102.38	c cleaning 5771 clauses out of 11559 with flag 21325/858466
166.13/102.94	c cleaning 6392 clauses out of 12789 with flag 38115/865467
167.34/103.59	c cleaning 7195 clauses out of 14396 with flag 57442/873466
168.93/104.39	c cleaning 8102 clauses out of 16207 with flag 79786/882472
169.93/104.82	c And the winner is solver0
170.15/105.18	c Got one! Elapsed wall clock time (in seconds):105.043
170.15/105.18	o 75
171.19/105.76	c cleaning 9073 clauses out of 18146 with flag 11574/892513
171.58/105.99	c And the winner is solver0
171.85/106.19	c Got one! Elapsed wall clock time (in seconds):106.051
171.85/106.19	o 73
172.26/106.41	c cleaning 7061 clauses out of 14130 with flag 4430/897570
173.25/106.92	c cleaning 6533 clauses out of 13072 with flag 18610/903573
174.46/107.50	c cleaning 6768 clauses out of 13542 with flag 35065/910576
175.66/108.19	c cleaning 7383 clauses out of 14768 with flag 53671/918570
177.26/108.96	c cleaning 8192 clauses out of 16386 with flag 74975/927571
179.06/109.89	c cleaning 9095 clauses out of 18192 with flag 98498/937569
181.25/110.98	c cleaning 10049 clauses out of 20097 with flag 123987/948569
183.65/112.16	c cleaning 11025 clauses out of 22049 with flag 151304/960570
186.65/113.62	c cleaning 12012 clauses out of 24025 with flag 181363/973571
190.06/115.30	c cleaning 13004 clauses out of 26012 with flag 214813/987570
193.87/117.21	c cleaning 14003 clauses out of 28008 with flag 251118/1002570
198.47/119.50	c cleaning 14996 clauses out of 30005 with flag 288959/1018570
203.27/121.99	c cleaning 16003 clauses out of 32008 with flag 328582/1035569
208.46/124.60	c cleaning 17004 clauses out of 34007 with flag 372008/1053571
214.28/127.40	c cleaning 18001 clauses out of 36002 with flag 416941/1072570
220.08/130.40	c cleaning 18996 clauses out of 38000 with flag 463437/1092569
226.47/133.56	c cleaning 20003 clauses out of 40007 with flag 511565/1113572
233.67/137.12	c cleaning 20997 clauses out of 42001 with flag 562731/1135569
241.32/140.99	c cleaning 22000 clauses out of 44004 with flag 617525/1158569
249.50/145.00	c cleaning 22998 clauses out of 46004 with flag 670558/1182569
257.94/149.28	c cleaning 24000 clauses out of 48006 with flag 727715/1207569
263.54/152.06	c And the winner is solver0
263.59/152.22	c Got one! Elapsed wall clock time (in seconds):152.085
263.59/152.22	o 72
265.94/153.45	c cleaning 23204 clauses out of 46418 with flag 11399/1229981
267.54/154.24	c cleaning 14600 clauses out of 29212 with flag 25938/1235979
268.94/154.98	c cleaning 10799 clauses out of 21611 with flag 42689/1242978
270.54/155.76	c cleaning 9399 clauses out of 18813 with flag 61533/1250979
272.34/156.70	c cleaning 9199 clauses out of 18413 with flag 82703/1259978
274.54/157.75	c cleaning 9605 clauses out of 19217 with flag 105906/1269981
276.94/158.99	c cleaning 10304 clauses out of 20618 with flag 132383/1280987
279.55/160.29	c cleaning 11153 clauses out of 22307 with flag 162269/1292980
282.76/161.87	c cleaning 12073 clauses out of 24153 with flag 193755/1305979
286.55/163.70	c cleaning 13038 clauses out of 26081 with flag 227925/1319980
288.15/164.59	c And the winner is solver0
289.17/165.53	c Got one! Elapsed wall clock time (in seconds):165.398
289.17/165.53	o 71
290.70/166.32	c cleaning 12901 clauses out of 25805 with flag 11500/1332742
291.89/166.94	c cleaning 9451 clauses out of 18901 with flag 25634/1338739
293.29/167.62	c cleaning 8217 clauses out of 16453 with flag 41776/1345742
294.91/168.42	c cleaning 8110 clauses out of 16232 with flag 61098/1353738
296.69/169.39	c cleaning 8561 clauses out of 17123 with flag 82153/1362739
299.10/170.53	c cleaning 9277 clauses out of 18561 with flag 105846/1372738
301.51/171.76	c cleaning 10143 clauses out of 20292 with flag 132556/1383746
304.50/173.23	c cleaning 11070 clauses out of 22145 with flag 160999/1395742
307.69/174.90	c cleaning 12028 clauses out of 24071 with flag 190996/1408738
311.69/176.84	c cleaning 13017 clauses out of 26043 with flag 223120/1422738
315.69/178.89	c cleaning 14014 clauses out of 28030 with flag 257809/1437742
320.29/181.15	c cleaning 15005 clauses out of 30018 with flag 296388/1453744
325.50/183.72	c cleaning 16000 clauses out of 32007 with flag 335415/1470738
331.09/186.50	c cleaning 16999 clauses out of 34007 with flag 377883/1488738
331.69/186.81	c And the winner is solver0
331.77/187.05	c Got one! Elapsed wall clock time (in seconds):186.911
331.77/187.05	o 70
332.45/187.46	c cleaning 11380 clauses out of 22761 with flag 6847/1494491
333.65/188.07	c cleaning 8678 clauses out of 17374 with flag 20575/1500484
334.25/188.39	c And the winner is solver0
335.26/189.26	c Got one! Elapsed wall clock time (in seconds):189.123
335.26/189.26	o 66
335.75/189.52	c cleaning 7246 clauses out of 14499 with flag 4566/1506287
336.75/190.04	c cleaning 6621 clauses out of 13249 with flag 18079/1512283
336.75/190.07	c And the winner is solver0
337.32/190.57	c Got one! Elapsed wall clock time (in seconds):190.434
337.32/190.57	o 56
338.22/191.00	c cleaning 5995 clauses out of 12005 with flag 10908/1517660
339.02/191.50	c cleaning 6000 clauses out of 12006 with flag 24023/1523656
340.42/192.12	c cleaning 6502 clauses out of 13010 with flag 39749/1530660
342.02/192.91	c cleaning 7250 clauses out of 14502 with flag 57448/1538654
343.82/193.84	c cleaning 8128 clauses out of 16255 with flag 77288/1547657
346.01/194.93	c cleaning 9055 clauses out of 18125 with flag 98975/1557655
348.61/196.23	c cleaning 10037 clauses out of 20074 with flag 122693/1568659
351.61/197.72	c cleaning 11015 clauses out of 22035 with flag 148623/1580657
354.81/199.37	c cleaning 12009 clauses out of 24018 with flag 177437/1593655
358.41/201.16	c cleaning 13004 clauses out of 26010 with flag 207449/1607656
362.61/203.22	c cleaning 14002 clauses out of 28007 with flag 239438/1622657
367.22/205.51	c cleaning 15003 clauses out of 30005 with flag 273610/1638657
372.23/208.02	c cleaning 15993 clauses out of 32003 with flag 310344/1655658
377.82/210.83	c cleaning 17002 clauses out of 34007 with flag 349639/1673655
383.82/213.85	c cleaning 18001 clauses out of 36004 with flag 390633/1692654
390.42/217.12	c cleaning 19003 clauses out of 38005 with flag 434753/1712656
397.62/220.75	c cleaning 20002 clauses out of 40005 with flag 480017/1733659
405.03/224.45	c cleaning 21000 clauses out of 42002 with flag 525634/1755658
413.22/228.57	c cleaning 22003 clauses out of 44006 with flag 573999/1778662
422.42/233.14	c cleaning 22997 clauses out of 45996 with flag 623752/1802655
432.24/238.01	c cleaning 23998 clauses out of 48000 with flag 675503/1827656
441.84/242.86	c cleaning 25001 clauses out of 50002 with flag 729509/1853656
452.83/248.35	c cleaning 25993 clauses out of 51999 with flag 786996/1880654
464.92/254.32	c cleaning 27003 clauses out of 54006 with flag 846018/1908654
476.72/260.27	c cleaning 28002 clauses out of 56007 with flag 907961/1937658
490.15/266.95	c cleaning 29002 clauses out of 58003 with flag 973686/1967656
503.55/273.66	c cleaning 29997 clauses out of 60000 with flag 1039153/1998655
518.56/281.11	c cleaning 31002 clauses out of 62003 with flag 1106554/2030655
534.57/289.10	c cleaning 31997 clauses out of 64000 with flag 1176648/2063654
553.88/298.78	c cleaning 32998 clauses out of 66005 with flag 1247558/2097656
571.68/307.66	c cleaning 34002 clauses out of 68006 with flag 1321115/2132655
588.89/316.29	c cleaning 35001 clauses out of 70003 with flag 1397019/2168654
607.91/325.77	c cleaning 35994 clauses out of 72002 with flag 1474628/2205654
628.74/336.12	c cleaning 37004 clauses out of 74008 with flag 1553908/2243654
650.74/347.12	c cleaning 38003 clauses out of 76007 with flag 1634954/2282657
673.74/358.61	c cleaning 38998 clauses out of 78004 with flag 1719258/2322657
699.73/371.64	c cleaning 40001 clauses out of 80003 with flag 1804743/2363654
726.53/385.10	c cleaning 40989 clauses out of 82002 with flag 1894086/2405654
753.52/398.58	c cleaning 42006 clauses out of 84016 with flag 1985299/2448657
781.53/412.53	c cleaning 43002 clauses out of 86007 with flag 2080679/2492654
811.56/427.51	c cleaning 44001 clauses out of 88006 with flag 2177255/2537655
842.75/443.18	c cleaning 45000 clauses out of 90004 with flag 2276687/2583654
876.36/459.92	c cleaning 46000 clauses out of 92004 with flag 2375960/2630654
911.74/477.61	c cleaning 47000 clauses out of 94004 with flag 2476549/2678654
949.53/496.53	c cleaning 48000 clauses out of 96004 with flag 2580837/2727654
985.73/514.64	c cleaning 49003 clauses out of 98005 with flag 2686664/2777655
1021.98/532.71	c cleaning 50001 clauses out of 100003 with flag 2794600/2828656
1063.57/553.52	c cleaning 50994 clauses out of 102000 with flag 2903615/2880654
1106.57/575.05	c cleaning 52006 clauses out of 104011 with flag 3016368/2933659
1151.57/597.59	c cleaning 52999 clauses out of 106000 with flag 3131331/2987654
1197.97/620.70	c cleaning 54000 clauses out of 108001 with flag 3247821/3042654
1248.76/646.15	c cleaning 54992 clauses out of 110002 with flag 3366634/3098655
1299.37/671.44	c cleaning 56000 clauses out of 112010 with flag 3489666/3155655
1353.16/698.33	c cleaning 57001 clauses out of 114010 with flag 3613408/3213655
1410.17/726.90	c cleaning 58002 clauses out of 116009 with flag 3737174/3272655
1467.16/755.37	c cleaning 58995 clauses out of 118009 with flag 3864142/3332657
1528.78/786.12	c cleaning 60003 clauses out of 120011 with flag 3995264/3393654
1593.58/818.57	c cleaning 61000 clauses out of 122008 with flag 4127470/3455654
1658.98/851.29	c cleaning 61995 clauses out of 124012 with flag 4260009/3518658
1725.89/884.72	c cleaning 63005 clauses out of 126014 with flag 4395753/3582655
1794.28/918.90	c cleaning 64004 clauses out of 128008 with flag 4533372/3647654
1800.09/921.81	c >>>>>>>>>> Solver number 0 (75 answers) <<<<<<<<<<<<<<<<<<
1800.09/921.81	c starts		: 18205
1800.09/921.81	c conflicts		: 3656966
1800.09/921.81	c decisions		: 4682448
1800.09/921.81	c propagations		: 49561390
1800.09/921.81	c inspects		: 17041247817
1800.09/921.81	c shortcuts		: 0
1800.09/921.81	c learnt literals	: 0
1800.09/921.81	c learnt binary clauses	: 0
1800.09/921.81	c learnt ternary clauses	: 0
1800.09/921.81	c learnt constraints	: 3656966
1800.09/921.81	c ignored constraints	: 0
1800.09/921.81	c root simplifications	: 0
1800.09/921.81	c removed literals (reason simplification)	: 25846803
1800.09/921.81	c reason swapping (by a shorter reason)	: 0
1800.09/921.81	c Calls to reduceDB	: 223
1800.09/921.81	c Number of update (reduction) of LBD	: 430807
1800.09/921.81	c Imported unit clauses	: 0
1800.09/921.81	c number of reductions to clauses (during analyze)	: 0
1800.09/921.81	c number of learned constraints concerned by reduction	: 0
1800.09/921.81	c number of learning phase by resolution	: 0
1800.09/921.81	c number of learning phase by cutting planes	: 0
1800.09/921.81	c speed (assignments/second)	: 56233.55787548405
1800.09/921.81	c non guided choices	2209
1800.09/921.83	c learnt constraints type 
1800.09/921.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 73316
1800.09/921.83	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.09/921.83	c starts		: 82
1800.09/921.83	c conflicts		: 1382
1800.09/921.83	c decisions		: 13144
1800.09/921.83	c propagations		: 28699
1800.09/921.83	c inspects		: 9732875
1800.09/921.83	c shortcuts		: 0
1800.09/921.83	c learnt literals	: 0
1800.09/921.83	c learnt binary clauses	: 0
1800.09/921.83	c learnt ternary clauses	: 0
1800.09/921.83	c learnt constraints	: 1315
1800.09/921.83	c ignored constraints	: 0
1800.09/921.83	c root simplifications	: 0
1800.09/921.83	c removed literals (reason simplification)	: 0
1800.09/921.83	c reason swapping (by a shorter reason)	: 0
1800.09/921.83	c Calls to reduceDB	: 0
1800.09/921.83	c Number of update (reduction) of LBD	: 0
1800.09/921.83	c Imported unit clauses	: 0
1800.09/921.83	c number of reductions to clauses (during analyze)	: 0
1800.09/921.83	c number of learned constraints concerned by reduction	: 0
1800.09/921.83	c number of learning phase by resolution	: 0
1800.09/921.83	c number of learning phase by cutting planes	: 0
1800.09/921.83	c speed (assignments/second)	: 39.24815958009844
1800.09/921.83	c non guided choices	1925
1800.09/921.83	c learnt constraints type 
1800.09/921.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.09/921.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1314
1800.09/921.83	s SATISFIABLE
1800.09/921.83	c Found 77 solution(s)
1800.09/921.84	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 
1800.09/921.92	c objective function=56
1800.09/921.92	c Total wall clock time (in seconds): 921.779

Verifier Data 

OK	56

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-4081380-1465233244/watcher-4081380-1465233244 -o /tmp/evaluation-result-4081380-1465233244/solver-4081380-1465233244 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25467 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081380-1465233244.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.88 3.95 4.03 2/174 1091
/proc/meminfo: memFree=31557760/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/1091/stat : 1091 (runsolver) D 1088 1091 25451 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 1 0 105256157 24911872 159 33554432000 4194304 4338465 140734278094160 140734278091352 211458616759 0 0 4096 24578 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/1091/statm: 6082 159 113 36 0 2655 0

[startup+0.100099 s]
/proc/loadavg: 3.88 3.95 4.03 2/174 1091
/proc/meminfo: memFree=31557760/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 3769 0 1 0 6 1 0 0 20 0 18 0 105256157 9787879424 4901 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2389619 4901 1948 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200293 s]
/proc/loadavg: 3.88 3.95 4.03 2/174 1091
/proc/meminfo: memFree=31557760/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 4704 0 1 0 20 1 0 0 20 0 18 0 105256157 9787879424 6821 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2389619 6821 2195 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300225 s]
/proc/loadavg: 3.88 3.95 4.03 2/174 1091
/proc/meminfo: memFree=31557760/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 7681 0 1 0 46 2 0 0 20 0 22 0 105256157 10060525568 9523 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2456183 9523 2233 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824732

[startup+0.700222 s]
/proc/loadavg: 3.88 3.95 4.03 2/174 1091
/proc/meminfo: memFree=31557760/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 16711 0 1 0 178 6 0 0 20 0 19 0 105256157 10060525568 16238 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2456183 16238 2247 9 0 2446860 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 3.88 3.95 4.03 1/213 1185
/proc/meminfo: memFree=31458328/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 17746 0 1 0 255 10 0 0 20 0 19 0 105256157 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2456183 26034 2266 9 0 2446860 0
[pid=1091/tid=1093] ppid=1088 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/1091/task/1093/stat : 1093 (java) S 1088 1091 25451 0 -1 4202560 2413 0 1 0 15 2 0 0 20 0 19 0 105256158 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620941169528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1094] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1094/stat : 1094 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620930230952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1095] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1095/stat : 1095 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620929178408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1096] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1096/stat : 1096 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620928125864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1097] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1097/stat : 1097 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620927073320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1098] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1098/stat : 1098 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620926019752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1099] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1099/stat : 1099 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620924967208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1100] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1100/stat : 1100 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620923914664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1101] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1101/stat : 1101 (java) S 1088 1091 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620922862120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1107] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1107/stat : 1107 (java) S 1088 1091 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620765149800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1108] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1108/stat : 1108 (java) S 1088 1091 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620764096120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1109] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1109/stat : 1109 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620763043464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1124] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1124/stat : 1124 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620761992208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1125] ppid=1088 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/1091/task/1125/stat : 1125 (java) S 1088 1091 25451 0 -1 4202560 7998 0 0 0 68 2 0 0 20 0 19 0 105256164 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620760938552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1126] ppid=1088 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/1091/task/1126/stat : 1126 (java) S 1088 1091 25451 0 -1 4202560 5961 0 0 0 66 0 0 0 20 0 19 0 105256164 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620759886008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1127] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1127/stat : 1127 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620758833656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1128] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1128/stat : 1128 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620757781320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1144] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1144/stat : 1144 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256178 10060525568 26034 33554432000 1073741824 1073778376 140733392172288 140620753569448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 3.88 3.95 4.03 4/212 1255
/proc/meminfo: memFree=31394148/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 17783 0 1 0 269 14 0 0 20 0 19 0 105256157 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2456183 33717 2268 9 0 2446860 0
[pid=1091/tid=1093] ppid=1088 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/1091/task/1093/stat : 1093 (java) S 1088 1091 25451 0 -1 4202560 2414 0 1 0 16 2 0 0 20 0 19 0 105256158 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620941169528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1094] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1094/stat : 1094 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620930230952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1095] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1095/stat : 1095 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620929178408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1096] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1096/stat : 1096 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620928125864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1097] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1097/stat : 1097 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620927073320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1098] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1098/stat : 1098 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620926019752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1099] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1099/stat : 1099 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620924967208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1100] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1100/stat : 1100 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620923914664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1101] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1101/stat : 1101 (java) S 1088 1091 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620922862120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1107] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1107/stat : 1107 (java) S 1088 1091 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620765149800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1108] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1108/stat : 1108 (java) S 1088 1091 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620764096120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1109] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1109/stat : 1109 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620763043464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1124] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1124/stat : 1124 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620761992208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1125] ppid=1088 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/1091/task/1125/stat : 1125 (java) S 1088 1091 25451 0 -1 4202560 8000 0 0 0 76 2 0 0 20 0 19 0 105256164 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620760938552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1126] ppid=1088 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/1091/task/1126/stat : 1126 (java) S 1088 1091 25451 0 -1 4202560 5961 0 0 0 67 0 0 0 20 0 19 0 105256164 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620759886008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1127] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1127/stat : 1127 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620758833656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1128] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1128/stat : 1128 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620757781320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1144] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1144/stat : 1144 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256178 10060525568 33717 33554432000 1073741824 1073778376 140733392172288 140620753569448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9824732

[startup+6.30082 s]
/proc/loadavg: 3.81 3.93 4.02 3/216 1280
/proc/meminfo: memFree=30952460/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9824732 CPUtime=3.45 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 17908 0 1 0 317 28 0 0 20 0 19 0 105256157 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2456183 44948 2282 9 0 2446860 0
[pid=1091/tid=1093] ppid=1088 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/1091/task/1093/stat : 1093 (java) S 1088 1091 25451 0 -1 4202560 2416 0 1 0 16 2 0 0 20 0 19 0 105256158 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620941169528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1094] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1094/stat : 1094 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620930230952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1095] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1095/stat : 1095 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620929178408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1096] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1096/stat : 1096 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620928125864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1097] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1097/stat : 1097 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620927073320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1098] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1098/stat : 1098 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620926019752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1099] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1099/stat : 1099 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620924967208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1100] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1100/stat : 1100 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620923914664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1101] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1101/stat : 1101 (java) S 1088 1091 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105256159 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620922862120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1107] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1107/stat : 1107 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620765149800 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1108] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1108/stat : 1108 (java) S 1088 1091 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620764096120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1109] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1109/stat : 1109 (java) S 1088 1091 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105256161 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620763043464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1124] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1124/stat : 1124 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620761992208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1125] ppid=1088 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/1091/task/1125/stat : 1125 (java) S 1088 1091 25451 0 -1 4202560 8008 0 0 0 85 2 0 0 20 0 19 0 105256164 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620760938552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1126] ppid=1088 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/1091/task/1126/stat : 1126 (java) S 1088 1091 25451 0 -1 4202560 5961 0 0 0 68 0 0 0 20 0 19 0 105256164 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620759886008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1127] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1127/stat : 1127 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620758833656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1128] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1128/stat : 1128 (java) S 1088 1091 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105256164 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620757781320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1144] ppid=1088 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1144/stat : 1144 (java) S 1088 1091 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105256178 10060525568 44948 33554432000 1073741824 1073778376 140733392172288 140620753569448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

/proc/1091/task/1505/stat : 1505 (java) S 1088 1091 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105275219 10060525568 266144 33554432000 1073741824 1073778376 140733392172288 140620754621992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

[startup+921.912 s]
/proc/loadavg: 3.35 3.91 3.97 3/191 1562
/proc/meminfo: memFree=30501528/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9957860 CPUtime=1798.49 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 27245 0 1 0 179588 261 0 0 20 0 21 0 105256157 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2489465 266178 2302 9 0 2480142 0
[pid=1091/tid=1093] ppid=1088 vsize=9957860 CPUtime=0.46 cores=0,2,4,6
/proc/1091/task/1093/stat : 1093 (java) S 1088 1091 25451 0 -1 4202560 2416 0 1 0 43 3 0 0 20 0 21 0 105256158 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620941169528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1094] ppid=1088 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/1091/task/1094/stat : 1094 (java) S 1088 1091 25451 0 -1 4202560 386 0 0 0 23 6 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620930230952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1095] ppid=1088 vsize=9957860 CPUtime=0.32 cores=0,2,4,6
/proc/1091/task/1095/stat : 1095 (java) S 1088 1091 25451 0 -1 4202560 1269 0 0 0 24 8 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620929178408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1096] ppid=1088 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/1091/task/1096/stat : 1096 (java) S 1088 1091 25451 0 -1 4202560 621 0 0 0 27 6 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620928125864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1097] ppid=1088 vsize=9957860 CPUtime=0.3 cores=0,2,4,6
/proc/1091/task/1097/stat : 1097 (java) S 1088 1091 25451 0 -1 4202560 516 0 0 0 24 6 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620927073320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1098] ppid=1088 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/1091/task/1098/stat : 1098 (java) S 1088 1091 25451 0 -1 4202560 912 0 0 0 28 6 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620926019752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1099] ppid=1088 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/1091/task/1099/stat : 1099 (java) S 1088 1091 25451 0 -1 4202560 603 0 0 0 23 5 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620924967208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1100] ppid=1088 vsize=9957860 CPUtime=0.35 cores=0,2,4,6
/proc/1091/task/1100/stat : 1100 (java) S 1088 1091 25451 0 -1 4202560 519 0 0 0 29 6 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620923914664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1101] ppid=1088 vsize=9957860 CPUtime=0.37 cores=0,2,4,6
/proc/1091/task/1101/stat : 1101 (java) S 1088 1091 25451 0 -1 4202560 798 0 0 0 29 8 0 0 20 0 21 0 105256159 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620922862120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1107] ppid=1088 vsize=9957860 CPUtime=0.45 cores=0,2,4,6
/proc/1091/task/1107/stat : 1107 (java) R 1088 1091 25451 0 -1 4202560 511 0 0 0 21 24 0 0 20 0 21 0 105256161 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620765149800 211458755719 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1108] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1108/stat : 1108 (java) S 1088 1091 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 105256161 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620764096120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1109] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1109/stat : 1109 (java) S 1088 1091 25451 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 21 0 105256161 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620763043464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1124] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1124/stat : 1124 (java) S 1088 1091 25451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 105256164 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620761992208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1125] ppid=1088 vsize=9957860 CPUtime=1.31 cores=0,2,4,6
/proc/1091/task/1125/stat : 1125 (java) S 1088 1091 25451 0 -1 4202560 9043 0 0 0 129 2 0 0 20 0 21 0 105256164 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620760930536 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1126] ppid=1088 vsize=9957860 CPUtime=0.75 cores=0,2,4,6
/proc/1091/task/1126/stat : 1126 (java) S 1088 1091 25451 0 -1 4202560 5963 0 0 0 75 0 0 0 20 0 21 0 105256164 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620759886008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1127] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1127/stat : 1127 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105256164 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620758833656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1128] ppid=1088 vsize=9957860 CPUtime=0.26 cores=0,2,4,6
/proc/1091/task/1128/stat : 1128 (java) S 1088 1091 25451 0 -1 4202560 54 0 0 0 12 14 0 0 20 0 21 0 105256164 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620757781320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1504] ppid=1088 vsize=9957860 CPUtime=728.79 cores=0,2,4,6
/proc/1091/task/1504/stat : 1504 (java) R 1088 1091 25451 0 -1 4202560 808 0 0 0 72866 13 0 0 20 0 21 0 105275215 10196848640 266178 33554432000 1073741824 1073778376 140733392172288 140620755671576 140620803417812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 9957860
#
############


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

[startup+922.001 s]
/proc/loadavg: 3.35 3.91 3.97 3/191 1562
/proc/meminfo: memFree=30501528/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9957860 CPUtime=1798.72 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 27246 0 1 0 179600 272 0 0 20 0 19 0 105256157 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2489465 266174 2302 9 0 2480142 0
[pid=1091/tid=1093] ppid=1088 vsize=9957860 CPUtime=0.46 cores=0,2,4,6
/proc/1091/task/1093/stat : 1093 (java) S 1088 1091 25451 0 -1 4202560 2416 0 1 0 43 3 0 0 20 0 19 0 105256158 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620941169528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1094] ppid=1088 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/1091/task/1094/stat : 1094 (java) S 1088 1091 25451 0 -1 4202560 386 0 0 0 23 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620930230952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1095] ppid=1088 vsize=9957860 CPUtime=0.32 cores=0,2,4,6
/proc/1091/task/1095/stat : 1095 (java) S 1088 1091 25451 0 -1 4202560 1269 0 0 0 24 8 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620929178408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1096] ppid=1088 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/1091/task/1096/stat : 1096 (java) S 1088 1091 25451 0 -1 4202560 621 0 0 0 27 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620928125864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1097] ppid=1088 vsize=9957860 CPUtime=0.3 cores=0,2,4,6
/proc/1091/task/1097/stat : 1097 (java) S 1088 1091 25451 0 -1 4202560 516 0 0 0 24 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620927073320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1098] ppid=1088 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/1091/task/1098/stat : 1098 (java) S 1088 1091 25451 0 -1 4202560 912 0 0 0 28 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620926019752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1099] ppid=1088 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/1091/task/1099/stat : 1099 (java) S 1088 1091 25451 0 -1 4202560 603 0 0 0 23 5 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620924967208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1100] ppid=1088 vsize=9957860 CPUtime=0.35 cores=0,2,4,6
/proc/1091/task/1100/stat : 1100 (java) S 1088 1091 25451 0 -1 4202560 519 0 0 0 29 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620923914664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1101] ppid=1088 vsize=9957860 CPUtime=0.37 cores=0,2,4,6
/proc/1091/task/1101/stat : 1101 (java) S 1088 1091 25451 0 -1 4202560 798 0 0 0 29 8 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620922862120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1107] ppid=1088 vsize=9957860 CPUtime=0.54 cores=0,2,4,6
/proc/1091/task/1107/stat : 1107 (java) R 1088 1091 25451 0 -1 4202560 511 0 0 0 23 31 0 0 20 0 19 0 105256161 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620765149800 211458755719 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1108] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1108/stat : 1108 (java) S 1088 1091 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105256161 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620764096120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1109] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1109/stat : 1109 (java) S 1088 1091 25451 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 19 0 105256161 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620763043464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1124] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1124/stat : 1124 (java) S 1088 1091 25451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620761991240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1125] ppid=1088 vsize=9957860 CPUtime=1.31 cores=0,2,4,6
/proc/1091/task/1125/stat : 1125 (java) S 1088 1091 25451 0 -1 4202560 9043 0 0 0 129 2 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620760930520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1126] ppid=1088 vsize=9957860 CPUtime=0.75 cores=0,2,4,6
/proc/1091/task/1126/stat : 1126 (java) S 1088 1091 25451 0 -1 4202560 5963 0 0 0 75 0 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620759886008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1127] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1127/stat : 1127 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620758833656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1504] ppid=1088 vsize=9957860 CPUtime=728.88 cores=0,2,4,6
/proc/1091/task/1504/stat : 1504 (java) R 1088 1091 25451 0 -1 4202560 808 0 0 0 72875 13 0 0 20 0 19 0 105275215 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620755671784 140620803417887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 9957860

[startup+922.101 s]
/proc/loadavg: 3.35 3.91 3.97 3/191 1562
/proc/meminfo: memFree=30501528/32872528 swapFree=11252/530428
[pid=1091] ppid=1088 vsize=9957860 CPUtime=1798.92 cores=0,2,4,6
/proc/1091/stat : 1091 (java) S 1088 1091 25451 0 -1 4202496 27246 0 1 0 179611 281 0 0 20 0 19 0 105256157 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140733392163424 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1091/statm: 2489465 266174 2302 9 0 2480142 0
[pid=1091/tid=1093] ppid=1088 vsize=9957860 CPUtime=0.46 cores=0,2,4,6
/proc/1091/task/1093/stat : 1093 (java) S 1088 1091 25451 0 -1 4202560 2416 0 1 0 43 3 0 0 20 0 19 0 105256158 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620941169528 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1094] ppid=1088 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/1091/task/1094/stat : 1094 (java) S 1088 1091 25451 0 -1 4202560 386 0 0 0 23 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620930230952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1095] ppid=1088 vsize=9957860 CPUtime=0.32 cores=0,2,4,6
/proc/1091/task/1095/stat : 1095 (java) S 1088 1091 25451 0 -1 4202560 1269 0 0 0 24 8 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620929178408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1096] ppid=1088 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/1091/task/1096/stat : 1096 (java) S 1088 1091 25451 0 -1 4202560 621 0 0 0 27 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620928125864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1091/tid=1097] ppid=1088 vsize=9957860 CPUtime=0.3 cores=0,2,4,6
/proc/1091/task/1097/stat : 1097 (java) S 1088 1091 25451 0 -1 4202560 516 0 0 0 24 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620927073320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1098] ppid=1088 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/1091/task/1098/stat : 1098 (java) S 1088 1091 25451 0 -1 4202560 912 0 0 0 28 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620926019752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1091/tid=1099] ppid=1088 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/1091/task/1099/stat : 1099 (java) S 1088 1091 25451 0 -1 4202560 603 0 0 0 23 5 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620924967208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1100] ppid=1088 vsize=9957860 CPUtime=0.35 cores=0,2,4,6
/proc/1091/task/1100/stat : 1100 (java) S 1088 1091 25451 0 -1 4202560 519 0 0 0 29 6 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620923914664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1101] ppid=1088 vsize=9957860 CPUtime=0.37 cores=0,2,4,6
/proc/1091/task/1101/stat : 1101 (java) S 1088 1091 25451 0 -1 4202560 798 0 0 0 29 8 0 0 20 0 19 0 105256159 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620922862120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1107] ppid=1088 vsize=9957860 CPUtime=0.64 cores=0,2,4,6
/proc/1091/task/1107/stat : 1107 (java) R 1088 1091 25451 0 -1 4202560 511 0 0 0 24 40 0 0 20 0 19 0 105256161 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620765149800 211458755719 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1108] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1108/stat : 1108 (java) S 1088 1091 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105256161 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620764096120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1109] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1109/stat : 1109 (java) S 1088 1091 25451 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 19 0 105256161 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620763043464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1124] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1124/stat : 1124 (java) S 1088 1091 25451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620761991240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1125] ppid=1088 vsize=9957860 CPUtime=1.31 cores=0,2,4,6
/proc/1091/task/1125/stat : 1125 (java) S 1088 1091 25451 0 -1 4202560 9043 0 0 0 129 2 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620760930520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1091/tid=1126] ppid=1088 vsize=9957860 CPUtime=0.75 cores=0,2,4,6
/proc/1091/task/1126/stat : 1126 (java) S 1088 1091 25451 0 -1 4202560 5963 0 0 0 75 0 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620759886008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1127] ppid=1088 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/1091/task/1127/stat : 1127 (java) S 1088 1091 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105256164 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620758833656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1091/tid=1504] ppid=1088 vsize=9957860 CPUtime=728.98 cores=0,2,4,6
/proc/1091/task/1504/stat : 1504 (java) R 1088 1091 25451 0 -1 4202560 808 0 0 0 72885 13 0 0 20 0 19 0 105275215 10196848640 266174 33554432000 1073741824 1073778376 140733392172288 140620755671784 140620803417857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.92
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1091 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=268229
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=92529
# CPU time returned by wait4() is 1797.36
# while last known CPU time is 1798.92
#
# 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): 1.60005
#  lost CPU user time (s): 1.80997
#  lost CPU system time (s): -0.21

Real time (s): 922.144
CPU time (s): 1800.52
CPU user time (s): 1797.92
CPU system time (s): 2.6
CPU usage (%): 195.254
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 3.09253
maximum resident set size= 1064712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27246
page faults= 1
swaps= 0
block input operations= 0
block output operations= 720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25942
involuntary context switches= 17841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75512 second user time and 7.38288 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-06 19:14:04
IDJOB=4081380
IDBENCH=2932
IDSOLVER=2543
FILE ID=node141/4081380-1465233244
RUNJOBID= node141-1465216745-25467
PBS_JOBID= 19843201
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081380-1465233244/watcher-4081380-1465233244 -o /tmp/evaluation-result-4081380-1465233244/solver-4081380-1465233244 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25467 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081380-1465233244.opb

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

MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55
RANDOM SEED=1079866462

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31557768 kB
Buffers:           24180 kB
Cached:            56196 kB
SwapCached:         1776 kB
Active:            30236 kB
Inactive:          56708 kB
Active(anon):       6328 kB
Inactive(anon):     2468 kB
Active(file):      23908 kB
Inactive(file):    54240 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098112 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:        452188 kB
Mapped:             7256 kB
Shmem:                 0 kB
Slab:             566656 kB
SReclaimable:      10324 kB
SUnreclaim:       556332 kB
KernelStack:        1792 kB
PageTables:         4972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     650816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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 node141 at 2016-06-06 19:29:26