Trace number 2691717

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 PB CuttingPlanes 2.2.0 2010-05-26MSAT (TO) 1800.19 1661.59

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MD5SUMaacdee42f12f02195344334122667810
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark203.379
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c version 2.2.0.v20100526
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) Server VM
0.01/0.07	c java.vm.version	11.2-b01
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	32
0.01/0.07	c java.version		1.6.0_12
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.18-164.el5
0.01/0.07	c os.arch		i386
0.01/0.07	c Free memory 		1393557488
0.01/0.07	c Max memory 		1395916800
0.01/0.07	c Total memory 		1395916800
0.01/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c Stops conflict analysis at the first Unique Implication Point
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-2691717-1277930053.wbo
0.11/0.10	c reading problem ... 
0.52/0.31	c ... done. Wall clock time 0.205s.
0.52/0.31	c #vars     2938
0.52/0.31	c #constraints  2707
0.52/0.31	c constraints type 
0.52/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22
0.52/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684
0.52/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
2.61/1.08	c SATISFIABLE
2.61/1.08	c OPTIMIZING...
2.61/1.08	c Got one! Elapsed wall clock time (in seconds):0.975
2.61/1.08	o 840
3.11/1.39	c Got one! Elapsed wall clock time (in seconds):1.294
3.11/1.39	o 828
3.98/1.84	c Got one! Elapsed wall clock time (in seconds):1.74
3.98/1.84	o 823
4.31/2.19	c Got one! Elapsed wall clock time (in seconds):2.092
4.31/2.19	o 749
4.87/2.68	c Got one! Elapsed wall clock time (in seconds):2.575
4.87/2.68	o 747
5.98/3.66	c Got one! Elapsed wall clock time (in seconds):3.559
5.98/3.66	o 740
6.51/4.19	c Got one! Elapsed wall clock time (in seconds):4.094
6.51/4.19	o 726
7.34/4.91	c Got one! Elapsed wall clock time (in seconds):4.815
7.34/4.91	o 720
8.47/6.02	c Got one! Elapsed wall clock time (in seconds):5.923
8.47/6.02	o 716
10.51/8.09	c Got one! Elapsed wall clock time (in seconds):7.991
10.51/8.09	o 707
11.43/8.94	c Got one! Elapsed wall clock time (in seconds):8.839
11.43/8.94	o 702
12.75/10.20	c Got one! Elapsed wall clock time (in seconds):10.098
12.75/10.20	o 690
15.82/13.26	c Got one! Elapsed wall clock time (in seconds):13.155
15.82/13.26	o 636
19.18/16.59	c Got one! Elapsed wall clock time (in seconds):16.492
19.18/16.59	o 594
25.20/22.49	c Got one! Elapsed wall clock time (in seconds):22.395
25.20/22.49	o 589
26.74/23.94	c Got one! Elapsed wall clock time (in seconds):23.841
26.74/23.94	o 584
31.02/28.16	c Got one! Elapsed wall clock time (in seconds):28.058
31.02/28.16	o 581
34.30/31.36	c Got one! Elapsed wall clock time (in seconds):31.261
34.30/31.36	o 560
39.80/36.79	c Got one! Elapsed wall clock time (in seconds):36.685
39.80/36.79	o 559
48.93/45.69	c Got one! Elapsed wall clock time (in seconds):45.591
48.93/45.69	o 553
62.85/59.30	c cleaning 0 clauses out of 5002 with flag 0/5002
65.12/61.41	c Got one! Elapsed wall clock time (in seconds):61.305
65.12/61.41	o 519
68.42/64.68	c Got one! Elapsed wall clock time (in seconds):64.576
68.42/64.68	o 512
72.29/68.41	c Got one! Elapsed wall clock time (in seconds):68.314
72.29/68.41	o 504
82.09/78.00	c Got one! Elapsed wall clock time (in seconds):77.895
82.09/78.00	o 461
100.11/95.39	c Got one! Elapsed wall clock time (in seconds):95.289
100.11/95.39	o 431
115.28/110.18	c Got one! Elapsed wall clock time (in seconds):110.082
115.28/110.18	o 374
140.99/135.17	c Got one! Elapsed wall clock time (in seconds):135.072
140.99/135.17	o 373
192.47/185.09	c Got one! Elapsed wall clock time (in seconds):184.989
192.47/185.09	o 371
197.94/190.31	c Got one! Elapsed wall clock time (in seconds):190.213
197.94/190.31	o 370
205.34/197.56	c Got one! Elapsed wall clock time (in seconds):197.458
205.34/197.56	o 366
223.19/214.53	c Got one! Elapsed wall clock time (in seconds):214.433
223.19/214.53	o 357
269.27/258.27	c Got one! Elapsed wall clock time (in seconds):258.17
269.27/258.27	o 349
304.77/292.29	c Got one! Elapsed wall clock time (in seconds):292.189
304.77/292.29	o 340
405.79/387.09	c Got one! Elapsed wall clock time (in seconds):386.988
405.79/387.09	o 330
429.61/410.09	c cleaning 0 clauses out of 11001 with flag 0/11001
487.82/465.89	c Got one! Elapsed wall clock time (in seconds):465.792
487.82/465.89	o 313
626.61/598.76	c Got one! Elapsed wall clock time (in seconds):598.657
626.61/598.76	o 300
706.54/672.77	c Got one! Elapsed wall clock time (in seconds):672.668
706.54/672.77	o 298
847.21/801.57	c Got one! Elapsed wall clock time (in seconds):801.469
847.21/801.57	o 289
896.77/847.82	c Got one! Elapsed wall clock time (in seconds):847.717
896.77/847.82	o 258
1428.47/1320.51	c Got one! Elapsed wall clock time (in seconds):1320.407
1428.47/1320.51	o 248
1568.71/1449.61	c Got one! Elapsed wall clock time (in seconds):1449.508
1568.71/1449.61	o 227
1780.39/1644.29	c cleaning 0 clauses out of 18000 with flag 0/18000
1800.06/1661.51	c starts		: 85
1800.06/1661.51	c conflicts		: 18024
1800.06/1661.51	c decisions		: 319431
1800.06/1661.51	c propagations		: 1999168
1800.06/1661.51	c inspects		: 870790719
1800.06/1661.51	c learnt literals	: 0
1800.06/1661.51	c learnt binary clauses	: 0
1800.06/1661.51	c learnt ternary clauses	: 0
1800.06/1661.51	c learnt clauses	: 18023
1800.06/1661.51	c ignored clauses	: 0
1800.06/1661.51	c root simplifications	: 0
1800.06/1661.51	c removed literals (reason simplification)	: 0
1800.06/1661.51	c reason swapping (by a shorter reason)	: 0
1800.06/1661.51	c Calls to reduceDB	: 3
1800.06/1661.51	c number of reductions to clauses (during analyze)	: 0
1800.06/1661.51	c number of learned constraints concerned by reduction	: 0
1800.06/1661.51	c number of learning phase by resolution	: 0
1800.06/1661.51	c number of learning phase by cutting planes	: 0
1800.06/1661.51	c speed (assignments/second)	: 9434.666062596747
1800.06/1661.51	c non guided choices	4069
1800.06/1661.52	c learnt constraints type 
1800.06/1661.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10
1800.06/1661.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18013
1800.06/1661.52	c constraints type 
1800.06/1661.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22
1800.06/1661.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684
1800.06/1661.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1800.06/1661.52	s SATISFIABLE
1800.06/1661.52	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 
1800.06/1661.52	c objective function=227
1800.06/1661.52	c Total wall clock time (in seconds): 1661.424

