Trace number 3492157

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 Resolution 2011-06-08OPTIMUM 114.124 112.149

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo
MD5SUMb1c472aaf389140c1b2444bf3531b47d
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark46.232
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492157-1307911557.wbo
0.10/0.11	c reading problem ... 
0.52/0.32	c ... done. Wall clock time 0.209s.
0.52/0.32	c #vars     2938
0.52/0.32	c #constraints  2707
0.52/0.32	c constraints type 
0.52/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.52/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.10/0.54	c SATISFIABLE
1.10/0.54	c OPTIMIZING...
1.10/0.54	c Got one! Elapsed wall clock time (in seconds):0.427
1.10/0.54	o 396
1.10/0.57	c Got one! Elapsed wall clock time (in seconds):0.459
1.10/0.57	o 388
1.36/0.60	c Got one! Elapsed wall clock time (in seconds):0.489
1.36/0.60	o 329
1.36/0.62	c Got one! Elapsed wall clock time (in seconds):0.512
1.36/0.62	o 323
1.36/0.64	c Got one! Elapsed wall clock time (in seconds):0.532
1.36/0.64	o 298
1.36/0.69	c Got one! Elapsed wall clock time (in seconds):0.587
1.36/0.69	o 295
1.58/0.72	c Got one! Elapsed wall clock time (in seconds):0.608
1.58/0.72	o 284
1.58/0.76	c Got one! Elapsed wall clock time (in seconds):0.653
1.58/0.76	o 273
1.58/0.80	c Got one! Elapsed wall clock time (in seconds):0.687
1.58/0.80	o 271
1.69/0.83	c Got one! Elapsed wall clock time (in seconds):0.718
1.69/0.83	o 263
1.69/0.85	c Got one! Elapsed wall clock time (in seconds):0.741
1.69/0.85	o 257
1.69/0.88	c Got one! Elapsed wall clock time (in seconds):0.769
1.69/0.88	o 248
1.79/0.99	c Got one! Elapsed wall clock time (in seconds):0.878
1.79/0.99	o 228
1.90/1.07	c Got one! Elapsed wall clock time (in seconds):0.966
1.90/1.07	o 219
2.00/1.14	c Got one! Elapsed wall clock time (in seconds):1.029
2.00/1.14	o 210
2.00/1.17	c Got one! Elapsed wall clock time (in seconds):1.058
2.00/1.17	o 180
2.09/1.22	c Got one! Elapsed wall clock time (in seconds):1.113
2.09/1.22	o 177
2.09/1.29	c Got one! Elapsed wall clock time (in seconds):1.18
2.09/1.29	o 161
2.19/1.37	c Got one! Elapsed wall clock time (in seconds):1.267
2.19/1.37	o 149
2.29/1.42	c Got one! Elapsed wall clock time (in seconds):1.311
2.29/1.42	o 113
2.29/1.49	c Got one! Elapsed wall clock time (in seconds):1.383
2.29/1.49	o 112
2.39/1.54	c Got one! Elapsed wall clock time (in seconds):1.429
2.39/1.54	o 90
2.59/1.77	c Got one! Elapsed wall clock time (in seconds):1.658
2.59/1.77	o 75
2.80/1.93	c Got one! Elapsed wall clock time (in seconds):1.822
2.80/1.93	o 68
3.10/2.29	c Got one! Elapsed wall clock time (in seconds):2.184
3.10/2.29	o 61
3.43/2.56	c Got one! Elapsed wall clock time (in seconds):2.448
3.43/2.56	o 55
4.02/3.10	c Got one! Elapsed wall clock time (in seconds):2.994
4.02/3.10	o 47
4.23/3.34	c Got one! Elapsed wall clock time (in seconds):3.231
4.23/3.34	o 42
4.42/3.53	c Got one! Elapsed wall clock time (in seconds):3.426
4.42/3.53	o 41
4.62/3.78	c cleaning 8668 clauses out of 17341 with flag 1000/17341
5.34/4.38	c Got one! Elapsed wall clock time (in seconds):4.273
5.34/4.38	o 26
5.84/4.85	c cleaning 6960 clauses out of 13926 with flag 3000/22594
6.05/4.93	c Got one! Elapsed wall clock time (in seconds):4.818
6.05/4.93	o 22
6.99/5.44	c cleaning 6196 clauses out of 12398 with flag 5000/28026
7.55/5.95	c cleaning 6096 clauses out of 12202 with flag 11000/34026
8.16/6.58	c cleaning 6551 clauses out of 13106 with flag 18000/41026
8.27/6.68	c Got one! Elapsed wall clock time (in seconds):6.574
8.27/6.68	o 21
8.86/7.29	c cleaning 6210 clauses out of 12434 with flag 5003/46905
9.16/7.57	c Got one! Elapsed wall clock time (in seconds):7.461
9.16/7.57	o 16
9.46/7.88	c cleaning 5885 clauses out of 11776 with flag 4000/52457
9.97/8.31	c cleaning 5940 clauses out of 11892 with flag 10001/58458
10.37/8.76	c cleaning 6472 clauses out of 12951 with flag 17000/65457
10.47/8.89	c Got one! Elapsed wall clock time (in seconds):8.783
10.47/8.89	o 15
10.77/9.10	c cleaning 5742 clauses out of 11518 with flag 3000/70496
11.37/9.70	c cleaning 5885 clauses out of 11779 with flag 9003/76499
11.97/10.30	c cleaning 6441 clauses out of 12891 with flag 16000/83496
12.17/10.60	c Got one! Elapsed wall clock time (in seconds):10.488
12.17/10.60	o 12
12.27/10.66	c cleaning 6150 clauses out of 12320 with flag 1002/89366
12.68/11.07	c cleaning 6079 clauses out of 12170 with flag 7002/95366
13.17/11.54	c cleaning 6540 clauses out of 13089 with flag 14000/102364
13.68/12.10	c cleaning 7265 clauses out of 14549 with flag 22000/110364
13.88/12.29	c Got one! Elapsed wall clock time (in seconds):12.179
13.88/12.29	o 11
14.08/12.40	c cleaning 6206 clauses out of 12423 with flag 2000/115503
14.38/12.75	c cleaning 6103 clauses out of 12217 with flag 8000/121503
14.68/13.03	c Got one! Elapsed wall clock time (in seconds):12.924
14.68/13.03	o 10
14.98/13.34	c cleaning 8269 clauses out of 16543 with flag 5000/131932
15.28/13.68	c cleaning 7132 clauses out of 14276 with flag 11002/137934
15.68/14.04	c cleaning 7067 clauses out of 14142 with flag 18000/144932
16.08/14.40	c Got one! Elapsed wall clock time (in seconds):14.292
16.08/14.40	o 6
16.38/14.76	c cleaning 9205 clauses out of 18427 with flag 5000/156284
16.68/15.08	c cleaning 7602 clauses out of 15222 with flag 11000/162284
16.99/15.33	c Got one! Elapsed wall clock time (in seconds):15.224
16.99/15.33	o 5
17.28/15.68	c cleaning 8919 clauses out of 17868 with flag 5000/172532
17.68/16.00	c cleaning 7470 clauses out of 14950 with flag 11001/178533
17.98/16.35	c cleaning 7231 clauses out of 14479 with flag 18000/185532
18.38/16.74	c cleaning 7618 clauses out of 15250 with flag 26002/193534
18.89/17.23	c cleaning 8310 clauses out of 16634 with flag 35004/202536
19.39/17.76	c cleaning 9152 clauses out of 18320 with flag 45000/212532
19.89/18.28	c cleaning 9578 clauses out of 19168 with flag 55000/222532
20.39/18.78	c cleaning 9788 clauses out of 19591 with flag 65001/232533
20.89/19.27	c cleaning 9892 clauses out of 19803 with flag 75001/242533
21.41/19.80	c cleaning 9948 clauses out of 19911 with flag 85001/252533
22.01/20.31	c cleaning 9980 clauses out of 19964 with flag 95002/262534
22.51/20.85	c cleaning 9982 clauses out of 19985 with flag 105003/272535
23.01/21.39	c cleaning 9995 clauses out of 20000 with flag 115000/282532
23.62/21.90	c cleaning 10002 clauses out of 20007 with flag 125002/292534
24.02/22.38	c cleaning 10000 clauses out of 20003 with flag 135000/302532
24.62/22.90	c cleaning 9997 clauses out of 20003 with flag 145000/312532
25.13/23.42	c cleaning 9987 clauses out of 20006 with flag 155000/322532
25.63/23.96	c cleaning 10005 clauses out of 20019 with flag 165000/332532
26.13/24.47	c cleaning 10002 clauses out of 20014 with flag 175000/342532
26.74/25.00	c cleaning 9999 clauses out of 20013 with flag 185001/352533
27.24/25.51	c cleaning 10000 clauses out of 20014 with flag 195001/362533
27.84/26.11	c cleaning 9999 clauses out of 20013 with flag 205000/372532
28.34/26.65	c cleaning 10001 clauses out of 20015 with flag 215001/382533
28.84/27.17	c cleaning 10003 clauses out of 20014 with flag 225001/392533
29.44/27.74	c cleaning 10000 clauses out of 20013 with flag 235003/402535
30.05/28.33	c cleaning 9999 clauses out of 20011 with flag 245001/412533
30.65/28.90	c cleaning 9992 clauses out of 20011 with flag 255000/422532
31.15/29.43	c cleaning 9999 clauses out of 20019 with flag 265000/432532
31.65/29.96	c cleaning 10006 clauses out of 20022 with flag 275002/442534
32.25/30.50	c cleaning 9999 clauses out of 20014 with flag 285000/452532
32.75/31.03	c cleaning 10002 clauses out of 20015 with flag 295000/462532
33.35/31.61	c cleaning 9999 clauses out of 20015 with flag 305002/472534
33.86/32.15	c cleaning 10001 clauses out of 20014 with flag 315000/482532
34.46/32.77	c cleaning 10007 clauses out of 20018 with flag 325005/492537
35.06/33.30	c cleaning 9998 clauses out of 20008 with flag 335002/502534
35.66/33.91	c cleaning 10000 clauses out of 20012 with flag 345004/512536
36.16/34.47	c cleaning 10000 clauses out of 20009 with flag 355001/522533
36.76/35.01	c cleaning 9996 clauses out of 20010 with flag 365002/532534
37.26/35.55	c cleaning 10004 clauses out of 20014 with flag 375002/542534
37.76/36.08	c cleaning 9999 clauses out of 20010 with flag 385002/552534
38.36/36.61	c cleaning 10001 clauses out of 20009 with flag 395000/562532
38.77/37.03	c Got one! Elapsed wall clock time (in seconds):36.927
38.77/37.03	o 3
39.17/37.44	c cleaning 11430 clauses out of 22870 with flag 5000/575394
39.47/37.78	c cleaning 8714 clauses out of 17441 with flag 11001/581395
39.87/38.16	c cleaning 7857 clauses out of 15726 with flag 18000/588394
40.27/38.58	c cleaning 7923 clauses out of 15869 with flag 26000/596394
40.77/39.04	c cleaning 8466 clauses out of 16947 with flag 35001/605395
41.28/39.58	c cleaning 9236 clauses out of 18481 with flag 45001/615395
41.87/40.15	c cleaning 9620 clauses out of 19245 with flag 55001/625395
42.38/40.68	c cleaning 9808 clauses out of 19628 with flag 65004/635398
42.88/41.17	c cleaning 9901 clauses out of 19817 with flag 75001/645395
43.48/41.73	c cleaning 9958 clauses out of 19921 with flag 85006/655400
43.98/42.23	c cleaning 9973 clauses out of 19958 with flag 95001/665395
44.48/42.74	c cleaning 9987 clauses out of 19985 with flag 105001/675395
44.98/43.24	c cleaning 9993 clauses out of 19997 with flag 115000/685394
45.48/43.77	c cleaning 9993 clauses out of 20004 with flag 125000/695394
46.08/44.37	c cleaning 9999 clauses out of 20012 with flag 135001/705395
46.68/44.93	c cleaning 9996 clauses out of 20012 with flag 145000/715394
47.18/45.45	c cleaning 10001 clauses out of 20017 with flag 155001/725395
47.68/45.92	c cleaning 10003 clauses out of 20015 with flag 165000/735394
48.18/46.42	c cleaning 10000 clauses out of 20013 with flag 175001/745395
48.69/46.92	c cleaning 9999 clauses out of 20013 with flag 185001/755395
49.29/47.50	c cleaning 10000 clauses out of 20015 with flag 195002/765396
49.69/47.98	c cleaning 10004 clauses out of 20015 with flag 205002/775396
50.19/48.47	c cleaning 10002 clauses out of 20009 with flag 215000/785394
50.69/48.99	c cleaning 9999 clauses out of 20008 with flag 225001/795395
51.19/49.49	c cleaning 9995 clauses out of 20009 with flag 235001/805395
51.69/50.00	c cleaning 10003 clauses out of 20014 with flag 245001/815395
52.30/50.50	c cleaning 9994 clauses out of 20011 with flag 255001/825395
52.79/51.00	c cleaning 10004 clauses out of 20017 with flag 265001/835395
53.30/51.53	c cleaning 9996 clauses out of 20013 with flag 275001/845395
53.80/52.04	c cleaning 10005 clauses out of 20019 with flag 285003/855397
54.30/52.54	c cleaning 9995 clauses out of 20011 with flag 295000/865394
54.80/53.04	c cleaning 10000 clauses out of 20017 with flag 305001/875395
55.30/53.54	c cleaning 10003 clauses out of 20018 with flag 315002/885396
55.80/54.07	c cleaning 10002 clauses out of 20013 with flag 325000/895394
56.30/54.55	c cleaning 10003 clauses out of 20014 with flag 335003/905397
56.81/55.06	c cleaning 9998 clauses out of 20010 with flag 345002/915396
57.30/55.54	c cleaning 9995 clauses out of 20011 with flag 355001/925395
57.81/56.08	c cleaning 10003 clauses out of 20017 with flag 365002/935396
58.41/56.65	c cleaning 9994 clauses out of 20012 with flag 375000/945394
58.91/57.15	c cleaning 10006 clauses out of 20020 with flag 385002/955396
59.41/57.67	c cleaning 10001 clauses out of 20012 with flag 395000/965394
59.91/58.14	c cleaning 10003 clauses out of 20016 with flag 405005/975399
60.51/58.70	c cleaning 9997 clauses out of 20008 with flag 415000/985394
61.01/59.21	c cleaning 9999 clauses out of 20012 with flag 425001/995395
61.51/59.75	c cleaning 9995 clauses out of 20012 with flag 435000/1005394
62.02/60.26	c cleaning 10002 clauses out of 20018 with flag 445001/1015395
62.62/60.81	c cleaning 10000 clauses out of 20016 with flag 455001/1025395
63.12/61.34	c cleaning 10004 clauses out of 20015 with flag 465000/1035394
63.62/61.86	c cleaning 10003 clauses out of 20013 with flag 475002/1045396
64.23/62.43	c cleaning 9999 clauses out of 20010 with flag 485002/1055396
64.73/62.97	c cleaning 10000 clauses out of 20010 with flag 495001/1065395
65.33/63.54	c cleaning 10001 clauses out of 20011 with flag 505002/1075396
65.93/64.12	c cleaning 10000 clauses out of 20009 with flag 515001/1085395
66.43/64.69	c cleaning 10002 clauses out of 20009 with flag 525001/1095395
67.03/65.24	c cleaning 9994 clauses out of 20006 with flag 535000/1105394
67.63/65.85	c cleaning 10001 clauses out of 20012 with flag 545000/1115394
68.24/66.40	c cleaning 10000 clauses out of 20011 with flag 555000/1125394
68.74/66.93	c cleaning 10001 clauses out of 20012 with flag 565001/1135395
69.24/67.43	c cleaning 10001 clauses out of 20011 with flag 575001/1145395
69.74/67.93	c cleaning 10000 clauses out of 20011 with flag 585002/1155396
70.24/68.43	c cleaning 10000 clauses out of 20009 with flag 595000/1165394
70.74/68.97	c cleaning 9993 clauses out of 20009 with flag 605000/1175394
71.34/69.51	c cleaning 10004 clauses out of 20017 with flag 615001/1185395
71.84/70.08	c cleaning 10002 clauses out of 20013 with flag 625001/1195395
72.34/70.57	c cleaning 9999 clauses out of 20010 with flag 635000/1205394
72.84/71.08	c cleaning 10003 clauses out of 20013 with flag 645002/1215396
73.44/71.62	c cleaning 9996 clauses out of 20008 with flag 655000/1225394
73.94/72.13	c cleaning 10001 clauses out of 20016 with flag 665004/1235398
74.45/72.69	c cleaning 9998 clauses out of 20012 with flag 675001/1245395
75.05/73.21	c cleaning 10001 clauses out of 20014 with flag 685001/1255395
75.55/73.71	c cleaning 10001 clauses out of 20014 with flag 695002/1265396
76.05/74.29	c cleaning 10001 clauses out of 20011 with flag 705000/1275394
76.65/74.83	c cleaning 9999 clauses out of 20010 with flag 715000/1285394
77.15/75.38	c cleaning 10001 clauses out of 20012 with flag 725001/1295395
77.65/75.90	c cleaning 9997 clauses out of 20010 with flag 735000/1305394
78.25/76.46	c cleaning 9997 clauses out of 20014 with flag 745001/1315395
78.75/76.99	c cleaning 10003 clauses out of 20016 with flag 755000/1325394
79.35/77.56	c cleaning 10004 clauses out of 20015 with flag 765002/1335396
79.86/78.09	c cleaning 9998 clauses out of 20012 with flag 775003/1345397
80.45/78.60	c cleaning 10001 clauses out of 20011 with flag 785000/1355394
80.96/79.16	c cleaning 10000 clauses out of 20010 with flag 795000/1365394
81.45/79.69	c cleaning 10004 clauses out of 20011 with flag 805001/1375395
82.06/80.25	c cleaning 9996 clauses out of 20006 with flag 815000/1385394
82.65/80.86	c cleaning 9998 clauses out of 20010 with flag 825000/1395394
83.26/81.42	c cleaning 10000 clauses out of 20012 with flag 835000/1405394
83.76/81.94	c cleaning 10002 clauses out of 20014 with flag 845002/1415396
84.26/82.49	c cleaning 10002 clauses out of 20011 with flag 855001/1425395
84.86/83.00	c cleaning 9996 clauses out of 20008 with flag 865000/1435394
85.27/83.50	c cleaning 9997 clauses out of 20012 with flag 875000/1445394
85.87/84.06	c cleaning 10003 clauses out of 20015 with flag 885000/1455394
86.47/84.62	c cleaning 10000 clauses out of 20012 with flag 895000/1465394
86.97/85.19	c cleaning 10003 clauses out of 20012 with flag 905000/1475394
87.57/85.73	c cleaning 9999 clauses out of 20009 with flag 915000/1485394
88.17/86.30	c cleaning 10002 clauses out of 20013 with flag 925003/1495397
88.68/86.87	c cleaning 9999 clauses out of 20009 with flag 935001/1505395
89.27/87.47	c cleaning 9998 clauses out of 20010 with flag 945001/1515395
89.88/88.03	c cleaning 9996 clauses out of 20012 with flag 955001/1525395
90.38/88.59	c cleaning 10000 clauses out of 20015 with flag 965000/1535394
90.98/89.13	c cleaning 10000 clauses out of 20020 with flag 975005/1545399
91.48/89.68	c cleaning 10002 clauses out of 20016 with flag 985001/1555395
92.09/90.22	c cleaning 10000 clauses out of 20014 with flag 995001/1565395
92.68/90.85	c cleaning 10001 clauses out of 20015 with flag 1005002/1575396
93.38/91.50	c cleaning 10001 clauses out of 20012 with flag 1015000/1585394
93.99/92.17	c cleaning 10006 clauses out of 20016 with flag 1025005/1595399
94.59/92.79	c cleaning 9999 clauses out of 20007 with flag 1035002/1605396
95.29/93.41	c cleaning 9998 clauses out of 20006 with flag 1045000/1615394
95.99/94.12	c cleaning 10001 clauses out of 20008 with flag 1055000/1625394
96.69/94.89	c cleaning 10002 clauses out of 20008 with flag 1065001/1635395
97.39/95.50	c cleaning 9988 clauses out of 20005 with flag 1075000/1645394
97.89/96.05	c cleaning 10001 clauses out of 20017 with flag 1085000/1655394
98.60/96.72	c cleaning 10005 clauses out of 20019 with flag 1095003/1665397
99.30/97.42	c cleaning 9998 clauses out of 20011 with flag 1105000/1675394
99.90/98.04	c cleaning 9997 clauses out of 20013 with flag 1115000/1685394
100.60/98.70	c cleaning 9996 clauses out of 20016 with flag 1125000/1695394
101.10/99.27	c cleaning 9990 clauses out of 20021 with flag 1135001/1705395
101.80/99.97	c cleaning 10008 clauses out of 20030 with flag 1145000/1715394
102.50/100.68	c cleaning 10008 clauses out of 20026 with flag 1155004/1725398
103.21/101.37	c cleaning 9993 clauses out of 20017 with flag 1165003/1735397
103.91/102.06	c cleaning 10003 clauses out of 20024 with flag 1175003/1745397
104.61/102.71	c cleaning 10002 clauses out of 20019 with flag 1185001/1755395
105.31/103.42	c cleaning 9999 clauses out of 20017 with flag 1195001/1765395
106.01/104.14	c cleaning 9996 clauses out of 20017 with flag 1205000/1775394
106.64/104.76	c cleaning 10005 clauses out of 20022 with flag 1215001/1785395
107.24/105.34	c cleaning 10003 clauses out of 20016 with flag 1225000/1795394
107.95/106.02	c cleaning 10004 clauses out of 20016 with flag 1235003/1805397
108.45/106.59	c cleaning 9999 clauses out of 20009 with flag 1245000/1815394
109.05/107.18	c cleaning 10003 clauses out of 20010 with flag 1255000/1825394
109.76/107.85	c cleaning 9997 clauses out of 20010 with flag 1265003/1835397
110.35/108.49	c cleaning 10001 clauses out of 20013 with flag 1275003/1845397
110.95/109.08	c cleaning 9995 clauses out of 20009 with flag 1285000/1855394
111.55/109.61	c cleaning 10003 clauses out of 20014 with flag 1295000/1865394
112.15/110.28	c cleaning 9996 clauses out of 20014 with flag 1305003/1875397
112.85/110.90	c cleaning 10003 clauses out of 20020 with flag 1315005/1885399
113.55/111.62	c cleaning 10000 clauses out of 20011 with flag 1325000/1895394
114.07/112.14	c starts		: 250
114.07/112.14	c conflicts		: 1903578
114.07/112.14	c decisions		: 3143068
114.07/112.14	c propagations		: 105565112
114.07/112.14	c inspects		: 957216377
114.07/112.14	c shortcuts		: 0
114.07/112.14	c learnt literals	: 5
114.07/112.14	c learnt binary clauses	: 28
114.07/112.14	c learnt ternary clauses	: 955
114.07/112.14	c learnt constraints	: 1903572
114.07/112.14	c ignored constraints	: 0
114.07/112.14	c root simplifications	: 0
114.07/112.14	c removed literals (reason simplification)	: 8304112
114.07/112.14	c reason swapping (by a shorter reason)	: 0
114.07/112.14	c Calls to reduceDB	: 198
114.07/112.14	c number of reductions to clauses (during analyze)	: 0
114.07/112.14	c number of learned constraints concerned by reduction	: 0
114.07/112.14	c number of learning phase by resolution	: 0
114.07/112.14	c number of learning phase by cutting planes	: 0
114.07/112.14	c speed (assignments/second)	: 1405641.8955806182
114.07/112.14	c non guided choices	5497
114.07/112.14	c learnt constraints type 
114.07/112.14	c constraints type 
114.07/112.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
114.07/112.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
114.07/112.14	s OPTIMUM FOUND
114.07/112.14	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 
114.07/112.14	c objective function=3
114.07/112.14	c Total wall clock time (in seconds): 112.031

