Trace number 3718115

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28OPTIMUM 79.41 77.236

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
MD5SUM272549dcfc1a9500042cdae4b8981d82
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.706891
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 2925
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2924
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1255
Number of bits of the biggest sum of numbers11
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120528
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.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3718115-1338251464.wbo
0.08/0.12	c reading problem ... 
0.08/0.18	c ... done. Wall clock time 0.055s.
0.08/0.18	c declared #vars     169
0.08/0.18	c internal #vars     233
0.08/0.18	c #constraints  101
0.08/0.18	c constraints type 
0.08/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
0.08/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.08/0.18	c ignored satisfied constraints => 1
0.08/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.08/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47
0.08/0.18	c 102 constraints processed.
0.08/0.18	c objective function length is 64 literals
0.23/0.23	c SATISFIABLE
0.23/0.23	c OPTIMIZING...
0.23/0.23	c Got one! Elapsed wall clock time (in seconds):0.106
0.23/0.23	o 712
0.23/0.27	c Got one! Elapsed wall clock time (in seconds):0.144
0.23/0.27	o 704
0.23/0.28	c Got one! Elapsed wall clock time (in seconds):0.156
0.23/0.28	o 697
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.165
0.23/0.29	o 695
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.171
0.23/0.29	o 687
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.211
0.52/0.33	o 680
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.227
0.52/0.35	o 675
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.24
0.52/0.36	o 674
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.258
0.52/0.38	o 668
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.262
0.52/0.39	o 563
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.268
0.52/0.39	o 477
0.68/0.40	c Got one! Elapsed wall clock time (in seconds):0.278
0.68/0.40	o 475
0.68/0.43	c Got one! Elapsed wall clock time (in seconds):0.311
0.68/0.43	o 474
0.68/0.46	c Got one! Elapsed wall clock time (in seconds):0.335
0.68/0.46	o 470
0.68/0.46	c Got one! Elapsed wall clock time (in seconds):0.341
0.68/0.46	o 469
0.68/0.47	c Got one! Elapsed wall clock time (in seconds):0.349
0.68/0.47	o 431
0.68/0.49	c Got one! Elapsed wall clock time (in seconds):0.366
0.68/0.49	o 428
0.84/0.50	c Got one! Elapsed wall clock time (in seconds):0.38
0.84/0.50	o 422
0.84/0.53	c Got one! Elapsed wall clock time (in seconds):0.403
0.84/0.53	o 404
0.84/0.56	c Got one! Elapsed wall clock time (in seconds):0.44
0.84/0.56	o 398
0.95/0.60	c Got one! Elapsed wall clock time (in seconds):0.475
0.95/0.60	o 394
0.95/0.62	c Got one! Elapsed wall clock time (in seconds):0.5
0.95/0.62	o 388
0.95/0.66	c Got one! Elapsed wall clock time (in seconds):0.539
0.95/0.66	o 361
1.11/0.73	c cleaning 6379 clauses out of 12772 with flag 3357/12772
1.11/0.76	c Got one! Elapsed wall clock time (in seconds):0.635
1.11/0.76	o 360
1.11/0.77	c Got one! Elapsed wall clock time (in seconds):0.643
1.11/0.77	o 350
1.11/0.79	c Got one! Elapsed wall clock time (in seconds):0.664
1.11/0.79	o 348
1.11/0.79	c Got one! Elapsed wall clock time (in seconds):0.671
1.11/0.79	o 345
1.26/0.81	c Got one! Elapsed wall clock time (in seconds):0.689
1.26/0.81	o 341
1.26/0.84	c Got one! Elapsed wall clock time (in seconds):0.716
1.26/0.84	o 325
1.26/0.89	c Got one! Elapsed wall clock time (in seconds):0.764
1.26/0.89	o 322
1.36/0.96	c Got one! Elapsed wall clock time (in seconds):0.841
1.36/0.96	o 313
1.36/0.97	c Got one! Elapsed wall clock time (in seconds):0.844
1.36/0.97	o 308
1.47/1.02	c cleaning 8254 clauses out of 16508 with flag 5747/22887
1.47/1.04	c Got one! Elapsed wall clock time (in seconds):0.916
1.47/1.04	o 305
1.47/1.07	c Got one! Elapsed wall clock time (in seconds):0.949
1.47/1.07	o 303
1.61/1.12	c Got one! Elapsed wall clock time (in seconds):0.995
1.61/1.12	o 299
1.70/1.20	c Got one! Elapsed wall clock time (in seconds):1.077
1.70/1.20	o 295
1.70/1.24	c cleaning 7334 clauses out of 14677 with flag 3939/29310
1.83/1.37	c Got one! Elapsed wall clock time (in seconds):1.242
1.83/1.37	o 279
1.93/1.40	c cleaning 6252 clauses out of 12512 with flag 4070/34479
1.93/1.44	c Got one! Elapsed wall clock time (in seconds):1.314
1.93/1.44	o 278
1.93/1.49	c Got one! Elapsed wall clock time (in seconds):1.363
1.93/1.49	o 277
2.03/1.58	c cleaning 6094 clauses out of 12230 with flag 13774/40449
2.16/1.63	c Got one! Elapsed wall clock time (in seconds):1.509
2.16/1.63	o 275
2.16/1.66	c Got one! Elapsed wall clock time (in seconds):1.539
2.16/1.66	o 273
2.27/1.77	c cleaning 6036 clauses out of 12089 with flag 15095/46402
2.47/1.92	c Got one! Elapsed wall clock time (in seconds):1.798
2.47/1.92	o 272
2.47/1.94	c Got one! Elapsed wall clock time (in seconds):1.818
2.47/1.94	o 267
2.80/2.11	c cleaning 8512 clauses out of 17041 with flag 19306/57390
2.80/2.14	c Got one! Elapsed wall clock time (in seconds):2.017
2.80/2.14	o 265
2.93/2.22	c Got one! Elapsed wall clock time (in seconds):2.096
2.93/2.22	o 256
3.03/2.33	c cleaning 7519 clauses out of 15064 with flag 15487/63925
3.13/2.41	c Got one! Elapsed wall clock time (in seconds):2.284
3.13/2.41	o 251
3.23/2.51	c cleaning 6536 clauses out of 13085 with flag 13983/69465
3.33/2.68	c cleaning 6271 clauses out of 12549 with flag 38783/75465
3.43/2.72	c Got one! Elapsed wall clock time (in seconds):2.597
3.43/2.72	o 250
3.43/2.75	c Got one! Elapsed wall clock time (in seconds):2.622
3.43/2.75	o 248
3.53/2.86	c cleaning 6276 clauses out of 12569 with flag 14041/81756
3.53/2.89	c Got one! Elapsed wall clock time (in seconds):2.768
3.53/2.89	o 247
3.73/3.04	c cleaning 5999 clauses out of 12038 with flag 23333/87501
3.83/3.13	c Got one! Elapsed wall clock time (in seconds):3.002
3.83/3.13	o 244
3.83/3.18	c Got one! Elapsed wall clock time (in seconds):3.06
3.83/3.18	o 242
3.94/3.22	c cleaning 5862 clauses out of 11731 with flag 5233/93193
4.16/3.40	c cleaning 5918 clauses out of 11870 with flag 32286/99194
4.16/3.48	c Got one! Elapsed wall clock time (in seconds):3.354
4.16/3.48	o 239
4.26/3.57	c cleaning 5786 clauses out of 11585 with flag 14254/104827
4.46/3.74	c cleaning 5892 clauses out of 11799 with flag 39518/110827
4.56/3.87	c Got one! Elapsed wall clock time (in seconds):3.742
4.56/3.87	o 238
4.66/3.90	c cleaning 5699 clauses out of 11405 with flag 4140/116325
4.66/3.99	c Got one! Elapsed wall clock time (in seconds):3.865
4.66/3.99	o 235
4.77/4.05	c cleaning 5348 clauses out of 10708 with flag 9587/121327
4.77/4.08	c Got one! Elapsed wall clock time (in seconds):3.955
4.77/4.08	o 227
4.87/4.17	c Got one! Elapsed wall clock time (in seconds):4.051
4.87/4.17	o 224
4.97/4.24	c cleaning 5721 clauses out of 11460 with flag 9349/127427
5.10/4.34	c Got one! Elapsed wall clock time (in seconds):4.22
5.10/4.34	o 220
5.20/4.41	c cleaning 5559 clauses out of 11136 with flag 9124/132824
5.29/4.58	c cleaning 5776 clauses out of 11577 with flag 34843/138824
5.39/4.68	c Got one! Elapsed wall clock time (in seconds):4.555
5.39/4.68	o 217
5.49/4.74	c cleaning 5844 clauses out of 11704 with flag 9243/144727
5.69/4.91	c cleaning 5918 clauses out of 11858 with flag 34990/150725
5.80/5.01	c Got one! Elapsed wall clock time (in seconds):4.89
5.80/5.01	o 210
5.80/5.07	c cleaning 5719 clauses out of 11456 with flag 8380/156241
6.01/5.25	c cleaning 5855 clauses out of 11737 with flag 33475/162241
6.22/5.46	c cleaning 6425 clauses out of 12882 with flag 63436/169241
6.32/5.56	c Got one! Elapsed wall clock time (in seconds):5.438
6.32/5.56	o 209
6.41/5.60	c Got one! Elapsed wall clock time (in seconds):5.474
6.41/5.60	o 205
6.41/5.63	c cleaning 6247 clauses out of 12501 with flag 4097/175285
6.41/5.68	c Got one! Elapsed wall clock time (in seconds):5.555
6.41/5.68	o 204
6.51/5.75	c Got one! Elapsed wall clock time (in seconds):5.627
6.51/5.75	o 203
6.61/5.82	c cleaning 6229 clauses out of 12468 with flag 10294/181499
6.71/5.92	c Got one! Elapsed wall clock time (in seconds):5.801
6.71/5.92	o 200
6.81/6.00	c cleaning 5928 clauses out of 11867 with flag 9600/187127
6.91/6.18	c cleaning 5964 clauses out of 11937 with flag 33506/193125
7.01/6.22	c Got one! Elapsed wall clock time (in seconds):6.096
7.01/6.22	o 197
7.11/6.33	c cleaning 5542 clauses out of 11102 with flag 17867/198254
7.11/6.35	c Got one! Elapsed wall clock time (in seconds):6.224
7.11/6.35	o 195
7.21/6.49	c cleaning 5335 clauses out of 10688 with flag 23714/203382
7.42/6.68	c cleaning 5671 clauses out of 11355 with flag 50239/209384
7.62/6.84	c Got one! Elapsed wall clock time (in seconds):6.718
7.62/6.84	o 189
7.83/7.01	c cleaning 8153 clauses out of 16325 with flag 23880/220025
7.93/7.19	c cleaning 7065 clauses out of 14171 with flag 50860/226024
8.23/7.40	c cleaning 7048 clauses out of 14107 with flag 79652/233025
8.34/7.59	c Got one! Elapsed wall clock time (in seconds):7.466
8.34/7.59	o 188
8.54/7.76	c cleaning 9251 clauses out of 18520 with flag 26467/244486
8.74/7.95	c cleaning 7626 clauses out of 15269 with flag 56801/250486
8.94/8.18	c cleaning 7313 clauses out of 14644 with flag 91458/257487
9.25/8.43	c cleaning 7660 clauses out of 15333 with flag 123654/265489
9.25/8.48	c Got one! Elapsed wall clock time (in seconds):8.351
9.25/8.48	o 187
9.35/8.52	c Got one! Elapsed wall clock time (in seconds):8.397
9.35/8.52	o 183
9.45/8.62	c cleaning 6738 clauses out of 13484 with flag 14602/271300
9.45/8.63	c Got one! Elapsed wall clock time (in seconds):8.504
9.45/8.63	o 182
9.56/8.78	c cleaning 5869 clauses out of 11750 with flag 25519/276304
9.66/8.86	c Got one! Elapsed wall clock time (in seconds):8.738
9.66/8.86	o 172
9.76/8.95	c cleaning 5664 clauses out of 11350 with flag 14537/281773
9.96/9.12	c cleaning 5834 clauses out of 11687 with flag 39315/287774
10.16/9.30	c Got one! Elapsed wall clock time (in seconds):9.175
10.16/9.30	o 170
10.26/9.46	c cleaning 8366 clauses out of 16749 with flag 24270/298670
10.47/9.65	c cleaning 7192 clauses out of 14383 with flag 46072/304670
10.57/9.79	c Got one! Elapsed wall clock time (in seconds):9.663
10.57/9.79	o 161
10.68/9.82	c cleaning 6179 clauses out of 12372 with flag 4909/309851
10.88/10.01	c cleaning 6091 clauses out of 12194 with flag 35289/315852
10.98/10.14	c Got one! Elapsed wall clock time (in seconds):10.013
10.98/10.14	o 155
10.98/10.17	c cleaning 5677 clauses out of 11379 with flag 4569/321128
11.19/10.35	c cleaning 5846 clauses out of 11701 with flag 32502/327127
11.39/10.55	c cleaning 6410 clauses out of 12854 with flag 64884/334126
11.69/10.80	c cleaning 7210 clauses out of 14443 with flag 103653/342125
11.90/11.07	c cleaning 8107 clauses out of 16237 with flag 143614/351129
11.90/11.10	c Got one! Elapsed wall clock time (in seconds):10.973
11.90/11.10	o 137
12.10/11.25	c cleaning 6826 clauses out of 13685 with flag 25862/356684
12.30/11.44	c cleaning 6423 clauses out of 12857 with flag 53424/362682
12.52/11.67	c cleaning 6699 clauses out of 13434 with flag 87444/369682
12.82/11.92	c cleaning 7355 clauses out of 14737 with flag 123474/377684
13.13/12.20	c cleaning 8175 clauses out of 16380 with flag 166457/386682
13.24/12.37	c Got one! Elapsed wall clock time (in seconds):12.249
13.24/12.37	o 136
13.37/12.43	c Got one! Elapsed wall clock time (in seconds):12.308
13.37/12.43	o 135
13.47/12.57	c cleaning 9770 clauses out of 19542 with flag 17326/398019
13.67/12.75	c Got one! Elapsed wall clock time (in seconds):12.622
13.67/12.75	o 134
13.87/12.92	c cleaning 10242 clauses out of 20505 with flag 24791/408752
14.07/13.13	c cleaning 8124 clauses out of 16264 with flag 48881/414753
14.27/13.36	c cleaning 7560 clauses out of 15141 with flag 78463/421754
14.47/13.55	c Got one! Elapsed wall clock time (in seconds):13.424
14.47/13.55	o 132
14.57/13.65	c Got one! Elapsed wall clock time (in seconds):13.527
14.57/13.65	o 131
14.67/13.73	c cleaning 9556 clauses out of 19126 with flag 10201/433299
14.87/13.92	c cleaning 7775 clauses out of 15574 with flag 39007/439303
15.07/14.13	c cleaning 7375 clauses out of 14796 with flag 72533/446300
15.28/14.38	c cleaning 7699 clauses out of 15419 with flag 106915/454298
15.58/14.66	c cleaning 8358 clauses out of 16720 with flag 141531/463298
15.88/14.95	c Got one! Elapsed wall clock time (in seconds):14.826
15.88/14.95	o 129
16.08/15.13	c cleaning 11308 clauses out of 22637 with flag 24438/477573
16.29/15.30	c Got one! Elapsed wall clock time (in seconds):15.179
16.29/15.30	o 124
16.39/15.47	c cleaning 10702 clauses out of 21426 with flag 23846/487670
16.58/15.66	c cleaning 8352 clauses out of 16724 with flag 53169/493670
16.79/15.89	c cleaning 7680 clauses out of 15373 with flag 86306/500671
17.09/16.14	c cleaning 7838 clauses out of 15693 with flag 124043/508671
17.39/16.43	c cleaning 8420 clauses out of 16853 with flag 166603/517669
17.69/16.71	c Got one! Elapsed wall clock time (in seconds):16.585
17.69/16.71	o 123
17.89/16.91	c cleaning 11588 clauses out of 23201 with flag 23256/532437
18.09/17.11	c cleaning 8801 clauses out of 17613 with flag 50771/538437
18.30/17.32	c cleaning 7888 clauses out of 15812 with flag 82348/545437
18.50/17.56	c cleaning 7945 clauses out of 15923 with flag 116751/553436
18.79/17.84	c cleaning 8458 clauses out of 16978 with flag 155110/562436
19.10/18.17	c cleaning 9247 clauses out of 18521 with flag 198171/572437
19.50/18.52	c cleaning 10125 clauses out of 20273 with flag 246157/583436
19.60/18.64	c Got one! Elapsed wall clock time (in seconds):18.518
19.60/18.64	o 121
19.60/18.68	c cleaning 7578 clauses out of 15178 with flag 3924/588466
19.70/18.79	c Got one! Elapsed wall clock time (in seconds):18.668
19.70/18.79	o 92
19.80/18.86	c cleaning 6586 clauses out of 13190 with flag 8437/594056
20.00/19.05	c Got one! Elapsed wall clock time (in seconds):18.927
20.00/19.05	o 89
20.20/19.22	c cleaning 8719 clauses out of 17460 with flag 23500/604912
20.40/19.43	c cleaning 7363 clauses out of 14741 with flag 49029/610912
20.60/19.67	c cleaning 7185 clauses out of 14381 with flag 81421/617915
20.90/19.93	c cleaning 7589 clauses out of 15195 with flag 118588/625914
21.00/20.00	c Got one! Elapsed wall clock time (in seconds):19.881
21.00/20.00	o 88
21.10/20.13	c cleaning 6781 clauses out of 13576 with flag 18711/631884
21.31/20.32	c cleaning 6381 clauses out of 12795 with flag 45670/637884
21.51/20.53	c cleaning 6702 clauses out of 13415 with flag 78722/644885
21.71/20.79	c cleaning 7353 clauses out of 14712 with flag 113847/652884
22.02/21.08	c cleaning 8173 clauses out of 16360 with flag 155479/661885
22.42/21.41	c cleaning 9082 clauses out of 18186 with flag 198781/671884
22.82/21.81	c cleaning 10044 clauses out of 20105 with flag 249116/682886
23.23/22.23	c cleaning 11020 clauses out of 22060 with flag 298792/694885
23.63/22.69	c cleaning 12007 clauses out of 24042 with flag 360872/707887
24.14/23.19	c cleaning 13014 clauses out of 26035 with flag 440445/721887
24.75/23.76	c cleaning 14001 clauses out of 28019 with flag 534129/736885
25.35/24.37	c cleaning 15005 clauses out of 30016 with flag 630282/752884
25.75/24.77	c Got one! Elapsed wall clock time (in seconds):24.649
25.75/24.77	o 86
26.12/25.02	c cleaning 15859 clauses out of 31742 with flag 25437/769615
26.53/25.27	c cleaning 10937 clauses out of 21883 with flag 54942/775615
27.05/25.52	c cleaning 8956 clauses out of 17945 with flag 89759/782614
27.25/25.78	c cleaning 8484 clauses out of 16989 with flag 130981/790614
27.55/26.09	c cleaning 8743 clauses out of 17505 with flag 174568/799614
27.96/26.43	c cleaning 9367 clauses out of 18763 with flag 221627/809615
27.96/26.49	c Got one! Elapsed wall clock time (in seconds):26.366
27.96/26.49	o 83
28.15/26.62	c cleaning 7468 clauses out of 14951 with flag 20134/815170
28.35/26.81	c cleaning 6731 clauses out of 13481 with flag 48599/821168
28.56/27.03	c cleaning 6868 clauses out of 13751 with flag 83030/828169
28.76/27.28	c cleaning 7434 clauses out of 14882 with flag 122896/836168
29.07/27.57	c cleaning 8200 clauses out of 16448 with flag 169811/845168
29.37/27.89	c cleaning 9111 clauses out of 18248 with flag 219534/855168
29.77/28.25	c cleaning 10057 clauses out of 20138 with flag 273619/866169
30.18/28.66	c cleaning 11027 clauses out of 22081 with flag 333963/878169
30.57/29.10	c cleaning 12013 clauses out of 24054 with flag 397756/891169
31.07/29.59	c cleaning 13009 clauses out of 26040 with flag 471259/905168
31.28/29.74	c Got one! Elapsed wall clock time (in seconds):29.614
31.28/29.74	o 82
31.28/29.78	c cleaning 9073 clauses out of 18160 with flag 4576/910297
31.48/29.99	c cleaning 7538 clauses out of 15086 with flag 31413/916296
31.78/30.24	c cleaning 7263 clauses out of 14548 with flag 69127/923296
32.08/30.52	c cleaning 7639 clauses out of 15287 with flag 110153/931298
32.18/30.69	c Got one! Elapsed wall clock time (in seconds):30.562
32.18/30.69	o 81
32.39/30.85	c cleaning 9082 clauses out of 18181 with flag 24882/941831
32.58/31.05	c cleaning 7546 clauses out of 15099 with flag 54806/947831
32.79/31.28	c cleaning 7262 clauses out of 14555 with flag 87434/954833
32.99/31.45	c Got one! Elapsed wall clock time (in seconds):31.329
32.99/31.45	o 76
33.19/31.62	c cleaning 8908 clauses out of 17835 with flag 24801/965375
33.19/31.69	c Got one! Elapsed wall clock time (in seconds):31.564
33.19/31.69	o 69
33.30/31.78	c cleaning 6981 clauses out of 13978 with flag 13902/970426
33.50/31.96	c cleaning 6488 clauses out of 12998 with flag 42512/976427
33.70/32.17	c cleaning 6740 clauses out of 13509 with flag 73506/983426
33.99/32.41	c cleaning 7372 clauses out of 14770 with flag 111071/991427
34.20/32.61	c Got one! Elapsed wall clock time (in seconds):32.487
34.20/32.61	o 68
34.30/32.79	c cleaning 9538 clauses out of 19089 with flag 24711/1003118
34.50/32.99	c cleaning 7770 clauses out of 15551 with flag 53926/1009118
34.80/33.21	c cleaning 7380 clauses out of 14782 with flag 87566/1016119
35.00/33.45	c cleaning 7691 clauses out of 15402 with flag 124433/1024119
35.30/33.73	c cleaning 8335 clauses out of 16711 with flag 165662/1033119
35.61/34.04	c cleaning 9188 clauses out of 18375 with flag 210165/1043118
36.02/34.40	c cleaning 10089 clauses out of 20188 with flag 258049/1054119
36.33/34.78	c Got one! Elapsed wall clock time (in seconds):34.652
36.33/34.78	o 66
36.53/34.98	c cleaning 13414 clauses out of 26854 with flag 24354/1070875
36.75/35.19	c cleaning 9709 clauses out of 19439 with flag 53078/1076874
37.05/35.42	c cleaning 8351 clauses out of 16730 with flag 88378/1083874
37.25/35.68	c cleaning 8183 clauses out of 16380 with flag 127921/1091875
37.56/35.98	c cleaning 8588 clauses out of 17196 with flag 170429/1100874
37.97/36.33	c cleaning 9297 clauses out of 18611 with flag 217233/1110877
38.28/36.69	c cleaning 10138 clauses out of 20311 with flag 270275/1121874
38.68/37.09	c cleaning 11080 clauses out of 22173 with flag 326226/1133874
39.19/37.51	c cleaning 12045 clauses out of 24093 with flag 380558/1146874
39.58/37.99	c cleaning 13024 clauses out of 26049 with flag 438905/1160875
39.89/38.25	c Got one! Elapsed wall clock time (in seconds):38.124
39.89/38.25	o 61
40.09/38.44	c cleaning 12933 clauses out of 25883 with flag 25712/1173734
40.29/38.65	c cleaning 9462 clauses out of 18949 with flag 55365/1179733
40.49/38.88	c cleaning 8236 clauses out of 16487 with flag 91107/1186733
40.80/39.14	c cleaning 8108 clauses out of 16252 with flag 129769/1194734
41.10/39.42	c cleaning 8565 clauses out of 17143 with flag 169814/1203733
41.40/39.74	c cleaning 9273 clauses out of 18578 with flag 216592/1213733
41.80/40.10	c cleaning 10130 clauses out of 20307 with flag 267679/1224735
42.20/40.51	c cleaning 11074 clauses out of 22176 with flag 322038/1236734
42.60/40.95	c cleaning 12042 clauses out of 24101 with flag 380189/1249733
43.11/41.42	c cleaning 13010 clauses out of 26059 with flag 443218/1263733
43.21/41.58	c Got one! Elapsed wall clock time (in seconds):41.454
43.21/41.58	o 60
43.42/41.77	c cleaning 11583 clauses out of 23193 with flag 26917/1273877
43.61/41.98	c cleaning 8797 clauses out of 17610 with flag 57683/1279877
43.91/42.21	c cleaning 7897 clauses out of 15813 with flag 92841/1286877
44.11/42.47	c cleaning 7942 clauses out of 15916 with flag 133888/1294877
44.41/42.77	c cleaning 8483 clauses out of 16978 with flag 177881/1303881
44.81/43.10	c cleaning 9236 clauses out of 18492 with flag 226707/1313878
45.12/43.47	c cleaning 10112 clauses out of 20257 with flag 281095/1324879
45.52/43.89	c cleaning 11047 clauses out of 22143 with flag 344911/1336877
46.03/44.37	c cleaning 12037 clauses out of 24097 with flag 416415/1349878
46.53/44.85	c cleaning 13006 clauses out of 26059 with flag 484319/1363877
47.15/45.42	c cleaning 14011 clauses out of 28053 with flag 561657/1378877
47.75/46.02	c cleaning 15006 clauses out of 30044 with flag 643203/1394879
48.37/46.67	c cleaning 16014 clauses out of 32036 with flag 730371/1411877
48.58/46.82	c Got one! Elapsed wall clock time (in seconds):46.698
48.58/46.82	o 54
48.58/46.87	c cleaning 10541 clauses out of 21096 with flag 5777/1416951
48.78/47.07	c cleaning 8273 clauses out of 16551 with flag 34045/1422947
49.00/47.29	c cleaning 7634 clauses out of 15284 with flag 62593/1429953
49.19/47.47	c Got one! Elapsed wall clock time (in seconds):47.345
49.19/47.47	o 51
49.39/47.64	c cleaning 9414 clauses out of 18844 with flag 24351/1441147
49.59/47.84	c cleaning 7715 clauses out of 15430 with flag 54389/1447147
49.81/48.08	c cleaning 7353 clauses out of 14715 with flag 85542/1454147
49.91/48.13	c Got one! Elapsed wall clock time (in seconds):48.004
49.91/48.13	o 49
50.01/48.25	c cleaning 6402 clauses out of 12828 with flag 20094/1459613
50.22/48.44	c cleaning 6198 clauses out of 12426 with flag 48573/1465613
50.31/48.53	c Got one! Elapsed wall clock time (in seconds):48.409
50.31/48.53	o 48
50.41/48.63	c cleaning 6054 clauses out of 12126 with flag 14793/1471511
50.61/48.82	c cleaning 6025 clauses out of 12073 with flag 45170/1477512
50.82/49.06	c cleaning 6516 clauses out of 13047 with flag 80718/1484511
51.14/49.34	c cleaning 7252 clauses out of 14533 with flag 121411/1492513
51.44/49.63	c cleaning 8137 clauses out of 16280 with flag 161423/1501512
51.76/49.95	c cleaning 9064 clauses out of 18144 with flag 203502/1511513
52.06/50.25	c Got one! Elapsed wall clock time (in seconds):50.124
52.06/50.25	o 43
52.26/50.45	c cleaning 12031 clauses out of 24090 with flag 26003/1526525
52.47/50.68	c cleaning 9021 clauses out of 18061 with flag 56773/1532527
52.79/50.94	c cleaning 8013 clauses out of 16039 with flag 93923/1539526
53.09/51.23	c cleaning 8004 clauses out of 16027 with flag 136149/1547527
53.39/51.54	c cleaning 8495 clauses out of 17023 with flag 180896/1556527
53.69/51.81	c Got one! Elapsed wall clock time (in seconds):51.682
53.69/51.81	o 42
53.89/52.02	c cleaning 10962 clauses out of 21935 with flag 25296/1569934
54.11/52.25	c cleaning 8475 clauses out of 16974 with flag 55230/1575935
54.43/52.50	c cleaning 7737 clauses out of 15498 with flag 93119/1582934
54.63/52.78	c cleaning 7869 clauses out of 15762 with flag 134957/1590935
54.95/53.09	c cleaning 8437 clauses out of 16893 with flag 179888/1599935
55.35/53.46	c cleaning 9218 clauses out of 18455 with flag 231497/1609934
55.77/53.85	c cleaning 10112 clauses out of 20238 with flag 285275/1620935
56.17/54.28	c cleaning 11056 clauses out of 22127 with flag 341585/1632936
56.29/54.35	c Got one! Elapsed wall clock time (in seconds):54.231
56.29/54.35	o 39
56.39/54.47	c cleaning 8083 clauses out of 16174 with flag 16865/1638039
56.60/54.68	c cleaning 7035 clauses out of 14092 with flag 48192/1644040
56.92/54.93	c cleaning 7009 clauses out of 14056 with flag 85042/1651039
57.22/55.22	c cleaning 7509 clauses out of 15047 with flag 128069/1659039
57.53/55.54	c cleaning 8252 clauses out of 16538 with flag 176400/1668039
57.94/55.91	c cleaning 9133 clauses out of 18287 with flag 229351/1678040
58.34/56.32	c cleaning 10063 clauses out of 20156 with flag 286596/1689042
58.74/56.77	c cleaning 11035 clauses out of 22091 with flag 350614/1701040
59.24/57.28	c cleaning 12014 clauses out of 24055 with flag 422512/1714039
59.84/57.82	c cleaning 13021 clauses out of 26041 with flag 499172/1728039
60.35/58.33	c cleaning 14001 clauses out of 28020 with flag 565443/1743040
60.35/58.38	c Got one! Elapsed wall clock time (in seconds):58.255
60.35/58.38	o 36
60.54/58.58	c cleaning 9989 clauses out of 20001 with flag 28531/1749022
60.84/58.81	c cleaning 8003 clauses out of 16011 with flag 62429/1755021
61.05/59.07	c cleaning 7495 clauses out of 15007 with flag 100372/1762020
61.35/59.35	c cleaning 7745 clauses out of 15514 with flag 143396/1770022
61.65/59.68	c cleaning 8379 clauses out of 16767 with flag 190966/1779020
62.05/60.04	c cleaning 9180 clauses out of 18390 with flag 243233/1789022
62.46/60.45	c cleaning 10096 clauses out of 20209 with flag 300705/1800021
62.95/60.92	c cleaning 11051 clauses out of 22112 with flag 364798/1812020
63.46/61.41	c cleaning 12021 clauses out of 24061 with flag 430264/1825020
63.96/61.97	c cleaning 13010 clauses out of 26041 with flag 505959/1839021
64.56/62.58	c cleaning 14002 clauses out of 28030 with flag 589471/1854020
65.26/63.25	c cleaning 14997 clauses out of 30028 with flag 678430/1870020
65.96/63.95	c cleaning 15997 clauses out of 32031 with flag 769777/1887020
66.29/64.22	c Got one! Elapsed wall clock time (in seconds):64.095
66.29/64.22	o 24
66.49/64.47	c cleaning 14150 clauses out of 28309 with flag 29990/1899296
66.81/64.73	c cleaning 10076 clauses out of 20159 with flag 64707/1905296
67.11/65.00	c cleaning 8532 clauses out of 17083 with flag 104216/1912296
67.31/65.29	c cleaning 8247 clauses out of 16550 with flag 146411/1920295
67.71/65.61	c cleaning 8631 clauses out of 17303 with flag 191093/1929295
68.02/65.97	c cleaning 9310 clauses out of 18673 with flag 242890/1939296
68.42/66.38	c cleaning 10170 clauses out of 20361 with flag 300469/1950294
68.92/66.83	c cleaning 11070 clauses out of 22191 with flag 360819/1962294
69.42/67.35	c cleaning 12047 clauses out of 24121 with flag 429386/1975294
69.92/67.90	c cleaning 13019 clauses out of 26074 with flag 503357/1989294
70.63/68.50	c cleaning 14004 clauses out of 28055 with flag 584140/2004294
71.23/69.13	c cleaning 15014 clauses out of 30051 with flag 666947/2020294
71.93/69.87	c cleaning 15990 clauses out of 32037 with flag 761732/2037294
72.54/70.47	c Got one! Elapsed wall clock time (in seconds):70.342
72.54/70.47	o 17
72.83/70.76	c cleaning 17939 clauses out of 35906 with flag 29330/2057153
73.13/71.02	c cleaning 11965 clauses out of 23969 with flag 64070/2063155
73.43/71.30	c cleaning 9487 clauses out of 19004 with flag 105116/2070155
73.74/71.60	c cleaning 8743 clauses out of 17517 with flag 148180/2078155
74.04/71.92	c cleaning 8876 clauses out of 17772 with flag 195923/2087153
74.34/72.27	c cleaning 9427 clauses out of 18897 with flag 247101/2097154
74.75/72.66	c cleaning 10223 clauses out of 20469 with flag 302798/2108153
75.14/73.10	c cleaning 11121 clauses out of 22245 with flag 362247/2120153
75.54/73.44	c Got one! Elapsed wall clock time (in seconds):73.32
75.54/73.44	o 16
75.75/73.66	c cleaning 12814 clauses out of 25644 with flag 26221/2134673
75.95/73.84	c Got one! Elapsed wall clock time (in seconds):73.719
75.95/73.84	o 15
76.15/74.06	c cleaning 11464 clauses out of 22937 with flag 30025/2144781
76.45/74.30	c cleaning 8733 clauses out of 17470 with flag 63076/2150779
76.65/74.53	c cleaning 7856 clauses out of 15734 with flag 92262/2157777
76.75/74.70	c Got one! Elapsed wall clock time (in seconds):74.577
76.75/74.70	o 14
76.96/74.89	c cleaning 9285 clauses out of 18580 with flag 27351/2168479
77.26/75.11	c cleaning 7642 clauses out of 15293 with flag 56648/2174477
77.46/75.33	c cleaning 7320 clauses out of 14650 with flag 87693/2181479
77.66/75.58	c cleaning 7662 clauses out of 15326 with flag 120548/2189477
77.97/75.86	c cleaning 8328 clauses out of 16662 with flag 158388/2198478
78.17/76.08	c Got one! Elapsed wall clock time (in seconds):75.956
78.17/76.08	o 12
78.47/76.30	c cleaning 10128 clauses out of 20262 with flag 26698/2210409
78.70/76.52	c cleaning 8062 clauses out of 16134 with flag 56146/2216409
78.90/76.77	c cleaning 7523 clauses out of 15070 with flag 88337/2223407
79.21/77.03	c cleaning 7770 clauses out of 15542 with flag 120708/2231407
79.41/77.23	c starts		: 337
79.41/77.23	c conflicts		: 2237601
79.41/77.23	c decisions		: 3389108
79.41/77.23	c propagations		: 48048387
79.41/77.23	c inspects		: 597573875
79.41/77.23	c shortcuts		: 0
79.41/77.23	c learnt literals	: 41
79.41/77.23	c learnt binary clauses	: 8
79.41/77.23	c learnt ternary clauses	: 1124
79.41/77.23	c learnt constraints	: 2237559
79.41/77.23	c ignored constraints	: 0
79.41/77.23	c root simplifications	: 0
79.41/77.23	c removed literals (reason simplification)	: 0
79.41/77.23	c reason swapping (by a shorter reason)	: 0
79.41/77.23	c Calls to reduceDB	: 251
79.41/77.23	c Number of update (reduction) of LBD	: 570259
79.41/77.23	c number of reductions to clauses (during analyze)	: 0
79.41/77.23	c number of learned constraints concerned by reduction	: 0
79.41/77.23	c number of learning phase by resolution	: 0
79.41/77.23	c number of learning phase by cutting planes	: 0
79.41/77.23	c speed (assignments/second)	: 623640.5607112726
79.41/77.23	c non guided choices	4245
79.41/77.23	c learnt constraints type 
79.41/77.23	c constraints type 
79.41/77.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
79.41/77.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
79.41/77.23	c ignored satisfied constraints => 1
79.41/77.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
79.41/77.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47
79.41/77.23	c 102 constraints processed.
79.41/77.23	s OPTIMUM FOUND
79.41/77.23	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 
79.41/77.23	c objective function=12
79.41/77.23	c Total wall clock time (in seconds): 77.105

