Trace number 3492626

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 134.372 132.705

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo
MD5SUMf08844d42f277d14946ba79cfba06e67
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark38.5261
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 constraints1788
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 89002
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 89001
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492626-1307910092.wbo
0.10/0.11	c reading problem ... 
0.46/0.32	c ... done. Wall clock time 0.216s.
0.46/0.32	c #vars     2019
0.46/0.32	c #constraints  2707
0.46/0.32	c constraints type 
0.46/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2603
0.46/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.46/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 81
0.46/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.74/0.44	c SATISFIABLE
0.74/0.44	c OPTIMIZING...
0.74/0.44	c Got one! Elapsed wall clock time (in seconds):0.335
0.74/0.44	o 228
1.01/0.51	c Got one! Elapsed wall clock time (in seconds):0.4
1.01/0.51	o 215
1.01/0.54	c Got one! Elapsed wall clock time (in seconds):0.437
1.01/0.54	o 189
1.01/0.57	c Got one! Elapsed wall clock time (in seconds):0.462
1.01/0.57	o 147
1.26/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
1.26/0.64	o 132
1.26/0.67	c Got one! Elapsed wall clock time (in seconds):0.564
1.26/0.67	o 129
1.43/0.72	c Got one! Elapsed wall clock time (in seconds):0.611
1.43/0.72	o 114
1.43/0.74	c Got one! Elapsed wall clock time (in seconds):0.632
1.43/0.74	o 90
1.43/0.79	c Got one! Elapsed wall clock time (in seconds):0.684
1.43/0.79	o 61
1.55/0.83	c Got one! Elapsed wall clock time (in seconds):0.726
1.55/0.83	o 51
1.55/0.88	c Got one! Elapsed wall clock time (in seconds):0.776
1.55/0.88	o 47
1.76/1.06	c Got one! Elapsed wall clock time (in seconds):0.953
1.76/1.06	o 45
1.95/1.25	c Got one! Elapsed wall clock time (in seconds):1.146
1.95/1.25	o 41
2.16/1.43	c Got one! Elapsed wall clock time (in seconds):1.317
2.16/1.43	o 27
2.36/1.67	c cleaning 4921 clauses out of 9844 with flag 2000/9844
2.52/1.74	c Got one! Elapsed wall clock time (in seconds):1.635
2.52/1.74	o 16
2.84/2.01	c Got one! Elapsed wall clock time (in seconds):1.905
2.84/2.01	o 13
2.84/2.10	c Got one! Elapsed wall clock time (in seconds):1.989
2.84/2.10	o 9
3.04/2.21	c cleaning 5839 clauses out of 11686 with flag 1001/16607
3.35/2.52	c Got one! Elapsed wall clock time (in seconds):2.416
3.35/2.52	o 6
3.85/3.06	c cleaning 8003 clauses out of 16015 with flag 5002/26775
4.56/3.38	c Got one! Elapsed wall clock time (in seconds):3.273
4.56/3.38	o 2
4.73/3.49	c cleaning 6804 clauses out of 13612 with flag 1001/32375
5.23/3.96	c cleaning 6400 clauses out of 12807 with flag 7000/38374
5.74/4.42	c cleaning 6702 clauses out of 13408 with flag 14001/45375
6.24/4.93	c cleaning 7338 clauses out of 14705 with flag 22000/53374
6.74/5.49	c cleaning 8182 clauses out of 16367 with flag 31000/62374
7.44/6.11	c cleaning 9089 clauses out of 18186 with flag 41001/72375
8.04/6.76	c cleaning 9544 clauses out of 19098 with flag 51002/82376
8.65/7.39	c cleaning 9770 clauses out of 19553 with flag 61001/92375
9.45/8.10	c cleaning 9886 clauses out of 19783 with flag 71001/102375
9.85/8.54	c Got one! Elapsed wall clock time (in seconds):8.437
9.85/8.55	o 1
10.35/9.01	c cleaning 11482 clauses out of 22981 with flag 5001/115459
10.75/9.44	c cleaning 8739 clauses out of 17498 with flag 11000/121458
11.16/9.85	c cleaning 7876 clauses out of 15759 with flag 18000/128458
11.55/10.27	c cleaning 7930 clauses out of 15883 with flag 26000/136458
12.05/10.79	c cleaning 8470 clauses out of 16954 with flag 35001/145459
12.66/11.32	c cleaning 9237 clauses out of 18484 with flag 45001/155459
13.16/11.88	c cleaning 9618 clauses out of 19246 with flag 55000/165458
13.76/12.46	c cleaning 9807 clauses out of 19628 with flag 65000/175458
14.37/13.03	c cleaning 9903 clauses out of 19823 with flag 75002/185460
14.97/13.63	c cleaning 9951 clauses out of 19918 with flag 85000/195458
15.57/14.22	c cleaning 9979 clauses out of 19967 with flag 95000/205458
16.17/14.81	c cleaning 9989 clauses out of 19989 with flag 105001/215459
16.67/15.38	c cleaning 9992 clauses out of 19999 with flag 115000/225458
17.27/15.92	c cleaning 9997 clauses out of 20007 with flag 125000/235458
17.78/16.43	c cleaning 9999 clauses out of 20013 with flag 135003/245461
18.27/16.93	c cleaning 9996 clauses out of 20013 with flag 145002/255460
18.77/17.41	c cleaning 10004 clauses out of 20020 with flag 155005/265463
19.17/17.89	c cleaning 9998 clauses out of 20012 with flag 165001/275459
19.77/18.41	c cleaning 10001 clauses out of 20015 with flag 175002/285460
20.27/18.94	c cleaning 10002 clauses out of 20012 with flag 185000/295458
20.77/19.48	c cleaning 10000 clauses out of 20011 with flag 195001/305459
21.28/19.96	c cleaning 9999 clauses out of 20011 with flag 205001/315459
21.78/20.46	c cleaning 9999 clauses out of 20012 with flag 215001/325459
22.38/21.01	c cleaning 9996 clauses out of 20013 with flag 225001/335459
22.89/21.54	c cleaning 10008 clauses out of 20018 with flag 235002/345460
23.39/22.06	c cleaning 9989 clauses out of 20008 with flag 245000/355458
23.99/22.61	c cleaning 10002 clauses out of 20019 with flag 255000/365458
24.49/23.11	c cleaning 10003 clauses out of 20017 with flag 265000/375458
24.89/23.58	c cleaning 10003 clauses out of 20014 with flag 275000/385458
25.39/24.08	c cleaning 10001 clauses out of 20014 with flag 285003/395461
25.89/24.57	c cleaning 9999 clauses out of 20010 with flag 295000/405458
26.39/25.05	c cleaning 9999 clauses out of 20012 with flag 305001/415459
26.89/25.59	c cleaning 10000 clauses out of 20013 with flag 315001/425459
27.39/26.09	c cleaning 9993 clauses out of 20014 with flag 325002/435460
27.89/26.58	c cleaning 10001 clauses out of 20019 with flag 335000/445458
28.39/27.04	c cleaning 10000 clauses out of 20018 with flag 345000/455458
29.01/27.61	c cleaning 10005 clauses out of 20019 with flag 355001/465459
29.51/28.16	c cleaning 10003 clauses out of 20014 with flag 365001/475459
30.11/28.71	c cleaning 9998 clauses out of 20010 with flag 375000/485458
30.61/29.29	c cleaning 10000 clauses out of 20013 with flag 385001/495459
31.21/29.84	c cleaning 9997 clauses out of 20012 with flag 395000/505458
31.81/30.41	c cleaning 10002 clauses out of 20016 with flag 405001/515459
32.31/30.95	c cleaning 10003 clauses out of 20015 with flag 415002/525460
32.91/31.50	c cleaning 10004 clauses out of 20010 with flag 425000/535458
33.41/32.08	c cleaning 9999 clauses out of 20007 with flag 435001/545459
34.02/32.62	c cleaning 9995 clauses out of 20008 with flag 445001/555459
34.62/33.20	c cleaning 10002 clauses out of 20012 with flag 455000/565458
35.12/33.73	c cleaning 10002 clauses out of 20011 with flag 465001/575459
35.72/34.31	c cleaning 9996 clauses out of 20008 with flag 475000/585458
36.22/34.85	c cleaning 10000 clauses out of 20012 with flag 485000/595458
36.82/35.40	c cleaning 9999 clauses out of 20013 with flag 495001/605459
37.32/35.99	c cleaning 9999 clauses out of 20014 with flag 505001/615459
37.92/36.56	c cleaning 10002 clauses out of 20014 with flag 515000/625458
38.53/37.15	c cleaning 9998 clauses out of 20012 with flag 525000/635458
39.13/37.73	c cleaning 9993 clauses out of 20014 with flag 535000/645458
39.63/38.26	c cleaning 10004 clauses out of 20021 with flag 545000/655458
40.23/38.87	c cleaning 10004 clauses out of 20022 with flag 555005/665463
40.83/39.44	c cleaning 9998 clauses out of 20013 with flag 565000/675458
41.33/39.99	c cleaning 9998 clauses out of 20015 with flag 575000/685458
41.83/40.49	c cleaning 10001 clauses out of 20017 with flag 585000/695458
42.43/41.03	c cleaning 9997 clauses out of 20018 with flag 595002/705460
42.93/41.53	c cleaning 10005 clauses out of 20021 with flag 605002/715460
43.43/42.06	c cleaning 9994 clauses out of 20015 with flag 615001/725459
44.04/42.61	c cleaning 10001 clauses out of 20021 with flag 625001/735459
44.54/43.14	c cleaning 10007 clauses out of 20022 with flag 635003/745461
45.14/43.70	c cleaning 10002 clauses out of 20013 with flag 645001/755459
45.64/44.27	c cleaning 10001 clauses out of 20014 with flag 655004/765462
46.24/44.81	c cleaning 9996 clauses out of 20010 with flag 665001/775459
46.74/45.36	c cleaning 9997 clauses out of 20013 with flag 675000/785458
47.34/45.90	c cleaning 10005 clauses out of 20018 with flag 685002/795460
47.84/46.43	c cleaning 9994 clauses out of 20011 with flag 695000/805458
48.34/46.94	c cleaning 10004 clauses out of 20017 with flag 705000/815458
48.84/47.45	c cleaning 10002 clauses out of 20014 with flag 715001/825459
49.35/47.95	c cleaning 10000 clauses out of 20012 with flag 725001/835459
49.85/48.44	c cleaning 9997 clauses out of 20012 with flag 735001/845459
50.35/48.98	c cleaning 9998 clauses out of 20016 with flag 745002/855460
50.85/49.49	c cleaning 10004 clauses out of 20016 with flag 755000/865458
51.35/49.99	c cleaning 9998 clauses out of 20013 with flag 765001/875459
51.96/50.50	c cleaning 10003 clauses out of 20016 with flag 775002/885460
52.45/51.02	c cleaning 10003 clauses out of 20013 with flag 785002/895460
52.95/51.52	c cleaning 9999 clauses out of 20008 with flag 795000/905458
53.35/52.00	c cleaning 9999 clauses out of 20010 with flag 805001/915459
53.96/52.54	c cleaning 9997 clauses out of 20011 with flag 815001/925459
54.46/53.06	c cleaning 10002 clauses out of 20014 with flag 825001/935459
54.97/53.55	c cleaning 9998 clauses out of 20011 with flag 835000/945458
55.47/54.08	c cleaning 10003 clauses out of 20014 with flag 845001/955459
56.07/54.60	c cleaning 10002 clauses out of 20010 with flag 855000/965458
56.57/55.11	c cleaning 9998 clauses out of 20010 with flag 865002/975460
57.07/55.62	c cleaning 9995 clauses out of 20012 with flag 875002/985460
57.58/56.15	c cleaning 10000 clauses out of 20016 with flag 885001/995459
58.07/56.69	c cleaning 10002 clauses out of 20015 with flag 895000/1005458
58.68/57.20	c cleaning 10004 clauses out of 20017 with flag 905004/1015462
59.17/57.71	c cleaning 9998 clauses out of 20009 with flag 915000/1025458
59.68/58.27	c cleaning 9997 clauses out of 20013 with flag 925002/1035460
60.18/58.79	c cleaning 10000 clauses out of 20014 with flag 935000/1045458
60.79/59.33	c cleaning 9999 clauses out of 20014 with flag 945000/1055458
61.28/59.85	c cleaning 10004 clauses out of 20015 with flag 955000/1065458
61.89/60.43	c cleaning 10001 clauses out of 20012 with flag 965001/1075459
62.38/60.96	c cleaning 10003 clauses out of 20013 with flag 975003/1085461
62.99/61.54	c cleaning 10000 clauses out of 20008 with flag 985001/1095459
63.59/62.10	c cleaning 9999 clauses out of 20008 with flag 995001/1105459
64.09/62.66	c cleaning 9996 clauses out of 20008 with flag 1005000/1115458
64.69/63.20	c cleaning 10000 clauses out of 20013 with flag 1015001/1125459
65.19/63.74	c cleaning 9998 clauses out of 20012 with flag 1025000/1135458
65.69/64.29	c cleaning 10003 clauses out of 20015 with flag 1035001/1145459
66.30/64.84	c cleaning 9999 clauses out of 20011 with flag 1045000/1155458
66.79/65.37	c cleaning 10000 clauses out of 20013 with flag 1055001/1165459
67.29/65.88	c cleaning 9998 clauses out of 20014 with flag 1065002/1175460
67.89/66.49	c cleaning 9999 clauses out of 20017 with flag 1075003/1185461
68.50/67.04	c cleaning 10005 clauses out of 20015 with flag 1085000/1195458
69.09/67.60	c cleaning 9998 clauses out of 20010 with flag 1095000/1205458
69.60/68.17	c cleaning 10000 clauses out of 20014 with flag 1105002/1215460
70.19/68.70	c cleaning 9995 clauses out of 20012 with flag 1115000/1225458
70.70/69.26	c cleaning 10004 clauses out of 20017 with flag 1125000/1235458
71.30/69.82	c cleaning 10004 clauses out of 20014 with flag 1135001/1245459
71.80/70.38	c cleaning 10003 clauses out of 20010 with flag 1145001/1255459
72.40/70.91	c cleaning 9997 clauses out of 20007 with flag 1155001/1265459
72.90/71.44	c cleaning 9998 clauses out of 20009 with flag 1165000/1275458
73.40/71.97	c cleaning 9996 clauses out of 20011 with flag 1175000/1285458
74.01/72.56	c cleaning 9999 clauses out of 20015 with flag 1185000/1295458
74.60/73.11	c cleaning 9999 clauses out of 20018 with flag 1195002/1305460
75.11/73.63	c cleaning 10006 clauses out of 20017 with flag 1205000/1315458
75.71/74.20	c cleaning 10001 clauses out of 20015 with flag 1215004/1325462
76.22/74.73	c cleaning 10000 clauses out of 20013 with flag 1225003/1335461
76.82/75.32	c cleaning 10000 clauses out of 20010 with flag 1235000/1345458
77.32/75.87	c cleaning 9997 clauses out of 20010 with flag 1245000/1355458
77.81/76.37	c cleaning 10002 clauses out of 20014 with flag 1255001/1365459
78.32/76.85	c cleaning 10000 clauses out of 20011 with flag 1265000/1375458
78.82/77.37	c cleaning 9999 clauses out of 20011 with flag 1275000/1385458
79.32/77.83	c cleaning 10004 clauses out of 20013 with flag 1285001/1395459
79.82/78.39	c cleaning 9998 clauses out of 20009 with flag 1295001/1405459
80.42/78.94	c cleaning 10003 clauses out of 20010 with flag 1305000/1415458
80.92/79.42	c cleaning 9999 clauses out of 20008 with flag 1315001/1425459
81.32/79.88	c cleaning 9999 clauses out of 20009 with flag 1325001/1435459
81.83/80.36	c cleaning 9999 clauses out of 20009 with flag 1335000/1445458
82.33/80.83	c cleaning 9995 clauses out of 20013 with flag 1345003/1455461
82.73/81.26	c cleaning 10002 clauses out of 20015 with flag 1355000/1465458
83.23/81.73	c cleaning 10003 clauses out of 20013 with flag 1365000/1475458
83.73/82.21	c cleaning 10000 clauses out of 20011 with flag 1375001/1485459
84.33/82.80	c cleaning 10001 clauses out of 20010 with flag 1385000/1495458
84.83/83.36	c cleaning 9998 clauses out of 20009 with flag 1395000/1505458
85.33/83.90	c cleaning 10002 clauses out of 20011 with flag 1405000/1515458
85.93/84.43	c cleaning 9998 clauses out of 20010 with flag 1415001/1525459
86.43/84.96	c cleaning 10002 clauses out of 20011 with flag 1425000/1535458
87.03/85.50	c cleaning 9995 clauses out of 20009 with flag 1435000/1545458
87.53/86.08	c cleaning 10005 clauses out of 20016 with flag 1445002/1555460
88.14/86.63	c cleaning 10000 clauses out of 20010 with flag 1455001/1565459
88.64/87.16	c cleaning 10001 clauses out of 20009 with flag 1465000/1575458
89.24/87.70	c cleaning 9994 clauses out of 20009 with flag 1475001/1585459
89.74/88.26	c cleaning 10004 clauses out of 20017 with flag 1485003/1595461
90.34/88.85	c cleaning 9996 clauses out of 20010 with flag 1495000/1605458
90.94/89.43	c cleaning 10004 clauses out of 20016 with flag 1505002/1615460
91.44/89.98	c cleaning 9998 clauses out of 20010 with flag 1515000/1625458
92.04/90.59	c cleaning 10000 clauses out of 20017 with flag 1525005/1635463
92.64/91.14	c cleaning 10000 clauses out of 20013 with flag 1535001/1645459
93.14/91.68	c cleaning 9993 clauses out of 20013 with flag 1545001/1655459
93.74/92.29	c cleaning 10007 clauses out of 20020 with flag 1555001/1665459
94.34/92.83	c cleaning 9992 clauses out of 20014 with flag 1565002/1675460
94.95/93.48	c cleaning 9991 clauses out of 20021 with flag 1575001/1685459
95.54/94.00	c cleaning 10009 clauses out of 20029 with flag 1585000/1695458
96.05/94.53	c cleaning 10000 clauses out of 20020 with flag 1595000/1705458
96.65/95.10	c cleaning 10009 clauses out of 20021 with flag 1605001/1715459
97.05/95.60	c cleaning 10002 clauses out of 20011 with flag 1615000/1725458
97.65/96.17	c cleaning 9994 clauses out of 20009 with flag 1625000/1735458
98.25/96.78	c cleaning 10000 clauses out of 20017 with flag 1635002/1745460
98.85/97.36	c cleaning 9998 clauses out of 20017 with flag 1645002/1755460
99.35/97.89	c cleaning 9998 clauses out of 20017 with flag 1655000/1765458
99.95/98.46	c cleaning 9996 clauses out of 20019 with flag 1665000/1775458
100.45/99.00	c cleaning 10005 clauses out of 20027 with flag 1675004/1785462
100.95/99.49	c cleaning 9995 clauses out of 20018 with flag 1685000/1795458
101.45/99.99	c cleaning 10006 clauses out of 20024 with flag 1695001/1805459
102.05/100.57	c cleaning 10005 clauses out of 20017 with flag 1705000/1815458
102.55/101.10	c cleaning 9999 clauses out of 20012 with flag 1715000/1825458
103.16/101.62	c cleaning 9996 clauses out of 20015 with flag 1725002/1835460
103.66/102.14	c cleaning 10000 clauses out of 20018 with flag 1735001/1845459
104.26/102.71	c cleaning 10005 clauses out of 20017 with flag 1745000/1855458
104.76/103.26	c cleaning 9991 clauses out of 20014 with flag 1755002/1865460
105.26/103.80	c cleaning 10008 clauses out of 20023 with flag 1765002/1875460
105.86/104.30	c cleaning 10000 clauses out of 20013 with flag 1775000/1885458
106.36/104.87	c cleaning 10002 clauses out of 20013 with flag 1785000/1895458
106.99/105.46	c cleaning 10002 clauses out of 20017 with flag 1795006/1905464
107.49/105.98	c cleaning 10000 clauses out of 20010 with flag 1805001/1915459
108.09/106.54	c cleaning 9990 clauses out of 20011 with flag 1815002/1925460
108.60/107.02	c cleaning 10002 clauses out of 20020 with flag 1825001/1935459
109.10/107.56	c cleaning 10001 clauses out of 20018 with flag 1835001/1945459
109.60/108.06	c cleaning 10004 clauses out of 20018 with flag 1845002/1955460
110.10/108.58	c cleaning 10000 clauses out of 20013 with flag 1855001/1965459
110.61/109.06	c cleaning 9998 clauses out of 20013 with flag 1865001/1975459
111.21/109.63	c cleaning 10005 clauses out of 20015 with flag 1875001/1985459
111.71/110.19	c cleaning 10001 clauses out of 20012 with flag 1885003/1995461
112.21/110.66	c cleaning 9991 clauses out of 20008 with flag 1895000/2005458
112.81/111.22	c cleaning 9989 clauses out of 20018 with flag 1905001/2015459
113.31/111.75	c cleaning 10001 clauses out of 20028 with flag 1915000/2025458
113.82/112.26	c cleaning 10009 clauses out of 20030 with flag 1925003/2035461
114.31/112.75	c cleaning 10003 clauses out of 20019 with flag 1935001/2045459
114.82/113.25	c cleaning 9997 clauses out of 20016 with flag 1945001/2055459
115.32/113.77	c cleaning 9999 clauses out of 20019 with flag 1955001/2065459
115.92/114.35	c cleaning 10000 clauses out of 20020 with flag 1965001/2075459
116.52/114.92	c cleaning 10005 clauses out of 20019 with flag 1975000/2085458
117.02/115.46	c cleaning 9995 clauses out of 20014 with flag 1985000/2095458
117.62/116.01	c cleaning 10004 clauses out of 20019 with flag 1995000/2105458
118.12/116.58	c cleaning 9998 clauses out of 20016 with flag 2005001/2115459
118.72/117.12	c cleaning 10001 clauses out of 20017 with flag 2015000/2125458
119.23/117.63	c cleaning 9997 clauses out of 20018 with flag 2025002/2135460
119.73/118.16	c cleaning 10002 clauses out of 20019 with flag 2035000/2145458
120.33/118.71	c cleaning 9997 clauses out of 20018 with flag 2045001/2155459
120.93/119.32	c cleaning 10001 clauses out of 20021 with flag 2055001/2165459
121.43/119.84	c cleaning 10003 clauses out of 20020 with flag 2065001/2175459
122.03/120.42	c cleaning 9996 clauses out of 20016 with flag 2075000/2185458
122.54/120.95	c cleaning 10000 clauses out of 20020 with flag 2085000/2195458
123.03/121.48	c cleaning 10001 clauses out of 20020 with flag 2095000/2205458
123.54/121.98	c cleaning 10005 clauses out of 20022 with flag 2105003/2215461
124.04/122.49	c cleaning 10002 clauses out of 20015 with flag 2115001/2225459
124.64/123.01	c cleaning 10001 clauses out of 20015 with flag 2125003/2235461
125.14/123.51	c cleaning 9997 clauses out of 20012 with flag 2135001/2245459
125.54/124.00	c cleaning 9997 clauses out of 20015 with flag 2145001/2255459
126.14/124.54	c cleaning 10004 clauses out of 20017 with flag 2155000/2265458
126.64/125.07	c cleaning 10002 clauses out of 20015 with flag 2165002/2275460
127.14/125.55	c cleaning 10001 clauses out of 20011 with flag 2175000/2285458
127.64/126.07	c cleaning 10002 clauses out of 20011 with flag 2185001/2295459
128.24/126.66	c cleaning 10001 clauses out of 20009 with flag 2195001/2305459
128.84/127.23	c cleaning 9996 clauses out of 20009 with flag 2205002/2315460
129.34/127.78	c cleaning 9993 clauses out of 20012 with flag 2215001/2325459
129.94/128.33	c cleaning 10002 clauses out of 20018 with flag 2225000/2335458
130.55/128.94	c cleaning 9994 clauses out of 20017 with flag 2235001/2345459
131.15/129.56	c cleaning 9993 clauses out of 20023 with flag 2245001/2355459
131.75/130.14	c cleaning 9998 clauses out of 20029 with flag 2255000/2365458
132.35/130.73	c cleaning 10009 clauses out of 20030 with flag 2265000/2375458
132.85/131.28	c cleaning 10004 clauses out of 20022 with flag 2275001/2385459
133.56/131.95	c cleaning 10002 clauses out of 20017 with flag 2285000/2395458
134.26/132.63	c cleaning 9994 clauses out of 20014 with flag 2295000/2405458
134.26/132.69	c starts		: 249
134.26/132.69	c conflicts		: 2406351
134.26/132.69	c decisions		: 3688236
134.26/132.69	c propagations		: 112546005
134.26/132.69	c inspects		: 1307422672
134.26/132.69	c shortcuts		: 0
134.26/132.69	c learnt literals	: 4
134.26/132.69	c learnt binary clauses	: 39
134.26/132.69	c learnt ternary clauses	: 965
134.26/132.69	c learnt constraints	: 2406346
134.26/132.69	c ignored constraints	: 0
134.26/132.69	c root simplifications	: 0
134.26/132.69	c removed literals (reason simplification)	: 12488275
134.26/132.69	c reason swapping (by a shorter reason)	: 0
134.26/132.69	c Calls to reduceDB	: 243
134.26/132.69	c number of reductions to clauses (during analyze)	: 0
134.26/132.69	c number of learned constraints concerned by reduction	: 0
134.26/132.69	c number of learning phase by resolution	: 0
134.26/132.69	c number of learning phase by cutting planes	: 0
134.26/132.69	c speed (assignments/second)	: 906554.3670004108
134.26/132.69	c non guided choices	2713
134.26/132.69	c learnt constraints type 
134.26/132.69	c constraints type 
134.26/132.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2603
134.26/132.69	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
134.26/132.69	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 81
134.26/132.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
134.26/132.69	s OPTIMUM FOUND
134.26/132.69	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 
134.26/132.69	c objective function=1
134.26/132.69	c Total wall clock time (in seconds): 132.587

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-3492626-1307910092/watcher-3492626-1307910092 -o /var/tmp/evaluation-result-3492626-1307910092/solver-3492626-1307910092 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492626-1307910092.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: 1.95 1.97 1.91 2/192 30284
/proc/meminfo: memFree=1458232/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/30284/stat : 30284 (java) R 30282 30284 28722 0 -1 4202496 1012 0 0 0 0 0 0 0 25 0 1 0 883424822 23580672 753 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 47064626644960 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30284/statm: 5757 772 572 9 0 124 0

