Trace number 3492221

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 158.685 156.474

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
MD5SUM504847a4e43d2b055735d72ea944fa39
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark61.6476
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 705
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-3492221-1307911717.wbo
0.10/0.11	c reading problem ... 
0.49/0.31	c ... done. Wall clock time 0.207s.
0.49/0.31	c #vars     2938
0.49/0.31	c #constraints  2707
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.09/0.52	c SATISFIABLE
1.09/0.52	c OPTIMIZING...
1.09/0.52	c Got one! Elapsed wall clock time (in seconds):0.412
1.09/0.52	o 326
1.09/0.56	c Got one! Elapsed wall clock time (in seconds):0.456
1.09/0.56	o 310
1.09/0.59	c Got one! Elapsed wall clock time (in seconds):0.484
1.09/0.59	o 309
1.34/0.61	c Got one! Elapsed wall clock time (in seconds):0.505
1.34/0.61	o 300
1.34/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
1.34/0.64	o 270
1.34/0.67	c Got one! Elapsed wall clock time (in seconds):0.559
1.34/0.67	o 239
1.56/0.70	c Got one! Elapsed wall clock time (in seconds):0.597
1.56/0.70	o 231
1.56/0.72	c Got one! Elapsed wall clock time (in seconds):0.616
1.56/0.72	o 206
1.76/1.00	c Got one! Elapsed wall clock time (in seconds):0.889
1.76/1.00	o 204
1.86/1.02	c Got one! Elapsed wall clock time (in seconds):0.911
1.86/1.02	o 184
1.86/1.04	c Got one! Elapsed wall clock time (in seconds):0.936
1.86/1.04	o 156
1.96/1.11	c Got one! Elapsed wall clock time (in seconds):0.998
1.96/1.11	o 151
2.05/1.27	c Got one! Elapsed wall clock time (in seconds):1.163
2.05/1.27	o 141
2.45/1.60	c Got one! Elapsed wall clock time (in seconds):1.496
2.45/1.60	o 138
2.45/1.68	c Got one! Elapsed wall clock time (in seconds):1.577
2.45/1.68	o 99
2.65/1.81	c Got one! Elapsed wall clock time (in seconds):1.706
2.65/1.81	o 86
2.75/1.90	c Got one! Elapsed wall clock time (in seconds):1.795
2.75/1.90	o 79
3.10/2.29	c Got one! Elapsed wall clock time (in seconds):2.18
3.10/2.29	o 68
3.49/2.61	c Got one! Elapsed wall clock time (in seconds):2.499
3.49/2.61	o 64
3.72/2.80	c Got one! Elapsed wall clock time (in seconds):2.695
3.72/2.80	o 61
3.92/3.07	c Got one! Elapsed wall clock time (in seconds):2.963
3.92/3.07	o 54
4.13/3.28	c cleaning 6218 clauses out of 12441 with flag 1001/12441
4.27/3.34	c Got one! Elapsed wall clock time (in seconds):3.232
4.27/3.34	o 53
4.37/3.45	c Got one! Elapsed wall clock time (in seconds):3.344
4.37/3.45	o 50
4.97/4.04	c Got one! Elapsed wall clock time (in seconds):3.93
4.97/4.04	o 44
5.17/4.23	c Got one! Elapsed wall clock time (in seconds):4.118
5.17/4.23	o 42
5.57/4.65	c cleaning 6664 clauses out of 13333 with flag 2002/19551
5.74/4.79	c Got one! Elapsed wall clock time (in seconds):4.685
5.74/4.79	o 40
6.88/5.62	c Got one! Elapsed wall clock time (in seconds):5.513
6.88/5.62	o 28
6.98/5.73	c Got one! Elapsed wall clock time (in seconds):5.618
6.98/5.73	o 26
7.08/5.86	c cleaning 7008 clauses out of 14024 with flag 1000/26906
7.46/6.07	c Got one! Elapsed wall clock time (in seconds):5.963
7.46/6.07	o 24
7.86/6.25	c Got one! Elapsed wall clock time (in seconds):6.146
7.86/6.25	o 23
8.30/6.57	c cleaning 6368 clauses out of 12740 with flag 3001/32630
8.60/6.80	c Got one! Elapsed wall clock time (in seconds):6.695
8.60/6.80	o 14
8.90/7.14	c cleaning 6071 clauses out of 12153 with flag 4000/38411
9.10/7.35	c Got one! Elapsed wall clock time (in seconds):7.238
9.10/7.35	o 13
9.30/7.53	c cleaning 5687 clauses out of 11383 with flag 2003/43712
9.70/7.96	c cleaning 5844 clauses out of 11695 with flag 8002/49711
10.20/8.42	c cleaning 6423 clauses out of 12849 with flag 15000/56709
10.70/8.95	c cleaning 7206 clauses out of 14427 with flag 23001/64710
11.30/9.51	c cleaning 8106 clauses out of 16221 with flag 32001/73710
11.61/9.88	c Got one! Elapsed wall clock time (in seconds):9.769
11.61/9.88	o 12
12.01/10.29	c cleaning 9458 clauses out of 18924 with flag 5000/84519
12.41/10.68	c cleaning 7726 clauses out of 15467 with flag 11001/90520
12.82/11.06	c cleaning 7369 clauses out of 14742 with flag 18002/97521
13.21/11.48	c cleaning 7682 clauses out of 15374 with flag 26003/105522
13.92/12.11	c cleaning 8338 clauses out of 16690 with flag 35001/114520
14.11/12.38	c Got one! Elapsed wall clock time (in seconds):12.275
14.11/12.38	o 10
14.21/12.45	c cleaning 6881 clauses out of 13776 with flag 1001/119944
14.61/12.82	c cleaning 6443 clauses out of 12895 with flag 7001/125944
15.02/13.22	c cleaning 6723 clauses out of 13451 with flag 14000/132943
15.12/13.32	c Got one! Elapsed wall clock time (in seconds):13.208
15.12/13.32	o 6
15.32/13.56	c cleaning 6296 clauses out of 12601 with flag 4002/138816
15.62/13.84	c cleaning 6149 clauses out of 12304 with flag 10001/144815
15.92/14.20	c cleaning 6570 clauses out of 13156 with flag 17002/151816
16.02/14.27	c Got one! Elapsed wall clock time (in seconds):14.164
16.02/14.27	o 3
16.32/14.50	c cleaning 5979 clauses out of 11983 with flag 4000/157213
16.62/14.80	c cleaning 5998 clauses out of 12006 with flag 10002/163215
16.92/15.14	c cleaning 6499 clauses out of 13006 with flag 17000/170213
17.32/15.57	c cleaning 7250 clauses out of 14508 with flag 25001/178214
17.82/16.01	c cleaning 8128 clauses out of 16261 with flag 34004/187217
18.22/16.48	c cleaning 9057 clauses out of 18129 with flag 44000/197213
18.72/16.95	c cleaning 9533 clauses out of 19075 with flag 54003/207216
19.22/17.43	c cleaning 9766 clauses out of 19539 with flag 64000/217213
19.72/17.95	c cleaning 9884 clauses out of 19773 with flag 74000/227213
20.32/18.50	c cleaning 9937 clauses out of 19889 with flag 84000/237213
20.82/19.04	c cleaning 9968 clauses out of 19952 with flag 94000/247213
21.33/19.56	c cleaning 9974 clauses out of 19984 with flag 104000/257213
21.93/20.12	c cleaning 9990 clauses out of 20010 with flag 114000/267213
22.43/20.69	c cleaning 10005 clauses out of 20021 with flag 124001/277214
23.05/21.23	c cleaning 10003 clauses out of 20015 with flag 134000/287213
23.55/21.76	c cleaning 10000 clauses out of 20012 with flag 144000/297213
24.05/22.27	c cleaning 10001 clauses out of 20015 with flag 154003/307216
24.66/22.82	c cleaning 9995 clauses out of 20011 with flag 164000/317213
25.16/23.33	c cleaning 10005 clauses out of 20016 with flag 174000/327213
25.66/23.83	c cleaning 9999 clauses out of 20012 with flag 184001/337214
26.16/24.31	c cleaning 9992 clauses out of 20013 with flag 194001/347214
26.56/24.79	c cleaning 10006 clauses out of 20020 with flag 204000/357213
27.07/25.27	c cleaning 10006 clauses out of 20017 with flag 214003/367216
27.66/25.82	c cleaning 9994 clauses out of 20008 with flag 224000/377213
28.06/26.30	c cleaning 10001 clauses out of 20015 with flag 234001/387214
28.67/26.80	c cleaning 10006 clauses out of 20020 with flag 244007/397220
29.17/27.33	c cleaning 9999 clauses out of 20007 with flag 254000/407213
29.67/27.82	c cleaning 10002 clauses out of 20009 with flag 264001/417214
30.17/28.30	c cleaning 9999 clauses out of 20007 with flag 274001/427214
30.67/28.85	c cleaning 10001 clauses out of 20009 with flag 284002/437215
31.18/29.33	c cleaning 9997 clauses out of 20006 with flag 294000/447213
31.68/29.88	c cleaning 10000 clauses out of 20010 with flag 304001/457214
32.18/30.38	c cleaning 9996 clauses out of 20011 with flag 314002/467215
32.69/30.87	c cleaning 9999 clauses out of 20013 with flag 324000/477213
33.18/31.35	c cleaning 10003 clauses out of 20015 with flag 334001/487214
33.69/31.86	c cleaning 10001 clauses out of 20011 with flag 344000/497213
34.19/32.35	c cleaning 10005 clauses out of 20011 with flag 354001/507214
34.69/32.85	c cleaning 10000 clauses out of 20006 with flag 364001/517214
35.19/33.39	c cleaning 9994 clauses out of 20006 with flag 374001/527214
35.79/33.91	c cleaning 10000 clauses out of 20012 with flag 384001/537214
36.09/34.24	c Got one! Elapsed wall clock time (in seconds):34.128
36.09/34.24	o 2
36.49/34.62	c cleaning 10863 clauses out of 21736 with flag 5002/548938
36.79/34.96	c cleaning 8432 clauses out of 16871 with flag 11000/554936
37.19/35.36	c cleaning 7717 clauses out of 15439 with flag 18000/561936
37.70/35.83	c cleaning 7857 clauses out of 15722 with flag 26000/569936
38.30/36.41	c cleaning 8431 clauses out of 16868 with flag 35003/578939
38.90/37.02	c cleaning 9214 clauses out of 18435 with flag 45001/588937
39.41/37.53	c cleaning 9597 clauses out of 19220 with flag 55000/598936
39.91/38.04	c cleaning 9806 clauses out of 19623 with flag 65000/608936
40.41/38.59	c cleaning 9906 clauses out of 19817 with flag 75000/618936
40.91/39.09	c cleaning 9952 clauses out of 19911 with flag 85000/628936
41.41/39.60	c cleaning 9972 clauses out of 19959 with flag 95000/638936
42.01/40.14	c cleaning 9990 clauses out of 19989 with flag 105002/648938
42.52/40.68	c cleaning 9996 clauses out of 20000 with flag 115003/658939
43.01/41.19	c cleaning 9994 clauses out of 20003 with flag 125002/668938
43.52/41.68	c cleaning 9999 clauses out of 20007 with flag 135000/678936
44.02/42.17	c cleaning 10003 clauses out of 20009 with flag 145001/688937
44.52/42.66	c cleaning 9996 clauses out of 20005 with flag 155000/698936
45.02/43.18	c cleaning 10001 clauses out of 20009 with flag 165000/708936
45.52/43.67	c cleaning 9999 clauses out of 20008 with flag 175000/718936
46.02/44.13	c cleaning 9996 clauses out of 20009 with flag 185000/728936
46.52/44.60	c cleaning 10004 clauses out of 20014 with flag 195001/738937
47.03/45.12	c cleaning 9995 clauses out of 20009 with flag 205000/748936
47.42/45.59	c cleaning 9998 clauses out of 20014 with flag 215000/758936
47.92/46.05	c cleaning 10004 clauses out of 20017 with flag 225001/768937
48.42/46.56	c cleaning 10000 clauses out of 20012 with flag 235000/778936
48.83/46.99	c cleaning 10002 clauses out of 20012 with flag 245000/788936
49.33/47.45	c cleaning 10002 clauses out of 20014 with flag 255004/798940
49.83/47.90	c cleaning 9993 clauses out of 20008 with flag 265000/808936
50.23/48.36	c cleaning 9995 clauses out of 20017 with flag 275002/818938
50.73/48.84	c cleaning 10003 clauses out of 20020 with flag 285000/828936
51.13/49.27	c cleaning 10003 clauses out of 20017 with flag 295000/838936
51.63/49.73	c cleaning 10002 clauses out of 20014 with flag 305000/848936
52.03/50.18	c cleaning 10001 clauses out of 20013 with flag 315001/858937
52.54/50.64	c cleaning 10001 clauses out of 20012 with flag 325001/868937
53.03/51.14	c cleaning 9997 clauses out of 20010 with flag 335000/878936
53.54/51.62	c cleaning 10003 clauses out of 20016 with flag 345003/888939
54.04/52.12	c cleaning 9995 clauses out of 20012 with flag 355002/898938
54.54/52.60	c cleaning 10002 clauses out of 20015 with flag 365000/908936
54.94/53.05	c cleaning 10004 clauses out of 20013 with flag 375000/918936
55.44/53.52	c cleaning 9998 clauses out of 20009 with flag 385000/928936
55.94/54.02	c cleaning 9997 clauses out of 20011 with flag 395000/938936
56.44/54.51	c cleaning 10002 clauses out of 20014 with flag 405000/948936
56.95/55.05	c cleaning 9995 clauses out of 20012 with flag 415000/958936
57.44/55.59	c cleaning 10005 clauses out of 20020 with flag 425003/968939
57.95/56.08	c cleaning 10001 clauses out of 20012 with flag 435000/978936
58.44/56.57	c cleaning 10002 clauses out of 20012 with flag 445001/988937
59.05/57.14	c cleaning 9997 clauses out of 20009 with flag 455000/998936
59.54/57.69	c cleaning 10002 clauses out of 20013 with flag 465001/1008937
60.04/58.17	c cleaning 9993 clauses out of 20011 with flag 475001/1018937
60.54/58.68	c cleaning 10004 clauses out of 20021 with flag 485004/1028940
61.06/59.17	c cleaning 9999 clauses out of 20013 with flag 495000/1038936
61.56/59.68	c cleaning 10003 clauses out of 20016 with flag 505002/1048938
62.06/60.19	c cleaning 9997 clauses out of 20012 with flag 515001/1058937
62.66/60.77	c cleaning 10004 clauses out of 20015 with flag 525001/1068937
63.16/61.29	c cleaning 9999 clauses out of 20011 with flag 535001/1078937
63.76/61.80	c cleaning 9997 clauses out of 20012 with flag 545001/1088937
64.26/62.35	c cleaning 9998 clauses out of 20014 with flag 555000/1098936
64.76/62.87	c cleaning 10004 clauses out of 20018 with flag 565002/1108938
65.26/63.39	c cleaning 10005 clauses out of 20014 with flag 575002/1118938
65.86/63.90	c cleaning 10002 clauses out of 20009 with flag 585002/1128938
66.36/64.45	c cleaning 9999 clauses out of 20006 with flag 595001/1138937
66.87/64.92	c cleaning 9992 clauses out of 20006 with flag 605000/1148936
67.26/65.39	c cleaning 9999 clauses out of 20014 with flag 615000/1158936
67.77/65.87	c cleaning 10001 clauses out of 20015 with flag 625000/1168936
68.27/66.34	c cleaning 10000 clauses out of 20014 with flag 635000/1178936
68.77/66.83	c cleaning 10003 clauses out of 20016 with flag 645002/1188938
69.27/67.39	c cleaning 10000 clauses out of 20013 with flag 655002/1198938
69.87/67.90	c cleaning 10001 clauses out of 20011 with flag 665000/1208936
70.37/68.47	c cleaning 9996 clauses out of 20012 with flag 675002/1218938
70.87/68.98	c cleaning 10002 clauses out of 20015 with flag 685001/1228937
71.38/69.46	c cleaning 9998 clauses out of 20012 with flag 695000/1238936
71.88/69.97	c cleaning 10000 clauses out of 20015 with flag 705001/1248937
72.48/70.50	c cleaning 9993 clauses out of 20014 with flag 715000/1258936
72.98/71.00	c cleaning 10005 clauses out of 20021 with flag 725000/1268936
73.49/71.51	c cleaning 9999 clauses out of 20017 with flag 735001/1278937
73.98/72.05	c cleaning 10005 clauses out of 20017 with flag 745000/1288936
74.48/72.52	c cleaning 10002 clauses out of 20012 with flag 755000/1298936
74.98/73.00	c cleaning 9996 clauses out of 20010 with flag 765000/1308936
75.48/73.50	c cleaning 10003 clauses out of 20015 with flag 775001/1318937
75.89/73.96	c cleaning 9995 clauses out of 20012 with flag 785001/1328937
76.39/74.48	c cleaning 9998 clauses out of 20016 with flag 795000/1338936
76.89/74.94	c cleaning 9996 clauses out of 20018 with flag 805000/1348936
77.39/75.43	c cleaning 10006 clauses out of 20022 with flag 815000/1358936
77.90/75.94	c cleaning 10002 clauses out of 20017 with flag 825001/1368937
78.39/76.46	c cleaning 9996 clauses out of 20014 with flag 835000/1378936
79.00/77.01	c cleaning 9998 clauses out of 20018 with flag 845000/1388936
79.39/77.48	c cleaning 10008 clauses out of 20023 with flag 855003/1398939
79.89/77.95	c cleaning 9998 clauses out of 20014 with flag 865002/1408938
80.39/78.45	c cleaning 10000 clauses out of 20014 with flag 875000/1418936
80.90/78.98	c cleaning 10004 clauses out of 20015 with flag 885001/1428937
81.50/79.50	c cleaning 9997 clauses out of 20011 with flag 895001/1438937
82.00/80.02	c cleaning 10004 clauses out of 20013 with flag 905000/1448936
82.50/80.54	c cleaning 9998 clauses out of 20010 with flag 915001/1458937
83.00/81.06	c cleaning 9995 clauses out of 20011 with flag 925000/1468936
83.50/81.55	c cleaning 10001 clauses out of 20016 with flag 935000/1478936
84.00/82.06	c cleaning 10002 clauses out of 20017 with flag 945002/1488938
84.51/82.57	c cleaning 10001 clauses out of 20013 with flag 955000/1498936
85.00/83.04	c cleaning 10000 clauses out of 20012 with flag 965000/1508936
85.51/83.53	c cleaning 10000 clauses out of 20015 with flag 975003/1518939
86.01/84.01	c cleaning 10003 clauses out of 20012 with flag 985000/1528936
86.51/84.51	c cleaning 10002 clauses out of 20010 with flag 995001/1538937
87.01/85.01	c cleaning 10000 clauses out of 20007 with flag 1005000/1548936
87.51/85.56	c cleaning 9990 clauses out of 20007 with flag 1015000/1558936
88.01/86.08	c cleaning 10006 clauses out of 20018 with flag 1025001/1568937
88.51/86.59	c cleaning 9999 clauses out of 20011 with flag 1035000/1578936
89.11/87.13	c cleaning 10005 clauses out of 20013 with flag 1045001/1588937
89.61/87.65	c cleaning 9994 clauses out of 20007 with flag 1055000/1598936
90.12/88.15	c cleaning 10002 clauses out of 20015 with flag 1065002/1608938
90.62/88.63	c cleaning 9997 clauses out of 20012 with flag 1075001/1618937
91.13/89.13	c cleaning 10000 clauses out of 20016 with flag 1085002/1628938
91.62/89.65	c cleaning 10003 clauses out of 20015 with flag 1095001/1638937
92.12/90.16	c cleaning 10000 clauses out of 20012 with flag 1105001/1648937
92.72/90.73	c cleaning 9999 clauses out of 20014 with flag 1115003/1658939
93.22/91.30	c cleaning 10002 clauses out of 20012 with flag 1125000/1668936
93.82/91.81	c cleaning 10002 clauses out of 20018 with flag 1135008/1678944
94.33/92.32	c cleaning 9996 clauses out of 20008 with flag 1145000/1688936
94.72/92.79	c cleaning 9998 clauses out of 20012 with flag 1155000/1698936
95.23/93.26	c cleaning 9998 clauses out of 20014 with flag 1165000/1708936
95.73/93.76	c cleaning 10006 clauses out of 20019 with flag 1175003/1718939
96.23/94.25	c cleaning 9996 clauses out of 20010 with flag 1185000/1728936
96.74/94.74	c cleaning 10005 clauses out of 20015 with flag 1195001/1738937
97.24/95.26	c cleaning 9996 clauses out of 20009 with flag 1205000/1748936
97.74/95.74	c cleaning 10004 clauses out of 20015 with flag 1215002/1758938
98.24/96.26	c cleaning 9999 clauses out of 20009 with flag 1225000/1768936
98.84/96.84	c cleaning 9995 clauses out of 20013 with flag 1235003/1778939
99.34/97.35	c cleaning 9997 clauses out of 20016 with flag 1245001/1788937
99.84/97.89	c cleaning 10007 clauses out of 20019 with flag 1255001/1798937
100.44/98.48	c cleaning 9994 clauses out of 20011 with flag 1265000/1808936
101.05/99.01	c cleaning 10004 clauses out of 20019 with flag 1275002/1818938
101.54/99.57	c cleaning 10003 clauses out of 20015 with flag 1285002/1828938
102.05/100.07	c cleaning 9995 clauses out of 20010 with flag 1295000/1838936
102.55/100.58	c cleaning 10004 clauses out of 20016 with flag 1305001/1848937
103.15/101.15	c cleaning 10003 clauses out of 20014 with flag 1315003/1858939
103.65/101.64	c cleaning 9996 clauses out of 20010 with flag 1325002/1868938
104.15/102.16	c cleaning 10003 clauses out of 20013 with flag 1335001/1878937
104.65/102.69	c cleaning 9993 clauses out of 20010 with flag 1345001/1888937
105.25/103.20	c cleaning 10003 clauses out of 20017 with flag 1355001/1898937
105.75/103.70	c cleaning 10004 clauses out of 20015 with flag 1365002/1908938
106.26/104.25	c cleaning 9998 clauses out of 20009 with flag 1375000/1918936
106.76/104.76	c cleaning 9998 clauses out of 20011 with flag 1385000/1928936
107.36/105.30	c cleaning 10000 clauses out of 20016 with flag 1395003/1938939
107.86/105.83	c cleaning 9997 clauses out of 20014 with flag 1405001/1948937
108.36/106.37	c cleaning 9999 clauses out of 20017 with flag 1415001/1958937
108.87/106.87	c cleaning 10005 clauses out of 20017 with flag 1425000/1968936
109.47/107.40	c cleaning 10001 clauses out of 20015 with flag 1435003/1978939
109.97/107.98	c cleaning 9992 clauses out of 20011 with flag 1445000/1988936
110.47/108.47	c cleaning 10007 clauses out of 20023 with flag 1455004/1998940
111.07/109.03	c cleaning 9998 clauses out of 20012 with flag 1465000/2008936
111.57/109.55	c cleaning 9999 clauses out of 20014 with flag 1475000/2018936
112.07/110.07	c cleaning 9999 clauses out of 20015 with flag 1485000/2028936
112.67/110.62	c cleaning 10005 clauses out of 20018 with flag 1495002/2038938
113.18/111.16	c cleaning 9999 clauses out of 20011 with flag 1505000/2048936
113.78/111.72	c cleaning 10000 clauses out of 20013 with flag 1515001/2058937
114.29/112.23	c cleaning 10005 clauses out of 20013 with flag 1525001/2068937
114.78/112.74	c cleaning 9997 clauses out of 20007 with flag 1535000/2078936
115.29/113.23	c cleaning 10005 clauses out of 20013 with flag 1545003/2088939
115.78/113.74	c cleaning 10000 clauses out of 20005 with flag 1555000/2098936
116.28/114.20	c cleaning 9995 clauses out of 20005 with flag 1565000/2108936
116.69/114.66	c cleaning 10000 clauses out of 20010 with flag 1575000/2118936
117.19/115.13	c cleaning 9998 clauses out of 20010 with flag 1585000/2128936
117.69/115.68	c cleaning 10000 clauses out of 20014 with flag 1595002/2138938
118.19/116.15	c cleaning 9998 clauses out of 20012 with flag 1605000/2148936
118.69/116.63	c cleaning 9999 clauses out of 20015 with flag 1615001/2158937
119.19/117.12	c cleaning 9996 clauses out of 20015 with flag 1625000/2168936
119.59/117.58	c cleaning 10007 clauses out of 20022 with flag 1635003/2178939
120.19/118.10	c cleaning 10002 clauses out of 20012 with flag 1645000/2188936
120.69/118.64	c cleaning 10005 clauses out of 20013 with flag 1655003/2198939
121.20/119.18	c cleaning 9999 clauses out of 20006 with flag 1665001/2208937
121.70/119.69	c cleaning 10000 clauses out of 20007 with flag 1675001/2218937
122.20/120.19	c cleaning 9996 clauses out of 20006 with flag 1685000/2228936
122.80/120.70	c cleaning 9992 clauses out of 20012 with flag 1695002/2238938
123.30/121.21	c cleaning 9997 clauses out of 20018 with flag 1705000/2248936
123.80/121.70	c cleaning 10002 clauses out of 20022 with flag 1715001/2258937
124.30/122.20	c cleaning 10006 clauses out of 20020 with flag 1725001/2268937
124.80/122.70	c cleaning 10001 clauses out of 20014 with flag 1735001/2278937
125.31/123.21	c cleaning 9995 clauses out of 20012 with flag 1745000/2288936
125.71/123.68	c cleaning 10001 clauses out of 20017 with flag 1755000/2298936
126.21/124.16	c cleaning 10005 clauses out of 20017 with flag 1765001/2308937
126.71/124.65	c cleaning 10000 clauses out of 20011 with flag 1775000/2318936
127.21/125.14	c cleaning 10001 clauses out of 20012 with flag 1785001/2328937
127.71/125.66	c cleaning 10002 clauses out of 20011 with flag 1795001/2338937
128.21/126.19	c cleaning 9997 clauses out of 20009 with flag 1805001/2348937
128.71/126.70	c cleaning 9997 clauses out of 20011 with flag 1815000/2358936
129.32/127.20	c cleaning 10001 clauses out of 20015 with flag 1825001/2368937
129.82/127.70	c cleaning 10000 clauses out of 20013 with flag 1835000/2378936
130.32/128.21	c cleaning 10005 clauses out of 20015 with flag 1845002/2388938
130.72/128.68	c cleaning 9995 clauses out of 20009 with flag 1855001/2398937
131.22/129.16	c cleaning 10003 clauses out of 20014 with flag 1865001/2408937
131.72/129.64	c cleaning 10002 clauses out of 20012 with flag 1875002/2418938
132.22/130.16	c cleaning 9990 clauses out of 20010 with flag 1885002/2428938
132.83/130.76	c cleaning 10002 clauses out of 20019 with flag 1895001/2438937
133.33/131.26	c cleaning 10004 clauses out of 20018 with flag 1905002/2448938
133.83/131.77	c cleaning 9999 clauses out of 20013 with flag 1915001/2458937
134.33/132.24	c cleaning 10002 clauses out of 20013 with flag 1925000/2468936
134.84/132.78	c cleaning 9998 clauses out of 20013 with flag 1935002/2478938
135.34/133.25	c cleaning 9998 clauses out of 20013 with flag 1945000/2488936
135.84/133.72	c cleaning 10004 clauses out of 20018 with flag 1955003/2498939
136.35/134.24	c cleaning 9995 clauses out of 20011 with flag 1965000/2508936
136.84/134.78	c cleaning 10003 clauses out of 20016 with flag 1975000/2518936
137.35/135.27	c cleaning 10003 clauses out of 20014 with flag 1985001/2528937
137.94/135.81	c cleaning 9999 clauses out of 20010 with flag 1995000/2538936
138.45/136.34	c cleaning 10003 clauses out of 20011 with flag 2005000/2548936
138.94/136.86	c cleaning 10001 clauses out of 20012 with flag 2015004/2558940
139.45/137.37	c cleaning 10000 clauses out of 20010 with flag 2025003/2568939
139.95/137.89	c cleaning 9999 clauses out of 20008 with flag 2035001/2578937
140.45/138.39	c cleaning 9999 clauses out of 20009 with flag 2045001/2588937
141.05/138.94	c cleaning 10000 clauses out of 20009 with flag 2055000/2598936
141.55/139.46	c cleaning 9999 clauses out of 20009 with flag 2065000/2608936
142.05/139.96	c cleaning 9991 clauses out of 20010 with flag 2075000/2618936
142.55/140.48	c cleaning 10006 clauses out of 20021 with flag 2085002/2628938
143.15/141.06	c cleaning 9996 clauses out of 20014 with flag 2095001/2638937
143.75/141.60	c cleaning 9998 clauses out of 20019 with flag 2105002/2648938
144.16/142.09	c cleaning 9998 clauses out of 20019 with flag 2115000/2658936
144.66/142.59	c cleaning 10004 clauses out of 20021 with flag 2125000/2668936
145.16/143.07	c cleaning 10006 clauses out of 20018 with flag 2135001/2678937
145.76/143.60	c cleaning 10001 clauses out of 20012 with flag 2145001/2688937
146.26/144.14	c cleaning 9996 clauses out of 20010 with flag 2155000/2698936
146.76/144.66	c cleaning 10003 clauses out of 20014 with flag 2165000/2708936
147.37/145.25	c cleaning 9993 clauses out of 20012 with flag 2175001/2718937
147.97/145.85	c cleaning 10001 clauses out of 20021 with flag 2185003/2728939
148.57/146.42	c cleaning 9999 clauses out of 20018 with flag 2195001/2738937
149.07/146.98	c cleaning 10000 clauses out of 20019 with flag 2205001/2748937
149.68/147.56	c cleaning 10004 clauses out of 20019 with flag 2215001/2758937
150.28/148.14	c cleaning 10002 clauses out of 20019 with flag 2225005/2768941
150.88/148.70	c cleaning 10003 clauses out of 20012 with flag 2235000/2778936
151.38/149.26	c cleaning 10003 clauses out of 20010 with flag 2245001/2788937
151.98/149.80	c cleaning 9991 clauses out of 20006 with flag 2255000/2798936
152.48/150.37	c cleaning 10001 clauses out of 20017 with flag 2265002/2808938
153.08/150.94	c cleaning 10000 clauses out of 20015 with flag 2275001/2818937
153.79/151.61	c cleaning 9995 clauses out of 20015 with flag 2285001/2828937
154.29/152.15	c cleaning 10005 clauses out of 20023 with flag 2295004/2838940
154.89/152.75	c cleaning 9999 clauses out of 20018 with flag 2305004/2848940
155.49/153.36	c cleaning 10000 clauses out of 20015 with flag 2315000/2858936
156.10/153.98	c cleaning 9995 clauses out of 20015 with flag 2325000/2868936
156.69/154.59	c cleaning 10007 clauses out of 20023 with flag 2335003/2878939
157.39/155.21	c cleaning 9999 clauses out of 20013 with flag 2345000/2888936
158.09/155.91	c cleaning 10003 clauses out of 20013 with flag 2355000/2898936
158.60/156.46	c starts		: 268
158.60/156.46	c conflicts		: 2907142
158.60/156.46	c decisions		: 4620768
158.60/156.46	c propagations		: 151805372
158.60/156.46	c inspects		: 1435275447
158.60/156.46	c shortcuts		: 0
158.60/156.46	c learnt literals	: 7
158.60/156.46	c learnt binary clauses	: 26
158.60/156.46	c learnt ternary clauses	: 887
158.60/156.46	c learnt constraints	: 2907134
158.60/156.46	c ignored constraints	: 0
158.60/156.46	c root simplifications	: 0
158.60/156.46	c removed literals (reason simplification)	: 13055505
158.60/156.46	c reason swapping (by a shorter reason)	: 0
158.60/156.46	c Calls to reduceDB	: 298
158.60/156.46	c number of reductions to clauses (during analyze)	: 0
158.60/156.46	c number of learned constraints concerned by reduction	: 0
158.60/156.46	c number of learning phase by resolution	: 0
158.60/156.46	c number of learning phase by cutting planes	: 0
158.60/156.46	c speed (assignments/second)	: 1242005.563464402
158.60/156.46	c non guided choices	5432
158.60/156.46	c learnt constraints type 
158.60/156.46	c constraints type 
158.60/156.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
158.60/156.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
158.60/156.46	s OPTIMUM FOUND
158.60/156.46	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 
158.60/156.46	c objective function=2
158.60/156.46	c Total wall clock time (in seconds): 156.356

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-3492221-1307911717/watcher-3492221-1307911717 -o /var/tmp/evaluation-result-3492221-1307911717/solver-3492221-1307911717 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492221-1307911717.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.01 2.02 1.95 3/195 1317
/proc/meminfo: memFree=1184236/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=9020 CPUtime=0 cores=0,2,4,6
/proc/1317/stat : 1317 (java) R 1315 1317 30857 0 -1 4194304 136 0 0 0 0 0 0 0 25 0 1 0 902771356 9236480 87 33554432000 1073741824 1073778376 140734384695200 18446744073709551615 208075269681 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1317/statm: 2255 89 71 9 0 34 0