Verifier Data 

OK	3

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 /var/tmp/evaluation-result-3492157-1307911557/watcher-3492157-1307911557 -o /var/tmp/evaluation-result-3492157-1307911557/solver-3492157-1307911557 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492157-1307911557.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 1.98 2/195 16695
/proc/meminfo: memFree=1341504/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/16695/stat : 16695 (java) R 16693 16695 14274 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 902755434 23580672 698 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237273916904 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16695/statm: 5757 699 515 9 0 124 0

[startup+0.0587621 s]
/proc/loadavg: 2.08 2.05 1.98 2/195 16695
/proc/meminfo: memFree=1341504/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 11539 0 1 0 3 1 0 0 25 0 13 0 902755434 10718838784 11234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2616904 11234 1691 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.100358 s]
/proc/loadavg: 2.08 2.05 1.98 2/195 16695
/proc/meminfo: memFree=1341504/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10539780 CPUtime=0.1 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 13044 0 1 0 9 1 0 0 25 0 18 0 902755434 10792734720 12707 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2634945 12707 2092 9 0 2625679 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539780

[startup+0.307382 s]
/proc/loadavg: 2.08 2.05 1.98 2/195 16695
/proc/meminfo: memFree=1341504/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10541556 CPUtime=0.52 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 16810 0 1 0 50 2 0 0 25 0 18 0 902755434 10794553344 15866 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2635389 15867 2204 9 0 2626123 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10541556