Verifier Data 

OK	12

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718115-1338251464/watcher-3718115-1338251464 -o /tmp/evaluation-result-3718115-1338251464/solver-3718115-1338251464 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718115-1338251464.wbo 

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: 1.91 2.04 1.99 3/194 15975
/proc/meminfo: memFree=31405448/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15975/stat : 15975 (java) D 15973 15975 13427 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291274905 9515008 183 33554432000 1073741824 1073778376 140737396949312 140737396940344 270118239925 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2323 183 140 9 0 71 0

[startup+0.057478 s]
/proc/loadavg: 1.91 2.04 1.99 3/194 15975
/proc/meminfo: memFree=31405448/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 3055 0 1 0 3 1 0 0 20 0 13 0 291274905 9446973440 3753 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2306390 3753 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.100345 s]
/proc/loadavg: 1.91 2.04 1.99 3/194 15975
/proc/meminfo: memFree=31405448/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 4018 0 1 0 7 1 0 0 20 0 18 0 291274905 9787817984 5217 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2389604 5218 2037 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300266 s]
/proc/loadavg: 1.91 2.04 1.99 3/194 15975
/proc/meminfo: memFree=31405448/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 6845 0 1 0 50 2 0 0 20 0 19 0 291274905 9855979520 7455 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 7455 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624980

