Trace number 4285554

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
OscaR - Parallel with EPS 2017-08-22SAT 17.4088 18.9436

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20/
TravellingSalesman-20-142_X2.xml
MD5SUMd56953f82a267c4c8ee700c959d37f45
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.3958201
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints230
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":180,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree20
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":39},{"degree":20,"count":20}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":210},{"arity":3,"count":20}]
Number of extensional constraints230
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":230}]
Optimization problemNO
Type of objective

Solver Data

0.20/12.00	c version: 2017-08-22
0.20/12.00	c seed: 12175267
0.20/12.00	c timeout: 20160
0.20/12.00	c memlimit: 22000
0.20/12.00	c nbcore: 8
0.39/12.03	c Parsing instance...
1.44/12.44	c Parsing done, starting search...
17.33/18.91	s SATISFIABLE
17.33/18.91	v <instantiation>
17.33/18.91	v 	<list>
17.33/18.91	v 		w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18]
17.33/18.91	v 	</list>
17.33/18.91	v 	<values>
17.33/18.91	v 		179 0 20 6 16 8 17 10 4 19 12 18 3 2 5 15 1 13 7 11 14 9 18 11 2 26 6 3 4 1 13 2 3 0 23 11 7 8 0 4 29 8 29 31 57 63 66 70 71 84 86 89 89 112 123 130 138 138 142 171 179 
17.33/18.91	v 	</values>
17.33/18.91	v </instantiation>

Verifier Data

OK	

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15439 MiB free)
  memory of node 1: 16384 MiB (15726 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285554-1503449383/watcher-4285554-1503449383 -o /tmp/evaluation-result-4285554-1503449383/solver-4285554-1503449383 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 12175267 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285554-1503449383.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8004, runsolver pid=8001
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 6.21 8.21 8.53 1/173 8005
/proc/meminfo: memFree=31914660/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.208923 s]*
/proc/loadavg: 6.21 8.21 8.53 1/173 8005
/proc/meminfo: memFree=31914660/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.308435 s]*
/proc/loadavg: 6.21 8.21 8.53 1/173 8005
/proc/meminfo: memFree=31914660/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.700324 s]
/proc/loadavg: 6.21 8.21 8.53 1/173 8005
/proc/meminfo: memFree=31914660/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+1.50034 s]
/proc/loadavg: 6.21 8.21 8.53 1/173 8005
/proc/meminfo: memFree=31914724/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+3.10833 s]
/proc/loadavg: 5.79 8.09 8.49 1/173 8005
/proc/meminfo: memFree=31915020/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
heavy processes:

[startup+6.30032 s]
/proc/loadavg: 5.79 8.09 8.49 1/173 8005
/proc/meminfo: memFree=31913964/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=33976 memory=456 CPUtime=0 cores=0-7
/proc/8004/stat : 8004 (runsolver) D 8001 8004 2337 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 2822326 34791424 114 18446744073709551615 4194304 4346622 140725669134384 140725669131016 139658523927255 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 32169984 140725669138498 140725669138979 140725669138979 140725669142474 0
/proc/8004/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
heavy processes:

[startup+12.7071 s]
/proc/loadavg: 5.41 7.97 8.45 2/192 8024
/proc/meminfo: memFree=31883732/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=26000724 memory=143040 CPUtime=2.32 cores=0-7
/proc/8004/stat : 8004 (java) S 8001 8004 2337 0 -1 1077944320 20193 0 0 0 223 9 0 0 20 0 20 0 2822326 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140737238904800 140644086632183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 1167 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
/proc/8004/statm: 6500181 35760 3760 1 0 6488954 0
[pid=8004/tid=8006] ppid=8001 vsize=26000724 memory=164 CPUtime=0.94 cores=0-7
/proc/8004/task/8006/stat : 8006 (java) R 8001 8004 2337 0 -1 4202560 13360 0 0 0 88 6 0 0 20 0 20 0 2823493 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644090865824 140644086644118 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8007] ppid=8001 vsize=26000724 memory=-1 CPUtime=0 cores=0-7
/proc/8004/task/8007/stat : 8007 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644013558416 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8008] ppid=8001 vsize=26000724 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8008/stat : 8008 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644012505616 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8009] ppid=8001 vsize=26000724 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8009/stat : 8009 (java) S 8001 8004 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644011452816 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8010] ppid=8001 vsize=26000724 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8010/stat : 8010 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644010400016 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8011] ppid=8001 vsize=26000724 memory=6716 CPUtime=0 cores=0-7
/proc/8004/task/8011/stat : 8011 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644009348240 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8012] ppid=8001 vsize=26000724 memory=1292 CPUtime=0 cores=0-7
/proc/8004/task/8012/stat : 8012 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644008295440 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8013] ppid=8001 vsize=26000724 memory=2408 CPUtime=0 cores=0-7
/proc/8004/task/8013/stat : 8013 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140644007242640 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8014] ppid=8001 vsize=26000724 memory=1728 CPUtime=0 cores=0-7
/proc/8004/task/8014/stat : 8014 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643641875216 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8015] ppid=8001 vsize=26000724 memory=1696 CPUtime=0 cores=0-7
/proc/8004/task/8015/stat : 8015 (java) S 8001 8004 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2823496 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643487725936 140644086643330 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8016] ppid=8001 vsize=26000724 memory=5376 CPUtime=0 cores=0-7
/proc/8004/task/8016/stat : 8016 (java) S 8001 8004 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2823496 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643486671904 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8017] ppid=8001 vsize=26000724 memory=4612 CPUtime=0 cores=0-7
/proc/8004/task/8017/stat : 8017 (java) S 8001 8004 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2823496 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643485619056 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8018] ppid=8001 vsize=26000724 memory=792 CPUtime=0 cores=0-7
/proc/8004/task/8018/stat : 8018 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2823499 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643484567376 140644086650779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8019] ppid=8001 vsize=26000724 memory=1012 CPUtime=0.33 cores=0-7
/proc/8004/task/8019/stat : 8019 (java) S 8001 8004 2337 0 -1 1077944384 1382 0 0 0 33 0 0 0 20 0 20 0 2823499 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643483515760 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8020] ppid=8001 vsize=26000724 memory=10936 CPUtime=0.32 cores=0-7
/proc/8004/task/8020/stat : 8020 (java) R 8001 8004 2337 0 -1 4202560 1578 0 0 0 32 0 0 0 20 0 20 0 2823499 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643482447400 140644070115514 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8021] ppid=8001 vsize=26000724 memory=456 CPUtime=0.31 cores=0-7
/proc/8004/task/8021/stat : 8021 (java) R 8001 8004 2337 0 -1 4202560 986 0 0 0 31 0 0 0 20 0 20 0 2823499 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643481397840 140644066481600 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8022] ppid=8001 vsize=26000724 memory=2012 CPUtime=0.36 cores=0-7
/proc/8004/task/8022/stat : 8022 (java) S 8001 8004 2337 0 -1 1077944384 1497 0 0 0 36 0 0 0 20 0 20 0 2823499 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643480357360 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8023] ppid=8001 vsize=26000724 memory=8656 CPUtime=0 cores=0-7
/proc/8004/task/8023/stat : 8023 (java) S 8001 8004 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2823499 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643479304800 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8024] ppid=8001 vsize=26000724 memory=1228 CPUtime=0 cores=0-7
/proc/8004/task/8024/stat : 8024 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2823506 26624741376 35760 18446744073709551615 4194304 4196468 140737238922256 140643478252080 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 26000724 KiB
Current children cumulated memory: 143040 KiB
heavy processes:

[startup+18.9435 s]
# the end of solver process 8004 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.0689 s, system=0.339913 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8108 s]
/proc/loadavg: 5.21 7.89 8.42 6/192 8024
/proc/meminfo: memFree=31782868/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=26002772 memory=166888 CPUtime=2.7 cores=0-7
/proc/8004/stat : 8004 (java) S 8001 8004 2337 0 -1 1077944320 25981 0 0 0 259 11 0 0 20 0 20 0 2822326 26626838528 41722 18446744073709551615 4194304 4196468 140737238922256 140737238904800 140644086632183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 1167 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
/proc/8004/statm: 6500693 41722 3762 1 0 6489466 0
[pid=8004/tid=8006] ppid=8001 vsize=26002772 memory=4713746589853062035 CPUtime=1.04 cores=0-7
/proc/8004/task/8006/stat : 8006 (java) R 8001 8004 2337 0 -1 4202560 14037 0 0 0 98 6 0 0 20 0 20 0 2823493 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644090868528 140643691685809 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8007] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8007/stat : 8007 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644013558416 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8008] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8008/stat : 8008 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644012505616 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8009] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8009/stat : 8009 (java) S 8001 8004 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644011452816 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8010] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8010/stat : 8010 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644010400016 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8011] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8011/stat : 8011 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644009348240 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8012] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8012/stat : 8012 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644008295440 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8013] ppid=8001 vsize=26002772 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8013/stat : 8013 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140644007242640 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8014] ppid=8001 vsize=26002772 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/8004/task/8014/stat : 8014 (java) S 8001 8004 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2823494 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643641875216 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8015] ppid=8001 vsize=26002772 memory=288230613214036277 CPUtime=0 cores=0-7
/proc/8004/task/8015/stat : 8015 (java) S 8001 8004 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2823496 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643487725936 140644086643330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8016] ppid=8001 vsize=26002772 memory=14693006632552316 CPUtime=0 cores=0-7
/proc/8004/task/8016/stat : 8016 (java) S 8001 8004 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2823496 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643486671904 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8017] ppid=8001 vsize=26002772 memory=928 CPUtime=0 cores=0-7
/proc/8004/task/8017/stat : 8017 (java) S 8001 8004 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2823496 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643485619056 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8018] ppid=8001 vsize=26002772 memory=1584 CPUtime=0 cores=0-7
/proc/8004/task/8018/stat : 8018 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2823499 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643484567376 140644086650779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8019] ppid=8001 vsize=26002772 memory=2168 CPUtime=0.41 cores=0-7
/proc/8004/task/8019/stat : 8019 (java) R 8001 8004 2337 0 -1 4202560 2761 0 0 0 40 1 0 0 20 0 20 0 2823499 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643483501336 140644071758483 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8020] ppid=8001 vsize=26002772 memory=840 CPUtime=0.41 cores=0-7
/proc/8004/task/8020/stat : 8020 (java) R 8001 8004 2337 0 -1 4202560 2745 0 0 0 41 0 0 0 20 0 20 0 2823499 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643482448976 140644068176383 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8021] ppid=8001 vsize=26002772 memory=6044 CPUtime=0.38 cores=0-7
/proc/8004/task/8021/stat : 8021 (java) R 8001 8004 2337 0 -1 4202560 2299 0 0 0 37 1 0 0 20 0 20 0 2823499 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643481391176 140644070132356 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8022] ppid=8001 vsize=26002772 memory=4060 CPUtime=0.41 cores=0-7
/proc/8004/task/8022/stat : 8022 (java) R 8001 8004 2337 0 -1 4202560 2798 0 0 0 41 0 0 0 20 0 20 0 2823499 26626838528 41788 18446744073709551615 4194304 4196468 140737238922256 140643480350248 140644065169331 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8023] ppid=8001 vsize=26002772 memory=1156 CPUtime=0 cores=0-7

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