[startup+0.700256 s]
/proc/loadavg: 2.08 2.05 1.98 2/195 16695
/proc/meminfo: memFree=1341504/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10550380 CPUtime=1.58 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 22852 0 1 0 155 3 0 0 25 0 19 0 902755434 10803589120 19971 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2637595 19971 2235 9 0 2628329 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10550380

[startup+1.50118 s]
/proc/loadavg: 2.08 2.05 1.98 3/214 16714
/proc/meminfo: memFree=1262576/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10550380 CPUtime=2.39 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 27024 0 1 0 236 3 0 0 25 0 19 0 902755434 10803589120 24142 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2637595 24142 2237 9 0 2628329 0
[pid=16695/tid=16697] ppid=16693 vsize=10550380 CPUtime=1.48 cores=0,2,4,6
/proc/16695/task/16697/stat : 16697 (java) R 16693 16695 14274 0 -1 4202560 18848 0 1 0 146 2 0 0 18 0 19 0 902755435 10803589120 24142 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 47162624502611 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16695/tid=16698] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24142 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24142 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24142 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) S 16693 16695 14274 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902755438 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 0 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902755438 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902755438 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10550380 CPUtime=0.43 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 4432 0 0 0 43 0 0 0 16 0 19 0 902755440 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10550380 CPUtime=0.46 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 2581 0 0 0 46 0 0 0 25 0 19 0 902755440 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902755440 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10803589120 24143 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 10550380