[startup+0.700241 s]
/proc/loadavg: 1.91 2.04 1.99 3/194 15975
/proc/meminfo: memFree=31405448/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=1.11 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 8506 0 1 0 109 2 0 0 20 0 19 0 291274905 9855979520 8989 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 8989 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 1.91 2.04 1.99 3/213 15994
/proc/meminfo: memFree=31370880/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=2.03 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 8962 0 1 0 200 3 0 0 20 0 19 0 291274905 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 11616 2272 9 0 2396937 0
[pid=15975/tid=15977] ppid=15973 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/15975/task/15977/stat : 15977 (java) R 15973 15975 13427 0 -1 4202560 2463 0 1 0 139 2 0 0 20 0 19 0 291274906 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307154477464 140307002271240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15978] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15978/stat : 15978 (java) S 15973 15975 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307126929576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15979] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15979/stat : 15979 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307125877032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15980] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15980/stat : 15980 (java) S 15973 15975 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307124824488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15981] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15981/stat : 15981 (java) S 15973 15975 13427 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307123771944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15982] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15982/stat : 15982 (java) S 15973 15975 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307122719400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15983] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15983/stat : 15983 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307121666856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15984] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15984/stat : 15984 (java) S 15973 15975 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140307120614312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15985] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 291274909 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) R 15973 15975 13427 0 -1 4202560 2744 0 0 0 25 0 0 0 20 0 19 0 291274912 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306503645752 270118282359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 2495 0 0 0 26 0 0 0 20 0 19 0 291274912 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 11616 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9624980