[startup+0.0415171 s]
/proc/loadavg: 1.95 1.97 1.91 2/192 30284
/proc/meminfo: memFree=1458232/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 11175 0 1 0 2 0 0 0 25 0 13 0 883424822 10718699520 10869 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2616870 10869 1659 9 0 2607618 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480

[startup+0.105528 s]
/proc/loadavg: 1.95 1.97 1.91 2/192 30284
/proc/meminfo: memFree=1458232/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10540060 CPUtime=0.1 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 13111 0 1 0 9 1 0 0 25 0 18 0 883424822 10793021440 12805 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2635015 12806 2092 9 0 2625749 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540060

[startup+0.305505 s]
/proc/loadavg: 1.95 1.97 1.91 2/192 30284
/proc/meminfo: memFree=1458232/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10542028 CPUtime=0.46 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 15851 0 1 0 45 1 0 0 25 0 18 0 883424822 10795036672 15034 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2635507 15034 2200 9 0 2626241 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542028

[startup+0.700467 s]
/proc/loadavg: 1.95 1.97 1.91 2/192 30284
/proc/meminfo: memFree=1458232/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10545132 CPUtime=1.43 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 19589 0 1 0 141 2 0 0 25 0 19 0 883424822 10798215168 17772 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2636283 17772 2226 9 0 2627017 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10545132