[startup+3.10084 s]
/proc/loadavg: 2.07 2.05 1.98 3/214 16714
/proc/meminfo: memFree=1247816/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10550380 CPUtime=4.02 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 29117 0 1 0 398 4 0 0 25 0 19 0 902755434 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2637595 26234 2237 9 0 2628329 0
[pid=16695/tid=16697] ppid=16693 vsize=10550380 CPUtime=3.07 cores=0,2,4,6
/proc/16695/task/16697/stat : 16697 (java) R 16693 16695 14274 0 -1 4202560 20937 0 1 0 305 2 0 0 18 0 19 0 902755435 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 46912505881728 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16695/tid=16698] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755437 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) S 16693 16695 14274 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902755438 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 0 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902755438 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902755438 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10550380 CPUtime=0.45 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 4434 0 0 0 45 0 0 0 16 0 19 0 902755440 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10550380 CPUtime=0.47 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 2583 0 0 0 47 0 0 0 15 0 19 0 902755440 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902755440 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10550380 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10803589120 26234 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 10550380

[startup+6.30131 s]
/proc/loadavg: 2.07 2.05 1.98 3/214 16714
/proc/meminfo: memFree=1213340/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10563224 CPUtime=7.96 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 38296 0 1 0 792 4 0 0 25 0 19 0 902755434 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2640806 34158 2263 9 0 2631540 0
[pid=16695/tid=16697] ppid=16693 vsize=10563224 CPUtime=6.19 cores=0,2,4,6
/proc/16695/task/16697/stat : 16697 (java) R 16693 16695 14274 0 -1 4202560 22118 0 1 0 616 3 0 0 22 0 19 0 902755435 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 46912505731704 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16695/tid=16698] ppid=16693 vsize=10563224 CPUtime=0.01 cores=0,2,4,6
/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 602 0 0 0 1 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10563224 CPUtime=0.01 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 562 0 0 0 1 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10563224 CPUtime=0.01 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 121 0 0 0 1 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 902755437 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10563224 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) S 16693 16695 14274 0 -1 4202560 1277 0 0 0 6 0 0 0 16 0 19 0 902755438 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 0 0 16800975 18446604453935307456 0 0 -1 2 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902755438 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902755438 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10563224 CPUtime=1.05 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 8400 0 0 0 105 0 0 0 15 0 19 0 902755440 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10563224 CPUtime=0.57 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 3931 0 0 0 57 0 0 0 15 0 19 0 902755440 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902755440 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10563224 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10816741376 34158 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 10563224