Verifier Data 

OK	188

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691717-1277930053/watcher-2691717-1277930053 -o /tmp/evaluation-result-2691717-1277930053/solver-2691717-1277930053 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691717-1277930053.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.01 2.02 3/178 18874
/proc/meminfo: memFree=30672820/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=13164 CPUtime=0
/proc/18874/stat : 18874 (java) R 18872 18874 18726 0 -1 4194304 904 0 0 0 0 0 0 0 21 0 1 0 134301149 13479936 410 4089446400 134512640 134550932 4293117120 18446744073709551615 3749509 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18874/statm: 3291 416 143 10 0 1121 0

[startup+0.0287319 s]
/proc/loadavg: 1.93 2.01 2.02 3/178 18874
/proc/meminfo: memFree=30672820/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1525320 CPUtime=0.01
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 3631 0 1 0 1 0 0 0 21 0 13 0 134301149 1561927680 3072 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 381330 3076 1023 10 0 378640 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1525320

[startup+0.100708 s]
/proc/loadavg: 1.93 2.01 2.02 3/178 18874
/proc/meminfo: memFree=30672820/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1529892 CPUtime=0.11
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 5199 0 1 0 11 0 0 0 21 0 18 0 134301149 1566609408 4636 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 382473 4637 1347 10 0 379775 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1529892