[startup+3.10066 s]
/proc/loadavg: 1.91 2.04 1.99 3/213 15994
/proc/meminfo: memFree=31366288/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=3.83 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 12519 0 1 0 379 4 0 0 20 0 19 0 291274905 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 11663 2273 9 0 2396937 0
[pid=15975/tid=15977] ppid=15973 vsize=9624980 CPUtime=2.93 cores=1,3,5,7
/proc/15975/task/15977/stat : 15977 (java) R 15973 15975 13427 0 -1 4202560 2471 0 1 0 291 2 0 0 20 0 19 0 291274906 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307154477344 140307002221172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15978] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15978/stat : 15978 (java) S 15973 15975 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307126929576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15979] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15979/stat : 15979 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307125877032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15980] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15980/stat : 15980 (java) S 15973 15975 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307124824488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15981] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15981/stat : 15981 (java) S 15973 15975 13427 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307123771944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15982] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15982/stat : 15982 (java) S 15973 15975 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307122719400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15983] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15983/stat : 15983 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307121666856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15984] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15984/stat : 15984 (java) S 15973 15975 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140307120614312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15985] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 291274909 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) S 15973 15975 13427 0 -1 4202560 6291 0 0 0 44 0 0 0 20 0 19 0 291274912 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306503645752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 2495 0 0 0 27 0 0 0 20 0 19 0 291274912 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 11663 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624980