[startup+12.7012 s]

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

/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 632 0 0 0 8 0 0 0 15 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 584 0 0 0 6 0 0 0 16 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 134 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 15 0 0 0 6 0 0 0 16 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 16 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10556152 CPUtime=3.26 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) R 16693 16695 14274 0 -1 4202560 1611 0 0 0 324 2 0 0 15 0 19 0 902755438 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237278573641 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10556152 CPUtime=1.09 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 8403 0 0 0 109 0 0 0 15 0 19 0 902755440 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10556152 CPUtime=0.6 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 3933 0 0 0 60 0 0 0 15 0 19 0 902755440 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902755440 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10809499648 32311 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 112.25
Current children cumulated vsize (KiB) 10556152

[startup+111.107 s]
/proc/loadavg: 2.01 2.03 1.98 3/214 16717
/proc/meminfo: memFree=1216180/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10556152 CPUtime=113.06 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 38980 0 1 0 11299 7 0 0 25 0 19 0 902755434 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2639038 32312 2264 9 0 2629772 0
[pid=16695/tid=16697] ppid=16693 vsize=10556152 CPUtime=107.54 cores=0,2,4,6
/proc/16695/task/16697/stat : 16697 (java) R 16693 16695 14274 0 -1 4202560 22312 0 1 0 10751 3 0 0 25 0 19 0 902755435 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 46912505732227 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16695/tid=16698] ppid=16693 vsize=10556152 CPUtime=0.08 cores=0,2,4,6
/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 632 0 0 0 8 0 0 0 16 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 584 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 134 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 15 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 16 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10556152 CPUtime=3.27 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) S 16693 16695 14274 0 -1 4202560 1611 0 0 0 325 2 0 0 15 0 19 0 902755438 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 0 0 16800975 18446604453935307456 0 0 -1 2 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10556152 CPUtime=1.09 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 8403 0 0 0 109 0 0 0 15 0 19 0 902755440 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10556152 CPUtime=0.6 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 3933 0 0 0 60 0 0 0 15 0 19 0 902755440 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902755440 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10809499648 32312 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 113.06
Current children cumulated vsize (KiB) 10556152