[pid=8004/tid=8036] ppid=8001 vsize=27739616 memory=667680 CPUtime=0.05 cores=0-7
/proc/8004/task/8036/stat : 8036 (java) S 8001 8004 2337 0 -1 1077944384 30 0 0 0 5 0 0 0 20 0 46 0 2824117 28405366784 77072 18446744073709551615 4194304 4196468 140737238922256 140643384903184 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8037] ppid=8001 vsize=27739616 memory=10 CPUtime=0.03 cores=0-7
/proc/8004/task/8037/stat : 8037 (java) S 8001 8004 2337 0 -1 1077944384 41 0 0 0 3 0 0 0 20 0 46 0 2824117 28405366784 77072 18446744073709551615 4194304 4196468 140737238922256 140643383850384 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8038] ppid=8001 vsize=27739616 memory=0 CPUtime=0.1 cores=0-7
/proc/8004/task/8038/stat : 8038 (java) R 8001 8004 2337 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 46 0 2824118 28405366784 77072 18446744073709551615 4194304 4196468 140737238922256 140643382796576 140643691902062 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
Current children cumulated CPU time: 13.46 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 308288 KiB

[startup+18.8081 s]
/proc/loadavg: 4.88 7.77 8.38 2/206 8038
/proc/meminfo: memFree=31660660/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=27739616 memory=342608 CPUtime=16.64 cores=0-7
/proc/8004/stat : 8004 (java) S 8001 8004 2337 0 -1 1077944320 44068 0 0 0 1633 31 0 0 20 0 46 0 2822326 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140737238904800 140644086632183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 1167 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
/proc/8004/statm: 6934904 85652 3813 1 0 6923156 0
[pid=8004/tid=8006] ppid=8001 vsize=27739616 memory=0 CPUtime=6.12 cores=0-7
/proc/8004/task/8006/stat : 8006 (java) S 8001 8004 2337 0 -1 1077944384 17164 0 0 0 604 8 0 0 20 0 46 0 2823493 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644090869888 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8007] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8007/stat : 8007 (java) S 8001 8004 2337 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644013558416 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8008] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8008/stat : 8008 (java) S 8001 8004 2337 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644012505616 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8009] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8009/stat : 8009 (java) S 8001 8004 2337 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644011452816 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8010] ppid=8001 vsize=27739616 memory=0 CPUtime=0.04 cores=0-7
/proc/8004/task/8010/stat : 8010 (java) S 8001 8004 2337 0 -1 1077944384 293 0 0 0 2 2 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644010400016 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8011] ppid=8001 vsize=27739616 memory=0 CPUtime=0.04 cores=0-7
/proc/8004/task/8011/stat : 8011 (java) S 8001 8004 2337 0 -1 1077944384 676 0 0 0 3 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644009348240 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8012] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8012/stat : 8012 (java) S 8001 8004 2337 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644008295440 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8013] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8013/stat : 8013 (java) S 8001 8004 2337 0 -1 1077944384 133 0 0 0 2 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140644007242640 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8014] ppid=8001 vsize=27739616 memory=0 CPUtime=0.02 cores=0-7
/proc/8004/task/8014/stat : 8014 (java) S 8001 8004 2337 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 46 0 2823494 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643641875216 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8015] ppid=8001 vsize=27739616 memory=0 CPUtime=0.02 cores=0-7
/proc/8004/task/8015/stat : 8015 (java) S 8001 8004 2337 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 46 0 2823496 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643487725936 140644086643330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8016] ppid=8001 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8016/stat : 8016 (java) S 8001 8004 2337 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 2823496 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643486671968 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8017] ppid=8001 vsize=27739616 memory=139658378548544 CPUtime=0 cores=0-7
/proc/8004/task/8017/stat : 8017 (java) S 8001 8004 2337 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 2823496 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643485619072 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8018] ppid=8001 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8018/stat : 8018 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 2823499 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643484567376 140644086650779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8019] ppid=8001 vsize=27739616 memory=0 CPUtime=1.27 cores=0-7
/proc/8004/task/8019/stat : 8019 (java) S 8001 8004 2337 0 -1 1077944384 6747 0 0 0 125 2 0 0 20 0 46 0 2823499 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643483515760 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8020] ppid=8001 vsize=27739616 memory=0 CPUtime=1.42 cores=0-7
/proc/8004/task/8020/stat : 8020 (java) S 8001 8004 2337 0 -1 1077944384 4358 0 0 0 141 1 0 0 20 0 46 0 2823499 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643482462960 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8021] ppid=8001 vsize=27739616 memory=0 CPUtime=1.55 cores=0-7
/proc/8004/task/8021/stat : 8021 (java) S 8001 8004 2337 0 -1 1077944384 4510 0 0 0 153 2 0 0 20 0 46 0 2823499 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643481410160 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8022] ppid=8001 vsize=27739616 memory=0 CPUtime=0.83 cores=0-7
/proc/8004/task/8022/stat : 8022 (java) R 8001 8004 2337 0 -1 1077944384 6738 0 0 0 82 1 0 0 20 0 46 0 2823499 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643480357360 140644086643330 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8023] ppid=8001 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8023/stat : 8023 (java) S 8001 8004 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 2823499 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643479304800 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8024] ppid=8001 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8024/stat : 8024 (java) S 8001 8004 2337 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 46 0 2823506 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643478252080 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8025] ppid=8001 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8025/stat : 8025 (java) R 8001 8004 2337 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 2824092 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643470058032 140644086642389 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8026] ppid=8001 vsize=27739616 memory=0 CPUtime=0 cores=0-7
/proc/8004/task/8026/stat : 8026 (java) S 8001 8004 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 2824104 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643397526096 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8027] ppid=8001 vsize=27739616 memory=0 CPUtime=0.32 cores=0-7
/proc/8004/task/8027/stat : 8027 (java) R 8001 8004 2337 0 -1 4202560 127 0 0 0 32 0 0 0 20 0 46 0 2824114 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643396473536 140644086644118 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8028] ppid=8001 vsize=27739616 memory=0 CPUtime=0.31 cores=0-7
/proc/8004/task/8028/stat : 8028 (java) R 8001 8004 2337 0 -1 4202560 80 0 0 0 31 0 0 0 20 0 46 0 2824114 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643393323584 140643693692969 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8029] ppid=8001 vsize=27739616 memory=0 CPUtime=0.45 cores=0-7
/proc/8004/task/8029/stat : 8029 (java) R 8001 8004 2337 0 -1 4202560 89 0 0 0 45 0 0 0 20 0 46 0 2824115 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643392270784 140643693342353 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8030] ppid=8001 vsize=27739616 memory=0 CPUtime=0.19 cores=0-7
/proc/8004/task/8030/stat : 8030 (java) S 8001 8004 2337 0 -1 1077944384 60 0 0 0 19 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643391219088 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8031] ppid=8001 vsize=27739616 memory=0 CPUtime=0.4 cores=0-7
/proc/8004/task/8031/stat : 8031 (java) S 8001 8004 2337 0 -1 1077944384 36 0 0 0 40 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643390166288 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8032] ppid=8001 vsize=27739616 memory=0 CPUtime=0.32 cores=0-7
/proc/8004/task/8032/stat : 8032 (java) R 8001 8004 2337 0 -1 4202560 104 0 0 0 32 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643389113488 140643687277687 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8033] ppid=8001 vsize=27739616 memory=0 CPUtime=0.25 cores=0-7
/proc/8004/task/8033/stat : 8033 (java) S 8001 8004 2337 0 -1 1077944384 47 0 0 0 25 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643388060688 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8034] ppid=8001 vsize=27739616 memory=0 CPUtime=0.22 cores=0-7
/proc/8004/task/8034/stat : 8034 (java) S 8001 8004 2337 0 -1 1077944384 43 0 0 0 22 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643387007888 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8035] ppid=8001 vsize=27739616 memory=0 CPUtime=0.2 cores=0-7
/proc/8004/task/8035/stat : 8035 (java) S 8001 8004 2337 0 -1 1077944384 57 0 0 0 20 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643385956112 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8036] ppid=8001 vsize=27739616 memory=0 CPUtime=0.1 cores=0-7
/proc/8004/task/8036/stat : 8036 (java) S 8001 8004 2337 0 -1 1077944384 30 0 0 0 10 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643384903312 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8037] ppid=8001 vsize=27739616 memory=0 CPUtime=0.15 cores=0-7
/proc/8004/task/8037/stat : 8037 (java) S 8001 8004 2337 0 -1 1077944384 42 0 0 0 15 0 0 0 20 0 46 0 2824117 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643383850512 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8038] ppid=8001 vsize=27739616 memory=0 CPUtime=0.15 cores=0-7
/proc/8004/task/8038/stat : 8038 (java) S 8001 8004 2337 0 -1 1077944384 39 0 0 0 15 0 0 0 20 0 46 0 2824118 28405366784 85652 18446744073709551615 4194304 4196468 140737238922256 140643382797712 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
Current children cumulated CPU time: 16.64 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 342608 KiB

