Trace number 3492012

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 151.404 149.105

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo
MD5SUMc6df963ff1848506ee15e7c5bdbc3c3f
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark11.1063
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 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 779
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.1.v20110525
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		9996466904
0.01/0.08	c Max memory 		10048897024
0.01/0.08	c Total memory 		10048897024
0.01/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492012-1307911214.wbo
0.10/0.10	c reading problem ... 
0.53/0.31	c ... done. Wall clock time 0.21s.
0.53/0.31	c #vars     2938
0.53/0.31	c #constraints  2707
0.53/0.31	c constraints type 
0.53/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.53/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.11/0.56	c SATISFIABLE
1.11/0.56	c OPTIMIZING...
1.11/0.56	c Got one! Elapsed wall clock time (in seconds):0.453
1.11/0.56	o 284
1.39/0.62	c Got one! Elapsed wall clock time (in seconds):0.519
1.39/0.62	o 282
1.39/0.65	c Got one! Elapsed wall clock time (in seconds):0.544
1.39/0.65	o 174
1.58/0.70	c Got one! Elapsed wall clock time (in seconds):0.598
1.58/0.70	o 152
1.58/0.72	c Got one! Elapsed wall clock time (in seconds):0.622
1.58/0.72	o 91
1.89/0.90	c Got one! Elapsed wall clock time (in seconds):0.794
1.89/0.90	o 88
2.12/1.12	c Got one! Elapsed wall clock time (in seconds):1.014
2.12/1.12	o 79
2.41/1.40	c Got one! Elapsed wall clock time (in seconds):1.3
2.41/1.40	o 77
2.51/1.59	c Got one! Elapsed wall clock time (in seconds):1.489
2.51/1.59	o 73
3.01/2.03	c Got one! Elapsed wall clock time (in seconds):1.929
3.01/2.03	o 65
3.01/2.08	c Got one! Elapsed wall clock time (in seconds):1.976
3.01/2.08	o 51
3.22/2.28	c Got one! Elapsed wall clock time (in seconds):2.175
3.22/2.28	o 49
3.63/2.61	c cleaning 4881 clauses out of 9767 with flag 2000/9767
3.78/2.72	c Got one! Elapsed wall clock time (in seconds):2.622
3.78/2.72	o 48
4.18/3.14	c Got one! Elapsed wall clock time (in seconds):3.039
4.18/3.14	o 44
4.48/3.44	c Got one! Elapsed wall clock time (in seconds):3.343
4.48/3.44	o 38
4.78/3.78	c Got one! Elapsed wall clock time (in seconds):3.679
4.78/3.78	o 34
4.99/3.90	c cleaning 6266 clauses out of 12538 with flag 1000/17419
4.99/3.97	c Got one! Elapsed wall clock time (in seconds):3.871
4.99/3.97	o 33
5.60/4.51	c cleaning 5865 clauses out of 11740 with flag 5000/22887
5.75/4.68	c Got one! Elapsed wall clock time (in seconds):4.579
5.75/4.68	o 32
6.05/4.95	c Got one! Elapsed wall clock time (in seconds):4.85
6.05/4.95	o 27
6.25/5.19	c cleaning 5906 clauses out of 11814 with flag 3001/28826
6.75/5.63	c Got one! Elapsed wall clock time (in seconds):5.524
6.75/5.63	o 24
6.85/5.70	c cleaning 5839 clauses out of 11686 with flag 1001/34604
7.25/6.18	c Got one! Elapsed wall clock time (in seconds):6.076
7.25/6.18	o 23
7.85/6.76	c cleaning 8238 clauses out of 16487 with flag 5000/45244
8.15/7.07	c Got one! Elapsed wall clock time (in seconds):6.972
8.15/7.07	o 22
8.35/7.23	c cleaning 6792 clauses out of 13586 with flag 2002/50581
8.45/7.35	c Got one! Elapsed wall clock time (in seconds):7.251
8.45/7.35	o 11
8.65/7.60	c cleaning 6363 clauses out of 12746 with flag 4002/56533
9.06/7.96	c cleaning 6189 clauses out of 12381 with flag 10000/62531
9.93/8.44	c cleaning 6587 clauses out of 13194 with flag 17002/69533
10.29/8.61	c Got one! Elapsed wall clock time (in seconds):8.503
10.29/8.61	o 10
10.50/8.79	c cleaning 5863 clauses out of 11742 with flag 3000/74668
11.02/9.14	c cleaning 5931 clauses out of 11880 with flag 9001/80669
11.63/9.76	c cleaning 6469 clauses out of 12950 with flag 16002/87670
12.14/10.23	c cleaning 7240 clauses out of 14482 with flag 24003/95671
12.74/10.85	c cleaning 8113 clauses out of 16240 with flag 33001/104669
13.54/11.64	c cleaning 9055 clauses out of 18128 with flag 43002/114670
14.25/12.36	c cleaning 9532 clauses out of 19072 with flag 53001/124669
15.05/13.17	c cleaning 9761 clauses out of 19539 with flag 63000/134668
15.86/13.95	c cleaning 9883 clauses out of 19779 with flag 73001/144669
16.66/14.77	c cleaning 9944 clauses out of 19895 with flag 83000/154668
17.46/15.51	c cleaning 9970 clauses out of 19951 with flag 93000/164668
18.07/16.17	c cleaning 9985 clauses out of 19982 with flag 103001/174669
18.77/16.83	c cleaning 9997 clauses out of 19997 with flag 113001/184669
19.47/17.54	c cleaning 9994 clauses out of 19999 with flag 123000/194668
20.47/18.58	c cleaning 9997 clauses out of 20007 with flag 133002/204670
21.27/19.31	c cleaning 9998 clauses out of 20008 with flag 143000/214668
21.97/20.02	c cleaning 9999 clauses out of 20010 with flag 153000/224668
22.88/20.90	c cleaning 10001 clauses out of 20012 with flag 163001/234669
23.57/21.61	c cleaning 10000 clauses out of 20011 with flag 173001/244669
24.37/22.46	c cleaning 9998 clauses out of 20010 with flag 183000/254668
25.17/23.25	c cleaning 9998 clauses out of 20016 with flag 193004/264672
25.88/23.94	c cleaning 9999 clauses out of 20014 with flag 203000/274668
26.58/24.63	c cleaning 10001 clauses out of 20016 with flag 213001/284669
27.38/25.41	c cleaning 9997 clauses out of 20014 with flag 223000/294668
27.38/25.49	c Got one! Elapsed wall clock time (in seconds):25.385
27.38/25.49	o 7
27.68/25.70	c cleaning 7541 clauses out of 15091 with flag 4000/299742
27.98/26.00	c cleaning 6773 clauses out of 13551 with flag 10001/305743
28.29/26.40	c cleaning 6877 clauses out of 13780 with flag 17003/312745
28.78/26.83	c cleaning 7440 clauses out of 14902 with flag 25002/320744
29.28/27.40	c cleaning 8221 clauses out of 16460 with flag 34000/329742
29.99/28.04	c cleaning 9119 clauses out of 18241 with flag 44002/339744
30.60/28.64	c cleaning 9551 clauses out of 19120 with flag 54000/349742
31.10/29.18	c cleaning 9777 clauses out of 19569 with flag 64000/359742
31.60/29.70	c cleaning 9891 clauses out of 19792 with flag 74000/369742
32.19/30.23	c cleaning 9941 clauses out of 19902 with flag 84001/379743
32.80/30.82	c cleaning 9971 clauses out of 19962 with flag 94002/389744
33.39/31.44	c cleaning 9985 clauses out of 19989 with flag 104000/399742
34.11/32.12	c cleaning 9996 clauses out of 20005 with flag 114001/409743
34.72/32.72	c cleaning 10002 clauses out of 20009 with flag 124001/419743
35.22/33.24	c cleaning 9994 clauses out of 20006 with flag 134000/429742
35.82/33.82	c cleaning 10001 clauses out of 20013 with flag 144001/439743
36.42/34.46	c cleaning 9999 clauses out of 20012 with flag 154001/449743
36.62/34.64	c Got one! Elapsed wall clock time (in seconds):34.534
36.62/34.64	o 6
36.72/34.75	c cleaning 7655 clauses out of 15314 with flag 2001/455044
37.02/35.04	c cleaning 6826 clauses out of 13661 with flag 8003/461046
37.32/35.39	c cleaning 6906 clauses out of 13832 with flag 15000/468043
37.72/35.76	c cleaning 7453 clauses out of 14926 with flag 23000/476043
38.62/36.69	c cleaning 8229 clauses out of 16474 with flag 32001/485044
40.53/38.54	c cleaning 9116 clauses out of 18245 with flag 42001/495044
42.03/40.05	c cleaning 9561 clauses out of 19129 with flag 52001/505044
42.93/40.91	c cleaning 9778 clauses out of 19568 with flag 62001/515044
43.44/41.43	c cleaning 9882 clauses out of 19789 with flag 72000/525043
43.94/41.98	c cleaning 9952 clauses out of 19907 with flag 82000/535043
44.54/42.51	c cleaning 9966 clauses out of 19956 with flag 92001/545044
45.04/43.03	c cleaning 9990 clauses out of 19990 with flag 102001/555044
45.54/43.56	c cleaning 9997 clauses out of 20000 with flag 112001/565044
46.15/44.12	c cleaning 9990 clauses out of 20002 with flag 122000/575043
46.64/44.64	c cleaning 10005 clauses out of 20014 with flag 132002/585045
47.15/45.13	c cleaning 9991 clauses out of 20008 with flag 142001/595044
47.65/45.64	c cleaning 10003 clauses out of 20016 with flag 152000/605043
48.15/46.17	c cleaning 10003 clauses out of 20015 with flag 162002/615045
48.75/46.72	c cleaning 9999 clauses out of 20013 with flag 172003/625046
49.25/47.27	c cleaning 9996 clauses out of 20013 with flag 182002/635045
49.75/47.75	c cleaning 9997 clauses out of 20016 with flag 192001/645044
50.25/48.27	c cleaning 10004 clauses out of 20018 with flag 202000/655043
50.75/48.79	c cleaning 9999 clauses out of 20014 with flag 212000/665043
50.95/48.91	c Got one! Elapsed wall clock time (in seconds):48.809
50.95/48.91	o 5
51.05/49.09	c cleaning 7634 clauses out of 15275 with flag 3001/670303
51.35/49.39	c cleaning 6818 clauses out of 13641 with flag 9001/676303
51.75/49.71	c cleaning 6909 clauses out of 13824 with flag 16002/683304
52.05/50.09	c cleaning 7450 clauses out of 14914 with flag 24001/691303
52.85/50.87	c cleaning 8226 clauses out of 16465 with flag 33002/700304
53.66/51.65	c cleaning 9116 clauses out of 18237 with flag 43000/710302
54.15/52.14	c cleaning 9553 clauses out of 19122 with flag 53001/720303
54.65/52.69	c cleaning 9778 clauses out of 19568 with flag 63000/730302
55.26/53.23	c cleaning 9888 clauses out of 19791 with flag 73001/740303
55.76/53.76	c cleaning 9943 clauses out of 19903 with flag 83001/750303
56.26/54.28	c cleaning 9971 clauses out of 19959 with flag 93000/760302
56.86/54.85	c cleaning 9989 clauses out of 19989 with flag 103001/770303
57.36/55.39	c cleaning 9996 clauses out of 20000 with flag 113001/780303
57.96/55.90	c cleaning 9994 clauses out of 20004 with flag 123001/790303
58.46/56.43	c cleaning 9997 clauses out of 20009 with flag 133000/800302
58.96/56.97	c cleaning 10001 clauses out of 20014 with flag 143002/810304
59.56/57.56	c cleaning 10002 clauses out of 20011 with flag 153000/820302
60.07/58.07	c cleaning 10003 clauses out of 20012 with flag 163003/830305
60.67/58.60	c cleaning 9997 clauses out of 20008 with flag 173002/840304
61.17/59.13	c cleaning 9993 clauses out of 20009 with flag 183000/850302
61.67/59.64	c cleaning 10005 clauses out of 20017 with flag 193001/860303
62.17/60.15	c cleaning 9999 clauses out of 20012 with flag 203001/870303
62.77/60.72	c cleaning 9996 clauses out of 20012 with flag 213000/880302
63.37/61.35	c cleaning 10003 clauses out of 20018 with flag 223002/890304
64.08/62.05	c cleaning 10003 clauses out of 20015 with flag 233002/900304
64.58/62.57	c cleaning 9999 clauses out of 20013 with flag 243003/910305
65.18/63.15	c cleaning 10003 clauses out of 20011 with flag 253000/920302
65.68/63.66	c cleaning 10001 clauses out of 20010 with flag 263002/930304
66.18/64.18	c cleaning 10000 clauses out of 20008 with flag 273001/940303
66.68/64.69	c cleaning 9998 clauses out of 20010 with flag 283003/950305
67.28/65.23	c cleaning 9997 clauses out of 20011 with flag 293002/960304
67.78/65.74	c cleaning 9997 clauses out of 20014 with flag 303002/970304
68.28/66.28	c cleaning 10000 clauses out of 20015 with flag 313000/980302
68.88/66.84	c cleaning 10001 clauses out of 20015 with flag 323000/990302
69.49/67.41	c cleaning 9999 clauses out of 20014 with flag 333000/1000302
70.09/68.04	c cleaning 10001 clauses out of 20018 with flag 343003/1010305
70.69/68.66	c cleaning 10006 clauses out of 20016 with flag 353002/1020304
71.29/69.22	c cleaning 9999 clauses out of 20009 with flag 363001/1030303
71.79/69.79	c cleaning 9995 clauses out of 20009 with flag 373000/1040302
72.42/70.31	c cleaning 10006 clauses out of 20015 with flag 383001/1050303
72.91/70.84	c cleaning 9997 clauses out of 20008 with flag 393000/1060302
73.41/71.37	c cleaning 9994 clauses out of 20011 with flag 403000/1070302
74.01/71.91	c cleaning 10000 clauses out of 20018 with flag 413001/1080303
74.51/72.44	c cleaning 10005 clauses out of 20019 with flag 423002/1090304
75.02/72.99	c cleaning 10002 clauses out of 20014 with flag 433002/1100304
75.62/73.51	c cleaning 9998 clauses out of 20011 with flag 443001/1110303
76.12/74.01	c cleaning 9997 clauses out of 20012 with flag 453000/1120302
76.62/74.53	c cleaning 9999 clauses out of 20016 with flag 463001/1130303
77.12/75.01	c cleaning 10006 clauses out of 20017 with flag 473001/1140303
77.52/75.50	c cleaning 10001 clauses out of 20010 with flag 483000/1150302
78.13/76.08	c cleaning 9997 clauses out of 20012 with flag 493003/1160305
78.73/76.65	c cleaning 9995 clauses out of 20013 with flag 503001/1170303
79.23/77.18	c cleaning 10002 clauses out of 20018 with flag 513001/1180303
79.83/77.72	c cleaning 10001 clauses out of 20015 with flag 523000/1190302
80.33/78.24	c cleaning 9990 clauses out of 20016 with flag 533002/1200304
80.83/78.77	c cleaning 10007 clauses out of 20025 with flag 543001/1210303
81.34/79.24	c cleaning 10001 clauses out of 20017 with flag 553000/1220302
81.83/79.76	c cleaning 10003 clauses out of 20017 with flag 563001/1230303
82.34/80.29	c cleaning 9999 clauses out of 20013 with flag 573000/1240302
82.93/80.80	c cleaning 10001 clauses out of 20014 with flag 583000/1250302
83.45/81.32	c cleaning 10004 clauses out of 20013 with flag 593000/1260302
83.94/81.86	c cleaning 9999 clauses out of 20009 with flag 603000/1270302
84.44/82.37	c cleaning 10002 clauses out of 20010 with flag 613000/1280302
84.94/82.89	c cleaning 9997 clauses out of 20010 with flag 623002/1290304
85.54/83.42	c cleaning 10001 clauses out of 20011 with flag 633000/1300302
86.04/83.93	c cleaning 9997 clauses out of 20010 with flag 643000/1310302
86.64/84.55	c cleaning 10003 clauses out of 20015 with flag 653002/1320304
87.25/85.11	c cleaning 9999 clauses out of 20011 with flag 663001/1330303
87.75/85.70	c cleaning 10002 clauses out of 20012 with flag 673001/1340303
88.35/86.30	c cleaning 10002 clauses out of 20013 with flag 683004/1350306
89.06/86.94	c cleaning 10000 clauses out of 20010 with flag 693003/1360305
89.55/87.49	c cleaning 9998 clauses out of 20009 with flag 703002/1370304
90.06/88.00	c cleaning 9993 clauses out of 20009 with flag 713000/1380302
90.65/88.54	c cleaning 10003 clauses out of 20016 with flag 723000/1390302
91.26/89.12	c cleaning 9998 clauses out of 20013 with flag 733000/1400302
91.76/89.62	c cleaning 10004 clauses out of 20016 with flag 743001/1410303
92.16/90.10	c cleaning 10000 clauses out of 20012 with flag 753001/1420303
92.76/90.60	c cleaning 10000 clauses out of 20011 with flag 763000/1430302
93.26/91.10	c cleaning 10001 clauses out of 20012 with flag 773001/1440303
93.76/91.60	c cleaning 10001 clauses out of 20011 with flag 783001/1450303
94.26/92.10	c cleaning 10001 clauses out of 20009 with flag 793000/1460302
94.76/92.64	c cleaning 9998 clauses out of 20008 with flag 803000/1470302
95.26/93.19	c cleaning 10000 clauses out of 20011 with flag 813001/1480303
95.86/93.73	c cleaning 9997 clauses out of 20010 with flag 823000/1490302
96.36/94.25	c cleaning 10002 clauses out of 20015 with flag 833002/1500304
96.86/94.78	c cleaning 9999 clauses out of 20011 with flag 843000/1510302
97.36/95.28	c cleaning 10001 clauses out of 20012 with flag 853000/1520302
97.96/95.81	c cleaning 9995 clauses out of 20011 with flag 863000/1530302
98.47/96.36	c cleaning 10006 clauses out of 20017 with flag 873001/1540303
99.06/96.90	c cleaning 10001 clauses out of 20013 with flag 883003/1550305
99.57/97.44	c cleaning 9998 clauses out of 20010 with flag 893001/1560303
100.16/98.02	c cleaning 10004 clauses out of 20013 with flag 903002/1570304
101.17/99.05	c cleaning 9998 clauses out of 20007 with flag 913000/1580302
101.67/99.58	c cleaning 9999 clauses out of 20010 with flag 923001/1590303
102.17/100.10	c cleaning 10001 clauses out of 20011 with flag 933001/1600303
102.77/100.62	c cleaning 10004 clauses out of 20015 with flag 943006/1610308
103.27/101.17	c cleaning 9998 clauses out of 20007 with flag 953002/1620304
103.87/101.72	c cleaning 9994 clauses out of 20007 with flag 963000/1630302
104.38/102.24	c cleaning 9999 clauses out of 20013 with flag 973000/1640302
104.87/102.76	c cleaning 10004 clauses out of 20014 with flag 983000/1650302
105.37/103.30	c cleaning 10001 clauses out of 20010 with flag 993000/1660302
105.98/103.81	c cleaning 9999 clauses out of 20009 with flag 1003000/1670302
106.48/104.36	c cleaning 10002 clauses out of 20012 with flag 1013002/1680304
106.98/104.90	c cleaning 9996 clauses out of 20008 with flag 1023000/1690302
107.59/105.49	c cleaning 10000 clauses out of 20013 with flag 1033001/1700303
108.29/106.11	c cleaning 10002 clauses out of 20012 with flag 1043000/1710302
108.80/106.65	c cleaning 10002 clauses out of 20011 with flag 1053001/1720303
109.29/107.18	c cleaning 9997 clauses out of 20008 with flag 1063000/1730302
109.90/107.75	c cleaning 9996 clauses out of 20011 with flag 1073000/1740302
110.49/108.31	c cleaning 10000 clauses out of 20017 with flag 1083002/1750304
111.10/108.92	c cleaning 10004 clauses out of 20015 with flag 1093000/1760302
111.70/109.51	c cleaning 9994 clauses out of 20014 with flag 1103003/1770305
112.20/110.07	c cleaning 10001 clauses out of 20017 with flag 1113000/1780302
112.71/110.59	c cleaning 10005 clauses out of 20017 with flag 1123001/1790303
113.31/111.15	c cleaning 9998 clauses out of 20011 with flag 1133000/1800302
113.91/111.70	c cleaning 10005 clauses out of 20015 with flag 1143002/1810304
114.42/112.23	c cleaning 10000 clauses out of 20009 with flag 1153001/1820303
114.91/112.78	c cleaning 9995 clauses out of 20009 with flag 1163001/1830303
115.42/113.30	c cleaning 9992 clauses out of 20013 with flag 1173000/1840302
116.01/113.86	c cleaning 10007 clauses out of 20021 with flag 1183000/1850302
116.62/114.45	c cleaning 10005 clauses out of 20015 with flag 1193001/1860303
117.21/115.03	c cleaning 9996 clauses out of 20009 with flag 1203000/1870302
117.81/115.63	c cleaning 10004 clauses out of 20015 with flag 1213002/1880304
118.31/116.18	c cleaning 9998 clauses out of 20011 with flag 1223002/1890304
118.92/116.74	c cleaning 10000 clauses out of 20014 with flag 1233003/1900305
119.42/117.28	c cleaning 10003 clauses out of 20011 with flag 1243000/1910302
120.02/117.83	c cleaning 9992 clauses out of 20008 with flag 1253000/1920302
120.52/118.36	c cleaning 10005 clauses out of 20017 with flag 1263001/1930303
121.12/118.92	c cleaning 9998 clauses out of 20012 with flag 1273001/1940303
121.62/119.49	c cleaning 10004 clauses out of 20015 with flag 1283002/1950304
122.32/120.10	c cleaning 9998 clauses out of 20009 with flag 1293000/1960302
122.82/120.68	c cleaning 9996 clauses out of 20012 with flag 1303001/1970303
123.42/121.24	c cleaning 10004 clauses out of 20015 with flag 1313000/1980302
124.03/121.81	c cleaning 9999 clauses out of 20011 with flag 1323000/1990302
124.63/122.43	c cleaning 9999 clauses out of 20015 with flag 1333003/2000305
125.23/123.06	c cleaning 9990 clauses out of 20015 with flag 1343002/2010304
125.83/123.64	c cleaning 10003 clauses out of 20024 with flag 1353001/2020303
126.43/124.21	c cleaning 10000 clauses out of 20020 with flag 1363000/2030302
126.93/124.74	c cleaning 10006 clauses out of 20020 with flag 1373000/2040302
127.43/125.28	c cleaning 10006 clauses out of 20015 with flag 1383001/2050303
127.94/125.78	c cleaning 10001 clauses out of 20009 with flag 1393001/2060303
128.44/126.28	c cleaning 9999 clauses out of 20007 with flag 1403000/2070302
129.04/126.83	c cleaning 10001 clauses out of 20008 with flag 1413000/2080302
129.54/127.36	c cleaning 10000 clauses out of 20007 with flag 1423000/2090302
130.14/127.91	c cleaning 9995 clauses out of 20007 with flag 1433000/2100302
130.74/128.51	c cleaning 9999 clauses out of 20013 with flag 1443001/2110303
131.24/129.08	c cleaning 10004 clauses out of 20014 with flag 1453001/2120303
131.74/129.54	c cleaning 10003 clauses out of 20014 with flag 1463005/2130307
132.24/130.09	c cleaning 10001 clauses out of 20007 with flag 1473001/2140303
132.84/130.69	c cleaning 9994 clauses out of 20006 with flag 1483001/2150303
133.44/131.27	c cleaning 10001 clauses out of 20015 with flag 1493004/2160306
133.95/131.79	c cleaning 9998 clauses out of 20011 with flag 1503001/2170303
134.55/132.31	c cleaning 10003 clauses out of 20015 with flag 1513003/2180305
135.05/132.81	c cleaning 10000 clauses out of 20013 with flag 1523004/2190306
135.55/133.33	c cleaning 9994 clauses out of 20009 with flag 1533000/2200302
136.05/133.88	c cleaning 10000 clauses out of 20015 with flag 1543000/2210302
136.65/134.41	c cleaning 10000 clauses out of 20015 with flag 1553000/2220302
137.15/134.93	c cleaning 9999 clauses out of 20016 with flag 1563001/2230303
137.65/135.48	c cleaning 10005 clauses out of 20017 with flag 1573001/2240303
138.25/136.03	c cleaning 9999 clauses out of 20012 with flag 1583001/2250303
138.75/136.60	c cleaning 9996 clauses out of 20012 with flag 1593000/2260302
139.36/137.18	c cleaning 9998 clauses out of 20017 with flag 1603001/2270303
139.96/137.76	c cleaning 10006 clauses out of 20018 with flag 1613000/2280302
140.56/138.35	c cleaning 9994 clauses out of 20014 with flag 1623002/2290304
141.06/138.87	c cleaning 10003 clauses out of 20018 with flag 1633000/2300302
141.66/139.48	c cleaning 10003 clauses out of 20015 with flag 1643000/2310302
142.26/140.06	c cleaning 10002 clauses out of 20013 with flag 1653001/2320303
142.87/140.68	c cleaning 9994 clauses out of 20010 with flag 1663000/2330302
143.47/141.27	c cleaning 10005 clauses out of 20016 with flag 1673000/2340302
144.17/141.93	c cleaning 9998 clauses out of 20011 with flag 1683000/2350302
144.77/142.51	c cleaning 10003 clauses out of 20017 with flag 1693004/2360306
145.27/143.05	c cleaning 9992 clauses out of 20010 with flag 1703000/2370302
145.87/143.69	c cleaning 10003 clauses out of 20020 with flag 1713002/2380304
146.57/144.33	c cleaning 9998 clauses out of 20015 with flag 1723000/2390302
147.17/144.97	c cleaning 10005 clauses out of 20018 with flag 1733001/2400303
147.97/145.72	c cleaning 10003 clauses out of 20013 with flag 1743001/2410303
148.58/146.37	c cleaning 9989 clauses out of 20009 with flag 1753000/2420302
149.37/147.10	c cleaning 10007 clauses out of 20020 with flag 1763000/2430302
150.07/147.85	c cleaning 9992 clauses out of 20012 with flag 1773000/2440302
150.79/148.56	c cleaning 10003 clauses out of 20020 with flag 1783000/2450302
151.28/149.09	c starts		: 256
151.28/149.09	c conflicts		: 2457931
151.28/149.09	c decisions		: 4346949
151.28/149.09	c propagations		: 150559701
151.28/149.09	c inspects		: 1202723507
151.28/149.09	c shortcuts		: 0
151.28/149.09	c learnt literals	: 7
151.28/149.09	c learnt binary clauses	: 33
151.28/149.09	c learnt ternary clauses	: 1637
151.28/149.09	c learnt constraints	: 2457923
151.28/149.09	c ignored constraints	: 0
151.28/149.09	c root simplifications	: 0
151.28/149.09	c removed literals (reason simplification)	: 9983769
151.28/149.09	c reason swapping (by a shorter reason)	: 0
151.28/149.09	c Calls to reduceDB	: 254
151.28/149.09	c number of reductions to clauses (during analyze)	: 0
151.28/149.09	c number of learned constraints concerned by reduction	: 0
151.28/149.09	c number of learning phase by resolution	: 0
151.28/149.09	c number of learning phase by cutting planes	: 0
151.28/149.09	c speed (assignments/second)	: 1502891.8047514474
151.28/149.09	c non guided choices	3669
151.28/149.09	c learnt constraints type 
151.28/149.09	c constraints type 
151.28/149.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
151.28/149.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
151.28/149.09	s OPTIMUM FOUND
151.28/149.09	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 
151.28/149.09	c objective function=5
151.28/149.09	c Total wall clock time (in seconds): 148.992