[startup+6.30079 s]
/proc/loadavg: 1.92 2.04 1.99 3/213 15994
/proc/meminfo: memFree=31365792/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=7.11 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 12724 0 1 0 707 4 0 0 20 0 19 0 291274905 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 11664 2274 9 0 2396937 0
[pid=15975/tid=15977] ppid=15973 vsize=9624980 CPUtime=5.92 cores=1,3,5,7
/proc/15975/task/15977/stat : 15977 (java) R 15973 15975 13427 0 -1 4202560 2490 0 1 0 590 2 0 0 20 0 19 0 291274906 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307154469312 140307002185192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15978] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15978/stat : 15978 (java) S 15973 15975 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307126929576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15979] ppid=15973 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/15975/task/15979/stat : 15979 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307125877032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15980] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15980/stat : 15980 (java) S 15973 15975 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307124824488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15981] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15981/stat : 15981 (java) S 15973 15975 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307123771944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15982] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15982/stat : 15982 (java) S 15973 15975 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307122719400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15983] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15983/stat : 15983 (java) S 15973 15975 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307121666856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15984] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15984/stat : 15984 (java) S 15973 15975 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140307120614312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15985] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291274907 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 31 0 0 0 27 0 0 0 20 0 19 0 291274909 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) S 15973 15975 13427 0 -1 4202560 6454 0 0 0 45 1 0 0 20 0 19 0 291274912 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306503645752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 2511 0 0 0 27 0 0 0 20 0 19 0 291274912 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 11664 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 22 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=2.79 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 69 0 0 0 279 0 0 0 20 0 19 0 291274909 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) S 15973 15975 13427 0 -1 4202560 6454 0 0 0 48 1 0 0 20 0 19 0 291274912 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306503645752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.81 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 10373 0 0 0 79 2 0 0 20 0 19 0 291274912 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 12818 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 78.08
Current children cumulated vsize (KiB) 9624980