[startup+1.50131 s]
/proc/loadavg: 1.95 1.97 1.91 3/211 30303
/proc/meminfo: memFree=1391952/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10545132 CPUtime=2.26 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 21305 0 1 0 224 2 0 0 25 0 19 0 883424822 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2636283 19487 2228 9 0 2627017 0
[pid=30284/tid=30286] ppid=30282 vsize=10545132 CPUtime=1.47 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4202560 16183 0 1 0 146 1 0 0 20 0 19 0 883424822 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 46912505705248 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30284/tid=30287] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30287/stat : 30287 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30288] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30288/stat : 30288 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30289] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30289/stat : 30289 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30290] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30290/stat : 30290 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30291] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30291/stat : 30291 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30292] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30292/stat : 30292 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30293] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424824 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883424825 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883424826 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883424826 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10545132 CPUtime=0.39 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) S 30282 30284 28722 0 -1 4202560 1167 0 0 0 39 0 0 0 15 0 19 0 883424828 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10545132 CPUtime=0.37 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) S 30282 30284 28722 0 -1 4202560 2793 0 0 0 37 0 0 0 16 0 19 0 883424828 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883424828 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10798215168 19487 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10545132

[startup+3.10096 s]
/proc/loadavg: 1.95 1.97 1.91 3/211 30303
/proc/meminfo: memFree=1383144/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10557360 CPUtime=4.1 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 29601 0 1 0 406 4 0 0 25 0 19 0 883424822 10810736640 26081 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2639340 26082 2254 9 0 2630074 0
[pid=30284/tid=30286] ppid=30282 vsize=10557360 CPUtime=3.02 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4202560 16295 0 1 0 301 1 0 0 25 0 19 0 883424822 10810736640 26083 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 46912505780000 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30284/tid=30287] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30287/stat : 30287 (java) S 30282 30284 28722 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26083 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30288] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30288/stat : 30288 (java) S 30282 30284 28722 0 -1 4202560 138 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26084 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30289] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30289/stat : 30289 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26087 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30290] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30290/stat : 30290 (java) S 30282 30284 28722 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26087 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30291] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30291/stat : 30291 (java) S 30282 30284 28722 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26087 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30292] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30292/stat : 30292 (java) S 30282 30284 28722 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26088 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30293] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 201 0 0 0 0 0 0 0 16 0 19 0 883424824 10810736640 26088 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 228 0 0 0 0 0 0 0 15 0 19 0 883424824 10810736640 26089 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10557360 CPUtime=0.04 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 1032 0 0 0 4 0 0 0 15 0 19 0 883424825 10810736640 26090 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883424826 10810736640 26090 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883424826 10810736640 26091 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10810736640 26091 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10557360 CPUtime=0.49 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) R 30282 30284 28722 0 -1 4202560 5597 0 0 0 49 0 0 0 16 0 19 0 883424828 10810736640 26092 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264726098915 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10557360 CPUtime=0.49 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) R 30282 30284 28722 0 -1 4202560 4448 0 0 0 49 0 0 0 16 0 19 0 883424828 10810736640 26093 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 47064625556659 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10810736640 26095 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883424828 10810736640 26095 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10557360 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10810736640 26096 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 10557360

