Trace number 3492023

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 185.863 184.471

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo
MD5SUMfa52148d69071c7fece24d526a14d5b1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark27.9158
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 constraints906
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 44801
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44800
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.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492023-1307910679.wbo
0.11/0.11	c reading problem ... 
0.45/0.32	c ... done. Wall clock time 0.208s.
0.45/0.32	c #vars     1137
0.45/0.32	c #constraints  2707
0.45/0.32	c constraints type 
0.45/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2530
0.45/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 12
0.45/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 154
0.45/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11
0.71/0.41	c SATISFIABLE
0.71/0.41	c OPTIMIZING...
0.71/0.42	c Got one! Elapsed wall clock time (in seconds):0.306
0.71/0.42	o 202
0.71/0.46	c Got one! Elapsed wall clock time (in seconds):0.353
0.71/0.46	o 194
0.71/0.50	c Got one! Elapsed wall clock time (in seconds):0.387
0.71/0.50	o 149
1.01/0.56	c Got one! Elapsed wall clock time (in seconds):0.456
1.01/0.56	o 146
1.01/0.59	c Got one! Elapsed wall clock time (in seconds):0.482
1.01/0.59	o 105
1.25/0.63	c Got one! Elapsed wall clock time (in seconds):0.519
1.25/0.63	o 102
1.51/0.81	c Got one! Elapsed wall clock time (in seconds):0.702
1.51/0.81	o 86
1.71/1.04	c Got one! Elapsed wall clock time (in seconds):0.931
1.71/1.04	o 68
1.92/1.25	c cleaning 4126 clauses out of 8259 with flag 2004/8259
1.92/1.28	c Got one! Elapsed wall clock time (in seconds):1.169
1.92/1.28	o 62
2.42/1.65	c cleaning 4594 clauses out of 9197 with flag 5001/13323
2.62/1.85	c Got one! Elapsed wall clock time (in seconds):1.746
2.62/1.85	o 48
2.83/2.09	c cleaning 5161 clauses out of 10330 with flag 3002/19050
3.24/2.49	c cleaning 5580 clauses out of 11168 with flag 9001/25049
3.79/2.97	c cleaning 6288 clauses out of 12587 with flag 16000/32048
4.40/3.52	c cleaning 7148 clauses out of 14299 with flag 24000/40048
5.10/4.22	c cleaning 8072 clauses out of 16151 with flag 33000/49048
5.50/4.69	c Got one! Elapsed wall clock time (in seconds):4.58
5.50/4.69	o 35
6.02/5.17	c cleaning 9926 clauses out of 19865 with flag 5002/60834
6.52/5.67	c cleaning 7966 clauses out of 15937 with flag 11000/66832
6.83/5.97	c Got one! Elapsed wall clock time (in seconds):5.86
6.83/5.97	o 24
6.93/6.05	c cleaning 6753 clauses out of 13519 with flag 1000/72380
7.34/6.48	c cleaning 6381 clauses out of 12769 with flag 7003/78383
7.84/6.90	c cleaning 6693 clauses out of 13389 with flag 14004/85384
8.24/7.38	c cleaning 7345 clauses out of 14693 with flag 22001/93381
8.84/7.92	c cleaning 8169 clauses out of 16348 with flag 31001/102381
9.44/8.54	c cleaning 9086 clauses out of 18178 with flag 41000/112380
10.05/9.17	c cleaning 9541 clauses out of 19092 with flag 51000/122380
10.75/9.81	c cleaning 9775 clauses out of 19553 with flag 61002/132382
11.35/10.45	c cleaning 9881 clauses out of 19778 with flag 71002/142382
11.96/11.07	c cleaning 9945 clauses out of 19897 with flag 81002/152382
12.65/11.72	c cleaning 9967 clauses out of 19950 with flag 91000/162380
13.06/12.11	c Got one! Elapsed wall clock time (in seconds):11.999
13.06/12.11	o 18
13.46/12.53	c cleaning 10735 clauses out of 21483 with flag 5001/173880
13.86/12.95	c cleaning 8369 clauses out of 16750 with flag 11003/179882
14.26/13.38	c cleaning 7678 clauses out of 15378 with flag 18000/186879
14.46/13.58	c Got one! Elapsed wall clock time (in seconds):13.475
14.46/13.58	o 11
14.67/13.71	c cleaning 6812 clauses out of 13635 with flag 2000/192814
14.97/14.01	c cleaning 6408 clauses out of 12824 with flag 8001/198815
15.27/14.36	c cleaning 6698 clauses out of 13415 with flag 15000/205814
15.77/14.82	c cleaning 7355 clauses out of 14718 with flag 23001/213815
16.27/15.37	c cleaning 8176 clauses out of 16364 with flag 32002/222816
16.87/15.96	c cleaning 9085 clauses out of 18187 with flag 42001/232815
17.47/16.53	c cleaning 9543 clauses out of 19101 with flag 52000/242814
18.07/17.12	c cleaning 9773 clauses out of 19559 with flag 62001/252815
18.58/17.68	c cleaning 9884 clauses out of 19786 with flag 72001/262815
19.17/18.28	c cleaning 9945 clauses out of 19901 with flag 82000/272814
19.78/18.88	c cleaning 9964 clauses out of 19957 with flag 92001/282815
20.38/19.42	c cleaning 9987 clauses out of 19994 with flag 102002/292816
20.38/19.47	c Got one! Elapsed wall clock time (in seconds):19.365
20.38/19.47	o 9
20.78/19.83	c cleaning 7963 clauses out of 15937 with flag 5001/298746
21.18/20.20	c cleaning 6981 clauses out of 13975 with flag 11002/304747
21.48/20.56	c cleaning 6994 clauses out of 13993 with flag 18001/311746
21.89/20.98	c cleaning 7487 clauses out of 14998 with flag 26000/319745
22.38/21.46	c cleaning 8251 clauses out of 16511 with flag 35000/328745
22.99/22.03	c cleaning 9126 clauses out of 18260 with flag 45000/338745
23.48/22.56	c cleaning 9562 clauses out of 19135 with flag 55001/348746
23.99/23.07	c cleaning 9775 clauses out of 19572 with flag 65000/358745
24.59/23.61	c cleaning 9896 clauses out of 19799 with flag 75002/368747
25.09/24.13	c cleaning 9943 clauses out of 19901 with flag 85000/378745
25.59/24.65	c cleaning 9976 clauses out of 19959 with flag 95001/388746
26.09/25.17	c cleaning 9988 clauses out of 19985 with flag 105003/398748
26.59/25.68	c cleaning 9993 clauses out of 19994 with flag 115000/408745
27.19/26.23	c cleaning 9996 clauses out of 20001 with flag 125000/418745
27.79/26.80	c cleaning 9998 clauses out of 20006 with flag 135001/428746
28.29/27.36	c cleaning 9997 clauses out of 20007 with flag 145000/438745
28.89/27.90	c cleaning 10000 clauses out of 20011 with flag 155001/448746
29.39/28.45	c cleaning 10000 clauses out of 20011 with flag 165001/458746
29.89/28.97	c cleaning 10001 clauses out of 20013 with flag 175003/468748
30.52/29.51	c cleaning 9997 clauses out of 20009 with flag 185000/478745
31.02/30.03	c cleaning 10000 clauses out of 20013 with flag 195001/488746
31.52/30.55	c cleaning 9994 clauses out of 20012 with flag 205000/498745
32.12/31.11	c cleaning 10004 clauses out of 20018 with flag 215000/508745
32.52/31.59	c cleaning 10000 clauses out of 20016 with flag 225002/518747
33.12/32.11	c cleaning 10001 clauses out of 20015 with flag 235001/528746
33.62/32.62	c cleaning 10003 clauses out of 20013 with flag 245000/538745
34.13/33.13	c cleaning 10001 clauses out of 20010 with flag 255000/548745
34.63/33.62	c cleaning 9995 clauses out of 20010 with flag 265001/558746
35.13/34.14	c cleaning 10006 clauses out of 20017 with flag 275003/568748
35.63/34.63	c cleaning 9998 clauses out of 20009 with flag 285001/578746
36.13/35.13	c cleaning 10001 clauses out of 20011 with flag 295001/588746
36.63/35.61	c cleaning 10000 clauses out of 20010 with flag 305001/598746
37.13/36.13	c cleaning 9998 clauses out of 20010 with flag 315001/608746
37.63/36.66	c cleaning 10000 clauses out of 20011 with flag 325000/618745
38.23/37.20	c cleaning 10002 clauses out of 20012 with flag 335001/628746
38.34/37.34	c Got one! Elapsed wall clock time (in seconds):37.23
38.34/37.34	o 7
38.53/37.53	c cleaning 7979 clauses out of 15969 with flag 3001/634705
38.93/37.90	c cleaning 6991 clauses out of 13989 with flag 9000/640704
39.23/38.27	c cleaning 6996 clauses out of 14000 with flag 16002/647706
39.63/38.65	c cleaning 7496 clauses out of 15004 with flag 24002/655706
40.13/39.10	c cleaning 8247 clauses out of 16507 with flag 33001/664705
40.64/39.65	c cleaning 9121 clauses out of 18259 with flag 43000/674704
41.14/40.16	c cleaning 9563 clauses out of 19140 with flag 53002/684706
41.64/40.69	c cleaning 9778 clauses out of 19575 with flag 63000/694704
42.24/41.21	c cleaning 9893 clauses out of 19798 with flag 73001/704705
42.75/41.70	c cleaning 9949 clauses out of 19905 with flag 83001/714705
43.24/42.23	c cleaning 9971 clauses out of 19956 with flag 93001/724705
43.74/42.73	c cleaning 9987 clauses out of 19985 with flag 103001/734705
44.24/43.25	c cleaning 9991 clauses out of 19997 with flag 113000/744704
44.74/43.78	c cleaning 10001 clauses out of 20010 with flag 123004/754708
45.34/44.33	c cleaning 9996 clauses out of 20008 with flag 133003/764707
45.84/44.89	c cleaning 9997 clauses out of 20010 with flag 143001/774705
46.44/45.41	c cleaning 9996 clauses out of 20015 with flag 153003/784707
46.94/45.93	c cleaning 10002 clauses out of 20016 with flag 163000/794704
47.44/46.46	c cleaning 9998 clauses out of 20014 with flag 173000/804704
47.95/46.97	c cleaning 10000 clauses out of 20018 with flag 183002/814706
48.44/47.49	c cleaning 10004 clauses out of 20022 with flag 193006/824710
49.05/48.00	c cleaning 9998 clauses out of 20012 with flag 203000/834704
49.55/48.52	c cleaning 10002 clauses out of 20014 with flag 213000/844704
50.06/49.04	c cleaning 10002 clauses out of 20012 with flag 223000/854704
50.57/49.52	c cleaning 9996 clauses out of 20011 with flag 233001/864705
51.06/50.06	c cleaning 10001 clauses out of 20016 with flag 243002/874706
51.57/50.57	c cleaning 9997 clauses out of 20013 with flag 253000/884704
52.06/51.08	c cleaning 9998 clauses out of 20016 with flag 263000/894704
52.67/51.65	c cleaning 10005 clauses out of 20019 with flag 273001/904705
53.17/52.17	c cleaning 9994 clauses out of 20013 with flag 283000/914704
53.67/52.69	c cleaning 10007 clauses out of 20021 with flag 293002/924706
54.27/53.29	c cleaning 10002 clauses out of 20013 with flag 303001/934705
54.87/53.84	c cleaning 9999 clauses out of 20012 with flag 313002/944706
55.37/54.33	c cleaning 9994 clauses out of 20011 with flag 323000/954704
55.87/54.86	c cleaning 10002 clauses out of 20018 with flag 333001/964705
56.37/55.39	c cleaning 9998 clauses out of 20015 with flag 343000/974704
56.97/55.94	c cleaning 10001 clauses out of 20017 with flag 353000/984704
57.47/56.45	c cleaning 9995 clauses out of 20017 with flag 363001/994705
57.97/56.97	c cleaning 10005 clauses out of 20021 with flag 373000/1004704
58.57/57.51	c cleaning 10004 clauses out of 20016 with flag 383000/1014704
59.07/58.05	c cleaning 9999 clauses out of 20016 with flag 393004/1024708
59.57/58.57	c cleaning 10003 clauses out of 20013 with flag 403000/1034704
60.18/59.11	c cleaning 10004 clauses out of 20013 with flag 413003/1044707
60.68/59.64	c cleaning 9996 clauses out of 20009 with flag 423003/1054707
61.18/60.16	c cleaning 9999 clauses out of 20010 with flag 433000/1064704
61.68/60.65	c cleaning 10000 clauses out of 20011 with flag 443000/1074704
62.18/61.19	c cleaning 10003 clauses out of 20013 with flag 453002/1084706
62.78/61.75	c cleaning 9997 clauses out of 20009 with flag 463001/1094705
63.29/62.25	c cleaning 10001 clauses out of 20011 with flag 473000/1104704
63.79/62.72	c cleaning 9999 clauses out of 20013 with flag 483003/1114707
64.29/63.23	c cleaning 9998 clauses out of 20011 with flag 493000/1124704
64.79/63.72	c cleaning 10002 clauses out of 20014 with flag 503001/1134705
65.29/64.23	c cleaning 9997 clauses out of 20011 with flag 513000/1144704
65.69/64.67	c Got one! Elapsed wall clock time (in seconds):64.56
65.69/64.67	o 6
66.19/65.13	c cleaning 11750 clauses out of 23509 with flag 5000/1158199
66.59/65.52	c cleaning 8869 clauses out of 17759 with flag 11000/1164199
66.99/65.91	c cleaning 7936 clauses out of 15890 with flag 18000/1171199
67.39/66.33	c cleaning 7972 clauses out of 15954 with flag 26000/1179199
67.89/66.81	c cleaning 8482 clauses out of 16984 with flag 35002/1188201
68.49/67.42	c cleaning 9243 clauses out of 18500 with flag 45000/1198199
69.09/68.05	c cleaning 9618 clauses out of 19258 with flag 55001/1208200
69.69/68.60	c cleaning 9813 clauses out of 19640 with flag 65001/1218200
70.19/69.12	c cleaning 9907 clauses out of 19826 with flag 75000/1228199
70.70/69.69	c cleaning 9951 clauses out of 19921 with flag 85002/1238201
71.30/70.24	c cleaning 9981 clauses out of 19969 with flag 95001/1248200
71.80/70.78	c cleaning 9988 clauses out of 19987 with flag 105000/1258199
72.30/71.28	c cleaning 9998 clauses out of 20001 with flag 115002/1268201
72.90/71.83	c cleaning 9994 clauses out of 20001 with flag 125000/1278199
73.50/72.40	c cleaning 9995 clauses out of 20009 with flag 135002/1288201
74.00/72.98	c cleaning 10003 clauses out of 20015 with flag 145003/1298202
74.60/73.55	c cleaning 9997 clauses out of 20009 with flag 155000/1308199
75.10/74.07	c cleaning 9995 clauses out of 20013 with flag 165001/1318200
75.60/74.58	c cleaning 10005 clauses out of 20018 with flag 175001/1328200
76.20/75.11	c cleaning 10002 clauses out of 20015 with flag 185003/1338202
76.71/75.65	c cleaning 9997 clauses out of 20012 with flag 195002/1348201
77.32/76.21	c cleaning 10006 clauses out of 20016 with flag 205003/1358202
77.92/76.81	c cleaning 9992 clauses out of 20007 with flag 215000/1368199
78.42/77.37	c cleaning 10000 clauses out of 20017 with flag 225002/1378201
78.92/77.89	c cleaning 9996 clauses out of 20015 with flag 235000/1388199
79.42/78.39	c cleaning 10006 clauses out of 20019 with flag 245000/1398199
80.02/78.98	c cleaning 10003 clauses out of 20015 with flag 255002/1408201
80.62/79.54	c cleaning 10000 clauses out of 20012 with flag 265002/1418201
81.12/80.07	c cleaning 9993 clauses out of 20010 with flag 275000/1428199
81.62/80.57	c cleaning 10001 clauses out of 20018 with flag 285001/1438200
82.22/81.10	c cleaning 10000 clauses out of 20016 with flag 295000/1448199
82.72/81.65	c cleaning 10002 clauses out of 20018 with flag 305002/1458201
83.32/82.20	c cleaning 10003 clauses out of 20015 with flag 315001/1468200
83.83/82.73	c cleaning 9999 clauses out of 20013 with flag 325002/1478201
84.33/83.25	c cleaning 10001 clauses out of 20012 with flag 335000/1488199
84.92/83.80	c cleaning 9998 clauses out of 20012 with flag 345001/1498200
85.43/84.33	c cleaning 10000 clauses out of 20014 with flag 355001/1508200
85.83/84.72	c Got one! Elapsed wall clock time (in seconds):84.613
85.83/84.72	o 5
86.23/85.12	c cleaning 11344 clauses out of 22701 with flag 5001/1520887
86.63/85.51	c cleaning 8670 clauses out of 17356 with flag 11000/1526886
86.94/85.89	c cleaning 7836 clauses out of 15687 with flag 18001/1533887
87.43/86.31	c cleaning 7922 clauses out of 15851 with flag 26001/1541887
87.83/86.79	c cleaning 8458 clauses out of 16930 with flag 35002/1550888
88.43/87.35	c cleaning 9230 clauses out of 18470 with flag 45000/1560886
89.04/87.90	c cleaning 9613 clauses out of 19242 with flag 55002/1570888
89.53/88.42	c cleaning 9807 clauses out of 19627 with flag 65000/1580886
90.03/88.93	c cleaning 9902 clauses out of 19820 with flag 75000/1590886
90.54/89.47	c cleaning 9951 clauses out of 19918 with flag 85000/1600886
91.14/90.02	c cleaning 9979 clauses out of 19967 with flag 95000/1610886
91.63/90.53	c cleaning 9984 clauses out of 19988 with flag 105000/1620886
92.14/91.02	c cleaning 9995 clauses out of 20004 with flag 115000/1630886
92.63/91.52	c cleaning 9998 clauses out of 20011 with flag 125002/1640888
93.14/92.01	c cleaning 9997 clauses out of 20011 with flag 135000/1650886
93.64/92.57	c cleaning 10006 clauses out of 20019 with flag 145005/1660891
94.24/93.13	c cleaning 9996 clauses out of 20010 with flag 155002/1670888
94.74/93.63	c cleaning 10000 clauses out of 20013 with flag 165001/1680887
95.24/94.13	c cleaning 9998 clauses out of 20012 with flag 175000/1690886
95.75/94.65	c cleaning 10001 clauses out of 20016 with flag 185002/1700888
96.24/95.14	c cleaning 10003 clauses out of 20013 with flag 195000/1710886
96.75/95.65	c cleaning 9995 clauses out of 20011 with flag 205001/1720887
97.35/96.20	c cleaning 10005 clauses out of 20015 with flag 215000/1730886
97.85/96.73	c cleaning 9999 clauses out of 20010 with flag 225000/1740886
98.35/97.27	c cleaning 10003 clauses out of 20011 with flag 235000/1750886
98.85/97.76	c cleaning 10000 clauses out of 20010 with flag 245002/1760888
99.35/98.26	c cleaning 10001 clauses out of 20009 with flag 255001/1770887
99.85/98.77	c cleaning 10000 clauses out of 20007 with flag 265000/1780886
100.35/99.28	c cleaning 9999 clauses out of 20008 with flag 275001/1790887
100.95/99.88	c cleaning 9995 clauses out of 20009 with flag 285001/1800887
101.55/100.42	c cleaning 10002 clauses out of 20015 with flag 295002/1810888
102.05/100.95	c cleaning 9999 clauses out of 20011 with flag 305000/1820886
102.56/101.46	c cleaning 9996 clauses out of 20012 with flag 315000/1830886
103.06/101.97	c cleaning 10005 clauses out of 20016 with flag 325000/1840886
103.56/102.47	c cleaning 9996 clauses out of 20011 with flag 335000/1850886
104.17/103.04	c cleaning 10003 clauses out of 20017 with flag 345002/1860888
104.67/103.58	c cleaning 9999 clauses out of 20013 with flag 355001/1870887
105.27/104.15	c cleaning 10000 clauses out of 20014 with flag 365001/1880887
105.77/104.68	c cleaning 10001 clauses out of 20014 with flag 375001/1890887
106.27/105.17	c cleaning 9999 clauses out of 20014 with flag 385002/1900888
106.78/105.68	c cleaning 10002 clauses out of 20014 with flag 395001/1910887
107.37/106.21	c cleaning 10002 clauses out of 20014 with flag 405003/1920889
107.88/106.73	c cleaning 9997 clauses out of 20011 with flag 415002/1930888
108.37/107.27	c cleaning 9995 clauses out of 20012 with flag 425000/1940886
108.98/107.81	c cleaning 10003 clauses out of 20019 with flag 435002/1950888
109.47/108.30	c cleaning 10004 clauses out of 20017 with flag 445003/1960889
109.88/108.70	c Got one! Elapsed wall clock time (in seconds):108.589
109.88/108.70	o 3
110.28/109.12	c cleaning 11099 clauses out of 22225 with flag 5000/1973101
110.68/109.51	c cleaning 8553 clauses out of 17127 with flag 11001/1979102
110.98/109.89	c cleaning 7779 clauses out of 15573 with flag 18000/1986101
111.38/110.28	c cleaning 7891 clauses out of 15794 with flag 26000/1994101
111.88/110.75	c cleaning 8445 clauses out of 16903 with flag 35000/2003101
112.48/111.32	c cleaning 9225 clauses out of 18461 with flag 45003/2013104
113.08/111.93	c cleaning 9614 clauses out of 19234 with flag 55001/2023102
113.58/112.46	c cleaning 9806 clauses out of 19621 with flag 65002/2033103
114.08/112.99	c cleaning 9901 clauses out of 19815 with flag 75002/2043103
114.68/113.53	c cleaning 9941 clauses out of 19914 with flag 85002/2053103
115.18/114.08	c cleaning 9984 clauses out of 19972 with flag 95001/2063102
115.78/114.60	c cleaning 9991 clauses out of 19990 with flag 105003/2073104
116.28/115.19	c cleaning 9992 clauses out of 20001 with flag 115005/2083106
116.88/115.77	c cleaning 9997 clauses out of 20004 with flag 125000/2093101
117.38/116.27	c cleaning 10001 clauses out of 20008 with flag 135001/2103102
117.98/116.81	c cleaning 9999 clauses out of 20007 with flag 145001/2113102
118.48/117.31	c cleaning 10001 clauses out of 20010 with flag 155003/2123104
118.98/117.82	c cleaning 10000 clauses out of 20009 with flag 165003/2133104
119.59/118.40	c cleaning 9996 clauses out of 20008 with flag 175002/2143103
120.09/118.91	c cleaning 9998 clauses out of 20010 with flag 185000/2153101
120.59/119.46	c cleaning 9997 clauses out of 20013 with flag 195001/2163102
121.09/119.99	c cleaning 10008 clauses out of 20020 with flag 205005/2173106
121.79/120.61	c cleaning 9994 clauses out of 20008 with flag 215001/2183102
122.29/121.10	c cleaning 10003 clauses out of 20014 with flag 225001/2193102
122.79/121.60	c cleaning 9996 clauses out of 20010 with flag 235000/2203101
123.19/122.07	c cleaning 10004 clauses out of 20017 with flag 245003/2213104
123.69/122.54	c cleaning 9995 clauses out of 20010 with flag 255000/2223101
124.19/123.01	c cleaning 9995 clauses out of 20016 with flag 265001/2233102
124.69/123.50	c cleaning 10004 clauses out of 20020 with flag 275000/2243101
125.20/124.01	c cleaning 10003 clauses out of 20018 with flag 285002/2253103
125.70/124.52	c cleaning 10004 clauses out of 20015 with flag 295002/2263103
126.20/125.02	c cleaning 10000 clauses out of 20010 with flag 305001/2273102
126.70/125.51	c cleaning 9999 clauses out of 20010 with flag 315001/2283102
127.20/126.03	c cleaning 9996 clauses out of 20010 with flag 325000/2293101
127.71/126.54	c cleaning 10005 clauses out of 20015 with flag 335001/2303102
128.21/127.08	c cleaning 9997 clauses out of 20011 with flag 345002/2313103
128.71/127.58	c cleaning 10000 clauses out of 20012 with flag 355000/2323101
129.21/128.07	c cleaning 10005 clauses out of 20013 with flag 365001/2333102
129.71/128.57	c cleaning 9996 clauses out of 20009 with flag 375002/2343103
130.21/129.07	c cleaning 9999 clauses out of 20011 with flag 385000/2353101
130.81/129.63	c cleaning 9998 clauses out of 20012 with flag 395000/2363101
131.32/130.13	c cleaning 9998 clauses out of 20014 with flag 405000/2373101
131.82/130.61	c cleaning 10004 clauses out of 20020 with flag 415004/2383105
132.32/131.11	c cleaning 9997 clauses out of 20012 with flag 425000/2393101
132.82/131.63	c cleaning 10002 clauses out of 20016 with flag 435001/2403102
133.32/132.14	c cleaning 9998 clauses out of 20013 with flag 445000/2413101
133.82/132.67	c cleaning 10002 clauses out of 20015 with flag 455000/2423101
134.33/133.19	c cleaning 10004 clauses out of 20013 with flag 465000/2433101
134.92/133.70	c cleaning 10002 clauses out of 20011 with flag 475002/2443103
135.43/134.21	c cleaning 9992 clauses out of 20008 with flag 485001/2453102
135.93/134.77	c cleaning 9999 clauses out of 20019 with flag 495004/2463105
136.43/135.30	c cleaning 9993 clauses out of 20016 with flag 505000/2473101
137.03/135.83	c cleaning 10005 clauses out of 20023 with flag 515000/2483101
137.54/136.33	c cleaning 10002 clauses out of 20020 with flag 525002/2493103
138.03/136.84	c cleaning 10008 clauses out of 20021 with flag 535005/2503106
138.53/137.34	c cleaning 9998 clauses out of 20009 with flag 545001/2513102
139.03/137.83	c cleaning 10000 clauses out of 20012 with flag 555002/2523103
139.63/138.40	c cleaning 10000 clauses out of 20013 with flag 565003/2533104
140.14/138.91	c cleaning 9996 clauses out of 20011 with flag 575001/2543102
140.64/139.48	c cleaning 9997 clauses out of 20014 with flag 585000/2553101
141.24/140.01	c cleaning 10002 clauses out of 20018 with flag 595001/2563102
141.74/140.50	c cleaning 9997 clauses out of 20018 with flag 605003/2573104
142.24/141.01	c cleaning 10006 clauses out of 20021 with flag 615003/2583104
142.74/141.52	c cleaning 9996 clauses out of 20012 with flag 625000/2593101
143.24/142.05	c cleaning 10002 clauses out of 20017 with flag 635001/2603102
143.74/142.53	c cleaning 10000 clauses out of 20014 with flag 645000/2613101
144.25/143.06	c cleaning 9998 clauses out of 20014 with flag 655000/2623101
144.84/143.61	c cleaning 9996 clauses out of 20016 with flag 665000/2633101
145.35/144.12	c cleaning 9999 clauses out of 20020 with flag 675000/2643101
145.85/144.60	c cleaning 10007 clauses out of 20023 with flag 685002/2653103
146.25/145.08	c cleaning 10000 clauses out of 20014 with flag 695000/2663101
146.75/145.58	c cleaning 10004 clauses out of 20015 with flag 705001/2673102
147.25/146.05	c cleaning 10000 clauses out of 20011 with flag 715001/2683102
147.75/146.51	c cleaning 9998 clauses out of 20010 with flag 725000/2693101
148.25/147.00	c cleaning 9999 clauses out of 20013 with flag 735001/2703102
148.76/147.52	c cleaning 10001 clauses out of 20013 with flag 745000/2713101
149.26/148.03	c cleaning 10002 clauses out of 20012 with flag 755000/2723101
149.77/148.52	c cleaning 10002 clauses out of 20010 with flag 765000/2733101
150.26/149.00	c cleaning 9997 clauses out of 20008 with flag 775000/2743101
150.77/149.52	c cleaning 9999 clauses out of 20013 with flag 785002/2753103
151.26/150.02	c cleaning 10003 clauses out of 20013 with flag 795001/2763102
151.76/150.50	c cleaning 10001 clauses out of 20011 with flag 805002/2773103
152.16/150.97	c cleaning 9997 clauses out of 20012 with flag 815004/2783105
152.66/151.49	c cleaning 9991 clauses out of 20011 with flag 825000/2793101
153.16/151.99	c cleaning 10000 clauses out of 20020 with flag 835000/2803101
153.77/152.53	c cleaning 10002 clauses out of 20020 with flag 845000/2813101
154.27/153.03	c cleaning 10004 clauses out of 20018 with flag 855000/2823101
154.77/153.53	c cleaning 9999 clauses out of 20014 with flag 865000/2833101
155.28/154.01	c cleaning 10003 clauses out of 20019 with flag 875004/2843105
155.68/154.49	c cleaning 9999 clauses out of 20012 with flag 885000/2853101
156.29/155.05	c cleaning 9999 clauses out of 20013 with flag 895000/2863101
156.88/155.63	c cleaning 9999 clauses out of 20015 with flag 905001/2873102
157.49/156.23	c cleaning 10001 clauses out of 20017 with flag 915002/2883103
158.08/156.88	c cleaning 10001 clauses out of 20014 with flag 925000/2893101
158.68/157.46	c cleaning 9996 clauses out of 20013 with flag 935000/2903101
159.28/158.00	c cleaning 10001 clauses out of 20018 with flag 945001/2913102
159.78/158.55	c cleaning 10005 clauses out of 20017 with flag 955001/2923102
160.28/159.09	c cleaning 9999 clauses out of 20012 with flag 965001/2933102
160.89/159.63	c cleaning 10004 clauses out of 20013 with flag 975001/2943102
161.39/160.18	c cleaning 10000 clauses out of 20009 with flag 985001/2953102
161.99/160.74	c cleaning 10001 clauses out of 20011 with flag 995003/2963104
162.49/161.29	c cleaning 9998 clauses out of 20007 with flag 1005000/2973101
163.09/161.84	c cleaning 9997 clauses out of 20009 with flag 1015000/2983101
163.69/162.41	c cleaning 9996 clauses out of 20012 with flag 1025000/2993101
164.30/163.08	c cleaning 10005 clauses out of 20019 with flag 1035003/3003104
164.80/163.58	c cleaning 10001 clauses out of 20012 with flag 1045001/3013102
165.30/164.06	c cleaning 9999 clauses out of 20010 with flag 1055000/3023101
165.80/164.58	c cleaning 9995 clauses out of 20011 with flag 1065000/3033101
166.40/165.13	c cleaning 10004 clauses out of 20016 with flag 1075000/3043101
166.90/165.64	c cleaning 10000 clauses out of 20014 with flag 1085002/3053103
167.41/166.17	c cleaning 9998 clauses out of 20012 with flag 1095000/3063101
168.10/166.85	c cleaning 9999 clauses out of 20016 with flag 1105002/3073103
168.71/167.40	c cleaning 9998 clauses out of 20016 with flag 1115001/3083102
169.21/167.91	c cleaning 10002 clauses out of 20018 with flag 1125001/3093102
169.71/168.42	c cleaning 9993 clauses out of 20015 with flag 1135000/3103101
170.21/168.93	c cleaning 10005 clauses out of 20022 with flag 1145000/3113101
170.72/169.46	c cleaning 10002 clauses out of 20017 with flag 1155000/3123101
171.21/169.97	c cleaning 10002 clauses out of 20016 with flag 1165001/3133102
171.71/170.48	c cleaning 10000 clauses out of 20013 with flag 1175000/3143101
172.21/170.99	c cleaning 10004 clauses out of 20015 with flag 1185002/3153103
172.82/171.56	c cleaning 9998 clauses out of 20010 with flag 1195001/3163102
173.31/172.08	c cleaning 10002 clauses out of 20014 with flag 1205003/3173104
173.92/172.62	c cleaning 10000 clauses out of 20009 with flag 1215000/3183101
174.42/173.15	c cleaning 9995 clauses out of 20011 with flag 1225002/3193103
174.92/173.69	c cleaning 9996 clauses out of 20014 with flag 1235000/3203101
175.52/174.26	c cleaning 10001 clauses out of 20019 with flag 1245001/3213102
176.02/174.76	c cleaning 9998 clauses out of 20018 with flag 1255001/3223102
176.62/175.31	c cleaning 10003 clauses out of 20019 with flag 1265000/3233101
177.12/175.84	c cleaning 10001 clauses out of 20017 with flag 1275001/3243102
177.62/176.34	c cleaning 10003 clauses out of 20019 with flag 1285004/3253105
178.13/176.86	c cleaning 9998 clauses out of 20016 with flag 1295004/3263105
178.63/177.38	c cleaning 10001 clauses out of 20014 with flag 1305000/3273101
179.37/178.00	c cleaning 9989 clauses out of 20013 with flag 1315000/3283101
179.87/178.59	c cleaning 10008 clauses out of 20026 with flag 1325002/3293103
180.57/179.24	c cleaning 10001 clauses out of 20016 with flag 1335000/3303101
181.17/179.83	c cleaning 9999 clauses out of 20016 with flag 1345001/3313102
181.78/180.47	c cleaning 9992 clauses out of 20016 with flag 1355000/3323101
182.37/181.03	c cleaning 10009 clauses out of 20025 with flag 1365001/3333102
182.88/181.58	c cleaning 10001 clauses out of 20015 with flag 1375000/3343101
183.47/182.12	c cleaning 10004 clauses out of 20016 with flag 1385002/3353103
183.98/182.67	c cleaning 10005 clauses out of 20016 with flag 1395006/3363107
184.57/183.21	c cleaning 9999 clauses out of 20007 with flag 1405002/3373103
185.17/183.83	c cleaning 9993 clauses out of 20005 with flag 1415000/3383101
185.78/184.46	c starts		: 267
185.78/184.46	c conflicts		: 3392318
185.78/184.46	c decisions		: 5237530
185.78/184.46	c propagations		: 170437743
185.78/184.46	c inspects		: 1722253468
185.78/184.46	c shortcuts		: 0
185.78/184.46	c learnt literals	: 6
185.78/184.46	c learnt binary clauses	: 24
185.78/184.46	c learnt ternary clauses	: 1140
185.78/184.46	c learnt constraints	: 3392311
185.78/184.46	c ignored constraints	: 0
185.78/184.46	c root simplifications	: 0
185.78/184.46	c removed literals (reason simplification)	: 16149866
185.78/184.46	c reason swapping (by a shorter reason)	: 0
185.78/184.46	c Calls to reduceDB	: 349
185.78/184.46	c number of reductions to clauses (during analyze)	: 0
185.78/184.46	c number of learned constraints concerned by reduction	: 0
185.78/184.46	c number of learning phase by resolution	: 0
185.78/184.46	c number of learning phase by cutting planes	: 0
185.78/184.46	c speed (assignments/second)	: 2249617.135013133
185.78/184.46	c non guided choices	2764
185.78/184.46	c learnt constraints type 
185.78/184.46	c constraints type 
185.78/184.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2530
185.78/184.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 12
185.78/184.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 154
185.78/184.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11
185.78/184.46	s OPTIMUM FOUND
185.78/184.46	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 
185.78/184.46	c objective function=3
185.78/184.46	c Total wall clock time (in seconds): 184.353

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 /tmp/evaluation-result-3492023-1307910679/watcher-3492023-1307910679 -o /tmp/evaluation-result-3492023-1307910679/solver-3492023-1307910679 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492023-1307910679.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.00 2.00 2.00 2/196 20603
/proc/meminfo: memFree=32045232/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/20603/stat : 20603 (java) R 20601 20603 18875 0 -1 4202496 958 0 0 0 0 0 0 0 25 0 1 0 902665748 23580672 700 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255372338664 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20603/statm: 5757 700 517 9 0 124 0