Verifier Data 

OK	5

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-3492012-1307911214/watcher-3492012-1307911214 -o /var/tmp/evaluation-result-3492012-1307911214/solver-3492012-1307911214 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492012-1307911214.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.06 2.02 2.00 2/195 13755
/proc/meminfo: memFree=1369132/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 883537015 31272960 959 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 7635 959 732 9 0 386 0
[pid=13755/tid=13756] ppid=13753 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 883537015 31272960 960 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270338383675 0 0 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0202229 s]
/proc/loadavg: 2.06 2.02 2.00 2/195 13755
/proc/meminfo: memFree=1369132/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 9808 0 1 0 0 1 0 0 25 0 2 0 883537015 10694979584 9509 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2611120 9530 919 9 0 2602276 0
[pid=13755/tid=13756] ppid=13753 vsize=10444480 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 8719 0 1 0 0 0 0 0 25 0 2 0 883537015 10695147520 9535 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 47003053317296 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316

[startup+0.10021 s]
/proc/loadavg: 2.06 2.02 2.00 2/195 13755
/proc/meminfo: memFree=1369132/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10474884 CPUtime=0.1 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 13097 0 1 0 9 1 0 0 25 0 18 0 883537015 10726281216 12769 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2618721 12769 2093 9 0 2609455 0
[pid=13755/tid=13756] ppid=13753 vsize=10474884 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 11156 0 1 0 7 1 0 0 25 0 18 0 883537015 10726281216 12769 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270338074992 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474884

