Trace number 3492560

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 147.916 146.682

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
MD5SUMb6831e02f19f517e205ea45f0a3f162b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark25.9551
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 constraints1839
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 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3492560-1307909964.wbo
0.11/0.10	c reading problem ... 
0.49/0.30	c ... done. Wall clock time 0.201s.
0.49/0.30	c #vars     2070
0.49/0.30	c #constraints  2707
0.49/0.30	c constraints type 
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2610
0.49/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 9
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74
0.49/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.79/0.45	c SATISFIABLE
0.79/0.45	c OPTIMIZING...
0.79/0.45	c Got one! Elapsed wall clock time (in seconds):0.349
0.79/0.45	o 256
0.79/0.50	c Got one! Elapsed wall clock time (in seconds):0.392
0.79/0.50	o 208
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.426
1.05/0.53	o 184
1.05/0.55	c Got one! Elapsed wall clock time (in seconds):0.443
1.05/0.55	o 183
1.05/0.58	c Got one! Elapsed wall clock time (in seconds):0.477
1.05/0.58	o 170
1.38/0.72	c Got one! Elapsed wall clock time (in seconds):0.615
1.38/0.72	o 156
1.38/0.76	c Got one! Elapsed wall clock time (in seconds):0.654
1.38/0.76	o 118
1.52/0.82	c Got one! Elapsed wall clock time (in seconds):0.717
1.52/0.82	o 116
1.52/0.87	c Got one! Elapsed wall clock time (in seconds):0.771
1.52/0.87	o 108
1.63/0.91	c Got one! Elapsed wall clock time (in seconds):0.804
1.63/0.91	o 80
1.74/1.01	c Got one! Elapsed wall clock time (in seconds):0.905
1.74/1.01	o 79
2.13/1.40	c Got one! Elapsed wall clock time (in seconds):1.295
2.13/1.40	o 77
2.13/1.43	c Got one! Elapsed wall clock time (in seconds):1.326
2.13/1.43	o 72
2.25/1.53	c Got one! Elapsed wall clock time (in seconds):1.428
2.25/1.53	o 66
2.35/1.65	c Got one! Elapsed wall clock time (in seconds):1.55
2.35/1.65	o 60
2.57/1.89	c cleaning 5584 clauses out of 11170 with flag 2002/11170
2.81/2.03	c Got one! Elapsed wall clock time (in seconds):1.927
2.81/2.03	o 55
2.92/2.13	c Got one! Elapsed wall clock time (in seconds):2.028
2.92/2.13	o 46
3.12/2.33	c Got one! Elapsed wall clock time (in seconds):2.226
3.12/2.33	o 45
3.32/2.52	c Got one! Elapsed wall clock time (in seconds):2.418
3.32/2.52	o 35
3.42/2.61	c Got one! Elapsed wall clock time (in seconds):2.506
3.42/2.61	o 30
3.52/2.72	c cleaning 6980 clauses out of 13967 with flag 1000/19551
3.62/2.81	c Got one! Elapsed wall clock time (in seconds):2.709
3.62/2.81	o 14
3.92/3.17	c cleaning 6280 clauses out of 12566 with flag 5003/25130
4.37/3.53	c cleaning 6139 clauses out of 12283 with flag 11000/31127
4.57/3.74	c Got one! Elapsed wall clock time (in seconds):3.637
4.57/3.74	o 13
4.77/3.90	c cleaning 5974 clauses out of 11954 with flag 2000/36937
5.07/4.22	c cleaning 5981 clauses out of 11980 with flag 8000/42937
5.37/4.58	c cleaning 6490 clauses out of 13000 with flag 15001/49938
5.47/4.67	c Got one! Elapsed wall clock time (in seconds):4.567
5.47/4.67	o 9
5.78/4.94	c cleaning 6057 clauses out of 12125 with flag 4001/55553
6.08/5.24	c cleaning 6028 clauses out of 12067 with flag 10000/61552
6.48/5.60	c cleaning 6513 clauses out of 13041 with flag 17002/68554
6.78/5.99	c cleaning 7260 clauses out of 14527 with flag 25001/76553
7.28/6.45	c cleaning 8127 clauses out of 16266 with flag 34000/85552
7.78/6.99	c cleaning 9069 clauses out of 18141 with flag 44002/95554
8.38/7.55	c cleaning 9533 clauses out of 19073 with flag 54003/105555
8.88/8.09	c cleaning 9764 clauses out of 19538 with flag 64001/115553
9.49/8.65	c cleaning 9882 clauses out of 19775 with flag 74002/125554
9.99/9.16	c cleaning 9940 clauses out of 19891 with flag 84000/135552
10.49/9.66	c cleaning 9968 clauses out of 19951 with flag 94000/145552
10.99/10.18	c cleaning 9980 clauses out of 19983 with flag 104000/155552
11.49/10.68	c cleaning 9998 clauses out of 20003 with flag 114000/165552
11.99/11.18	c cleaning 9997 clauses out of 20006 with flag 124001/175553
12.49/11.65	c cleaning 10001 clauses out of 20008 with flag 134000/185552
12.59/11.76	c Got one! Elapsed wall clock time (in seconds):11.653
12.59/11.76	o 8
12.79/11.98	c cleaning 7883 clauses out of 15783 with flag 4002/191328
13.09/12.26	c cleaning 6940 clauses out of 13899 with flag 10001/197327
13.39/12.59	c cleaning 6975 clauses out of 13958 with flag 17000/204326
13.79/12.93	c cleaning 7486 clauses out of 14984 with flag 25001/212327
14.19/13.33	c cleaning 8237 clauses out of 16497 with flag 34000/221326
14.59/13.79	c cleaning 9119 clauses out of 18260 with flag 44000/231326
15.10/14.28	c cleaning 9566 clauses out of 19142 with flag 54001/241327
15.69/14.80	c cleaning 9782 clauses out of 19575 with flag 64000/251326
16.10/15.28	c cleaning 9888 clauses out of 19793 with flag 74000/261326
16.60/15.77	c cleaning 9950 clauses out of 19906 with flag 84001/271327
17.10/16.22	c cleaning 9973 clauses out of 19955 with flag 94000/281326
17.61/16.74	c cleaning 9988 clauses out of 19985 with flag 104003/291329
18.01/17.19	c cleaning 9989 clauses out of 19995 with flag 114001/301327
18.52/17.65	c cleaning 9999 clauses out of 20005 with flag 124000/311326
19.01/18.13	c cleaning 9999 clauses out of 20006 with flag 134000/321326
19.42/18.60	c cleaning 9997 clauses out of 20009 with flag 144002/331328
19.92/19.09	c cleaning 10003 clauses out of 20011 with flag 154001/341327
20.42/19.58	c cleaning 9996 clauses out of 20007 with flag 164000/351326
20.92/20.08	c cleaning 10002 clauses out of 20015 with flag 174004/361330
21.02/20.16	c Got one! Elapsed wall clock time (in seconds):20.061
21.02/20.16	o 2
21.32/20.40	c cleaning 7839 clauses out of 15697 with flag 4000/367014
21.62/20.74	c cleaning 6923 clauses out of 13859 with flag 10001/373015
22.02/21.10	c cleaning 6961 clauses out of 13935 with flag 17000/380014
22.44/21.50	c cleaning 7477 clauses out of 14974 with flag 25000/388014
22.85/21.97	c cleaning 8240 clauses out of 16497 with flag 34000/397014
23.34/22.46	c cleaning 9122 clauses out of 18258 with flag 44001/407015
23.84/22.96	c cleaning 9563 clauses out of 19136 with flag 54001/417015
24.35/23.42	c cleaning 9781 clauses out of 19572 with flag 64000/427014
24.85/23.90	c cleaning 9891 clauses out of 19793 with flag 74002/437016
25.25/24.37	c cleaning 9943 clauses out of 19900 with flag 84000/447014
25.75/24.84	c cleaning 9973 clauses out of 19958 with flag 94001/457015
26.26/25.34	c cleaning 9989 clauses out of 19985 with flag 104001/467015
26.75/25.82	c cleaning 9987 clauses out of 19995 with flag 114000/477014
27.15/26.27	c cleaning 9997 clauses out of 20008 with flag 124000/487014
27.65/26.76	c cleaning 9995 clauses out of 20011 with flag 134000/497014
28.15/27.23	c cleaning 10005 clauses out of 20020 with flag 144004/507018
28.55/27.68	c cleaning 9996 clauses out of 20011 with flag 154000/517014
29.05/28.11	c cleaning 10001 clauses out of 20015 with flag 164000/527014
29.46/28.57	c cleaning 10003 clauses out of 20015 with flag 174001/537015
29.96/29.05	c cleaning 9995 clauses out of 20012 with flag 184001/547015
30.47/29.52	c cleaning 9997 clauses out of 20018 with flag 194002/557016
30.97/30.01	c cleaning 10000 clauses out of 20022 with flag 204003/567017
31.47/30.51	c cleaning 10004 clauses out of 20019 with flag 214000/577014
31.97/31.04	c cleaning 10003 clauses out of 20015 with flag 224000/587014
32.47/31.53	c cleaning 9997 clauses out of 20013 with flag 234001/597015
32.97/32.03	c cleaning 10004 clauses out of 20016 with flag 244001/607015
33.47/32.54	c cleaning 10000 clauses out of 20011 with flag 254000/617014
33.98/33.04	c cleaning 10001 clauses out of 20011 with flag 264000/627014
34.47/33.53	c cleaning 9992 clauses out of 20010 with flag 274000/637014
34.98/34.02	c cleaning 10002 clauses out of 20018 with flag 284000/647014
35.47/34.53	c cleaning 10003 clauses out of 20019 with flag 294003/657017
35.97/35.07	c cleaning 10000 clauses out of 20013 with flag 304000/667014
36.58/35.61	c cleaning 10000 clauses out of 20013 with flag 314000/677014
37.08/36.16	c cleaning 10002 clauses out of 20014 with flag 324001/687015
37.58/36.69	c cleaning 9997 clauses out of 20012 with flag 334001/697015
38.08/37.18	c cleaning 10002 clauses out of 20014 with flag 344000/707014
38.58/37.66	c cleaning 10002 clauses out of 20016 with flag 354004/717018
39.08/38.18	c cleaning 9999 clauses out of 20010 with flag 364000/727014
39.58/38.68	c cleaning 10000 clauses out of 20011 with flag 374000/737014
40.08/39.19	c cleaning 10002 clauses out of 20012 with flag 384001/747015
40.68/39.70	c cleaning 9993 clauses out of 20011 with flag 394002/757016
41.19/40.23	c cleaning 9997 clauses out of 20017 with flag 404001/767015
41.69/40.73	c cleaning 9999 clauses out of 20019 with flag 414000/777014
42.19/41.22	c cleaning 10006 clauses out of 20020 with flag 424000/787014
42.69/41.80	c cleaning 9984 clauses out of 20014 with flag 434000/797014
43.29/42.31	c cleaning 10010 clauses out of 20030 with flag 444000/807014
43.79/42.86	c cleaning 10000 clauses out of 20021 with flag 454001/817015
44.39/43.41	c cleaning 10004 clauses out of 20020 with flag 464000/827014
44.79/43.89	c cleaning 10004 clauses out of 20018 with flag 474002/837016
45.29/44.39	c cleaning 9999 clauses out of 20013 with flag 484001/847015
45.79/44.85	c cleaning 10004 clauses out of 20013 with flag 494000/857014
46.29/45.34	c cleaning 10000 clauses out of 20010 with flag 504001/867015
46.69/45.77	c cleaning 9999 clauses out of 20009 with flag 514000/877014
47.19/46.23	c cleaning 9999 clauses out of 20010 with flag 524000/887014
47.69/46.73	c cleaning 9992 clauses out of 20011 with flag 534000/897014
48.09/47.20	c cleaning 10006 clauses out of 20019 with flag 544000/907014
48.60/47.68	c cleaning 10001 clauses out of 20014 with flag 554001/917015
49.10/48.12	c cleaning 10004 clauses out of 20012 with flag 564000/927014
49.50/48.59	c cleaning 10001 clauses out of 20009 with flag 574001/937015
50.10/49.10	c cleaning 10001 clauses out of 20007 with flag 584000/947014
50.50/49.58	c cleaning 9996 clauses out of 20006 with flag 594000/957014
51.01/50.08	c cleaning 10003 clauses out of 20014 with flag 604004/967018
51.51/50.58	c cleaning 9997 clauses out of 20008 with flag 614001/977015
52.01/51.04	c cleaning 9999 clauses out of 20010 with flag 624000/987014
52.41/51.47	c cleaning 10002 clauses out of 20011 with flag 634000/997014
52.91/51.91	c cleaning 10001 clauses out of 20011 with flag 644002/1007016
53.41/52.40	c cleaning 9998 clauses out of 20008 with flag 654000/1017014
53.81/52.86	c cleaning 10001 clauses out of 20013 with flag 664003/1027017
54.31/53.38	c cleaning 9998 clauses out of 20010 with flag 674001/1037015
54.82/53.89	c cleaning 10000 clauses out of 20012 with flag 684001/1047015
55.31/54.36	c cleaning 10000 clauses out of 20012 with flag 694001/1057015
55.81/54.84	c cleaning 10001 clauses out of 20012 with flag 704001/1067015
56.31/55.32	c cleaning 10002 clauses out of 20013 with flag 714003/1077017
56.71/55.78	c cleaning 9995 clauses out of 20008 with flag 724000/1087014
57.21/56.23	c cleaning 10003 clauses out of 20014 with flag 734001/1097015
57.72/56.70	c cleaning 10001 clauses out of 20010 with flag 744000/1107014
58.12/57.16	c cleaning 10002 clauses out of 20014 with flag 754005/1117019
58.62/57.64	c cleaning 9995 clauses out of 20007 with flag 764000/1127014
59.12/58.10	c cleaning 10000 clauses out of 20012 with flag 774000/1137014
59.62/58.61	c cleaning 10000 clauses out of 20014 with flag 784002/1147016
60.02/59.07	c cleaning 9999 clauses out of 20014 with flag 794002/1157016
60.52/59.55	c cleaning 10002 clauses out of 20014 with flag 804001/1167015
61.02/60.01	c cleaning 9995 clauses out of 20011 with flag 814000/1177014
61.43/60.47	c cleaning 9999 clauses out of 20016 with flag 824000/1187014
61.92/60.95	c cleaning 10004 clauses out of 20018 with flag 834001/1197015
62.32/61.39	c cleaning 9998 clauses out of 20013 with flag 844000/1207014
62.82/61.85	c cleaning 9997 clauses out of 20015 with flag 854000/1217014
63.32/62.32	c cleaning 9997 clauses out of 20019 with flag 864001/1227015
63.82/62.80	c cleaning 10004 clauses out of 20023 with flag 874002/1237016
64.32/63.30	c cleaning 10000 clauses out of 20018 with flag 884001/1247015
64.73/63.79	c cleaning 9999 clauses out of 20017 with flag 894000/1257014
65.23/64.29	c cleaning 9999 clauses out of 20018 with flag 904000/1267014
65.73/64.76	c cleaning 10006 clauses out of 20020 with flag 914001/1277015
66.23/65.22	c cleaning 10000 clauses out of 20013 with flag 924000/1287014
66.73/65.71	c cleaning 10001 clauses out of 20013 with flag 934000/1297014
67.24/66.20	c cleaning 9998 clauses out of 20012 with flag 944000/1307014
67.64/66.69	c cleaning 10002 clauses out of 20015 with flag 954001/1317015
68.24/67.27	c cleaning 10003 clauses out of 20013 with flag 964001/1327015
68.84/67.84	c cleaning 9997 clauses out of 20010 with flag 974001/1337015
69.34/68.30	c cleaning 10001 clauses out of 20014 with flag 984002/1347016
69.84/68.81	c cleaning 9996 clauses out of 20011 with flag 994000/1357014
70.25/69.29	c cleaning 10006 clauses out of 20018 with flag 1004003/1367017
70.74/69.77	c cleaning 9999 clauses out of 20009 with flag 1014000/1377014
71.24/70.24	c cleaning 9997 clauses out of 20012 with flag 1024002/1387016
71.65/70.68	c cleaning 10003 clauses out of 20016 with flag 1034003/1397017
72.15/71.15	c cleaning 10003 clauses out of 20012 with flag 1044002/1407016
72.65/71.60	c cleaning 9997 clauses out of 20009 with flag 1054002/1417016
73.05/72.03	c cleaning 9997 clauses out of 20012 with flag 1064002/1427016
73.45/72.49	c cleaning 10000 clauses out of 20014 with flag 1074001/1437015
73.95/72.97	c cleaning 10001 clauses out of 20014 with flag 1084001/1447015
74.45/73.44	c cleaning 9998 clauses out of 20013 with flag 1094001/1457015
74.85/73.89	c cleaning 10003 clauses out of 20016 with flag 1104002/1467016
75.45/74.44	c cleaning 9999 clauses out of 20012 with flag 1114001/1477015
75.96/74.92	c cleaning 9998 clauses out of 20012 with flag 1124000/1487014
76.46/75.40	c cleaning 9991 clauses out of 20014 with flag 1134000/1497014
76.86/75.83	c cleaning 10008 clauses out of 20023 with flag 1144000/1507014
77.26/76.29	c cleaning 9998 clauses out of 20015 with flag 1154000/1517014
77.76/76.73	c cleaning 10006 clauses out of 20018 with flag 1164001/1527015
78.16/77.17	c cleaning 9998 clauses out of 20011 with flag 1174000/1537014
78.66/77.64	c cleaning 10001 clauses out of 20014 with flag 1184001/1547015
79.07/78.10	c cleaning 9999 clauses out of 20012 with flag 1194000/1557014
79.56/78.57	c cleaning 10002 clauses out of 20014 with flag 1204001/1567015
80.06/79.02	c cleaning 9999 clauses out of 20012 with flag 1214001/1577015
80.46/79.48	c cleaning 9999 clauses out of 20012 with flag 1224000/1587014
80.96/79.95	c cleaning 9998 clauses out of 20013 with flag 1234000/1597014
81.46/80.43	c cleaning 9999 clauses out of 20016 with flag 1244001/1607015
81.97/80.91	c cleaning 10005 clauses out of 20017 with flag 1254001/1617015
82.37/81.39	c cleaning 10002 clauses out of 20012 with flag 1264001/1627015
82.87/81.89	c cleaning 9999 clauses out of 20009 with flag 1274000/1637014
83.37/82.38	c cleaning 9996 clauses out of 20013 with flag 1284003/1647017
83.87/82.84	c cleaning 10001 clauses out of 20017 with flag 1294003/1657017
84.27/83.30	c cleaning 10002 clauses out of 20016 with flag 1304003/1667017
84.77/83.79	c cleaning 9996 clauses out of 20012 with flag 1314001/1677015
85.27/84.27	c cleaning 9999 clauses out of 20016 with flag 1324001/1687015
85.78/84.76	c cleaning 9995 clauses out of 20016 with flag 1334000/1697014
86.27/85.23	c cleaning 10004 clauses out of 20021 with flag 1344000/1707014
86.78/85.71	c cleaning 10005 clauses out of 20019 with flag 1354002/1717016
87.17/86.16	c cleaning 10003 clauses out of 20013 with flag 1364001/1727015
87.67/86.61	c cleaning 9998 clauses out of 20012 with flag 1374003/1737017
88.08/87.10	c cleaning 10003 clauses out of 20011 with flag 1384000/1747014
88.58/87.57	c cleaning 10000 clauses out of 20010 with flag 1394002/1757016
89.08/88.03	c cleaning 10000 clauses out of 20008 with flag 1404000/1767014
89.58/88.50	c cleaning 9994 clauses out of 20008 with flag 1414000/1777014
90.08/89.01	c cleaning 10000 clauses out of 20015 with flag 1424001/1787015
90.58/89.56	c cleaning 9999 clauses out of 20014 with flag 1434000/1797014
91.08/90.09	c cleaning 9997 clauses out of 20016 with flag 1444001/1807015
91.68/90.61	c cleaning 10005 clauses out of 20019 with flag 1454001/1817015
92.18/91.13	c cleaning 10003 clauses out of 20014 with flag 1464001/1827015
92.68/91.68	c cleaning 9998 clauses out of 20010 with flag 1474000/1837014
93.28/92.24	c cleaning 9997 clauses out of 20015 with flag 1484003/1847017
93.78/92.79	c cleaning 10002 clauses out of 20015 with flag 1494000/1857014
94.38/93.33	c cleaning 9999 clauses out of 20013 with flag 1504000/1867014
94.88/93.89	c cleaning 10000 clauses out of 20014 with flag 1514000/1877014
95.39/94.39	c cleaning 10003 clauses out of 20014 with flag 1524000/1887014
95.89/94.88	c cleaning 10001 clauses out of 20011 with flag 1534000/1897014
96.49/95.42	c cleaning 10002 clauses out of 20011 with flag 1544001/1907015
97.09/96.00	c cleaning 10000 clauses out of 20008 with flag 1554000/1917014
97.59/96.55	c cleaning 9997 clauses out of 20011 with flag 1564003/1927017
98.09/97.09	c cleaning 10002 clauses out of 20014 with flag 1574003/1937017
98.80/97.71	c cleaning 9998 clauses out of 20011 with flag 1584002/1947016
99.30/98.27	c cleaning 9997 clauses out of 20012 with flag 1594001/1957015
99.90/98.85	c cleaning 10000 clauses out of 20014 with flag 1604000/1967014
100.50/99.43	c cleaning 9985 clauses out of 20014 with flag 1614000/1977014
101.01/99.99	c cleaning 10004 clauses out of 20030 with flag 1624001/1987015
101.61/100.50	c cleaning 10003 clauses out of 20025 with flag 1634000/1997014
102.11/101.08	c cleaning 9999 clauses out of 20023 with flag 1644001/2007015
102.71/101.62	c cleaning 10005 clauses out of 20024 with flag 1654001/2017015
103.21/102.13	c cleaning 10002 clauses out of 20018 with flag 1664000/2027014
103.71/102.68	c cleaning 10001 clauses out of 20016 with flag 1674000/2037014
104.31/103.21	c cleaning 10005 clauses out of 20017 with flag 1684002/2047016
104.81/103.75	c cleaning 10000 clauses out of 20011 with flag 1694001/2057015
105.41/104.30	c cleaning 10001 clauses out of 20010 with flag 1704000/2067014
105.91/104.82	c cleaning 9999 clauses out of 20010 with flag 1714001/2077015
106.41/105.33	c cleaning 9994 clauses out of 20010 with flag 1724000/2087014
106.91/105.85	c cleaning 10007 clauses out of 20017 with flag 1734001/2097015
107.41/106.37	c cleaning 10000 clauses out of 20009 with flag 1744000/2107014
107.91/106.88	c cleaning 10001 clauses out of 20010 with flag 1754001/2117015
108.52/107.44	c cleaning 9999 clauses out of 20008 with flag 1764000/2127014
109.12/108.00	c cleaning 10000 clauses out of 20010 with flag 1774001/2137015
109.62/108.57	c cleaning 10000 clauses out of 20011 with flag 1784002/2147016
110.22/109.13	c cleaning 9998 clauses out of 20009 with flag 1794000/2157014
110.72/109.66	c cleaning 10003 clauses out of 20015 with flag 1804004/2167018
111.22/110.19	c cleaning 10000 clauses out of 20009 with flag 1814001/2177015
111.82/110.71	c cleaning 9997 clauses out of 20008 with flag 1824000/2187014
112.32/111.25	c cleaning 10001 clauses out of 20013 with flag 1834002/2197016
112.82/111.76	c cleaning 10003 clauses out of 20014 with flag 1844004/2207018
113.33/112.26	c cleaning 9998 clauses out of 20007 with flag 1854000/2217014
113.93/112.81	c cleaning 9997 clauses out of 20009 with flag 1864000/2227014
114.43/113.37	c cleaning 10000 clauses out of 20012 with flag 1874000/2237014
114.93/113.88	c cleaning 10001 clauses out of 20014 with flag 1884002/2247016
115.44/114.40	c cleaning 9995 clauses out of 20014 with flag 1894003/2257017
116.03/114.91	c cleaning 10005 clauses out of 20018 with flag 1904002/2267016
116.54/115.42	c cleaning 10002 clauses out of 20013 with flag 1914002/2277016
117.03/115.95	c cleaning 9994 clauses out of 20009 with flag 1924000/2287014
117.53/116.50	c cleaning 10002 clauses out of 20016 with flag 1934001/2297015
118.14/117.00	c cleaning 10000 clauses out of 20014 with flag 1944001/2307015
118.54/117.49	c cleaning 9999 clauses out of 20013 with flag 1954000/2317014
119.04/117.99	c cleaning 9992 clauses out of 20014 with flag 1964000/2327014
119.64/118.50	c cleaning 10001 clauses out of 20022 with flag 1974000/2337014
120.14/119.02	c cleaning 10007 clauses out of 20021 with flag 1984000/2347014
120.64/119.50	c cleaning 10004 clauses out of 20016 with flag 1994002/2357016
121.14/120.00	c cleaning 9998 clauses out of 20011 with flag 2004001/2367015
121.54/120.48	c cleaning 9994 clauses out of 20012 with flag 2014000/2377014
122.04/121.00	c cleaning 10000 clauses out of 20018 with flag 2024000/2387014
122.64/121.53	c cleaning 10002 clauses out of 20019 with flag 2034001/2397015
123.15/122.06	c cleaning 10001 clauses out of 20016 with flag 2044000/2407014
123.64/122.56	c cleaning 10002 clauses out of 20015 with flag 2054000/2417014
124.14/123.09	c cleaning 10002 clauses out of 20016 with flag 2064003/2427017
124.74/123.63	c cleaning 9997 clauses out of 20014 with flag 2074003/2437017
125.24/124.16	c cleaning 9999 clauses out of 20014 with flag 2084000/2447014
125.74/124.67	c cleaning 10001 clauses out of 20015 with flag 2094000/2457014
126.24/125.15	c cleaning 10005 clauses out of 20015 with flag 2104001/2467015
126.84/125.72	c cleaning 10000 clauses out of 20009 with flag 2114000/2477014
127.34/126.20	c cleaning 10001 clauses out of 20009 with flag 2124000/2487014
127.75/126.69	c cleaning 9995 clauses out of 20008 with flag 2134000/2497014
128.35/127.20	c cleaning 9999 clauses out of 20015 with flag 2144002/2507016
128.85/127.71	c cleaning 10005 clauses out of 20017 with flag 2154003/2517017
129.35/128.22	c cleaning 9998 clauses out of 20012 with flag 2164003/2527017
129.86/128.74	c cleaning 9996 clauses out of 20011 with flag 2174000/2537014
130.36/129.27	c cleaning 10001 clauses out of 20015 with flag 2184000/2547014
130.86/129.80	c cleaning 10003 clauses out of 20015 with flag 2194001/2557015
131.46/130.34	c cleaning 9999 clauses out of 20012 with flag 2204001/2567015
131.96/130.84	c cleaning 10001 clauses out of 20016 with flag 2214004/2577018
132.46/131.34	c cleaning 10001 clauses out of 20011 with flag 2224000/2587014
132.96/131.87	c cleaning 9997 clauses out of 20011 with flag 2234001/2597015
133.56/132.41	c cleaning 10003 clauses out of 20014 with flag 2244001/2607015
134.06/132.93	c cleaning 10000 clauses out of 20013 with flag 2254003/2617017
134.56/133.49	c cleaning 9995 clauses out of 20010 with flag 2264000/2627014
135.16/134.02	c cleaning 10003 clauses out of 20015 with flag 2274000/2637014
135.66/134.54	c cleaning 9997 clauses out of 20013 with flag 2284001/2647015
136.17/135.09	c cleaning 10003 clauses out of 20015 with flag 2294000/2657014
136.77/135.65	c cleaning 10001 clauses out of 20013 with flag 2304001/2667015
137.27/136.18	c cleaning 10001 clauses out of 20011 with flag 2314000/2677014
137.87/136.74	c cleaning 10002 clauses out of 20010 with flag 2324000/2687014
138.37/137.23	c cleaning 9999 clauses out of 20008 with flag 2334000/2697014
138.87/137.73	c cleaning 10001 clauses out of 20012 with flag 2344003/2707017
139.47/138.33	c cleaning 9999 clauses out of 20008 with flag 2354000/2717014
139.97/138.82	c cleaning 10000 clauses out of 20011 with flag 2364002/2727016
140.47/139.31	c cleaning 9996 clauses out of 20009 with flag 2374000/2737014
140.97/139.86	c cleaning 10003 clauses out of 20014 with flag 2384001/2747015
141.47/140.32	c cleaning 9997 clauses out of 20012 with flag 2394002/2757016
141.98/140.83	c cleaning 10005 clauses out of 20017 with flag 2404004/2767018
142.52/141.35	c cleaning 9994 clauses out of 20010 with flag 2414002/2777016
143.02/141.82	c cleaning 10000 clauses out of 20014 with flag 2424000/2787014
143.52/142.34	c cleaning 10001 clauses out of 20016 with flag 2434002/2797016
144.12/142.92	c cleaning 9994 clauses out of 20014 with flag 2444001/2807015
144.72/143.52	c cleaning 9984 clauses out of 20020 with flag 2454001/2817015
145.23/144.04	c cleaning 10006 clauses out of 20035 with flag 2464000/2827014
145.82/144.67	c cleaning 10005 clauses out of 20029 with flag 2474000/2837014
146.43/145.28	c cleaning 9998 clauses out of 20025 with flag 2484001/2847015
147.02/145.89	c cleaning 10001 clauses out of 20028 with flag 2494002/2857016
147.72/146.52	c cleaning 10007 clauses out of 20026 with flag 2504002/2867016
147.82/146.67	c starts		: 256
147.82/146.67	c conflicts		: 2869724
147.82/146.67	c decisions		: 4566691
147.82/146.67	c propagations		: 150198096
147.82/146.67	c inspects		: 1395550839
147.82/146.67	c shortcuts		: 0
147.82/146.67	c learnt literals	: 5
147.82/146.67	c learnt binary clauses	: 32
147.82/146.67	c learnt ternary clauses	: 758
147.82/146.67	c learnt constraints	: 2869718
147.82/146.67	c ignored constraints	: 0
147.82/146.67	c root simplifications	: 0
147.82/146.67	c removed literals (reason simplification)	: 13100846
147.82/146.67	c reason swapping (by a shorter reason)	: 0
147.82/146.67	c Calls to reduceDB	: 293
147.82/146.67	c number of reductions to clauses (during analyze)	: 0
147.82/146.67	c number of learned constraints concerned by reduction	: 0
147.82/146.67	c number of learning phase by resolution	: 0
147.82/146.67	c number of learning phase by cutting planes	: 0
147.82/146.67	c speed (assignments/second)	: 1187280.4135772216
147.82/146.67	c non guided choices	3208
147.82/146.67	c learnt constraints type 
147.82/146.67	c constraints type 
147.82/146.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2610
147.82/146.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 9
147.82/146.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74
147.82/146.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
147.82/146.67	s OPTIMUM FOUND
147.82/146.67	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 
147.82/146.67	c objective function=2
147.82/146.67	c Total wall clock time (in seconds): 146.569