[startup+111.902 s]
/proc/loadavg: 2.01 2.03 1.98 3/214 16717
/proc/meminfo: memFree=1216180/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10556152 CPUtime=113.86 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 38992 0 1 0 11379 7 0 0 25 0 19 0 902755434 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2639038 32323 2264 9 0 2629772 0
[pid=16695/tid=16697] ppid=16693 vsize=10556152 CPUtime=108.31 cores=0,2,4,6
/proc/16695/task/16697/stat : 16697 (java) R 16693 16695 14274 0 -1 4202560 22313 0 1 0 10828 3 0 0 25 0 19 0 902755435 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 46912505706912 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16695/tid=16698] ppid=16693 vsize=10556152 CPUtime=0.08 cores=0,2,4,6
/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 632 0 0 0 8 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10556152 CPUtime=0.07 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 585 0 0 0 7 0 0 0 16 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 134 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 15 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10556152 CPUtime=3.29 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) S 16693 16695 14274 0 -1 4202560 1621 0 0 0 327 2 0 0 15 0 19 0 902755438 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 0 0 16800975 18446604453935307456 0 0 -1 2 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10556152 CPUtime=1.09 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 8403 0 0 0 109 0 0 0 15 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10556152 CPUtime=0.61 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 3933 0 0 0 61 0 0 0 15 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 113.86
Current children cumulated vsize (KiB) 10556152