[startup+6.3014 s]
/proc/loadavg: 1.95 1.97 1.91 3/211 30303
/proc/meminfo: memFree=1367264/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10554244 CPUtime=7.64 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 31159 0 1 0 760 4 0 0 25 0 19 0 883424822 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2638561 24398 2254 9 0 2629295 0
[pid=30284/tid=30286] ppid=30282 vsize=10554244 CPUtime=6.12 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4202560 16302 0 1 0 610 2 0 0 25 0 19 0 883424822 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 46912505705248 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30284/tid=30287] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30287/stat : 30287 (java) S 30282 30284 28722 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30288] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30288/stat : 30288 (java) S 30282 30284 28722 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30289] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30289/stat : 30289 (java) S 30282 30284 28722 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30290] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30290/stat : 30290 (java) S 30282 30284 28722 0 -1 4202560 237 0 0 0 0 0 0 0 16 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30291] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30291/stat : 30291 (java) S 30282 30284 28722 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30292] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30292/stat : 30292 (java) S 30282 30284 28722 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30293] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 228 0 0 0 0 0 0 0 15 0 19 0 883424824 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10554244 CPUtime=0.13 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 1033 0 0 0 13 0 0 0 16 0 19 0 883424825 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10554244 CPUtime=0.78 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) S 30282 30284 28722 0 -1 4202560 6542 0 0 0 78 0 0 0 15 0 19 0 883424828 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10554244 CPUtime=0.53 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) S 30282 30284 28722 0 -1 4202560 5035 0 0 0 53 0 0 0 16 0 19 0 883424828 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883424828 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10807545856 24398 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 10554244