[startup+0.0303229 s]
/proc/loadavg: 2.01 2.02 1.95 3/195 1317
/proc/meminfo: memFree=1184236/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 10696 0 1 0 1 1 0 0 25 0 10 0 902771356 10705932288 10393 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2613753 10394 1513 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012

[startup+0.10031 s]
/proc/loadavg: 2.01 2.02 1.95 3/195 1317
/proc/meminfo: memFree=1184236/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10540192 CPUtime=0.1 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 13052 0 1 0 9 1 0 0 25 0 18 0 902771356 10793156608 12747 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2635048 12751 2092 9 0 2625782 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540192

[startup+0.300275 s]
/proc/loadavg: 2.01 2.02 1.95 3/195 1317
/proc/meminfo: memFree=1184236/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10543500 CPUtime=0.49 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 16815 0 1 0 48 1 0 0 25 0 18 0 902771356 10796544000 15797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2635875 15798 2204 9 0 2626609 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543500

[startup+0.700196 s]
/proc/loadavg: 2.01 2.02 1.95 3/195 1317
/proc/meminfo: memFree=1184236/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10547240 CPUtime=1.56 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 23139 0 1 0 154 2 0 0 25 0 19 0 902771356 10800373760 19895 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2636810 19895 2236 9 0 2627544 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10547240