[startup+112.101 s]
/proc/loadavg: 2.01 2.03 1.98 3/214 16717
/proc/meminfo: memFree=1216172/32950904 swapFree=67055440/67111528
[pid=16695] ppid=16693 vsize=10556152 CPUtime=114.07 cores=0,2,4,6
/proc/16695/stat : 16695 (java) S 16693 16695 14274 0 -1 4202496 38992 0 1 0 11400 7 0 0 25 0 19 0 902755434 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16695/statm: 2639038 32323 2264 9 0 2629772 0
[pid=16695/tid=16697] ppid=16693 vsize=10556152 CPUtime=108.52 cores=0,2,4,6
/proc/16695/task/16697/stat : 16697 (java) R 16693 16695 14274 0 -1 4202560 22313 0 1 0 10849 3 0 0 25 0 19 0 902755435 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 46912505706938 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16695/tid=16698] ppid=16693 vsize=10556152 CPUtime=0.08 cores=0,2,4,6
/proc/16695/task/16698/stat : 16698 (java) S 16693 16695 14274 0 -1 4202560 632 0 0 0 8 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16699] ppid=16693 vsize=10556152 CPUtime=0.07 cores=0,2,4,6
/proc/16695/task/16699/stat : 16699 (java) S 16693 16695 14274 0 -1 4202560 585 0 0 0 7 0 0 0 16 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16700] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16700/stat : 16700 (java) S 16693 16695 14274 0 -1 4202560 134 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16701] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16701/stat : 16701 (java) S 16693 16695 14274 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16702] ppid=16693 vsize=10556152 CPUtime=0.06 cores=0,2,4,6
/proc/16695/task/16702/stat : 16702 (java) S 16693 16695 14274 0 -1 4202560 15 0 0 0 6 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16703] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16703/stat : 16703 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16704] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16704/stat : 16704 (java) S 16693 16695 14274 0 -1 4202560 22 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16705] ppid=16693 vsize=10556152 CPUtime=0.05 cores=0,2,4,6
/proc/16695/task/16705/stat : 16705 (java) S 16693 16695 14274 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902755437 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16706] ppid=16693 vsize=10556152 CPUtime=3.29 cores=0,2,4,6
/proc/16695/task/16706/stat : 16706 (java) S 16693 16695 14274 0 -1 4202560 1621 0 0 0 327 2 0 0 15 0 19 0 902755438 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 0 0 16800975 18446604453935307456 0 0 -1 2 0 0 0
[pid=16695/tid=16707] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16707/stat : 16707 (java) S 16693 16695 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16708] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16708/stat : 16708 (java) S 16693 16695 14274 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902755438 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16709] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16709/stat : 16709 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290703281 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
[pid=16695/tid=16710] ppid=16693 vsize=10556152 CPUtime=1.09 cores=0,2,4,6
/proc/16695/task/16710/stat : 16710 (java) S 16693 16695 14274 0 -1 4202560 8403 0 0 0 109 0 0 0 15 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16711] ppid=16693 vsize=10556152 CPUtime=0.61 cores=0,2,4,6
/proc/16695/task/16711/stat : 16711 (java) S 16693 16695 14274 0 -1 4202560 3933 0 0 0 61 0 0 0 15 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16712] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16712/stat : 16712 (java) S 16693 16695 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290695577 0 4 0 16800975 18446604453935307456 0 0 -1 4 0 0 0
[pid=16695/tid=16713] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16713/stat : 16713 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902755440 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 0 0 0 0
[pid=16695/tid=16714] ppid=16693 vsize=10556152 CPUtime=0 cores=0,2,4,6
/proc/16695/task/16714/stat : 16714 (java) S 16693 16695 14274 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902755471 10809499648 32323 33554432000 1073741824 1073778376 140735820907040 18446744073709551615 237290696192 0 4 0 16800975 18446604453935307456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 114.07
Current children cumulated vsize (KiB) 10556152