[startup+12.7012 s]

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

[pid=30284/tid=30293] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 214 0 0 0 7 0 0 0 16 0 19 0 883424824 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 232 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10554244 CPUtime=4.04 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 1481 0 0 0 401 3 0 0 15 0 19 0 883424825 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10554244 CPUtime=0.83 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) S 30282 30284 28722 0 -1 4202560 6546 0 0 0 83 0 0 0 15 0 19 0 883424828 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10554244 CPUtime=0.54 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) S 30282 30284 28722 0 -1 4202560 5035 0 0 0 54 0 0 0 15 0 19 0 883424828 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 883424828 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10807545856 24924 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 129.54
Current children cumulated vsize (KiB) 10554244

[startup+131.101 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30307
/proc/meminfo: memFree=1363852/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10554244 CPUtime=132.75 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 31954 0 1 0 13267 8 0 0 25 0 19 0 883424822 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2638561 24944 2255 9 0 2629295 0
[pid=30284/tid=30286] ppid=30282 vsize=10554244 CPUtime=126.64 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4202560 16533 0 1 0 12662 2 0 0 25 0 19 0 883424822 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 46912505199219 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30284/tid=30287] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30287/stat : 30287 (java) S 30282 30284 28722 0 -1 4202560 135 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30288] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30288/stat : 30288 (java) S 30282 30284 28722 0 -1 4202560 153 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30289] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30289/stat : 30289 (java) S 30282 30284 28722 0 -1 4202560 15 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30290] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30290/stat : 30290 (java) S 30282 30284 28722 0 -1 4202560 247 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30291] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30291/stat : 30291 (java) S 30282 30284 28722 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30292] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30292/stat : 30292 (java) S 30282 30284 28722 0 -1 4202560 170 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30293] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 216 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 235 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10554244 CPUtime=4.13 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 1494 0 0 0 410 3 0 0 15 0 19 0 883424825 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10554244 CPUtime=0.83 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) S 30282 30284 28722 0 -1 4202560 6546 0 0 0 83 0 0 0 15 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10554244 CPUtime=0.54 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) S 30282 30284 28722 0 -1 4202560 5035 0 0 0 54 0 0 0 15 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 132.75
Current children cumulated vsize (KiB) 10554244