[startup+0.306169 s]
/proc/loadavg: 2.06 2.02 2.00 2/195 13755
/proc/meminfo: memFree=1369132/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10542180 CPUtime=0.53 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 17011 0 1 0 51 2 0 0 25 0 18 0 883537015 10795192320 15934 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2635545 15934 2206 9 0 2626279 0
[pid=13755/tid=13756] ppid=13753 vsize=10542180 CPUtime=0.29 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 13194 0 1 0 27 2 0 0 18 0 18 0 883537015 10795192320 15934 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 47003056572830 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542180

[startup+0.701106 s]
/proc/loadavg: 2.06 2.02 2.00 2/195 13755
/proc/meminfo: memFree=1369132/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=1.58 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 23721 0 1 0 155 3 0 0 25 0 19 0 883537015 10804609024 20302 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 20302 2236 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=0.69 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 14277 0 1 0 67 2 0 0 19 0 19 0 883537015 10804609024 20302 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 46912505793343 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10551376

[startup+1.50096 s]
/proc/loadavg: 2.22 2.06 2.01 3/214 13774
/proc/meminfo: memFree=1292680/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=2.51 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 25158 0 1 0 248 3 0 0 25 0 19 0 883537015 10804609024 21738 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 21738 2238 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=1.49 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 15699 0 1 0 147 2 0 0 20 0 19 0 883537015 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 47003057257299 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13755/tid=13758] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13758/stat : 13758 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13759] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13759/stat : 13759 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13760] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13760/stat : 13760 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13761] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13761/stat : 13761 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13762] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13762/stat : 13762 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537017 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883537018 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883537018 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=0.5 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 4480 0 0 0 50 0 0 0 15 0 19 0 883537020 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.5 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3819 0 0 0 50 0 0 0 24 0 19 0 883537020 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13772] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13772/stat : 13772 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13773] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13773/stat : 13773 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883537020 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13774] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13774/stat : 13774 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883537051 10804609024 21739 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10551376