[startup+76.7008 s]
/proc/loadavg: 2.38 2.12 2.02 3/213 15994
/proc/meminfo: memFree=31339480/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=78.9 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 20944 0 1 0 7879 11 0 0 20 0 19 0 291274905 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 12819 2274 9 0 2396937 0
[pid=15975/tid=15977] ppid=15973 vsize=9624980 CPUtime=73.06 cores=1,3,5,7
/proc/15975/task/15977/stat : 15977 (java) R 15973 15975 13427 0 -1 4202560 2708 0 1 0 7303 3 0 0 20 0 19 0 291274906 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307154477344 140307002196293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15978] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15978/stat : 15978 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307126929576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15979] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15979/stat : 15979 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307125877032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15980] ppid=15973 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/15975/task/15980/stat : 15980 (java) S 15973 15975 13427 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307124824488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15981] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15981/stat : 15981 (java) S 15973 15975 13427 0 -1 4202560 29 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307123771944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15982] ppid=15973 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/15975/task/15982/stat : 15982 (java) S 15973 15975 13427 0 -1 4202560 16 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307122719400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15983] ppid=15973 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/15975/task/15983/stat : 15983 (java) S 15973 15975 13427 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307121666856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15984] ppid=15973 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/15975/task/15984/stat : 15984 (java) S 15973 15975 13427 0 -1 4202560 18 0 0 0 19 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307120614312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15985] ppid=15973 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 22 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=2.81 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 69 0 0 0 281 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) S 15973 15975 13427 0 -1 4202560 6454 0 0 0 48 1 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306503645752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.83 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 10374 0 0 0 81 2 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 78.9
Current children cumulated vsize (KiB) 9624980