[startup+0.300664 s]
/proc/loadavg: 1.93 2.01 2.02 3/178 18874
/proc/meminfo: memFree=30672820/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1532040 CPUtime=0.52
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 7645 0 1 0 51 1 0 0 21 0 18 0 134301149 1568808960 6983 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 383010 6986 1411 10 0 380312 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 1532040

[startup+0.700609 s]
/proc/loadavg: 1.93 2.01 2.02 3/178 18874
/proc/meminfo: memFree=30672820/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1550496 CPUtime=1.71
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 18594 0 1 0 168 3 0 0 21 0 19 0 134301149 1587707904 14929 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387624 14929 1420 10 0 384926 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 1550496

[startup+1.50148 s]
/proc/loadavg: 1.93 2.01 2.02 5/197 18893
/proc/meminfo: memFree=30568200/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1549332 CPUtime=3.4
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 45098 0 1 0 334 6 0 0 21 0 19 0 134301149 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387333 38863 1444 10 0 384635 0
[pid=18874/tid=18876] ppid=18872 vsize=1549332 CPUtime=1.47
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 32091 0 1 0 143 4 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4109125553 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18878] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18878/stat : 18878 (java) S 18872 18874 18726 0 -1 4202560 248 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18879] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18879/stat : 18879 (java) S 18872 18874 18726 0 -1 4202560 198 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18880] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18880/stat : 18880 (java) S 18872 18874 18726 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18881] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18881/stat : 18881 (java) S 18872 18874 18726 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18882] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 134301150 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 134301151 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1549332 CPUtime=0.92
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3026 0 0 0 92 0 0 0 15 0 19 0 134301154 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1549332 CPUtime=0.98
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 8197 0 0 0 97 1 0 0 15 0 19 0 134301154 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134301154 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1586515968 38863 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 1549332

[startup+3.10115 s]
/proc/loadavg: 1.93 2.01 2.02 3/197 18893
/proc/meminfo: memFree=30516624/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1549332 CPUtime=5.45
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 50805 0 1 0 538 7 0 0 21 0 19 0 134301149 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387333 43301 1444 10 0 384635 0
[pid=18874/tid=18876] ppid=18872 vsize=1549332 CPUtime=3.05
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 32096 0 1 0 301 4 0 0 18 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4109161195 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1549332 CPUtime=0.01
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 951 0 0 0 1 0 0 0 16 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18878] ppid=18872 vsize=1549332 CPUtime=0.01
/proc/18874/task/18878/stat : 18878 (java) S 18872 18874 18726 0 -1 4202560 864 0 0 0 1 0 0 0 15 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18879] ppid=18872 vsize=1549332 CPUtime=0.01
/proc/18874/task/18879/stat : 18879 (java) S 18872 18874 18726 0 -1 4202560 970 0 0 0 1 0 0 0 16 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18880] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18880/stat : 18880 (java) S 18872 18874 18726 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18881] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18881/stat : 18881 (java) S 18872 18874 18726 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18882] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 828 0 0 0 0 0 0 0 16 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1549332 CPUtime=0.01
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 1045 0 0 0 1 0 0 0 16 0 19 0 134301150 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 134301151 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1549332 CPUtime=1.13
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3046 0 0 0 113 0 0 0 15 0 19 0 134301154 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1549332 CPUtime=1.17
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 9455 0 0 0 116 1 0 0 15 0 19 0 134301154 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134301154 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1586515968 43301 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 1549332