[startup+3.10061 s]
/proc/loadavg: 2.22 2.06 2.01 3/214 13774
/proc/meminfo: memFree=1286496/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=4.18 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 28017 0 1 0 415 3 0 0 25 0 19 0 883537015 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 24591 2264 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=3.06 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 17020 0 1 0 304 2 0 0 25 0 19 0 883537015 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 46912505724960 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13755/tid=13758] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13758/stat : 13758 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13759] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13759/stat : 13759 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13760] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13760/stat : 13760 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13761] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13761/stat : 13761 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13762] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13762/stat : 13762 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 361 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 111 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 295 0 0 0 0 0 0 0 18 0 19 0 883537017 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=0.01 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 761 0 0 0 1 0 0 0 16 0 19 0 883537018 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=0.55 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 4490 0 0 0 55 0 0 0 15 0 19 0 883537020 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.52 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3823 0 0 0 52 0 0 0 15 0 19 0 883537020 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13772] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13772/stat : 13772 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13773] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13773/stat : 13773 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883537020 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13774] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13774/stat : 13774 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883537051 10804609024 24591 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 10551376

[startup+6.30101 s]
/proc/loadavg: 2.20 2.06 2.01 3/214 13774
/proc/meminfo: memFree=1256096/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=7.45 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 29060 0 1 0 741 4 0 0 25 0 19 0 883537015 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 25444 2264 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=6.19 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 17026 0 1 0 617 2 0 0 25 0 19 0 883537015 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 46912505695073 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13755/tid=13758] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13758/stat : 13758 (java) S 13753 13755 8455 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13759] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13759/stat : 13759 (java) S 13753 13755 8455 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13760] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13760/stat : 13760 (java) S 13753 13755 8455 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13761] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13761/stat : 13761 (java) S 13753 13755 8455 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13762] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13762/stat : 13762 (java) S 13753 13755 8455 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 479 0 0 0 0 0 0 0 15 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 305 0 0 0 0 0 0 0 15 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 19 0 883537017 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 1078 0 0 0 7 0 0 0 16 0 19 0 883537018 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=0.6 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 4506 0 0 0 60 0 0 0 15 0 19 0 883537020 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.52 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3824 0 0 0 52 0 0 0 15 0 19 0 883537020 10804609024 25444 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0

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