[startup+1.50113 s]
/proc/loadavg: 2.01 2.02 1.95 4/214 1336
/proc/meminfo: memFree=1110460/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10547240 CPUtime=2.35 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 25042 0 1 0 233 2 0 0 25 0 19 0 902771356 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2636810 21797 2238 9 0 2627544 0
[pid=1317/tid=1319] ppid=1315 vsize=10547240 CPUtime=1.49 cores=0,2,4,6
/proc/1317/task/1319/stat : 1319 (java) R 1315 1317 30857 0 -1 4202560 16892 0 1 0 147 2 0 0 25 0 19 0 902771357 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 46912505785640 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1317/tid=1320] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902771359 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902771360 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771360 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10547240 CPUtime=0.43 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) S 1315 1317 30857 0 -1 4202560 2377 0 0 0 43 0 0 0 25 0 19 0 902771362 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10547240 CPUtime=0.43 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 4611 0 0 0 43 0 0 0 25 0 19 0 902771362 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771362 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10800373760 21797 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10547240

[startup+3.10085 s]
/proc/loadavg: 2.01 2.02 1.95 3/214 1336
/proc/meminfo: memFree=1100032/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10547240 CPUtime=4.02 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 27507 0 1 0 399 3 0 0 25 0 19 0 902771356 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2636810 24260 2238 9 0 2627544 0
[pid=1317/tid=1319] ppid=1315 vsize=10547240 CPUtime=3.08 cores=0,2,4,6
/proc/1317/task/1319/stat : 1319 (java) R 1315 1317 30857 0 -1 4202560 19348 0 1 0 306 2 0 0 25 0 19 0 902771357 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 46912505708953 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1317/tid=1320] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771358 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902771359 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902771360 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771360 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10547240 CPUtime=0.46 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) S 1315 1317 30857 0 -1 4202560 2382 0 0 0 46 0 0 0 16 0 19 0 902771362 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10547240 CPUtime=0.46 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 4615 0 0 0 46 0 0 0 15 0 19 0 902771362 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771362 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10547240 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10800373760 24260 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 10547240