[startup+131.901 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30307
/proc/meminfo: memFree=1363968/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10554244 CPUtime=133.56 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 31955 0 1 0 13348 8 0 0 25 0 19 0 883424822 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2638561 24944 2255 9 0 2629295 0
[pid=30284/tid=30286] ppid=30282 vsize=10554244 CPUtime=127.42 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4202560 16534 0 1 0 12740 2 0 0 25 0 19 0 883424822 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 46912505705684 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30284/tid=30287] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30287/stat : 30287 (java) S 30282 30284 28722 0 -1 4202560 135 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30288] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30288/stat : 30288 (java) S 30282 30284 28722 0 -1 4202560 153 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30289] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30289/stat : 30289 (java) S 30282 30284 28722 0 -1 4202560 15 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30290] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30290/stat : 30290 (java) S 30282 30284 28722 0 -1 4202560 247 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30291] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30291/stat : 30291 (java) S 30282 30284 28722 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30292] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30292/stat : 30292 (java) S 30282 30284 28722 0 -1 4202560 170 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30293] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 216 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 235 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10554244 CPUtime=4.15 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 1494 0 0 0 412 3 0 0 15 0 19 0 883424825 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10554244 CPUtime=0.84 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) S 30282 30284 28722 0 -1 4202560 6546 0 0 0 84 0 0 0 15 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10554244 CPUtime=0.54 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) S 30282 30284 28722 0 -1 4202560 5035 0 0 0 54 0 0 0 15 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 883424828 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10807545856 24944 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 133.56
Current children cumulated vsize (KiB) 10554244

