Trace number 3492114

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 155.219 153.867

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo
MD5SUMce7c3a365231565303f31d834d531ee5
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark23.0755
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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.08/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		9996466904
0.08/0.09	c Max memory 		10048897024
0.08/0.09	c Total memory 		10048897024
0.08/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@13d4c61c
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-3492114-1307911313.wbo
0.11/0.11	c reading problem ... 
0.49/0.33	c ... done. Wall clock time 0.223s.
0.49/0.33	c #vars     2938
0.49/0.33	c #constraints  2707
0.49/0.33	c constraints type 
0.49/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.06/0.52	c SATISFIABLE
1.06/0.52	c OPTIMIZING...
1.06/0.52	c Got one! Elapsed wall clock time (in seconds):0.412
1.06/0.52	o 762
1.06/0.57	c Got one! Elapsed wall clock time (in seconds):0.457
1.06/0.57	o 75
1.34/0.65	c Got one! Elapsed wall clock time (in seconds):0.541
1.34/0.65	o 69
1.34/0.68	c Got one! Elapsed wall clock time (in seconds):0.574
1.34/0.68	o 68
1.47/0.79	c Got one! Elapsed wall clock time (in seconds):0.679
1.47/0.79	o 56
1.74/0.96	c Got one! Elapsed wall clock time (in seconds):0.848
1.74/0.96	o 52
1.74/0.99	c Got one! Elapsed wall clock time (in seconds):0.881
1.74/0.99	o 50
1.86/1.04	c Got one! Elapsed wall clock time (in seconds):0.928
1.86/1.04	o 35
1.86/1.09	c Got one! Elapsed wall clock time (in seconds):0.978
1.86/1.09	o 33
2.05/1.20	c Got one! Elapsed wall clock time (in seconds):1.091
2.05/1.20	o 31
2.15/1.32	c Got one! Elapsed wall clock time (in seconds):1.213
2.15/1.32	o 30
2.35/1.54	c Got one! Elapsed wall clock time (in seconds):1.426
2.35/1.54	o 24
2.35/1.55	c Got one! Elapsed wall clock time (in seconds):1.446
2.35/1.55	o 21
2.56/1.72	c Got one! Elapsed wall clock time (in seconds):1.611
2.56/1.72	o 18
2.99/2.14	c cleaning 5163 clauses out of 10332 with flag 3003/10332
2.99/2.18	c Got one! Elapsed wall clock time (in seconds):2.075
2.99/2.18	o 10
3.43/2.59	c Got one! Elapsed wall clock time (in seconds):2.484
3.43/2.59	o 9
3.53/2.69	c cleaning 5402 clauses out of 10808 with flag 1002/15971
3.73/2.82	c Got one! Elapsed wall clock time (in seconds):2.71
3.73/2.82	o 8
3.93/3.01	c Got one! Elapsed wall clock time (in seconds):2.901
3.93/3.01	o 7
4.14/3.21	c cleaning 5528 clauses out of 11060 with flag 2000/21625
4.57/3.65	c cleaning 5762 clauses out of 11532 with flag 8000/27625
4.77/3.83	c Got one! Elapsed wall clock time (in seconds):3.722
4.77/3.83	o 5
4.97/4.08	c cleaning 5762 clauses out of 11530 with flag 3002/33385
5.39/4.44	c cleaning 5879 clauses out of 11766 with flag 9000/39383
5.49/4.58	c Got one! Elapsed wall clock time (in seconds):4.467
5.49/4.58	o 4
5.69/4.79	c cleaning 5485 clauses out of 10984 with flag 3000/44480
6.09/5.15	c cleaning 5744 clauses out of 11499 with flag 9000/50480
6.50/5.55	c cleaning 6369 clauses out of 12756 with flag 16001/57481
7.00/6.02	c cleaning 7186 clauses out of 14386 with flag 24000/65480
7.10/6.10	c Got one! Elapsed wall clock time (in seconds):5.995
7.10/6.10	o 1
7.30/6.39	c cleaning 6242 clauses out of 12496 with flag 4001/70776
7.70/6.74	c cleaning 6118 clauses out of 12253 with flag 10000/76775
8.10/7.11	c cleaning 6565 clauses out of 13135 with flag 17000/83775
8.50/7.51	c cleaning 7281 clauses out of 14573 with flag 25003/91778
9.00/8.05	c cleaning 8140 clauses out of 16290 with flag 34001/100776
9.60/8.63	c cleaning 9067 clauses out of 18149 with flag 44000/110775
10.20/9.21	c cleaning 9536 clauses out of 19082 with flag 54000/120775
10.70/9.80	c cleaning 9768 clauses out of 19548 with flag 64002/130777
11.31/10.35	c cleaning 9883 clauses out of 19778 with flag 74000/140775
11.91/10.94	c cleaning 9943 clauses out of 19895 with flag 84000/150775
12.51/11.54	c cleaning 9975 clauses out of 19953 with flag 94001/160776
13.12/12.15	c cleaning 9982 clauses out of 19977 with flag 104000/170775
13.71/12.73	c cleaning 9996 clauses out of 19995 with flag 114000/180775
14.22/13.28	c cleaning 9993 clauses out of 19999 with flag 124000/190775
14.82/13.84	c cleaning 9999 clauses out of 20006 with flag 134000/200775
15.32/14.39	c cleaning 10000 clauses out of 20010 with flag 144003/210778
15.92/14.97	c cleaning 9995 clauses out of 20008 with flag 154001/220776
16.52/15.52	c cleaning 10002 clauses out of 20013 with flag 164001/230776
17.02/16.09	c cleaning 10000 clauses out of 20011 with flag 174001/240776
17.72/16.70	c cleaning 9994 clauses out of 20010 with flag 184000/250775
18.22/17.28	c cleaning 10002 clauses out of 20016 with flag 194000/260775
18.82/17.83	c cleaning 10006 clauses out of 20014 with flag 204000/270775
19.42/18.40	c cleaning 9999 clauses out of 20008 with flag 214000/280775
19.92/18.94	c cleaning 9998 clauses out of 20010 with flag 224001/290776
20.52/19.53	c cleaning 10002 clauses out of 20013 with flag 234002/300777
21.02/20.08	c cleaning 9999 clauses out of 20009 with flag 244000/310775
21.62/20.64	c cleaning 9991 clauses out of 20012 with flag 254002/320777
22.23/21.20	c cleaning 10005 clauses out of 20021 with flag 264002/330777
22.73/21.77	c cleaning 10003 clauses out of 20015 with flag 274001/340776
23.33/22.36	c cleaning 10000 clauses out of 20013 with flag 284002/350777
23.93/22.92	c cleaning 10000 clauses out of 20011 with flag 294000/360775
24.43/23.48	c cleaning 9999 clauses out of 20011 with flag 304000/370775
25.03/24.03	c cleaning 9992 clauses out of 20012 with flag 314000/380775
25.63/24.61	c cleaning 10000 clauses out of 20021 with flag 324001/390776
26.14/25.18	c cleaning 10007 clauses out of 20020 with flag 334000/400775
26.74/25.75	c cleaning 9996 clauses out of 20013 with flag 344000/410775
27.34/26.31	c cleaning 10003 clauses out of 20019 with flag 354002/420777
27.84/26.88	c cleaning 10004 clauses out of 20015 with flag 364001/430776
28.44/27.44	c cleaning 10001 clauses out of 20011 with flag 374001/440776
28.96/27.98	c cleaning 9998 clauses out of 20011 with flag 384002/450777
29.57/28.53	c cleaning 10001 clauses out of 20011 with flag 394000/460775
30.16/29.11	c cleaning 9999 clauses out of 20011 with flag 404001/470776
30.67/29.68	c cleaning 10004 clauses out of 20013 with flag 414002/480777
31.26/30.20	c cleaning 10000 clauses out of 20010 with flag 424003/490778
31.77/30.76	c cleaning 9998 clauses out of 20011 with flag 434004/500779
32.37/31.30	c cleaning 10001 clauses out of 20011 with flag 444002/510777
32.87/31.86	c cleaning 9998 clauses out of 20009 with flag 454001/520776
33.47/32.45	c cleaning 10001 clauses out of 20011 with flag 464001/530776
34.08/33.04	c cleaning 10000 clauses out of 20010 with flag 474001/540776
34.68/33.60	c cleaning 9996 clauses out of 20010 with flag 484001/550776
35.18/34.14	c cleaning 10005 clauses out of 20018 with flag 494005/560780
35.77/34.71	c cleaning 10000 clauses out of 20009 with flag 504001/570776
36.28/35.28	c cleaning 10000 clauses out of 20010 with flag 514002/580777
36.88/35.85	c cleaning 9998 clauses out of 20009 with flag 524001/590776
37.48/36.42	c cleaning 10000 clauses out of 20010 with flag 534000/600775
37.98/36.98	c cleaning 10000 clauses out of 20010 with flag 544000/610775
38.58/37.54	c cleaning 10003 clauses out of 20011 with flag 554001/620776
39.18/38.13	c cleaning 9995 clauses out of 20008 with flag 564001/630776
39.68/38.69	c cleaning 10003 clauses out of 20015 with flag 574003/640778
40.28/39.21	c cleaning 9999 clauses out of 20009 with flag 584000/650775
40.78/39.76	c cleaning 10002 clauses out of 20011 with flag 594001/660776
41.39/40.31	c cleaning 9989 clauses out of 20008 with flag 604000/670775
41.89/40.85	c cleaning 10006 clauses out of 20019 with flag 614000/680775
42.39/41.37	c cleaning 10001 clauses out of 20014 with flag 624001/690776
42.99/41.90	c cleaning 10000 clauses out of 20012 with flag 634000/700775
43.49/42.45	c cleaning 9998 clauses out of 20012 with flag 644000/710775
44.09/43.00	c cleaning 9994 clauses out of 20014 with flag 654000/720775
44.60/43.52	c cleaning 10003 clauses out of 20022 with flag 664002/730777
45.10/44.08	c cleaning 10004 clauses out of 20018 with flag 674001/740776
45.70/44.63	c cleaning 10003 clauses out of 20015 with flag 684002/750777
46.20/45.15	c cleaning 10003 clauses out of 20012 with flag 694002/760777
46.80/45.72	c cleaning 10001 clauses out of 20007 with flag 704000/770775
47.30/46.27	c cleaning 9997 clauses out of 20006 with flag 714000/780775
47.80/46.77	c cleaning 10003 clauses out of 20010 with flag 724001/790776
48.40/47.31	c cleaning 9998 clauses out of 20006 with flag 734000/800775
48.90/47.86	c cleaning 10003 clauses out of 20014 with flag 744006/810781
49.51/48.43	c cleaning 9999 clauses out of 20006 with flag 754001/820776
50.00/48.96	c cleaning 9995 clauses out of 20008 with flag 764002/830777
50.51/49.47	c cleaning 10001 clauses out of 20013 with flag 774002/840777
51.10/50.00	c cleaning 9999 clauses out of 20010 with flag 784000/850775
51.61/50.59	c cleaning 9997 clauses out of 20011 with flag 794000/860775
52.10/51.09	c cleaning 10002 clauses out of 20014 with flag 804000/870775
52.71/51.63	c cleaning 9997 clauses out of 20013 with flag 814001/880776
53.21/52.18	c cleaning 10000 clauses out of 20016 with flag 824001/890776
53.71/52.66	c cleaning 10006 clauses out of 20016 with flag 834001/900776
54.21/53.16	c cleaning 10002 clauses out of 20010 with flag 844001/910776
54.71/53.69	c cleaning 9999 clauses out of 20007 with flag 854000/920775
55.21/54.19	c cleaning 9999 clauses out of 20008 with flag 864000/930775
55.71/54.68	c cleaning 9995 clauses out of 20009 with flag 874000/940775
56.21/55.15	c cleaning 10003 clauses out of 20015 with flag 884001/950776
56.71/55.62	c cleaning 10003 clauses out of 20011 with flag 894000/960775
57.11/56.10	c cleaning 9998 clauses out of 20008 with flag 904000/970775
57.61/56.59	c cleaning 10001 clauses out of 20011 with flag 914001/980776
58.11/57.06	c cleaning 10003 clauses out of 20010 with flag 924001/990776
58.61/57.55	c cleaning 9999 clauses out of 20006 with flag 934000/1000775
59.11/58.05	c cleaning 9997 clauses out of 20008 with flag 944001/1010776
59.61/58.52	c cleaning 10003 clauses out of 20012 with flag 954002/1020777
60.12/59.00	c cleaning 10001 clauses out of 20009 with flag 964002/1030777
60.62/59.50	c cleaning 9997 clauses out of 20007 with flag 974001/1040776
61.12/60.00	c cleaning 9993 clauses out of 20009 with flag 984000/1050775
61.53/60.49	c cleaning 9998 clauses out of 20016 with flag 994000/1060775
62.13/61.01	c cleaning 10004 clauses out of 20021 with flag 1004003/1070778
62.63/61.51	c cleaning 10001 clauses out of 20017 with flag 1014003/1080778
63.13/62.02	c cleaning 9998 clauses out of 20013 with flag 1024000/1090775
63.67/62.60	c cleaning 9996 clauses out of 20016 with flag 1034001/1100776
64.27/63.19	c cleaning 10006 clauses out of 20020 with flag 1044001/1110776
64.87/63.73	c cleaning 10004 clauses out of 20014 with flag 1054001/1120776
65.47/64.30	c cleaning 10002 clauses out of 20012 with flag 1064003/1130778
65.97/64.82	c cleaning 9991 clauses out of 20007 with flag 1074000/1140775
66.47/65.33	c cleaning 10004 clauses out of 20018 with flag 1084002/1150777
66.97/65.86	c cleaning 9996 clauses out of 20012 with flag 1094000/1160775
67.57/66.40	c cleaning 9999 clauses out of 20016 with flag 1104000/1170775
68.07/66.92	c cleaning 10005 clauses out of 20017 with flag 1114000/1180775
68.58/67.41	c cleaning 10000 clauses out of 20012 with flag 1124000/1190775
69.08/67.90	c cleaning 9999 clauses out of 20012 with flag 1134000/1200775
69.57/68.41	c cleaning 10005 clauses out of 20015 with flag 1144002/1210777
69.98/68.88	c cleaning 9996 clauses out of 20008 with flag 1154000/1220775
70.48/69.36	c cleaning 9998 clauses out of 20012 with flag 1164000/1230775
70.98/69.80	c cleaning 9999 clauses out of 20014 with flag 1174000/1240775
71.49/70.31	c cleaning 10004 clauses out of 20017 with flag 1184002/1250777
71.98/70.81	c cleaning 9998 clauses out of 20011 with flag 1194000/1260775
72.48/71.33	c cleaning 10000 clauses out of 20014 with flag 1204001/1270776
72.98/71.85	c cleaning 10000 clauses out of 20014 with flag 1214001/1280776
73.48/72.35	c cleaning 10002 clauses out of 20015 with flag 1224002/1290777
73.98/72.83	c cleaning 9996 clauses out of 20012 with flag 1234001/1300776
74.48/73.31	c cleaning 10003 clauses out of 20017 with flag 1244002/1310777
74.89/73.78	c cleaning 10001 clauses out of 20012 with flag 1254000/1320775
75.38/74.28	c cleaning 9998 clauses out of 20012 with flag 1264001/1330776
75.89/74.79	c cleaning 9996 clauses out of 20013 with flag 1274000/1340775
76.38/75.29	c cleaning 10003 clauses out of 20017 with flag 1284000/1350775
76.88/75.79	c cleaning 9999 clauses out of 20014 with flag 1294000/1360775
77.38/76.26	c cleaning 10002 clauses out of 20015 with flag 1304000/1370775
77.89/76.78	c cleaning 10004 clauses out of 20014 with flag 1314001/1380776
78.49/77.31	c cleaning 9994 clauses out of 20012 with flag 1324003/1390778
78.99/77.83	c cleaning 9997 clauses out of 20017 with flag 1334002/1400777
79.49/78.34	c cleaning 10005 clauses out of 20019 with flag 1344001/1410776
80.00/78.80	c cleaning 9999 clauses out of 20014 with flag 1354001/1420776
80.40/79.26	c cleaning 10000 clauses out of 20018 with flag 1364004/1430779
80.90/79.77	c cleaning 10001 clauses out of 20015 with flag 1374001/1440776
81.50/80.31	c cleaning 10004 clauses out of 20014 with flag 1384001/1450776
82.00/80.80	c cleaning 9996 clauses out of 20010 with flag 1394001/1460776
82.50/81.32	c cleaning 10000 clauses out of 20013 with flag 1404000/1470775
83.00/81.84	c cleaning 10002 clauses out of 20014 with flag 1414001/1480776
83.50/82.34	c cleaning 10004 clauses out of 20016 with flag 1424005/1490780
84.00/82.84	c cleaning 10000 clauses out of 20009 with flag 1434002/1500777
84.50/83.31	c cleaning 9998 clauses out of 20008 with flag 1444001/1510776
84.90/83.79	c cleaning 9997 clauses out of 20010 with flag 1454001/1520776
85.40/84.27	c cleaning 9999 clauses out of 20015 with flag 1464003/1530778
86.00/84.80	c cleaning 10005 clauses out of 20016 with flag 1474003/1540778
86.50/85.31	c cleaning 9998 clauses out of 20008 with flag 1484000/1550775
87.01/85.85	c cleaning 9999 clauses out of 20012 with flag 1494002/1560777
87.51/86.37	c cleaning 9996 clauses out of 20011 with flag 1504000/1570775
88.01/86.89	c cleaning 10003 clauses out of 20016 with flag 1514001/1580776
88.61/87.41	c cleaning 9994 clauses out of 20014 with flag 1524002/1590777
89.11/87.92	c cleaning 10002 clauses out of 20018 with flag 1534000/1600775
89.61/88.42	c cleaning 10003 clauses out of 20016 with flag 1544000/1610775
90.11/88.94	c cleaning 10003 clauses out of 20013 with flag 1554000/1620775
90.61/89.42	c cleaning 10000 clauses out of 20012 with flag 1564002/1630777
91.11/89.90	c cleaning 9994 clauses out of 20010 with flag 1574000/1640775
91.51/90.36	c cleaning 10005 clauses out of 20020 with flag 1584004/1650779
92.01/90.87	c cleaning 10000 clauses out of 20011 with flag 1594000/1660775
92.52/91.39	c cleaning 9999 clauses out of 20011 with flag 1604000/1670775
93.01/91.82	c cleaning 10001 clauses out of 20012 with flag 1614000/1680775
93.52/92.33	c cleaning 9997 clauses out of 20011 with flag 1624000/1690775
94.02/92.81	c cleaning 10004 clauses out of 20014 with flag 1634000/1700775
94.52/93.33	c cleaning 10000 clauses out of 20014 with flag 1644004/1710779
95.12/93.91	c cleaning 9998 clauses out of 20010 with flag 1654000/1720775
95.62/94.49	c cleaning 10000 clauses out of 20012 with flag 1664000/1730775
96.22/95.03	c cleaning 9997 clauses out of 20012 with flag 1674000/1740775
96.72/95.60	c cleaning 10002 clauses out of 20016 with flag 1684001/1750776
97.32/96.18	c cleaning 10000 clauses out of 20013 with flag 1694000/1760775
97.93/96.77	c cleaning 9999 clauses out of 20013 with flag 1704000/1770775
98.42/97.26	c cleaning 10002 clauses out of 20014 with flag 1714000/1780775
98.92/97.75	c cleaning 10003 clauses out of 20014 with flag 1724002/1790777
99.42/98.23	c cleaning 9999 clauses out of 20009 with flag 1734000/1800775
99.92/98.74	c cleaning 9998 clauses out of 20011 with flag 1744001/1810776
100.43/99.23	c cleaning 9998 clauses out of 20012 with flag 1754000/1820775
100.93/99.75	c cleaning 10001 clauses out of 20014 with flag 1764000/1830775
101.43/100.22	c cleaning 10001 clauses out of 20013 with flag 1774000/1840775
101.93/100.72	c cleaning 9999 clauses out of 20014 with flag 1784002/1850777
102.44/101.21	c cleaning 10001 clauses out of 20015 with flag 1794002/1860777
102.93/101.74	c cleaning 9993 clauses out of 20014 with flag 1804002/1870777
103.43/102.24	c cleaning 10004 clauses out of 20020 with flag 1814001/1880776
103.93/102.74	c cleaning 10006 clauses out of 20017 with flag 1824002/1890777
104.43/103.23	c cleaning 9999 clauses out of 20009 with flag 1834000/1900775
104.93/103.73	c cleaning 9995 clauses out of 20014 with flag 1844004/1910779
105.43/104.24	c cleaning 10001 clauses out of 20016 with flag 1854001/1920776
105.93/104.73	c cleaning 9997 clauses out of 20014 with flag 1864000/1930775
106.43/105.26	c cleaning 10006 clauses out of 20018 with flag 1874001/1940776
106.93/105.77	c cleaning 10001 clauses out of 20012 with flag 1884001/1950776
107.44/106.29	c cleaning 9998 clauses out of 20010 with flag 1894000/1960775
107.95/106.78	c cleaning 10002 clauses out of 20012 with flag 1904000/1970775
108.45/107.29	c cleaning 10002 clauses out of 20011 with flag 1914001/1980776
109.05/107.82	c cleaning 9997 clauses out of 20009 with flag 1924001/1990776
109.55/108.31	c cleaning 10000 clauses out of 20015 with flag 1934004/2000779
110.05/108.85	c cleaning 10001 clauses out of 20012 with flag 1944001/2010776
110.55/109.38	c cleaning 9994 clauses out of 20011 with flag 1954001/2020776
111.05/109.84	c cleaning 10004 clauses out of 20018 with flag 1964002/2030777
111.55/110.37	c cleaning 9999 clauses out of 20013 with flag 1974001/2040776
112.15/110.92	c cleaning 10003 clauses out of 20015 with flag 1984002/2050777
112.65/111.43	c cleaning 9996 clauses out of 20010 with flag 1994000/2060775
113.05/111.90	c cleaning 10000 clauses out of 20014 with flag 2004000/2070775
113.65/112.40	c cleaning 9994 clauses out of 20014 with flag 2014000/2080775
114.05/112.89	c cleaning 10003 clauses out of 20021 with flag 2024001/2090776
114.65/113.42	c cleaning 10000 clauses out of 20018 with flag 2034001/2100776
115.15/113.95	c cleaning 10001 clauses out of 20017 with flag 2044000/2110775
115.66/114.49	c cleaning 10005 clauses out of 20016 with flag 2054000/2120775
116.26/115.03	c cleaning 10000 clauses out of 20011 with flag 2064000/2130775
116.86/115.61	c cleaning 10005 clauses out of 20013 with flag 2074002/2140777
117.36/116.15	c cleaning 10002 clauses out of 20007 with flag 2084001/2150776
117.86/116.68	c cleaning 9992 clauses out of 20004 with flag 2094000/2160775
118.36/117.19	c cleaning 10000 clauses out of 20013 with flag 2104001/2170776
118.96/117.71	c cleaning 10003 clauses out of 20013 with flag 2114001/2180776
119.55/118.35	c cleaning 9999 clauses out of 20009 with flag 2124000/2190775
120.15/118.94	c cleaning 9997 clauses out of 20010 with flag 2134000/2200775
120.76/119.50	c cleaning 10000 clauses out of 20015 with flag 2144002/2210777
121.26/120.03	c cleaning 10002 clauses out of 20014 with flag 2154001/2220776
121.76/120.59	c cleaning 9994 clauses out of 20011 with flag 2164000/2230775
122.36/121.15	c cleaning 10005 clauses out of 20018 with flag 2174001/2240776
122.96/121.71	c cleaning 9996 clauses out of 20012 with flag 2184000/2250775
123.46/122.29	c cleaning 10001 clauses out of 20016 with flag 2194000/2260775
124.06/122.85	c cleaning 10001 clauses out of 20017 with flag 2204002/2270777
124.66/123.40	c cleaning 10004 clauses out of 20017 with flag 2214003/2280778
125.16/123.95	c cleaning 9999 clauses out of 20011 with flag 2224001/2290776
125.66/124.49	c cleaning 10003 clauses out of 20011 with flag 2234000/2300775
126.16/124.98	c cleaning 9999 clauses out of 20008 with flag 2244000/2310775
126.77/125.52	c cleaning 9996 clauses out of 20010 with flag 2254001/2320776
127.27/126.02	c cleaning 9994 clauses out of 20013 with flag 2264000/2330775
127.78/126.54	c cleaning 10004 clauses out of 20020 with flag 2274001/2340776
128.27/127.06	c cleaning 9996 clauses out of 20015 with flag 2284000/2350775
128.78/127.60	c cleaning 10008 clauses out of 20022 with flag 2294003/2360778
129.38/128.11	c cleaning 10001 clauses out of 20012 with flag 2304001/2370776
129.88/128.67	c cleaning 9998 clauses out of 20010 with flag 2314000/2380775
130.48/129.23	c cleaning 10003 clauses out of 20012 with flag 2324000/2390775
130.98/129.77	c cleaning 10000 clauses out of 20012 with flag 2334003/2400778
131.58/130.36	c cleaning 10001 clauses out of 20009 with flag 2344000/2410775
132.18/130.93	c cleaning 9991 clauses out of 20010 with flag 2354002/2420777
132.78/131.54	c cleaning 10003 clauses out of 20017 with flag 2364000/2430775
133.28/132.09	c cleaning 10001 clauses out of 20015 with flag 2374001/2440776
133.78/132.59	c cleaning 10000 clauses out of 20013 with flag 2384000/2450775
134.28/133.10	c cleaning 10004 clauses out of 20013 with flag 2394000/2460775
134.88/133.61	c cleaning 10000 clauses out of 20009 with flag 2404000/2470775
135.39/134.14	c cleaning 10000 clauses out of 20011 with flag 2414002/2480777
135.89/134.68	c cleaning 10000 clauses out of 20009 with flag 2424000/2490775
136.39/135.18	c cleaning 9995 clauses out of 20010 with flag 2434001/2500776
136.99/135.71	c cleaning 10002 clauses out of 20016 with flag 2444002/2510777
137.49/136.29	c cleaning 10001 clauses out of 20012 with flag 2454000/2520775
138.10/136.86	c cleaning 9999 clauses out of 20012 with flag 2464001/2530776
138.71/137.41	c cleaning 9999 clauses out of 20013 with flag 2474001/2540776
139.20/137.98	c cleaning 10003 clauses out of 20014 with flag 2484001/2550776
139.91/138.63	c cleaning 9995 clauses out of 20011 with flag 2494001/2560776
140.51/139.26	c cleaning 9995 clauses out of 20018 with flag 2504003/2570778
141.21/139.90	c cleaning 10003 clauses out of 20020 with flag 2514000/2580775
141.71/140.46	c cleaning 10001 clauses out of 20018 with flag 2524001/2590776
142.31/141.06	c cleaning 10006 clauses out of 20017 with flag 2534001/2600776
142.81/141.57	c cleaning 10002 clauses out of 20010 with flag 2544000/2610775
143.41/142.10	c cleaning 9999 clauses out of 20012 with flag 2554004/2620779
143.91/142.65	c cleaning 10003 clauses out of 20011 with flag 2564002/2630777
144.51/143.25	c cleaning 9991 clauses out of 20006 with flag 2574000/2640775
145.01/143.79	c cleaning 10002 clauses out of 20017 with flag 2584002/2650777
145.61/144.31	c cleaning 10003 clauses out of 20013 with flag 2594000/2660775
146.21/144.90	c cleaning 9994 clauses out of 20013 with flag 2604003/2670778
146.91/145.60	c cleaning 10003 clauses out of 20018 with flag 2614002/2680777
147.52/146.24	c cleaning 10003 clauses out of 20015 with flag 2624002/2690777
148.22/146.90	c cleaning 10001 clauses out of 20011 with flag 2634001/2700776
148.92/147.63	c cleaning 9999 clauses out of 20009 with flag 2644000/2710775
149.62/148.32	c cleaning 9996 clauses out of 20012 with flag 2654002/2720777
150.22/148.94	c cleaning 10002 clauses out of 20014 with flag 2664000/2730775
150.82/149.56	c cleaning 10004 clauses out of 20017 with flag 2674005/2740780
151.52/150.21	c cleaning 9987 clauses out of 20008 with flag 2684000/2750775
152.12/150.81	c cleaning 10002 clauses out of 20021 with flag 2694000/2760775
152.72/151.42	c cleaning 10001 clauses out of 20018 with flag 2704000/2770775
153.34/152.07	c cleaning 10006 clauses out of 20019 with flag 2714002/2780777
153.94/152.69	c cleaning 10003 clauses out of 20011 with flag 2724000/2790775
154.64/153.35	c cleaning 9999 clauses out of 20009 with flag 2734001/2800776
155.14/153.86	c starts		: 252
155.14/153.86	c conflicts		: 2807755
155.14/153.86	c decisions		: 4440480
155.14/153.86	c propagations		: 139407582
155.14/153.86	c inspects		: 1388790714
155.14/153.86	c shortcuts		: 0
155.14/153.86	c learnt literals	: 3
155.14/153.86	c learnt binary clauses	: 23
155.14/153.86	c learnt ternary clauses	: 696
155.14/153.86	c learnt constraints	: 2807751
155.14/153.86	c ignored constraints	: 0
155.14/153.86	c root simplifications	: 0
155.14/153.86	c removed literals (reason simplification)	: 12966701
155.14/153.86	c reason swapping (by a shorter reason)	: 0
155.14/153.86	c Calls to reduceDB	: 285
155.14/153.86	c number of reductions to clauses (during analyze)	: 0
155.14/153.86	c number of learned constraints concerned by reduction	: 0
155.14/153.86	c number of learning phase by resolution	: 0
155.14/153.86	c number of learning phase by cutting planes	: 0
155.14/153.86	c speed (assignments/second)	: 943530.5480165954
155.14/153.86	c non guided choices	2657
155.14/153.86	c learnt constraints type 
155.14/153.86	c constraints type 
155.14/153.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
155.14/153.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
155.14/153.86	s OPTIMUM FOUND
155.14/153.86	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 
155.14/153.86	c objective function=1
155.14/153.86	c Total wall clock time (in seconds): 153.748

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492114-1307911313/watcher-3492114-1307911313 -o /var/tmp/evaluation-result-3492114-1307911313/solver-3492114-1307911313 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492114-1307911313.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 1.97 2/192 30568
/proc/meminfo: memFree=1167908/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/30568/stat : 30568 (java) R 30566 30568 27812 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 981361739 23580672 699 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252453103505 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30568/statm: 5757 700 517 9 0 124 0