[startup+6.3016 s]
/proc/loadavg: 1.94 2.01 2.02 3/197 18893
/proc/meminfo: memFree=30478556/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1549332 CPUtime=8.77
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 58646 0 1 0 868 9 0 0 21 0 19 0 134301149 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387333 50544 1444 10 0 384635 0
[pid=18874/tid=18876] ppid=18872 vsize=1549332 CPUtime=6.21
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 35205 0 1 0 617 4 0 0 22 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4109411644 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1549332 CPUtime=0.03
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 1519 0 0 0 3 0 0 0 16 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18878] ppid=18872 vsize=1549332 CPUtime=0.01
/proc/18874/task/18878/stat : 18878 (java) S 18872 18874 18726 0 -1 4202560 1176 0 0 0 1 0 0 0 15 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18879] ppid=18872 vsize=1549332 CPUtime=0.02
/proc/18874/task/18879/stat : 18879 (java) S 18872 18874 18726 0 -1 4202560 1510 0 0 0 2 0 0 0 15 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18880] ppid=18872 vsize=1549332 CPUtime=0.02
/proc/18874/task/18880/stat : 18880 (java) S 18872 18874 18726 0 -1 4202560 1242 0 0 0 2 0 0 0 15 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18881] ppid=18872 vsize=1549332 CPUtime=0.02
/proc/18874/task/18881/stat : 18881 (java) S 18872 18874 18726 0 -1 4202560 1181 0 0 0 2 0 0 0 15 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18882] ppid=18872 vsize=1549332 CPUtime=0.01
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 434 0 0 0 1 0 0 0 15 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1549332 CPUtime=0.02
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 1241 0 0 0 2 0 0 0 15 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1549332 CPUtime=0.02
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 1539 0 0 0 2 0 0 0 16 0 19 0 134301150 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 134301151 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1549332 CPUtime=1.14
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3046 0 0 0 114 0 0 0 15 0 19 0 134301154 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1549332 CPUtime=1.17
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 9455 0 0 0 116 1 0 0 15 0 19 0 134301154 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134301154 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1549332 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1586515968 50544 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.77
Current children cumulated vsize (KiB) 1549332

[startup+12.7014 s]
/proc/loadavg: 1.94 2.01 2.02 3/197 18893
/proc/meminfo: memFree=30466760/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1549332 CPUtime=15.31
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 61996 0 1 0 1519 12 0 0 21 0 19 0 134301149 1586515968 53567 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387333 53567 1444 10 0 384635 0
[pid=18874/tid=18876] ppid=18872 vsize=1549332 CPUtime=12.57
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 35367 0 1 0 1253 4 0 0 22 0 19 0 134301150 1586515968 53567 4089446400 134512640 134550932 4293117120 18446744073709551615 4109168828 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1549332 CPUtime=0.06
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 2041 0 0 0 6 0 0 0 15 0 19 0 134301150 1586515968 53567 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0

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

[pid=18874/tid=18882] ppid=18872 vsize=1551380 CPUtime=18.34
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 24655 0 0 0 1501 333 0 0 16 0 19 0 134301150 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1551380 CPUtime=18.62
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 26145 0 0 0 1503 359 0 0 16 0 19 0 134301150 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1551380 CPUtime=18.29
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 26003 0 0 0 1498 331 0 0 16 0 19 0 134301150 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1551380 CPUtime=1.63
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 204 0 0 0 87 76 0 0 15 0 19 0 134301151 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1551380 CPUtime=1.56
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3098 0 0 0 156 0 0 0 15 0 19 0 134301154 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1551380 CPUtime=1.18
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 9464 0 0 0 117 1 0 0 15 0 19 0 134301154 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 134301154 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1588613120 240033 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.84
Current children cumulated vsize (KiB) 1551380