[startup+6.30113 s]
/proc/loadavg: 2.01 2.02 1.95 3/214 1336
/proc/meminfo: memFree=1074192/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10563692 CPUtime=8.06 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 39902 0 1 0 801 5 0 0 25 0 19 0 902771356 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2640923 33132 2264 9 0 2631657 0
[pid=1317/tid=1319] ppid=1315 vsize=10563692 CPUtime=6.21 cores=0,2,4,6
/proc/1317/task/1319/stat : 1319 (java) R 1315 1317 30857 0 -1 4202560 19455 0 1 0 619 2 0 0 25 0 19 0 902771357 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 46912505717752 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1317/tid=1320] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10563692 CPUtime=0.01 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 299 0 0 0 1 0 0 0 15 0 19 0 902771358 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10563692 CPUtime=0.04 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 1155 0 0 0 4 0 0 0 16 0 19 0 902771359 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771360 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771360 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10563692 CPUtime=0.9 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) R 1315 1317 30857 0 -1 4202560 6527 0 0 0 90 0 0 0 16 0 19 0 902771362 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 47032066323782 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10563692 CPUtime=0.82 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 10213 0 0 0 82 0 0 0 15 0 19 0 902771362 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771362 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10563692 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10817220608 33132 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 10563692

[startup+12.701 s]

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