[startup+0.0837849 s]
/proc/loadavg: 2.00 2.00 1.97 2/192 30568
/proc/meminfo: memFree=1167908/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10539040 CPUtime=0.08 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 12301 0 1 0 6 2 0 0 25 0 18 0 981361739 10791976960 11997 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2634760 11998 1914 9 0 2625494 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539040

[startup+0.107776 s]
/proc/loadavg: 2.00 2.00 1.97 2/192 30568
/proc/meminfo: memFree=1167908/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10540396 CPUtime=0.11 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 13150 0 1 0 9 2 0 0 25 0 18 0 981361739 10793365504 12802 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2635099 12802 2092 9 0 2625833 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540396

[startup+0.306728 s]
/proc/loadavg: 2.00 2.00 1.97 2/192 30568
/proc/meminfo: memFree=1167908/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10542516 CPUtime=0.49 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 16684 0 1 0 46 3 0 0 25 0 18 0 981361739 10795536384 15789 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2635629 15790 2204 9 0 2626363 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542516

[startup+0.700652 s]
/proc/loadavg: 2.00 2.00 1.97 2/192 30568
/proc/meminfo: memFree=1167908/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546528 CPUtime=1.47 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 22881 0 1 0 143 4 0 0 25 0 19 0 981361739 10799644672 19265 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636632 19265 2235 9 0 2627366 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10546528