[startup+132.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30307
/proc/meminfo: memFree=1363968/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=10554244 CPUtime=133.96 cores=0,2,4,6
/proc/30284/stat : 30284 (java) S 30282 30284 28722 0 -1 4202496 31958 0 1 0 13388 8 0 0 25 0 19 0 883424822 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 2638561 24946 2255 9 0 2629295 0
[pid=30284/tid=30286] ppid=30282 vsize=10554244 CPUtime=127.8 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4202560 16535 0 1 0 12778 2 0 0 25 0 19 0 883424822 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 46912505706483 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30284/tid=30287] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30287/stat : 30287 (java) S 30282 30284 28722 0 -1 4202560 135 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30288] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30288/stat : 30288 (java) S 30282 30284 28722 0 -1 4202560 154 0 0 0 7 0 0 0 16 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30289] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30289/stat : 30289 (java) S 30282 30284 28722 0 -1 4202560 15 0 0 0 7 0 0 0 16 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30290] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30290/stat : 30290 (java) S 30282 30284 28722 0 -1 4202560 247 0 0 0 6 0 0 0 16 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30291] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30291/stat : 30291 (java) S 30282 30284 28722 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30292] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30292/stat : 30292 (java) S 30282 30284 28722 0 -1 4202560 170 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30293] ppid=30282 vsize=10554244 CPUtime=0.07 cores=0,2,4,6
/proc/30284/task/30293/stat : 30293 (java) S 30282 30284 28722 0 -1 4202560 216 0 0 0 7 0 0 0 15 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30294] ppid=30282 vsize=10554244 CPUtime=0.06 cores=0,2,4,6
/proc/30284/task/30294/stat : 30294 (java) S 30282 30284 28722 0 -1 4202560 235 0 0 0 6 0 0 0 15 0 19 0 883424824 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30295] ppid=30282 vsize=10554244 CPUtime=4.16 cores=0,2,4,6
/proc/30284/task/30295/stat : 30295 (java) S 30282 30284 28722 0 -1 4202560 1495 0 0 0 413 3 0 0 15 0 19 0 883424825 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 0 0 16800975 18446604453947927296 0 0 -1 0 0 0 0
[pid=30284/tid=30296] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30296/stat : 30296 (java) S 30282 30284 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30297] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30297/stat : 30297 (java) S 30282 30284 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883424826 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30298] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30298/stat : 30298 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738228657 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30299] ppid=30282 vsize=10554244 CPUtime=0.84 cores=0,2,4,6
/proc/30284/task/30299/stat : 30299 (java) S 30282 30284 28722 0 -1 4202560 6546 0 0 0 84 0 0 0 15 0 19 0 883424828 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 4 0 0 0
[pid=30284/tid=30300] ppid=30282 vsize=10554244 CPUtime=0.54 cores=0,2,4,6
/proc/30284/task/30300/stat : 30300 (java) S 30282 30284 28722 0 -1 4202560 5035 0 0 0 54 0 0 0 15 0 19 0 883424828 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30301] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30301/stat : 30301 (java) S 30282 30284 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883424828 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738220953 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
[pid=30284/tid=30302] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30302/stat : 30302 (java) S 30282 30284 28722 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 883424828 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 2 0 0 0
[pid=30284/tid=30303] ppid=30282 vsize=10554244 CPUtime=0 cores=0,2,4,6
/proc/30284/task/30303/stat : 30303 (java) S 30282 30284 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883424857 10807545856 24946 33554432000 1073741824 1073778376 140733605954112 18446744073709551615 264738221568 0 4 0 16800975 18446604453947927296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 133.96
Current children cumulated vsize (KiB) 10554244