Verifier Data 

OK	2

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-3492560-1307909964/watcher-3492560-1307909964 -o /var/tmp/evaluation-result-3492560-1307909964/solver-3492560-1307909964 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492560-1307909964.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.14 2.03 1.94 3/195 22876
/proc/meminfo: memFree=3285232/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 1243 0 0 0 0 0 0 0 25 0 2 0 902594933 31272960 960 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 7635 960 732 9 0 386 0
[pid=22876/tid=22877] ppid=22874 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 902594933 31272960 960 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210204647227 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.048211 s]
/proc/loadavg: 2.14 2.03 1.94 3/195 22876
/proc/meminfo: memFree=3285232/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10533152 CPUtime=0.03 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 11418 0 1 0 2 1 0 0 25 0 13 0 902594933 10785947648 11112 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2633288 11112 1685 9 0 2624036 0
[pid=22876/tid=22877] ppid=22874 vsize=10533152 CPUtime=0.03 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 10267 0 1 0 2 1 0 0 25 0 13 0 902594933 10785947648 11113 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 47953819669251 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533152

[startup+0.101219 s]
/proc/loadavg: 2.14 2.03 1.94 3/195 22876
/proc/meminfo: memFree=3285232/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10540244 CPUtime=0.11 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 13136 0 1 0 9 2 0 0 25 0 18 0 902594933 10793209856 12789 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2635061 12789 2093 9 0 2625795 0
[pid=22876/tid=22877] ppid=22874 vsize=10540244 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 11215 0 1 0 7 1 0 0 25 0 18 0 902594933 10793209856 12789 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210204690791 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540244