/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 216 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 13 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 91 0 0 0 10 0 0 0 16 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 267 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 278 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 295 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 315 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10549904 CPUtime=5.02 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 1751 0 0 0 498 4 0 0 15 0 19 0 902771359 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10549904 CPUtime=0.95 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) S 1315 1317 30857 0 -1 4202560 6711 0 0 0 95 0 0 0 15 0 19 0 902771362 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10549904 CPUtime=0.82 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 10213 0 0 0 82 0 0 0 15 0 19 0 902771362 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 902771362 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10803101696 30882 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 157.3
Current children cumulated vsize (KiB) 10549904

[startup+155.901 s]
/proc/loadavg: 2.02 2.02 1.95 3/214 1340
/proc/meminfo: memFree=1063476/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10549904 CPUtime=158.09 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 41076 0 1 0 15798 11 0 0 25 0 19 0 902771356 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2637476 30883 2265 9 0 2628210 0
[pid=1317/tid=1319] ppid=1315 vsize=10549904 CPUtime=150.44 cores=0,2,4,6
/proc/1317/task/1319/stat : 1319 (java) R 1315 1317 30857 0 -1 4202560 19750 0 1 0 15041 3 0 0 25 0 19 0 902771357 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 46912505683044 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1317/tid=1320] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 216 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 13 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 91 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 267 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 278 0 0 0 9 0 0 0 16 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 295 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 315 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10549904 CPUtime=5.03 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 1751 0 0 0 499 4 0 0 15 0 19 0 902771359 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10549904 CPUtime=0.95 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) S 1315 1317 30857 0 -1 4202560 6711 0 0 0 95 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10549904 CPUtime=0.82 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 10213 0 0 0 82 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 158.09
Current children cumulated vsize (KiB) 10549904