[startup+1.50155 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 30587
/proc/meminfo: memFree=1096340/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546528 CPUtime=2.35 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 24736 0 1 0 231 4 0 0 25 0 19 0 981361739 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636632 21119 2237 9 0 2627366 0
[pid=30568/tid=30570] ppid=30566 vsize=10546528 CPUtime=1.48 cores=0,2,4,6
/proc/30568/task/30570/stat : 30570 (java) R 30566 30568 27812 0 -1 4202560 16328 0 1 0 145 3 0 0 20 0 19 0 981361740 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 46912505723097 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30568/tid=30571] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361742 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) S 30566 30568 27812 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981361743 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 0 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981361743 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 981361743 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546528 CPUtime=0.43 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2697 0 0 0 43 0 0 0 15 0 19 0 981361745 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546528 CPUtime=0.42 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4549 0 0 0 42 0 0 0 16 0 19 0 981361745 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361746 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799644672 21119 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10546528

[startup+3.10125 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 30587
/proc/meminfo: memFree=1087536/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546528 CPUtime=4.03 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 27796 0 1 0 398 5 0 0 25 0 19 0 981361739 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636632 24172 2263 9 0 2627366 0
[pid=30568/tid=30570] ppid=30566 vsize=10546528 CPUtime=3.04 cores=0,2,4,6
/proc/30568/task/30570/stat : 30570 (java) R 30566 30568 27812 0 -1 4202560 17270 0 1 0 301 3 0 0 25 0 19 0 981361740 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 46912505722625 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30568/tid=30571] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 196 0 0 0 0 0 0 0 16 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 328 0 0 0 0 0 0 0 16 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 286 0 0 0 0 0 0 0 16 0 19 0 981361742 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546528 CPUtime=0.02 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) S 30566 30568 27812 0 -1 4202560 959 0 0 0 2 0 0 0 15 0 19 0 981361743 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 0 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981361743 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981361743 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546528 CPUtime=0.46 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2703 0 0 0 46 0 0 0 15 0 19 0 981361745 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546528 CPUtime=0.47 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4577 0 0 0 47 0 0 0 15 0 19 0 981361745 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361746 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546528 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799644672 24172 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10546528