[startup+0.301138 s]
/proc/loadavg: 2.14 2.03 1.94 3/195 22876
/proc/meminfo: memFree=3285232/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10543656 CPUtime=0.49 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 16499 0 1 0 47 2 0 0 25 0 18 0 902594933 10796703744 15621 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2635914 15621 2202 9 0 2626648 0
[pid=22876/tid=22877] ppid=22874 vsize=10543656 CPUtime=0.29 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 13174 0 1 0 27 2 0 0 25 0 18 0 902594933 10796703744 15622 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543656

[startup+0.701091 s]
/proc/loadavg: 2.14 2.03 1.94 3/195 22876
/proc/meminfo: memFree=3285232/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=1.38 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 19849 0 1 0 135 3 0 0 25 0 19 0 902594933 10798190592 17493 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 17493 2226 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=0.68 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 14284 0 1 0 66 2 0 0 25 0 19 0 902594933 10798190592 17493 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505706506 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10545108

[startup+1.501 s]
/proc/loadavg: 2.14 2.03 1.94 3/214 22895
/proc/meminfo: memFree=3219944/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=2.25 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 21488 0 1 0 221 4 0 0 25 0 19 0 902594933 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 19131 2228 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=1.48 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 15912 0 1 0 145 3 0 0 25 0 19 0 902594933 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505676445 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22876/tid=22879] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902594935 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902594936 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594936 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.35 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 1883 0 0 0 35 0 0 0 24 0 19 0 902594938 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.39 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2528 0 0 0 39 0 0 0 18 0 19 0 902594938 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22893] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22893/stat : 22893 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22894] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22894/stat : 22894 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594938 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22895] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22895/stat : 22895 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594966 10798190592 19131 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10545108