[startup+18.9015 s]
/proc/loadavg: 4.88 7.77 8.38 2/206 8038
/proc/meminfo: memFree=31660660/32770624 swapFree=67108860/67108860
[pid=8004] ppid=8001 vsize=27739616 memory=373856 CPUtime=17.33 cores=0-7
/proc/8004/stat : 8004 (java) S 8001 8004 2337 0 -1 1077944320 44279 0 0 0 1701 32 0 0 20 0 45 0 2822326 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140737238904800 140644086632183 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 1167 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
/proc/8004/statm: 6934904 93464 3815 1 0 6923156 0
[pid=8004/tid=8006] ppid=8001 vsize=27739616 memory=0 CPUtime=6.12 cores=0-7
/proc/8004/task/8006/stat : 8006 (java) S 8001 8004 2337 0 -1 1077944384 17164 0 0 0 604 8 0 0 20 0 45 0 2823493 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644090869888 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8007] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8007/stat : 8007 (java) S 8001 8004 2337 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644013558416 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8008] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8008/stat : 8008 (java) S 8001 8004 2337 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644012505616 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8009] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8009/stat : 8009 (java) S 8001 8004 2337 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644011452816 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8010] ppid=8001 vsize=27739616 memory=7680170660397595203 CPUtime=0.04 cores=0-7
/proc/8004/task/8010/stat : 8010 (java) S 8001 8004 2337 0 -1 1077944384 293 0 0 0 2 2 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644010400016 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8011] ppid=8001 vsize=27739616 memory=110496 CPUtime=0.04 cores=0-7
/proc/8004/task/8011/stat : 8011 (java) S 8001 8004 2337 0 -1 1077944384 676 0 0 0 3 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644009348240 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8012] ppid=8001 vsize=27739616 memory=239720 CPUtime=0.03 cores=0-7
/proc/8004/task/8012/stat : 8012 (java) S 8001 8004 2337 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644008295440 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8013] ppid=8001 vsize=27739616 memory=0 CPUtime=0.03 cores=0-7
/proc/8004/task/8013/stat : 8013 (java) S 8001 8004 2337 0 -1 1077944384 133 0 0 0 2 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140644007242640 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8014] ppid=8001 vsize=27739616 memory=279316756604448 CPUtime=0.02 cores=0-7
/proc/8004/task/8014/stat : 8014 (java) S 8001 8004 2337 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 45 0 2823494 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643641875216 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8015] ppid=8001 vsize=27739616 memory=0 CPUtime=0.02 cores=0-7
/proc/8004/task/8015/stat : 8015 (java) S 8001 8004 2337 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 45 0 2823496 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643487725936 140644086643330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8016] ppid=8001 vsize=27739616 memory=5376 CPUtime=0 cores=0-7
/proc/8004/task/8016/stat : 8016 (java) S 8001 8004 2337 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 45 0 2823496 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643486671968 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8017] ppid=8001 vsize=27739616 memory=4612 CPUtime=0 cores=0-7
/proc/8004/task/8017/stat : 8017 (java) S 8001 8004 2337 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 45 0 2823496 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643485619072 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8018] ppid=8001 vsize=27739616 memory=792 CPUtime=0 cores=0-7
/proc/8004/task/8018/stat : 8018 (java) S 8001 8004 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 2823499 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643484567376 140644086650779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8019] ppid=8001 vsize=27739616 memory=0 CPUtime=1.27 cores=0-7
/proc/8004/task/8019/stat : 8019 (java) S 8001 8004 2337 0 -1 1077944384 6747 0 0 0 125 2 0 0 20 0 45 0 2823499 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643483515760 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8020] ppid=8001 vsize=27739616 memory=17828 CPUtime=1.43 cores=0-7
/proc/8004/task/8020/stat : 8020 (java) S 8001 8004 2337 0 -1 1077944384 4358 0 0 0 142 1 0 0 20 0 45 0 2823499 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643482462960 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8021] ppid=8001 vsize=27739616 memory=0 CPUtime=1.57 cores=0-7
/proc/8004/task/8021/stat : 8021 (java) R 8001 8004 2337 0 -1 4202560 4511 0 0 0 155 2 0 0 20 0 45 0 2823499 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643481389472 140644067268116 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8022] ppid=8001 vsize=27739616 memory=208492 CPUtime=0.84 cores=0-7
/proc/8004/task/8022/stat : 8022 (java) S 8001 8004 2337 0 -1 1077944384 6742 0 0 0 83 1 0 0 20 0 45 0 2823499 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643480357360 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8023] ppid=8001 vsize=27739616 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/8004/task/8023/stat : 8023 (java) S 8001 8004 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 2823499 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643479304800 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8024] ppid=8001 vsize=27739616 memory=261960 CPUtime=0 cores=0-7
/proc/8004/task/8024/stat : 8024 (java) S 8001 8004 2337 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 45 0 2823506 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643478252080 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8026] ppid=8001 vsize=27739616 memory=-8102431393132624720 CPUtime=0 cores=0-7
/proc/8004/task/8026/stat : 8026 (java) S 8001 8004 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 2824104 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643397526096 140644086643330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8027] ppid=8001 vsize=27739616 memory=239784 CPUtime=0.39 cores=0-7
/proc/8004/task/8027/stat : 8027 (java) S 8001 8004 2337 0 -1 1077944384 128 0 0 0 39 0 0 0 20 0 45 0 2824114 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643396474640 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8028] ppid=8001 vsize=27739616 memory=239720 CPUtime=0.38 cores=0-7
/proc/8004/task/8028/stat : 8028 (java) S 8001 8004 2337 0 -1 1077944384 82 0 0 0 38 0 0 0 20 0 45 0 2824114 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643393324688 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8029] ppid=8001 vsize=27739616 memory=239720 CPUtime=0.52 cores=0-7
/proc/8004/task/8029/stat : 8029 (java) S 8001 8004 2337 0 -1 1077944384 111 0 0 0 52 0 0 0 20 0 45 0 2824115 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643392271888 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8030] ppid=8001 vsize=27739616 memory=1236 CPUtime=0.19 cores=0-7
/proc/8004/task/8030/stat : 8030 (java) S 8001 8004 2337 0 -1 1077944384 60 0 0 0 19 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643391219088 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8031] ppid=8001 vsize=27739616 memory=2244 CPUtime=0.4 cores=0-7
/proc/8004/task/8031/stat : 8031 (java) S 8001 8004 2337 0 -1 1077944384 36 0 0 0 40 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643390166288 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8032] ppid=8001 vsize=27739616 memory=4300 CPUtime=0.4 cores=0-7
/proc/8004/task/8032/stat : 8032 (java) S 8001 8004 2337 0 -1 1077944384 104 0 0 0 40 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643389113488 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8033] ppid=8001 vsize=27739616 memory=6199803236974604552 CPUtime=0.25 cores=0-7
/proc/8004/task/8033/stat : 8033 (java) S 8001 8004 2337 0 -1 1077944384 47 0 0 0 25 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643388060688 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8034] ppid=8001 vsize=27739616 memory=7014751519700702051 CPUtime=0.24 cores=0-7
/proc/8004/task/8034/stat : 8034 (java) S 8001 8004 2337 0 -1 1077944384 43 0 0 0 24 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643387007888 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8035] ppid=8001 vsize=27739616 memory=7014751519700702051 CPUtime=0.2 cores=0-7
/proc/8004/task/8035/stat : 8035 (java) S 8001 8004 2337 0 -1 1077944384 57 0 0 0 20 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643385956112 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8036] ppid=8001 vsize=27739616 memory=7014751519700702051 CPUtime=0.17 cores=0-7
/proc/8004/task/8036/stat : 8036 (java) S 8001 8004 2337 0 -1 1077944384 33 0 0 0 17 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643384903312 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8037] ppid=8001 vsize=27739616 memory=7014751519700702051 CPUtime=0.16 cores=0-7
/proc/8004/task/8037/stat : 8037 (java) S 8001 8004 2337 0 -1 1077944384 98 0 0 0 16 0 0 0 20 0 45 0 2824117 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643383850512 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
[pid=8004/tid=8038] ppid=8001 vsize=27739616 memory=7014751519700702051 CPUtime=0.15 cores=0-7
/proc/8004/task/8038/stat : 8038 (java) S 8001 8004 2337 0 -1 1077944384 39 0 0 0 15 0 0 0 20 0 45 0 2824118 28405366784 93464 18446744073709551615 4194304 4196468 140737238922256 140643382797712 140644086642389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140737238929776 140737238929960 140737238929960 140737238933455 0
Current children cumulated CPU time: 17.33 s
Current children cumulated vsize: 27739616 KiB
Current children cumulated memory: 373856 KiB