[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 491 0 0 0 9 0 0 0 16 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 315 0 0 0 7 0 0 0 15 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 334 0 0 0 7 0 0 0 16 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=4.14 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 1660 0 0 0 410 4 0 0 16 0 19 0 883537018 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=1.42 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 14073 0 0 0 141 1 0 0 16 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.55 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3826 0 0 0 55 0 0 0 15 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13772] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13772/stat : 13772 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13773] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13773/stat : 13773 (java) S 13753 13755 8455 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13774] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13774/stat : 13774 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883537051 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 146.17
Current children cumulated vsize (KiB) 10551376

[startup+147.101 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 13835
/proc/meminfo: memFree=1198632/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=149.37 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 39558 0 1 0 14927 10 0 0 25 0 19 0 883537015 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 31152 2265 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=142.51 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 17272 0 1 0 14248 3 0 0 25 0 19 0 883537015 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 46912506021313 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13755/tid=13758] ppid=13753 vsize=10551376 CPUtime=0.06 cores=0,2,4,6
/proc/13755/task/13758/stat : 13758 (java) S 13753 13755 8455 0 -1 4202560 24 0 0 0 6 0 0 0 15 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13759] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13759/stat : 13759 (java) S 13753 13755 8455 0 -1 4202560 18 0 0 0 8 0 0 0 16 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13760] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13760/stat : 13760 (java) S 13753 13755 8455 0 -1 4202560 27 0 0 0 8 0 0 0 16 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13761] ppid=13753 vsize=10551376 CPUtime=0.06 cores=0,2,4,6
/proc/13755/task/13761/stat : 13761 (java) S 13753 13755 8455 0 -1 4202560 182 0 0 0 6 0 0 0 16 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13762] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13762/stat : 13762 (java) S 13753 13755 8455 0 -1 4202560 175 0 0 0 9 0 0 0 15 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 491 0 0 0 9 0 0 0 15 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 315 0 0 0 7 0 0 0 15 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 334 0 0 0 7 0 0 0 15 0 19 0 883537017 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=4.21 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 1660 0 0 0 417 4 0 0 16 0 19 0 883537018 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=1.42 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 14073 0 0 0 141 1 0 0 16 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.55 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3826 0 0 0 55 0 0 0 15 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13772] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13772/stat : 13772 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13773] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13773/stat : 13773 (java) S 13753 13755 8455 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 883537020 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13774] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13774/stat : 13774 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883537051 10804609024 31152 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 149.37
Current children cumulated vsize (KiB) 10551376