[startup+3.10074 s]
/proc/loadavg: 2.14 2.03 1.94 4/214 22895
/proc/meminfo: memFree=3192388/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=3.92 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 24228 0 1 0 388 4 0 0 25 0 19 0 902594933 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 21867 2254 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=3.05 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 16481 0 1 0 302 3 0 0 25 0 19 0 902594933 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505817152 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22876/tid=22879] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 156 0 0 0 0 0 0 0 18 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 143 0 0 0 0 0 0 0 18 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 273 0 0 0 0 0 0 0 18 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 261 0 0 0 0 0 0 0 18 0 19 0 902594935 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=0.02 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 841 0 0 0 2 0 0 0 15 0 19 0 902594936 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.38 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 1891 0 0 0 38 0 0 0 15 0 19 0 902594938 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.43 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2559 0 0 0 43 0 0 0 15 0 19 0 902594938 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22893] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22893/stat : 22893 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22894] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22894/stat : 22894 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594938 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22895] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22895/stat : 22895 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594966 10798190592 21867 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 10545108

[startup+6.30115 s]
/proc/loadavg: 2.13 2.03 1.94 3/214 22952
/proc/meminfo: memFree=3196336/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=7.18 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 24905 0 1 0 714 4 0 0 25 0 19 0 902594933 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 21962 2254 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=6.1 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 16490 0 1 0 607 3 0 0 25 0 19 0 902594933 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505714371 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22876/tid=22879] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 468 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 279 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 902594935 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=0.15 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 924 0 0 0 15 0 0 0 16 0 19 0 902594936 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.43 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 2455 0 0 0 43 0 0 0 15 0 19 0 902594938 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.44 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2560 0 0 0 44 0 0 0 15 0 19 0 902594938 10798190592 21962 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0

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