[startup+156.301 s]
/proc/loadavg: 2.02 2.02 1.95 3/214 1340
/proc/meminfo: memFree=1063476/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10549904 CPUtime=158.5 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 41077 0 1 0 15839 11 0 0 25 0 19 0 902771356 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2637476 30883 2265 9 0 2628210 0
[pid=1317/tid=1319] ppid=1315 vsize=10549904 CPUtime=150.82 cores=0,2,4,6
/proc/1317/task/1319/stat : 1319 (java) R 1315 1317 30857 0 -1 4202560 19751 0 1 0 15079 3 0 0 25 0 19 0 902771357 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 46912505717752 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1317/tid=1320] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 216 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 13 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 91 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 267 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 278 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 295 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 315 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10549904 CPUtime=5.05 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 1751 0 0 0 501 4 0 0 15 0 19 0 902771359 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10549904 CPUtime=0.95 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) S 1315 1317 30857 0 -1 4202560 6711 0 0 0 95 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10549904 CPUtime=0.82 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 10213 0 0 0 82 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 158.5
Current children cumulated vsize (KiB) 10549904

[startup+156.401 s]
/proc/loadavg: 2.02 2.02 1.95 3/214 1340
/proc/meminfo: memFree=1063476/32950928 swapFree=67055948/67111528
[pid=1317] ppid=1315 vsize=10549904 CPUtime=158.6 cores=0,2,4,6
/proc/1317/stat : 1317 (java) S 1315 1317 30857 0 -1 4202496 41077 0 1 0 15849 11 0 0 25 0 19 0 902771356 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1317/statm: 2637476 30883 2265 9 0 2628210 0
[pid=1317/tid=1319] ppid=1315 vsize=10549904 CPUtime=150.92 cores=0,2,4,6
/proc/1317/task/1319/stat : 1319 (java) R 1315 1317 30857 0 -1 4202560 19751 0 1 0 15089 3 0 0 25 0 19 0 902771357 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 46912505710058 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1317/tid=1320] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1320/stat : 1320 (java) S 1315 1317 30857 0 -1 4202560 216 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1321] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1321/stat : 1321 (java) S 1315 1317 30857 0 -1 4202560 13 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1322] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1322/stat : 1322 (java) S 1315 1317 30857 0 -1 4202560 91 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1323] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1323/stat : 1323 (java) S 1315 1317 30857 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1324] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1324/stat : 1324 (java) S 1315 1317 30857 0 -1 4202560 267 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1325] ppid=1315 vsize=10549904 CPUtime=0.09 cores=0,2,4,6
/proc/1317/task/1325/stat : 1325 (java) S 1315 1317 30857 0 -1 4202560 278 0 0 0 9 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1326] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1326/stat : 1326 (java) S 1315 1317 30857 0 -1 4202560 295 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 6 0 0 0
[pid=1317/tid=1327] ppid=1315 vsize=10549904 CPUtime=0.1 cores=0,2,4,6
/proc/1317/task/1327/stat : 1327 (java) S 1315 1317 30857 0 -1 4202560 315 0 0 0 10 0 0 0 15 0 19 0 902771358 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1328] ppid=1315 vsize=10549904 CPUtime=5.05 cores=0,2,4,6
/proc/1317/task/1328/stat : 1328 (java) S 1315 1317 30857 0 -1 4202560 1751 0 0 0 501 4 0 0 15 0 19 0 902771359 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 0 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1329] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1329/stat : 1329 (java) S 1315 1317 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1330] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1330/stat : 1330 (java) S 1315 1317 30857 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771360 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1331] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1331/stat : 1331 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092055985 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1332] ppid=1315 vsize=10549904 CPUtime=0.95 cores=0,2,4,6
/proc/1317/task/1332/stat : 1332 (java) S 1315 1317 30857 0 -1 4202560 6711 0 0 0 95 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 0 0 0 0
[pid=1317/tid=1333] ppid=1315 vsize=10549904 CPUtime=0.82 cores=0,2,4,6
/proc/1317/task/1333/stat : 1333 (java) S 1315 1317 30857 0 -1 4202560 10213 0 0 0 82 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1334] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1334/stat : 1334 (java) S 1315 1317 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048281 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
[pid=1317/tid=1335] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1335/stat : 1335 (java) S 1315 1317 30857 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 902771362 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 2 0 0 0
[pid=1317/tid=1336] ppid=1315 vsize=10549904 CPUtime=0 cores=0,2,4,6
/proc/1317/task/1336/stat : 1336 (java) S 1315 1317 30857 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902771392 10803101696 30883 33554432000 1073741824 1073778376 140735486407744 18446744073709551615 208092048896 0 4 0 16800975 18446604453861128192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 158.6
Current children cumulated vsize (KiB) 10549904

Child status: 30
Real time (s): 156.474
CPU time (s): 158.685
CPU user time (s): 158.563
CPU system time (s): 0.121981
CPU usage (%): 101.413
Max. virtual memory (cumulated for all children) (KiB): 10564304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.563
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41097
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= 10876
involuntary context switches= 6342

runsolver used 0.290955 second user time and 0.580911 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-12 22:48:37
IDJOB=3492221
IDBENCH=79313
IDSOLVER=1982
FILE ID=node127/3492221-1307911717
RUNJOBID= node127-1307908873-770
PBS_JOBID= 13559579
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39
RANDOM SEED=554000604

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1184524 kB
Buffers:         63788 kB
Cached:       30535664 kB
SwapCached:       9120 kB
Active:       15464268 kB
Inactive:     15347360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1184524 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:             492 kB
Writeback:           0 kB
AnonPages:      209708 kB
Mapped:          21520 kB
Slab:           889800 kB
PageTables:       5240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10545812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node127 at 2011-06-12 22:51:13