[startup+77.1006 s]
/proc/loadavg: 2.38 2.12 2.02 3/213 15994
/proc/meminfo: memFree=31339480/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=79.31 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 20946 0 1 0 7920 11 0 0 20 0 19 0 291274905 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 12819 2274 9 0 2396937 0
[pid=15975/tid=15977] ppid=15973 vsize=9624980 CPUtime=73.43 cores=1,3,5,7
/proc/15975/task/15977/stat : 15977 (java) R 15973 15975 13427 0 -1 4202560 2710 0 1 0 7340 3 0 0 20 0 19 0 291274906 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307154477344 140307002252779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15978] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15978/stat : 15978 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307126929576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15979] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15979/stat : 15979 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307125877032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15980] ppid=15973 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/15975/task/15980/stat : 15980 (java) S 15973 15975 13427 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307124824488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15981] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15981/stat : 15981 (java) S 15973 15975 13427 0 -1 4202560 29 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307123771944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15982] ppid=15973 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/15975/task/15982/stat : 15982 (java) S 15973 15975 13427 0 -1 4202560 16 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307122719400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15983] ppid=15973 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/15975/task/15983/stat : 15983 (java) S 15973 15975 13427 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307121666856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15984] ppid=15973 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/15975/task/15984/stat : 15984 (java) S 15973 15975 13427 0 -1 4202560 18 0 0 0 19 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307120614312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15985] ppid=15973 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 22 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=2.83 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 69 0 0 0 283 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) S 15973 15975 13427 0 -1 4202560 6454 0 0 0 48 1 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306503645752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.83 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 10374 0 0 0 81 2 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 79.31
Current children cumulated vsize (KiB) 9624980