[startup+0.0534241 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 20603
/proc/meminfo: memFree=32045232/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 11433 0 1 0 3 1 0 0 25 0 13 0 902665748 10718838784 11128 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2616904 11128 1684 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.106117 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 20603
/proc/meminfo: memFree=32045232/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10540304 CPUtime=0.11 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 13146 0 1 0 9 2 0 0 25 0 18 0 902665748 10793271296 12820 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2635076 12820 2092 9 0 2625810 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540304

[startup+0.301106 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 20603
/proc/meminfo: memFree=32045232/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10541340 CPUtime=0.45 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 15411 0 1 0 43 2 0 0 25 0 18 0 902665748 10794332160 14823 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2635335 14824 2200 9 0 2626069 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541340

[startup+0.701034 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 20603
/proc/meminfo: memFree=32045232/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=1.41 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 21148 0 1 0 138 3 0 0 25 0 19 0 902665748 10803433472 18411 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 18411 2225 9 0 2628291 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10550228

[startup+1.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 20622
/proc/meminfo: memFree=31978952/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=2.32 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 22665 0 1 0 229 3 0 0 25 0 19 0 902665748 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 19831 2254 9 0 2628291 0
[pid=20603/tid=20605] ppid=20601 vsize=10550228 CPUtime=1.45 cores=0,2,4,6
/proc/20603/task/20605/stat : 20605 (java) R 20601 20603 18875 0 -1 4202560 14390 0 1 0 144 1 0 0 18 0 19 0 902665749 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 46912505166880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20603/tid=20606] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 184 0 0 0 0 0 0 0 17 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 256 0 0 0 0 0 0 0 18 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 902665751 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=0.01 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 449 0 0 0 1 0 0 0 15 0 19 0 902665752 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.39 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 2158 0 0 0 39 0 0 0 15 0 19 0 902665754 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.4 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4065 0 0 0 40 0 0 0 15 0 19 0 902665754 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 19831 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10550228

[startup+3.10161 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 20622
/proc/meminfo: memFree=31973248/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=4 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 23757 0 1 0 396 4 0 0 25 0 19 0 902665748 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 20247 2254 9 0 2628291 0
[pid=20603/tid=20605] ppid=20601 vsize=10550228 CPUtime=2.99 cores=0,2,4,6
/proc/20603/task/20605/stat : 20605 (java) R 20601 20603 18875 0 -1 4202560 14392 0 1 0 298 1 0 0 20 0 19 0 902665749 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 46912505648783 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20603/tid=20606] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=0.06 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 605 0 0 0 6 0 0 0 16 0 19 0 902665752 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.44 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 2841 0 0 0 44 0 0 0 15 0 19 0 902665754 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.42 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4068 0 0 0 42 0 0 0 15 0 19 0 902665754 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 20247 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 10550228

[startup+6.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 20622
/proc/meminfo: memFree=31970504/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=7.24 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 24144 0 1 0 720 4 0 0 25 0 19 0 902665748 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 20628 2254 9 0 2628291 0
[pid=20603/tid=20605] ppid=20601 vsize=10550228 CPUtime=6.1 cores=0,2,4,6
/proc/20603/task/20605/stat : 20605 (java) R 20601 20603 18875 0 -1 4202560 14398 0 1 0 609 1 0 0 25 0 19 0 902665749 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 46912505648722 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20603/tid=20606] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 339 0 0 0 0 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0.01 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 902665751 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=0.14 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 748 0 0 0 14 0 0 0 16 0 19 0 902665752 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.47 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 2841 0 0 0 47 0 0 0 15 0 19 0 902665754 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.42 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4068 0 0 0 42 0 0 0 15 0 19 0 902665754 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 20628 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 10550228

[startup+12.7008 s]

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

/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 102 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 94 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 99 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 61 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0.08 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 195 0 0 0 8 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 25 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 342 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 100 0 0 0 12 0 0 0 16 0 19 0 902665751 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=5.71 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 1421 0 0 0 565 6 0 0 15 0 19 0 902665752 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.53 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 3300 0 0 0 53 0 0 0 15 0 19 0 902665754 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.43 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4069 0 0 0 43 0 0 0 15 0 19 0 902665754 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 21804 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 184.47
Current children cumulated vsize (KiB) 10550228

[startup+183.901 s]
/proc/loadavg: 2.04 2.03 2.00 3/215 20626
/proc/meminfo: memFree=31964536/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=185.27 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 25707 0 1 0 18515 12 0 0 25 0 19 0 902665748 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 21805 2255 9 0 2628291 0
[pid=20603/tid=20605] ppid=20601 vsize=10550228 CPUtime=177.65 cores=0,2,4,6
/proc/20603/task/20605/stat : 20605 (java) R 20601 20603 18875 0 -1 4202560 14737 0 1 0 17763 2 0 0 25 0 19 0 902665749 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 46912505648424 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20603/tid=20606] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 102 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 94 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 99 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 61 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0.08 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 195 0 0 0 8 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 25 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 342 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 100 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=5.74 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 1421 0 0 0 568 6 0 0 15 0 19 0 902665752 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.53 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 3300 0 0 0 53 0 0 0 15 0 19 0 902665754 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.43 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4069 0 0 0 43 0 0 0 15 0 19 0 902665754 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 21805 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 185.27
Current children cumulated vsize (KiB) 10550228

[startup+184.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/215 20626
/proc/meminfo: memFree=31964536/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=185.68 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 25708 0 1 0 18556 12 0 0 25 0 19 0 902665748 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 21806 2255 9 0 2628291 0
[pid=20603/tid=20605] ppid=20601 vsize=10550228 CPUtime=178.05 cores=0,2,4,6
/proc/20603/task/20605/stat : 20605 (java) R 20601 20603 18875 0 -1 4202560 14737 0 1 0 17803 2 0 0 25 0 19 0 902665749 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 46912505643751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20603/tid=20606] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 102 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 94 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 99 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 61 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0.08 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 195 0 0 0 8 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 25 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 342 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 100 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=5.74 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 1421 0 0 0 568 6 0 0 15 0 19 0 902665752 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.53 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 3301 0 0 0 53 0 0 0 15 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.43 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4069 0 0 0 43 0 0 0 15 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 185.68
Current children cumulated vsize (KiB) 10550228

[startup+184.401 s]
/proc/loadavg: 2.04 2.03 2.00 3/215 20626
/proc/meminfo: memFree=31964536/32951124 swapFree=67072804/67111528
[pid=20603] ppid=20601 vsize=10550228 CPUtime=185.78 cores=0,2,4,6
/proc/20603/stat : 20603 (java) S 20601 20603 18875 0 -1 4202496 25708 0 1 0 18566 12 0 0 25 0 19 0 902665748 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20603/statm: 2637557 21806 2255 9 0 2628291 0
[pid=20603/tid=20605] ppid=20601 vsize=10550228 CPUtime=178.15 cores=0,2,4,6
/proc/20603/task/20605/stat : 20605 (java) R 20601 20603 18875 0 -1 4202560 14737 0 1 0 17813 2 0 0 25 0 19 0 902665749 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 46912505608833 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20603/tid=20606] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20606/stat : 20606 (java) S 20601 20603 18875 0 -1 4202560 102 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20607] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20607/stat : 20607 (java) S 20601 20603 18875 0 -1 4202560 94 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20608] ppid=20601 vsize=10550228 CPUtime=0.09 cores=0,2,4,6
/proc/20603/task/20608/stat : 20608 (java) S 20601 20603 18875 0 -1 4202560 99 0 0 0 9 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20609] ppid=20601 vsize=10550228 CPUtime=0.1 cores=0,2,4,6
/proc/20603/task/20609/stat : 20609 (java) S 20601 20603 18875 0 -1 4202560 61 0 0 0 10 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 0 0 0 0
[pid=20603/tid=20610] ppid=20601 vsize=10550228 CPUtime=0.08 cores=0,2,4,6
/proc/20603/task/20610/stat : 20610 (java) S 20601 20603 18875 0 -1 4202560 195 0 0 0 8 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20611] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20611/stat : 20611 (java) S 20601 20603 18875 0 -1 4202560 25 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20612] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20612/stat : 20612 (java) S 20601 20603 18875 0 -1 4202560 342 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20613] ppid=20601 vsize=10550228 CPUtime=0.12 cores=0,2,4,6
/proc/20603/task/20613/stat : 20613 (java) S 20601 20603 18875 0 -1 4202560 100 0 0 0 12 0 0 0 15 0 19 0 902665751 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20614] ppid=20601 vsize=10550228 CPUtime=5.74 cores=0,2,4,6
/proc/20603/task/20614/stat : 20614 (java) S 20601 20603 18875 0 -1 4202560 1421 0 0 0 568 6 0 0 15 0 19 0 902665752 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 0 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20615] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20615/stat : 20615 (java) S 20601 20603 18875 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20616] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20616/stat : 20616 (java) S 20601 20603 18875 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902665752 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20617] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20617/stat : 20617 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389125041 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20618] ppid=20601 vsize=10550228 CPUtime=0.53 cores=0,2,4,6
/proc/20603/task/20618/stat : 20618 (java) S 20601 20603 18875 0 -1 4202560 3301 0 0 0 53 0 0 0 15 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20619] ppid=20601 vsize=10550228 CPUtime=0.43 cores=0,2,4,6
/proc/20603/task/20619/stat : 20619 (java) S 20601 20603 18875 0 -1 4202560 4069 0 0 0 43 0 0 0 15 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
[pid=20603/tid=20620] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20620/stat : 20620 (java) S 20601 20603 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117337 0 4 0 16800975 18446604451169621952 0 0 -1 6 0 0 0
[pid=20603/tid=20621] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20621/stat : 20621 (java) S 20601 20603 18875 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902665754 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 4 0 0 0
[pid=20603/tid=20622] ppid=20601 vsize=10550228 CPUtime=0 cores=0,2,4,6
/proc/20603/task/20622/stat : 20622 (java) S 20601 20603 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902665782 10803433472 21806 33554432000 1073741824 1073778376 140734269123744 18446744073709551615 255389117952 0 4 0 16800975 18446604451169621952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 185.78
Current children cumulated vsize (KiB) 10550228

Child status: 30
Real time (s): 184.471
CPU time (s): 185.863
CPU user time (s): 185.733
CPU system time (s): 0.12998
CPU usage (%): 100.754
Max. virtual memory (cumulated for all children) (KiB): 10550228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.733
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25728
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= 13080
involuntary context switches= 4872

runsolver used 0.332949 second user time and 0.682896 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-12 22:31:19
IDJOB=3492023
IDBENCH=78993
IDSOLVER=1982
FILE ID=node135/3492023-1307910679
RUNJOBID= node135-1307908879-20390
PBS_JOBID= 13559571
Free space on /tmp= 73888 MiB

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

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

MD5SUM BENCH= fa52148d69071c7fece24d526a14d5b1
RANDOM SEED=1725014795

node135.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.851
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.70
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.851
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	: 5332.83
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.75
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32045528 kB
Buffers:        123064 kB
Cached:         131632 kB
SwapCached:       6348 kB
Active:         616396 kB
Inactive:       101572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32045528 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:             516 kB
Writeback:          40 kB
AnonPages:      462544 kB
Mapped:          18900 kB
Slab:           122716 kB
PageTables:       5512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10528172 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73884 MiB
End job on node135 at 2011-06-12 22:34:23