[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 30587
/proc/meminfo: memFree=1077964/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546852 CPUtime=7.3 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 28025 0 1 0 724 6 0 0 25 0 19 0 981361739 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636713 24392 2263 9 0 2627447 0
[pid=30568/tid=30570] ppid=30566 vsize=10546852 CPUtime=6.11 cores=0,2,4,6
/proc/30568/task/30570/stat : 30570 (java) R 30566 30568 27812 0 -1 4202560 17278 0 1 0 608 3 0 0 25 0 19 0 981361740 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 46912505682023 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30568/tid=30571] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 19 0 981361742 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546852 CPUtime=0.14 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) S 30566 30568 27812 0 -1 4202560 1054 0 0 0 14 0 0 0 15 0 19 0 981361743 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 0 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546852 CPUtime=0.5 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2805 0 0 0 50 0 0 0 15 0 19 0 981361745 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546852 CPUtime=0.47 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4578 0 0 0 47 0 0 0 15 0 19 0 981361745 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981361746 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799976448 24392 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 10546852

[startup+12.7015 s]

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

/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 201 0 0 0 8 0 0 0 16 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 13 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 10 0 0 0 9 0 0 0 16 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 346 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 329 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 303 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546852 CPUtime=4.84 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) R 30566 30568 27812 0 -1 4202560 1625 0 0 0 480 4 0 0 15 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 47134194356597 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546852 CPUtime=0.55 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2813 0 0 0 55 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546852 CPUtime=0.49 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4582 0 0 0 49 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 154.04
Current children cumulated vsize (KiB) 10546852