[startup+1602.3 s]
/proc/loadavg: 2.41 2.16 2.05 3/215 18982
/proc/meminfo: memFree=29956864/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1551380 CPUtime=1732.01
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 264026 0 1 0 170387 2814 0 0 21 0 19 0 134301149 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387845 245159 1450 10 0 385147 0
[pid=18874/tid=18876] ppid=18872 vsize=1551380 CPUtime=1574.69
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 39093 0 1 0 157456 13 0 0 25 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4109405961 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1551380 CPUtime=18.7
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 26269 0 0 0 1565 305 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 7 0 0 0
[pid=18874/tid=18878] ppid=18872 vsize=1551380 CPUtime=19.07
/proc/18874/task/18878/stat : 18878 (java) S 18872 18874 18726 0 -1 4202560 26272 0 0 0 1572 335 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18879] ppid=18872 vsize=1551380 CPUtime=18.95
/proc/18874/task/18879/stat : 18879 (java) S 18872 18874 18726 0 -1 4202560 27803 0 0 0 1576 319 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18880] ppid=18872 vsize=1551380 CPUtime=19.34
/proc/18874/task/18880/stat : 18880 (java) S 18872 18874 18726 0 -1 4202560 26258 0 0 0 1559 375 0 0 15 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18881] ppid=18872 vsize=1551380 CPUtime=19.14
/proc/18874/task/18881/stat : 18881 (java) S 18872 18874 18726 0 -1 4202560 25541 0 0 0 1595 319 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18882] ppid=18872 vsize=1551380 CPUtime=19.08
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 25352 0 0 0 1556 352 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1551380 CPUtime=19.45
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 26849 0 0 0 1575 370 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1551380 CPUtime=19.07
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 26662 0 0 0 1566 341 0 0 16 0 19 0 134301150 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1551380 CPUtime=1.68
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 208 0 0 0 89 79 0 0 15 0 19 0 134301151 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1551380 CPUtime=1.56
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3098 0 0 0 156 0 0 0 15 0 19 0 134301154 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1551380 CPUtime=1.18
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 9464 0 0 0 117 1 0 0 15 0 19 0 134301154 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 134301154 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1588613120 245159 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1732.01
Current children cumulated vsize (KiB) 1551380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1661.5 s]
/proc/loadavg: 2.58 2.23 2.08 3/215 18992
/proc/meminfo: memFree=29913916/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1551380 CPUtime=1800.06
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 274995 0 1 0 176995 3011 0 0 21 0 19 0 134301149 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387845 255513 1450 10 0 385147 0
[pid=18874/tid=18876] ppid=18872 vsize=1551380 CPUtime=1631.32
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 39249 0 1 0 163119 13 0 0 25 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4109125448 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1551380 CPUtime=20.05
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 27640 0 0 0 1666 339 0 0 15 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18878] ppid=18872 vsize=1551380 CPUtime=20.41
/proc/18874/task/18878/stat : 18878 (java) S 18872 18874 18726 0 -1 4202560 27670 0 0 0 1686 355 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18879] ppid=18872 vsize=1551380 CPUtime=20.15
/proc/18874/task/18879/stat : 18879 (java) S 18872 18874 18726 0 -1 4202560 29029 0 0 0 1675 340 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18880] ppid=18872 vsize=1551380 CPUtime=20.6
/proc/18874/task/18880/stat : 18880 (java) S 18872 18874 18726 0 -1 4202560 27306 0 0 0 1658 402 0 0 15 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18881] ppid=18872 vsize=1551380 CPUtime=20.47
/proc/18874/task/18881/stat : 18881 (java) S 18872 18874 18726 0 -1 4202560 26741 0 0 0 1700 347 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 7 0 0 0
[pid=18874/tid=18882] ppid=18872 vsize=1551380 CPUtime=20.35
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 26680 0 0 0 1656 379 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1551380 CPUtime=20.7
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 28502 0 0 0 1682 388 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1551380 CPUtime=20.4
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 28087 0 0 0 1680 360 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1551380 CPUtime=2.56
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 212 0 0 0 174 82 0 0 15 0 19 0 134301151 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1551380 CPUtime=1.75
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3253 0 0 0 175 0 0 0 16 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1551380 CPUtime=1.19
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 9465 0 0 0 118 1 0 0 15 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1551380

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1661.5 s]
/proc/loadavg: 2.58 2.23 2.08 3/215 18992
/proc/meminfo: memFree=29913916/32951124 swapFree=67111528/67111528
[pid=18874] ppid=18872 vsize=1551380 CPUtime=1800.06
/proc/18874/stat : 18874 (java) S 18872 18874 18726 0 -1 4202496 274995 0 1 0 176995 3011 0 0 21 0 19 0 134301149 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18874/statm: 387845 255513 1450 10 0 385147 0
[pid=18874/tid=18876] ppid=18872 vsize=1551380 CPUtime=1631.32
/proc/18874/task/18876/stat : 18876 (java) R 18872 18874 18726 0 -1 4202560 39249 0 1 0 163119 13 0 0 25 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4109125448 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18874/tid=18877] ppid=18872 vsize=1551380 CPUtime=20.05
/proc/18874/task/18877/stat : 18877 (java) S 18872 18874 18726 0 -1 4202560 27640 0 0 0 1666 339 0 0 15 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 5 0 0 0
[pid=18874/tid=18878] ppid=18872 vsize=1551380 CPUtime=20.41
/proc/18874/task/18878/stat : 18878 (java) S 18872 18874 18726 0 -1 4202560 27670 0 0 0 1686 355 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18879] ppid=18872 vsize=1551380 CPUtime=20.15
/proc/18874/task/18879/stat : 18879 (java) S 18872 18874 18726 0 -1 4202560 29029 0 0 0 1675 340 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18880] ppid=18872 vsize=1551380 CPUtime=20.6
/proc/18874/task/18880/stat : 18880 (java) S 18872 18874 18726 0 -1 4202560 27306 0 0 0 1658 402 0 0 15 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18881] ppid=18872 vsize=1551380 CPUtime=20.47
/proc/18874/task/18881/stat : 18881 (java) S 18872 18874 18726 0 -1 4202560 26741 0 0 0 1700 347 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 7 0 0 0
[pid=18874/tid=18882] ppid=18872 vsize=1551380 CPUtime=20.35
/proc/18874/task/18882/stat : 18882 (java) S 18872 18874 18726 0 -1 4202560 26680 0 0 0 1656 379 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18883] ppid=18872 vsize=1551380 CPUtime=20.7
/proc/18874/task/18883/stat : 18883 (java) S 18872 18874 18726 0 -1 4202560 28502 0 0 0 1682 388 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 4 0 0 0
[pid=18874/tid=18884] ppid=18872 vsize=1551380 CPUtime=20.4
/proc/18874/task/18884/stat : 18884 (java) S 18872 18874 18726 0 -1 4202560 28087 0 0 0 1680 360 0 0 16 0 19 0 134301150 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 0 0 0 0
[pid=18874/tid=18885] ppid=18872 vsize=1551380 CPUtime=2.56
/proc/18874/task/18885/stat : 18885 (java) S 18872 18874 18726 0 -1 4202560 212 0 0 0 174 82 0 0 15 0 19 0 134301151 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 0 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18886] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18886/stat : 18886 (java) S 18872 18874 18726 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18887] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18887/stat : 18887 (java) S 18872 18874 18726 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134301152 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18888] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18888/stat : 18888 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 1 0 0 0
[pid=18874/tid=18889] ppid=18872 vsize=1551380 CPUtime=1.75
/proc/18874/task/18889/stat : 18889 (java) S 18872 18874 18726 0 -1 4202560 3253 0 0 0 175 0 0 0 16 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 2 0 0 0
[pid=18874/tid=18890] ppid=18872 vsize=1551380 CPUtime=1.19
/proc/18874/task/18890/stat : 18890 (java) S 18872 18874 18726 0 -1 4202560 9465 0 0 0 118 1 0 0 15 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18891] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18891/stat : 18891 (java) S 18872 18874 18726 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 3 0 0 0
[pid=18874/tid=18892] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18892/stat : 18892 (java) S 18872 18874 18726 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 134301154 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
[pid=18874/tid=18893] ppid=18872 vsize=1551380 CPUtime=0
/proc/18874/task/18893/stat : 18893 (java) S 18872 18874 18726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 134301187 1588613120 255513 4089446400 134512640 134550932 4293117120 18446744073709551615 4294960144 0 4 0 16800975 18446604471126634560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1551380