[startup+132.701 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30307
/proc/meminfo: memFree=1363968/32951124 swapFree=67064576/67111528
[pid=30284] ppid=30282 vsize=0 CPUtime=134.36 cores=0,2,4,6
/proc/30284/stat : 30284 (java) Z 30282 30284 28722 0 -1 4203548 31990 0 1 0 13428 8 0 0 18 0 2 0 883424822 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30284/statm: 0 0 0 0 0 0 0
[pid=30284/tid=30286] ppid=30282 vsize=0 CPUtime=128.18 cores=0,2,4,6
/proc/30284/task/30286/stat : 30286 (java) R 30282 30284 28722 0 -1 4203588 16540 0 1 0 12816 2 0 0 25 0 2 0 883424822 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 134.36
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 132.705
CPU time (s): 134.372
CPU user time (s): 134.283
CPU system time (s): 0.088986
CPU usage (%): 101.256
Max. virtual memory (cumulated for all children) (KiB): 10559820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.283
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31990
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= 9817
involuntary context switches= 4234

runsolver used 0.233964 second user time and 0.503923 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 22:21:32
IDJOB=3492626
IDBENCH=78927
IDSOLVER=1982
FILE ID=node141/3492626-1307910092
RUNJOBID= node141-1307908222-29947
PBS_JOBID= 13559567
Free space on /var/tmp= 2912 MiB

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

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

MD5SUM BENCH= f08844d42f277d14946ba79cfba06e67
RANDOM SEED=1312658495

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1458900 kB
Buffers:         60808 kB
Cached:       30381216 kB
SwapCached:       8816 kB
Active:       15282228 kB
Inactive:     15261472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1458900 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:             708 kB
Writeback:           0 kB
AnonPages:       99872 kB
Mapped:          18312 kB
Slab:           884976 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10520468 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= 2912 MiB
End job on node141 at 2011-06-12 22:23:45