[startup+147.901 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 13835
/proc/meminfo: memFree=1198508/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=150.17 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 39573 0 1 0 15007 10 0 0 25 0 19 0 883537015 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 31165 2265 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=143.27 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 17276 0 1 0 14324 3 0 0 25 0 19 0 883537015 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 46912505704284 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13755/tid=13758] ppid=13753 vsize=10551376 CPUtime=0.06 cores=0,2,4,6
/proc/13755/task/13758/stat : 13758 (java) S 13753 13755 8455 0 -1 4202560 24 0 0 0 6 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13759] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13759/stat : 13759 (java) S 13753 13755 8455 0 -1 4202560 18 0 0 0 8 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13760] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13760/stat : 13760 (java) S 13753 13755 8455 0 -1 4202560 27 0 0 0 8 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13761] ppid=13753 vsize=10551376 CPUtime=0.06 cores=0,2,4,6
/proc/13755/task/13761/stat : 13761 (java) S 13753 13755 8455 0 -1 4202560 182 0 0 0 6 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13762] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13762/stat : 13762 (java) S 13753 13755 8455 0 -1 4202560 175 0 0 0 9 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 491 0 0 0 9 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 315 0 0 0 7 0 0 0 15 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 334 0 0 0 7 0 0 0 16 0 19 0 883537017 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=4.25 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 1671 0 0 0 421 4 0 0 16 0 19 0 883537018 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=1.42 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 14073 0 0 0 141 1 0 0 16 0 19 0 883537020 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.55 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3826 0 0 0 55 0 0 0 15 0 19 0 883537020 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13772] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13772/stat : 13772 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13773] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13773/stat : 13773 (java) S 13753 13755 8455 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 883537020 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13774] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13774/stat : 13774 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883537051 10804609024 31165 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 150.17
Current children cumulated vsize (KiB) 10551376