Child status: 143
Real time (s): 1661.59
CPU time (s): 1800.19
CPU user time (s): 1770.03
CPU system time (s): 30.1614
CPU usage (%): 108.341
Max. virtual memory (cumulated for all children) (KiB): 1551380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.03
system time used= 30.1614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275018
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= 137112
involuntary context switches= 7314526

runsolver used 3.01154 second user time and 6.19406 second system time

The end

Launcher Data 

Begin job on node138 at 2010-06-30 22:34:13
IDJOB=2691717
IDBENCH=79303
IDSOLVER=1203
FILE ID=node138/2691717-1277930053
PBS_JOBID= 11197421
Free space on /tmp= 74132 MiB

SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691717-1277930053/watcher-2691717-1277930053 -o /tmp/evaluation-result-2691717-1277930053/solver-2691717-1277930053 -C 1800 -W 2000 -M 3800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691717-1277930053.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= aacdee42f12f02195344334122667810
RANDOM SEED=708279687

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30672844 kB
Buffers:        217420 kB
Cached:        1480224 kB
SwapCached:          0 kB
Active:        1084256 kB
Inactive:      1044428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30672844 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             476 kB
Writeback:           0 kB
AnonPages:      430976 kB
Mapped:          17456 kB
Slab:            83816 kB
PageTables:       5384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   585344 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 /tmp at the end= 74140 MiB
End job on node138 at 2010-06-30 23:01:56