[startup+153.501 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 30591
/proc/meminfo: memFree=1062284/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546852 CPUtime=154.84 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 28962 0 1 0 15473 11 0 0 25 0 19 0 981361739 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636713 25035 2264 9 0 2627447 0
[pid=30568/tid=30570] ppid=30566 vsize=10546852 CPUtime=148.2 cores=0,2,4,6
/proc/30568/task/30570/stat : 30570 (java) R 30566 30568 27812 0 -1 4202560 17553 0 1 0 14816 4 0 0 25 0 19 0 981361740 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 46912505707663 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30568/tid=30571] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 201 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 13 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 10 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 346 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 329 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 303 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546852 CPUtime=4.87 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) S 30566 30568 27812 0 -1 4202560 1625 0 0 0 483 4 0 0 15 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 0 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546852 CPUtime=0.55 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2813 0 0 0 55 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546852 CPUtime=0.49 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4582 0 0 0 49 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 154.84
Current children cumulated vsize (KiB) 10546852

[startup+153.701 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 30591
/proc/meminfo: memFree=1062284/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546852 CPUtime=155.04 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 28962 0 1 0 15493 11 0 0 25 0 19 0 981361739 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636713 25035 2264 9 0 2627447 0
[pid=30568/tid=30570] ppid=30566 vsize=10546852 CPUtime=148.4 cores=0,2,4,6
/proc/30568/task/30570/stat : 30570 (java) R 30566 30568 27812 0 -1 4202560 17553 0 1 0 14836 4 0 0 25 0 19 0 981361740 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 46912505708865 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30568/tid=30571] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 201 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 13 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 10 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 346 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 329 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 303 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546852 CPUtime=4.87 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) S 30566 30568 27812 0 -1 4202560 1625 0 0 0 483 4 0 0 15 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 0 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546852 CPUtime=0.55 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2813 0 0 0 55 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546852 CPUtime=0.49 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4582 0 0 0 49 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 155.04
Current children cumulated vsize (KiB) 10546852