/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 468 0 0 0 10 0 0 0 16 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 165 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0.09 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 153 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 293 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 278 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=4.62 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 1509 0 0 0 458 4 0 0 15 0 19 0 902594936 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.47 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 3001 0 0 0 47 0 0 0 16 0 19 0 902594938 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.45 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2562 0 0 0 45 0 0 0 16 0 19 0 902594938 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22893] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22893/stat : 22893 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22894] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22894/stat : 22894 (java) S 22874 22876 20310 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902594938 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22895] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22895/stat : 22895 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594966 10798190592 22616 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 146.72
Current children cumulated vsize (KiB) 10545108

[startup+146.307 s]
/proc/loadavg: 2.02 2.03 1.95 3/214 22956
/proc/meminfo: memFree=3174888/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=147.53 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 26404 0 1 0 14742 11 0 0 25 0 19 0 902594933 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 22618 2255 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=141.22 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 16772 0 1 0 14119 3 0 0 25 0 19 0 902594933 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505662758 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22876/tid=22879] ppid=22874 vsize=10545108 CPUtime=0.1 cores=0,2,4,6
/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 468 0 0 0 10 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 165 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0.09 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 153 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 293 0 0 0 8 0 0 0 16 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 278 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=4.64 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 1509 0 0 0 460 4 0 0 15 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.47 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 3001 0 0 0 47 0 0 0 16 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.45 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2562 0 0 0 45 0 0 0 16 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22893] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22893/stat : 22893 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22894] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22894/stat : 22894 (java) S 22874 22876 20310 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22895] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22895/stat : 22895 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594966 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.53
Current children cumulated vsize (KiB) 10545108