[startup+77.2007 s]
/proc/loadavg: 2.38 2.12 2.02 3/213 15994
/proc/meminfo: memFree=31339480/32873844 swapFree=6872/6872
[pid=15975] ppid=15973 vsize=9624980 CPUtime=79.41 cores=1,3,5,7
/proc/15975/stat : 15975 (java) S 15973 15975 13427 0 -1 4202496 20946 0 1 0 7930 11 0 0 20 0 19 0 291274905 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140735160799424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15975/statm: 2406245 12819 2274 9 0 2396937 0
[pid=15975/tid=15977] ppid=15973 vsize=9624980 CPUtime=73.53 cores=1,3,5,7
/proc/15975/task/15977/stat : 15977 (java) R 15973 15975 13427 0 -1 4202560 2710 0 1 0 7350 3 0 0 20 0 19 0 291274906 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307154477344 140307002242134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15978] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15978/stat : 15978 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307126929576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15979] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15979/stat : 15979 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307125877032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15980] ppid=15973 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/15975/task/15980/stat : 15980 (java) S 15973 15975 13427 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307124824488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15981] ppid=15973 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/15975/task/15981/stat : 15981 (java) S 15973 15975 13427 0 -1 4202560 29 0 0 0 18 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307123771944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15982] ppid=15973 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/15975/task/15982/stat : 15982 (java) S 15973 15975 13427 0 -1 4202560 16 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307122719400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15975/tid=15983] ppid=15973 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/15975/task/15983/stat : 15983 (java) S 15973 15975 13427 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307121666856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15984] ppid=15973 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/15975/task/15984/stat : 15984 (java) S 15973 15975 13427 0 -1 4202560 18 0 0 0 19 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140307120614312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15985] ppid=15973 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/15975/task/15985/stat : 15985 (java) S 15973 15975 13427 0 -1 4202560 22 0 0 0 16 0 0 0 20 0 19 0 291274907 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306990804008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15986] ppid=15973 vsize=9624980 CPUtime=2.83 cores=1,3,5,7
/proc/15975/task/15986/stat : 15986 (java) S 15973 15975 13427 0 -1 4202560 69 0 0 0 283 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306507855976 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15987] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15987/stat : 15987 (java) S 15973 15975 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306506802296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15988] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15988/stat : 15988 (java) S 15973 15975 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291274909 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306505749640 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15989] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15989/stat : 15989 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306504698384 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15990] ppid=15973 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/15975/task/15990/stat : 15990 (java) S 15973 15975 13427 0 -1 4202560 6454 0 0 0 48 1 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306503645752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15975/tid=15991] ppid=15973 vsize=9624980 CPUtime=0.83 cores=1,3,5,7
/proc/15975/task/15991/stat : 15991 (java) S 15973 15975 13427 0 -1 4202560 10374 0 0 0 81 2 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306502593208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15992] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15992/stat : 15992 (java) S 15973 15975 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306501540856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15975/tid=15993] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15993/stat : 15993 (java) S 15973 15975 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291274912 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306500488520 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15975/tid=15994] ppid=15973 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15975/task/15994/stat : 15994 (java) S 15973 15975 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291274924 9855979520 12819 33554432000 1073741824 1073778376 140735160808288 140306499433256 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 79.41
Current children cumulated vsize (KiB) 9624980

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15975 and gives
#  childrusage.ru_utime.tv_sec=79
#  childrusage.ru_utime.tv_usec=151967
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=189971
# CPU time returned by wait4() is 79.3419
# while last known CPU time is 79.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 77.236
CPU time (s): 79.41
CPU user time (s): 79.3
CPU system time (s): 0.11
CPU usage (%): 102.815
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.152
system time used= 0.189971
maximum resident set size= 68904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20964
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8249
involuntary context switches= 7290

runsolver used 0.233964 second user time and 0.684895 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-29 02:31:04
IDJOB=3718115
IDBENCH=78745
IDSOLVER=2301
FILE ID=node106/3718115-1338251464
RUNJOBID= node106-1338247868-15528
PBS_JOBID= 14624657
Free space on /tmp= 71332 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718115-1338251464/watcher-3718115-1338251464 -o /tmp/evaluation-result-3718115-1338251464/solver-3718115-1338251464 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718115-1338251464.wbo

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

MD5SUM BENCH= 272549dcfc1a9500042cdae4b8981d82
RANDOM SEED=2053438378

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31405456 kB
Buffers:           69544 kB
Cached:            50732 kB
SwapCached:         1836 kB
Active:           641956 kB
Inactive:          33732 kB
Active(anon):     554920 kB
Inactive(anon):     3012 kB
Active(file):      87036 kB
Inactive(file):    30720 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:        560600 kB
Mapped:            15756 kB
Shmem:                 0 kB
Slab:             651292 kB
SReclaimable:      93480 kB
SUnreclaim:       557812 kB
KernelStack:        1608 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     858044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-29 02:32:22