Child status: 0
Real time (s): 18.9436
CPU time (s): 17.4088
CPU user time (s): 17.0689
CPU system time (s): 0.339913
CPU usage (%): 91.898
Max. virtual memory (cumulated for all children) (KiB): 27739616
Max. memory (cumulated for all children) (KiB): 373856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0689
system time used= 0.339913
maximum resident set size= 374952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7233
involuntary context switches= 608


# summary of solver processes directly reported to runsolver:
#   pid: 8004
#   total CPU time (s): 17.4088
#   total CPU user time (s): 17.0689
#   total CPU system time (s): 0.339913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.118589 second user time and 0.195263 second system time

The end

Launcher Data

Begin job on node129 at 2017-08-23 02:35:46
IDJOB=4285554
IDBENCH=135692
IDSOLVER=2681
FILE ID=node129/4285554-1503449383
RUNJOBID= node129-1503420419-2425
PBS_JOBID= 
Free space on /tmp= 62016 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-142_X2.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285554-1503449383/watcher-4285554-1503449383 -o /tmp/evaluation-result-4285554-1503449383/solver-4285554-1503449383 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 12175267 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285554-1503449383.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d56953f82a267c4c8ee700c959d37f45
RANDOM SEED=12175267

node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31914260 kB
MemAvailable:   32030632 kB
Buffers:           98544 kB
Cached:           301420 kB
SwapCached:            0 kB
Active:           249800 kB
Inactive:         203932 kB
Active(anon):      53824 kB
Inactive(anon):     8556 kB
Active(file):     195976 kB
Inactive(file):   195376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42348 kB
Writeback:             0 kB
AnonPages:         53024 kB
Mapped:            28236 kB
Shmem:              8868 kB
Slab:             105188 kB
SReclaimable:      81712 kB
SUnreclaim:        23476 kB
KernelStack:        3120 kB
PageTables:         4308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     279904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 61972 MiB
End job on node129 at 2017-08-23 02:36:06