[startup+146.501 s]
/proc/loadavg: 2.02 2.03 1.95 3/214 22956
/proc/meminfo: memFree=3174888/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=147.72 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 26404 0 1 0 14761 11 0 0 25 0 19 0 902594933 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 22618 2255 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=141.41 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 16772 0 1 0 14138 3 0 0 25 0 19 0 902594933 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505722622 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22876/tid=22879] ppid=22874 vsize=10545108 CPUtime=0.1 cores=0,2,4,6
/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 468 0 0 0 10 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 165 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0.09 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 153 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 293 0 0 0 8 0 0 0 16 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 278 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=4.64 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 1509 0 0 0 460 4 0 0 15 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.47 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 3001 0 0 0 47 0 0 0 16 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.45 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2562 0 0 0 45 0 0 0 16 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22893] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22893/stat : 22893 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22894] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22894/stat : 22894 (java) S 22874 22876 20310 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22895] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22895/stat : 22895 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594966 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.72
Current children cumulated vsize (KiB) 10545108

[startup+146.601 s]
/proc/loadavg: 2.02 2.03 1.95 3/214 22956
/proc/meminfo: memFree=3174888/32951124 swapFree=67054520/67111528
[pid=22876] ppid=22874 vsize=10545108 CPUtime=147.82 cores=0,2,4,6
/proc/22876/stat : 22876 (java) S 22874 22876 20310 0 -1 4202496 26405 0 1 0 14771 11 0 0 25 0 19 0 902594933 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22876/statm: 2636277 22618 2255 9 0 2627011 0
[pid=22876/tid=22877] ppid=22874 vsize=10545108 CPUtime=141.49 cores=0,2,4,6
/proc/22876/task/22877/stat : 22877 (java) R 22874 22876 20310 0 -1 4202560 16773 0 1 0 14146 3 0 0 25 0 19 0 902594933 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 46912505657997 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22876/tid=22879] ppid=22874 vsize=10545108 CPUtime=0.1 cores=0,2,4,6
/proc/22876/task/22879/stat : 22879 (java) S 22874 22876 20310 0 -1 4202560 468 0 0 0 10 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22880] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22880/stat : 22880 (java) S 22874 22876 20310 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22881] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22881/stat : 22881 (java) S 22874 22876 20310 0 -1 4202560 165 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22882] ppid=22874 vsize=10545108 CPUtime=0.09 cores=0,2,4,6
/proc/22876/task/22882/stat : 22882 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22883] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22883/stat : 22883 (java) S 22874 22876 20310 0 -1 4202560 15 0 0 0 8 0 0 0 16 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22884] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22884/stat : 22884 (java) S 22874 22876 20310 0 -1 4202560 153 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22885] ppid=22874 vsize=10545108 CPUtime=0.08 cores=0,2,4,6
/proc/22876/task/22885/stat : 22885 (java) S 22874 22876 20310 0 -1 4202560 293 0 0 0 8 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 6 0 0 0
[pid=22876/tid=22886] ppid=22874 vsize=10545108 CPUtime=0.07 cores=0,2,4,6
/proc/22876/task/22886/stat : 22886 (java) S 22874 22876 20310 0 -1 4202560 278 0 0 0 7 0 0 0 15 0 19 0 902594935 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22887] ppid=22874 vsize=10545108 CPUtime=4.67 cores=0,2,4,6
/proc/22876/task/22887/stat : 22887 (java) S 22874 22876 20310 0 -1 4202560 1509 0 0 0 462 5 0 0 15 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 0 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22888] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22888/stat : 22888 (java) S 22874 22876 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22889] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22889/stat : 22889 (java) S 22874 22876 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902594936 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22890] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22890/stat : 22890 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216470961 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22891] ppid=22874 vsize=10545108 CPUtime=0.47 cores=0,2,4,6
/proc/22876/task/22891/stat : 22891 (java) S 22874 22876 20310 0 -1 4202560 3001 0 0 0 47 0 0 0 16 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22892] ppid=22874 vsize=10545108 CPUtime=0.45 cores=0,2,4,6
/proc/22876/task/22892/stat : 22892 (java) S 22874 22876 20310 0 -1 4202560 2562 0 0 0 45 0 0 0 16 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
[pid=22876/tid=22893] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22893/stat : 22893 (java) S 22874 22876 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463257 0 4 0 16800975 18446604453923296256 0 0 -1 2 0 0 0
[pid=22876/tid=22894] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22894/stat : 22894 (java) S 22874 22876 20310 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902594938 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 4 0 0 0
[pid=22876/tid=22895] ppid=22874 vsize=10545108 CPUtime=0 cores=0,2,4,6
/proc/22876/task/22895/stat : 22895 (java) S 22874 22876 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902594966 10798190592 22618 33554432000 1073741824 1073778376 140737177471680 18446744073709551615 210216463872 0 4 0 16800975 18446604453923296256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.82
Current children cumulated vsize (KiB) 10545108

Child status: 30
Real time (s): 146.682
CPU time (s): 147.916
CPU user time (s): 147.799
CPU system time (s): 0.116982
CPU usage (%): 100.841
Max. virtual memory (cumulated for all children) (KiB): 10545108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.799
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26431
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= 11159
involuntary context switches= 5319

runsolver used 0.285956 second user time and 0.532918 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-12 22:19:24
IDJOB=3492560
IDBENCH=78887
IDSOLVER=1982
FILE ID=node130/3492560-1307909964
RUNJOBID= node130-1307908122-22594
PBS_JOBID= 13559576
Free space on /var/tmp= 2908 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-33-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-3492560-1307909964/watcher-3492560-1307909964 -o /var/tmp/evaluation-result-3492560-1307909964/solver-3492560-1307909964 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492560-1307909964.wbo

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

MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b
RANDOM SEED=1493868055

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3285636 kB
Buffers:         64844 kB
Cached:       28613056 kB
SwapCached:      10292 kB
Active:       14164236 kB
Inactive:     14597844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3285636 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:             456 kB
Writeback:           0 kB
AnonPages:       81764 kB
Mapped:          21040 kB
Slab:           839208 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10546520 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= 2908 MiB
End job on node130 at 2011-06-12 22:21:51