[startup+148.701 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 13835
/proc/meminfo: memFree=1198508/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=10551376 CPUtime=150.98 cores=0,2,4,6
/proc/13755/stat : 13755 (java) S 13753 13755 8455 0 -1 4202496 39602 0 1 0 15088 10 0 0 25 0 19 0 883537015 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 2637844 31192 2265 9 0 2628578 0
[pid=13755/tid=13756] ppid=13753 vsize=10551376 CPUtime=144.06 cores=0,2,4,6
/proc/13755/task/13756/stat : 13756 (java) R 13753 13755 8455 0 -1 4202560 17277 0 1 0 14403 3 0 0 25 0 19 0 883537015 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 46912505696266 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13755/tid=13758] ppid=13753 vsize=10551376 CPUtime=0.06 cores=0,2,4,6
/proc/13755/task/13758/stat : 13758 (java) S 13753 13755 8455 0 -1 4202560 24 0 0 0 6 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13759] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13759/stat : 13759 (java) S 13753 13755 8455 0 -1 4202560 20 0 0 0 8 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13760] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13760/stat : 13760 (java) S 13753 13755 8455 0 -1 4202560 27 0 0 0 8 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13761] ppid=13753 vsize=10551376 CPUtime=0.06 cores=0,2,4,6
/proc/13755/task/13761/stat : 13761 (java) S 13753 13755 8455 0 -1 4202560 182 0 0 0 6 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
[pid=13755/tid=13762] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13762/stat : 13762 (java) S 13753 13755 8455 0 -1 4202560 175 0 0 0 9 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13763] ppid=13753 vsize=10551376 CPUtime=0.09 cores=0,2,4,6
/proc/13755/task/13763/stat : 13763 (java) S 13753 13755 8455 0 -1 4202560 491 0 0 0 9 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13764] ppid=13753 vsize=10551376 CPUtime=0.07 cores=0,2,4,6
/proc/13755/task/13764/stat : 13764 (java) S 13753 13755 8455 0 -1 4202560 315 0 0 0 7 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13765] ppid=13753 vsize=10551376 CPUtime=0.08 cores=0,2,4,6
/proc/13755/task/13765/stat : 13765 (java) S 13753 13755 8455 0 -1 4202560 338 0 0 0 8 0 0 0 15 0 19 0 883537017 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13766] ppid=13753 vsize=10551376 CPUtime=4.26 cores=0,2,4,6
/proc/13755/task/13766/stat : 13766 (java) S 13753 13755 8455 0 -1 4202560 1692 0 0 0 422 4 0 0 16 0 19 0 883537018 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 0 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13767] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13767/stat : 13767 (java) S 13753 13755 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13768] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13768/stat : 13768 (java) S 13753 13755 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883537018 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13769] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13769/stat : 13769 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350207409 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13770] ppid=13753 vsize=10551376 CPUtime=1.42 cores=0,2,4,6
/proc/13755/task/13770/stat : 13770 (java) S 13753 13755 8455 0 -1 4202560 14073 0 0 0 141 1 0 0 16 0 19 0 883537020 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 4 0 0 0
[pid=13755/tid=13771] ppid=13753 vsize=10551376 CPUtime=0.55 cores=0,2,4,6
/proc/13755/task/13771/stat : 13771 (java) S 13753 13755 8455 0 -1 4202560 3827 0 0 0 55 0 0 0 15 0 19 0 883537020 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13772] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13772/stat : 13772 (java) S 13753 13755 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883537020 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350199705 0 4 0 16800975 18446604453950645248 0 0 -1 2 0 0 0
[pid=13755/tid=13773] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13773/stat : 13773 (java) S 13753 13755 8455 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 883537020 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 0 0 0 0
[pid=13755/tid=13774] ppid=13753 vsize=10551376 CPUtime=0 cores=0,2,4,6
/proc/13755/task/13774/stat : 13774 (java) S 13753 13755 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883537051 10804609024 31192 33554432000 1073741824 1073778376 140736339227952 18446744073709551615 270350200320 0 4 0 16800975 18446604453950645248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 150.98
Current children cumulated vsize (KiB) 10551376