[startup+153.801 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 30591
/proc/meminfo: memFree=1062284/32951124 swapFree=67062556/67111528
[pid=30568] ppid=30566 vsize=10546852 CPUtime=155.14 cores=0,2,4,6
/proc/30568/stat : 30568 (java) S 30566 30568 27812 0 -1 4202496 28962 0 1 0 15503 11 0 0 25 0 19 0 981361739 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30568/statm: 2636713 25035 2264 9 0 2627447 0
[pid=30568/tid=30570] ppid=30566 vsize=10546852 CPUtime=148.5 cores=0,2,4,6
/proc/30568/task/30570/stat : 30570 (java) R 30566 30568 27812 0 -1 4202560 17553 0 1 0 14846 4 0 0 25 0 19 0 981361740 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 46912505722630 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30568/tid=30571] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30571/stat : 30571 (java) S 30566 30568 27812 0 -1 4202560 201 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30572] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30572/stat : 30572 (java) S 30566 30568 27812 0 -1 4202560 13 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30573] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30573/stat : 30573 (java) S 30566 30568 27812 0 -1 4202560 10 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30574] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30574/stat : 30574 (java) S 30566 30568 27812 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30575] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30575/stat : 30575 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30576] ppid=30566 vsize=10546852 CPUtime=0.08 cores=0,2,4,6
/proc/30568/task/30576/stat : 30576 (java) S 30566 30568 27812 0 -1 4202560 346 0 0 0 8 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30577] ppid=30566 vsize=10546852 CPUtime=0.07 cores=0,2,4,6
/proc/30568/task/30577/stat : 30577 (java) S 30566 30568 27812 0 -1 4202560 329 0 0 0 7 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30578] ppid=30566 vsize=10546852 CPUtime=0.09 cores=0,2,4,6
/proc/30568/task/30578/stat : 30578 (java) S 30566 30568 27812 0 -1 4202560 303 0 0 0 9 0 0 0 15 0 19 0 981361742 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 0 0 0 0
[pid=30568/tid=30579] ppid=30566 vsize=10546852 CPUtime=4.87 cores=0,2,4,6
/proc/30568/task/30579/stat : 30579 (java) S 30566 30568 27812 0 -1 4202560 1625 0 0 0 483 4 0 0 15 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 0 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30580] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30580/stat : 30580 (java) S 30566 30568 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30581] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30581/stat : 30581 (java) S 30566 30568 27812 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 981361743 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30582] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30582/stat : 30582 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469889457 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30583] ppid=30566 vsize=10546852 CPUtime=0.55 cores=0,2,4,6
/proc/30568/task/30583/stat : 30583 (java) S 30566 30568 27812 0 -1 4202560 2813 0 0 0 55 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 2 0 0 0
[pid=30568/tid=30584] ppid=30566 vsize=10546852 CPUtime=0.49 cores=0,2,4,6
/proc/30568/task/30584/stat : 30584 (java) S 30566 30568 27812 0 -1 4202560 4582 0 0 0 49 0 0 0 15 0 19 0 981361745 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30585] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30585/stat : 30585 (java) S 30566 30568 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469881753 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
[pid=30568/tid=30586] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30586/stat : 30586 (java) S 30566 30568 27812 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 981361746 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 4 0 0 0
[pid=30568/tid=30587] ppid=30566 vsize=10546852 CPUtime=0 cores=0,2,4,6
/proc/30568/task/30587/stat : 30587 (java) S 30566 30568 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981361777 10799976448 25035 33554432000 1073741824 1073778376 140735806994672 18446744073709551615 252469882368 0 4 0 16800975 18446604446953810752 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 155.14
Current children cumulated vsize (KiB) 10546852

Child status: 30
Real time (s): 153.867
CPU time (s): 155.219
CPU user time (s): 155.099
CPU system time (s): 0.119981
CPU usage (%): 100.879
Max. virtual memory (cumulated for all children) (KiB): 10546852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.099
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28990
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= 10869
involuntary context switches= 4310

runsolver used 0.295955 second user time and 0.556915 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-12 22:41:53
IDJOB=3492114
IDBENCH=79286
IDSOLVER=1982
FILE ID=node111/3492114-1307911313
RUNJOBID= node111-1307908264-29684
PBS_JOBID= 13559593
Free space on /var/tmp= 2876 MiB

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

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

MD5SUM BENCH= ce7c3a365231565303f31d834d531ee5
RANDOM SEED=1002390019

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
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.849
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.75
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.849
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.83
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1168320 kB
Buffers:         63220 kB
Cached:       29543012 kB
SwapCached:      11248 kB
Active:       15868508 kB
Inactive:     14983672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1168320 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:             456 kB
Writeback:           4 kB
AnonPages:     1243808 kB
Mapped:          18596 kB
Slab:           865192 kB
PageTables:       6744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10521776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2872 MiB
End job on node111 at 2011-06-12 22:44:27