Child status: 30
Real time (s): 112.149
CPU time (s): 114.124
CPU user time (s): 114.042
CPU system time (s): 0.081987
CPU usage (%): 101.761
Max. virtual memory (cumulated for all children) (KiB): 10563224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.042
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39019
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8158
involuntary context switches= 3602

runsolver used 0.231964 second user time and 0.39094 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-12 22:45:57
IDJOB=3492157
IDBENCH=79300
IDSOLVER=1982
FILE ID=node121/3492157-1307911557
RUNJOBID= node121-1307908110-15571
PBS_JOBID= 13559585
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492157-1307911557/watcher-3492157-1307911557 -o /var/tmp/evaluation-result-3492157-1307911557/solver-3492157-1307911557 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492157-1307911557.wbo

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

MD5SUM BENCH= b1c472aaf389140c1b2444bf3531b47d
RANDOM SEED=670180184

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:       1341676 kB
Buffers:         66876 kB
Cached:       30303032 kB
SwapCached:       9696 kB
Active:       15409804 kB
Inactive:     15253404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       1341676 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:             476 kB
Writeback:           0 kB
AnonPages:      290364 kB
Mapped:          21380 kB
Slab:           882192 kB
PageTables:       5128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 10551756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node121 at 2011-06-12 22:47:49