[startup+149.101 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 13835
/proc/meminfo: memFree=1198508/32951124 swapFree=67054448/67111528
[pid=13755] ppid=13753 vsize=0 CPUtime=151.39 cores=0,2,4,6
/proc/13755/stat : 13755 (java) R 13753 13755 8455 0 -1 4203524 39623 0 1 0 15128 11 0 0 18 0 1 0 883537015 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13755/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 151.39
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 149.105
CPU time (s): 151.404
CPU user time (s): 151.289
CPU system time (s): 0.114982
CPU usage (%): 101.542
Max. virtual memory (cumulated for all children) (KiB): 10551376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.289
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39623
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= 10409
involuntary context switches= 4302

runsolver used 0.293955 second user time and 0.527919 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-12 22:40:14
IDJOB=3492012
IDBENCH=79256
IDSOLVER=1982
FILE ID=node143/3492012-1307911214
RUNJOBID= node143-1307908050-12754
PBS_JOBID= 13559565
Free space on /var/tmp= 2916 MiB

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

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

MD5SUM BENCH= c6df963ff1848506ee15e7c5bdbc3c3f
RANDOM SEED=1778281876

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1369188 kB
Buffers:         65040 kB
Cached:       30490268 kB
SwapCached:       9484 kB
Active:       15885004 kB
Inactive:     14750832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1369188 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:            1052 kB
Writeback:           8 kB
AnonPages:       77316 kB
Mapped:          21104 kB
Slab:           882828 kB
PageTables:       4560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10546224 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 node143 at 2011-06-12 22:42:43