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 (11591 MiB free)
  memory of node 1: 16384 MiB (14777 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298779-1532779503/watcher-4298779-1532779503 -o /tmp/evaluation-result-4298779-1532779503/solver-4298779-1532779503 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6744 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298779-1532779503.xml --timelimit 2520 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=7247, runsolver pid=7244

[startup+0.100121 s]*
/proc/loadavg: 1.44 1.33 1.38 5/220 7262
/proc/meminfo: memFree=26984564/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10658972 memory=28740 CPUtime=0.13 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 5018 0 0 0 12 1 0 0 20 0 15 0 95513464 10914787328 7185 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2664743 7185 2887 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10658972 memory=-8485773889882985313 CPUtime=0.09 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 2844 0 0 0 9 0 0 0 20 0 15 0 95513464 10914787328 7185 33554432000 4194304 4196468 140728044861792 140329422874720 140329410882366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10658972 memory=5793855467270126009 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10914787328 7185 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10658972 memory=140216260232832 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10914787328 7185 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10914787328 7185 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10914787328 7185 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513466 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513467 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328908563872 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513467 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) S 7244 7247 6713 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 95513469 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328905399472 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) R 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328904354000 140329418655445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10658972 memory=140216260232832 CPUtime=0.02 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) R 7244 7247 6713 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 95513469 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328903298896 140329410667894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10658972 memory=140216260232832 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513469 10914787328 7185 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28740 KiB

[startup+0.21086 s]*
/proc/loadavg: 1.44 1.33 1.38 5/220 7262
/proc/meminfo: memFree=26973400/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661056 memory=40848 CPUtime=0.35 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 7801 0 0 0 33 2 0 0 20 0 15 0 95513464 10916921344 10212 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665264 10212 3000 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661056 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) S 7244 7247 6713 0 -1 1077944384 4625 0 0 0 18 2 0 0 20 0 15 0 95513464 10916921344 10212 33554432000 4194304 4196468 140728044861792 140329422882768 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661056 memory=4211973942465023370 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916921344 10212 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661056 memory=140216260232832 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916921344 10212 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916921344 10212 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916921344 10212 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661056 memory=140216260232832 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513466 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513467 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328908563872 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513467 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661056 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) R 7244 7247 6713 0 -1 4202560 832 0 0 0 4 0 0 0 20 0 15 0 95513469 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328905387464 140329399830892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) R 7244 7247 6713 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 95513469 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328904353904 140329418656386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661056 memory=140216260232832 CPUtime=0.08 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 877 0 0 0 8 0 0 0 20 0 15 0 95513469 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328903299152 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661056 memory=140216260232832 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513469 10916921344 10212 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40848 KiB

[startup+0.31066 s]*
/proc/loadavg: 1.44 1.33 1.38 6/220 7262
/proc/meminfo: memFree=26959444/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661132 memory=56884 CPUtime=0.67 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 9804 0 0 0 64 3 0 0 20 0 15 0 95513464 10916999168 14221 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665283 14221 3074 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661132 memory=7377246124687064083 CPUtime=0.29 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) S 7244 7247 6713 0 -1 1077944384 4943 0 0 0 27 2 0 0 20 0 15 0 95513464 10916999168 14221 33554432000 4194304 4196468 140728044861792 140329422879920 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=4211973942465023370 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 14221 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=140216260235211 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 14221 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=140216119706697 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 14221 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=140216119709135 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 14221 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=140216260239572 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513466 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661132 memory=140216119718351 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328908563872 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661132 memory=280432239427472 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661132 memory=280432239425136 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661132 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) R 7244 7247 6713 0 -1 4202560 1092 0 0 0 10 0 0 0 20 0 15 0 95513469 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328905393296 140329402131391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661132 memory=2240 CPUtime=0.1 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) R 7244 7247 6713 0 -1 4202560 1121 0 0 0 10 0 0 0 20 0 15 0 95513469 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328904353904 140329418666586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661132 memory=140216260232832 CPUtime=0.16 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 1279 0 0 0 16 0 0 0 20 0 15 0 95513469 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328903301360 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661132 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661132 memory=140216260232832 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 14221 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 56884 KiB

[startup+0.70071 s]
/proc/loadavg: 1.44 1.33 1.38 5/220 7262
/proc/meminfo: memFree=26926248/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661132 memory=93944 CPUtime=1.95 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 11879 0 0 0 190 5 0 0 20 0 15 0 95513464 10916999168 23486 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665283 23486 3118 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661132 memory=5484 CPUtime=0.66 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 5147 0 0 0 64 2 0 0 20 0 15 0 95513464 10916999168 23486 33554432000 4194304 4196468 140728044861792 140329422813920 140329017372943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 23486 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 23486 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 23486 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=7453282923411170919 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 23486 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=6220993253238723945 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95513466 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328908563872 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661132 memory=35 CPUtime=0.46 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) R 7244 7247 6713 0 -1 4202560 2013 0 0 0 46 0 0 0 20 0 15 0 95513469 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328905390048 140329402131215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661132 memory=3 CPUtime=0.46 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) R 7244 7247 6713 0 -1 4202560 1391 0 0 0 46 0 0 0 20 0 15 0 95513469 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328904346928 140329397892025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661132 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 1956 0 0 0 32 0 0 0 20 0 15 0 95513469 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328903301360 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661132 memory=280432239611376 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 23486 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 93944 KiB

[startup+1.50082 s]
/proc/loadavg: 1.44 1.33 1.38 4/220 7262
/proc/meminfo: memFree=26895044/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661132 memory=160404 CPUtime=3.38 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 16475 0 0 0 332 6 0 0 20 0 15 0 95513464 10916999168 40101 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665283 40101 3119 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661132 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 5397 0 0 0 142 4 0 0 20 0 15 0 95513464 10916999168 40101 33554432000 4194304 4196468 140728044861792 140329422808640 140728044873666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=-6583839696183762729 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 40101 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 40101 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=9049588299808407725 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 40101 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=-5864628276332812163 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95513465 10916999168 40101 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95513466 10916999168 40101 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0

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

/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 17543 0 0 0 237198 263 0 0 20 0 15 0 95513464 10916999168 66084 33554432000 4194304 4196468 140728044861792 140329422794864 140329017785114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=264336 CPUtime=4.94 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 7592 0 0 0 476 18 0 0 20 0 15 0 95513465 10916999168 66084 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=264336 CPUtime=4.94 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 8376 0 0 0 474 20 0 0 20 0 15 0 95513465 10916999168 66084 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=264336 CPUtime=4.93 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 6858 0 0 0 475 18 0 0 20 0 15 0 95513465 10916999168 66084 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=264336 CPUtime=4.94 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 7920 0 0 0 475 19 0 0 20 0 15 0 95513465 10916999168 66084 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=264336 CPUtime=1.97 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 8976 0 0 0 188 9 0 0 20 0 15 0 95513466 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661132 memory=264336 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328908563936 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661132 memory=264336 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661132 memory=264336 CPUtime=1.28 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) S 7244 7247 6713 0 -1 1077944384 10667 0 0 0 126 2 0 0 20 0 15 0 95513469 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328905406448 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661132 memory=27668 CPUtime=1.42 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) S 7244 7247 6713 0 -1 1077944384 10987 0 0 0 141 1 0 0 20 0 15 0 95513469 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328904353904 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661132 memory=1228 CPUtime=0.39 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 3686 0 0 0 38 1 0 0 20 0 15 0 95513469 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328903301360 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661132 memory=264336 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661132 memory=4012 CPUtime=0.69 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 724 0 0 0 31 38 0 0 20 0 15 0 95513469 10916999168 66084 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 2400.2 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 264336 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.42 1.42 3/218 7415
/proc/meminfo: memFree=26789360/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661132 memory=263824 CPUtime=2460.56 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 86320 0 0 0 245677 379 0 0 20 0 15 0 95513464 10916999168 65956 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665283 65956 3173 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661132 memory=264336 CPUtime=2434.41 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 17984 0 0 0 243170 271 0 0 20 0 15 0 95513464 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329422797152 140329017791706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=264336 CPUtime=5.06 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 8014 0 0 0 488 18 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=264336 CPUtime=5.06 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 8395 0 0 0 486 20 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=264336 CPUtime=5.05 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 6997 0 0 0 487 18 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.06 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 8036 0 0 0 487 19 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=263824 CPUtime=2.03 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 9372 0 0 0 194 9 0 0 20 0 15 0 95513466 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328908563936 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661132 memory=1696 CPUtime=1.28 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) S 7244 7247 6713 0 -1 1077944384 10671 0 0 0 126 2 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328905406448 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661132 memory=263824 CPUtime=1.42 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) S 7244 7247 6713 0 -1 1077944384 10991 0 0 0 141 1 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328904353904 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661132 memory=263824 CPUtime=0.39 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 3690 0 0 0 38 1 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328903301360 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661132 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661132 memory=27668 CPUtime=0.71 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 750 0 0 0 32 39 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 2460.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 263824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.5 s]
/proc/loadavg: 1.20 1.35 1.39 3/219 7417
/proc/meminfo: memFree=26785008/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661132 memory=263824 CPUtime=2520.09 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 88445 0 0 0 251623 386 0 0 20 0 15 0 95513464 10916999168 65956 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665283 65956 3173 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661132 memory=2588 CPUtime=2493.42 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 18452 0 0 0 249066 276 0 0 20 0 15 0 95513464 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329422792576 140728044873666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.17 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 8220 0 0 0 499 18 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.16 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 8676 0 0 0 496 20 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.17 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 7434 0 0 0 498 19 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.18 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 8337 0 0 0 498 20 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=263824 CPUtime=2.09 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 9760 0 0 0 199 10 0 0 20 0 15 0 95513466 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328908563936 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661132 memory=263824 CPUtime=1.28 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) S 7244 7247 6713 0 -1 1077944384 10675 0 0 0 126 2 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328905406448 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661132 memory=263824 CPUtime=1.42 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) S 7244 7247 6713 0 -1 1077944384 10995 0 0 0 141 1 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328904353904 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661132 memory=3560 CPUtime=0.39 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 3694 0 0 0 38 1 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328903301360 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661132 memory=263824 CPUtime=0.73 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 782 0 0 0 33 40 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 263824 KiB

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

[startup+2501.53 s]
# the end of solver process 7247 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.27 s, system=3.86631 s

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

[startup+2501.5 s]
/proc/loadavg: 1.20 1.35 1.39 3/219 7417
/proc/meminfo: memFree=26785008/32770624 swapFree=67108860/67108860
[pid=7247] ppid=7244 vsize=10661132 memory=263824 CPUtime=2520.09 cores=0,2,4,6
/proc/7247/stat : 7247 (java) S 7244 7247 6713 0 -1 1077944320 88445 0 0 0 251623 386 0 0 20 0 15 0 95513464 10916999168 65956 33554432000 4194304 4196468 140728044861792 140728044844336 140329418645239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
/proc/7247/statm: 2665283 65956 3173 1 0 2627263 0
[pid=7247/tid=7249] ppid=7244 vsize=10661132 memory=2588 CPUtime=2493.42 cores=0,2,4,6
/proc/7247/task/7249/stat : 7249 (java) R 7244 7247 6713 0 -1 4202560 18452 0 0 0 249066 276 0 0 20 0 15 0 95513464 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329422792576 140728044873666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7250] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.17 cores=0,2,4,6
/proc/7247/task/7250/stat : 7250 (java) S 7244 7247 6713 0 -1 1077944384 8220 0 0 0 499 18 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329344719120 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7251] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.16 cores=0,2,4,6
/proc/7247/task/7251/stat : 7251 (java) S 7244 7247 6713 0 -1 1077944384 8676 0 0 0 496 20 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329343666576 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7252] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.17 cores=0,2,4,6
/proc/7247/task/7252/stat : 7252 (java) S 7244 7247 6713 0 -1 1077944384 7434 0 0 0 498 19 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329342614032 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7253] ppid=7244 vsize=10661132 memory=263824 CPUtime=5.18 cores=0,2,4,6
/proc/7247/task/7253/stat : 7253 (java) S 7244 7247 6713 0 -1 1077944384 8337 0 0 0 498 20 0 0 20 0 15 0 95513465 10916999168 65956 33554432000 4194304 4196468 140728044861792 140329341561488 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7254] ppid=7244 vsize=10661132 memory=263824 CPUtime=2.09 cores=0,2,4,6
/proc/7247/task/7254/stat : 7254 (java) S 7244 7247 6713 0 -1 1077944384 9760 0 0 0 199 10 0 0 20 0 15 0 95513466 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328909617648 140329418656386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7255] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7255/stat : 7255 (java) S 7244 7247 6713 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328908563936 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7256] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7256/stat : 7256 (java) S 7244 7247 6713 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 95513467 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328907511280 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7257] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7257/stat : 7257 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328906459856 140329418663835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7258] ppid=7244 vsize=10661132 memory=263824 CPUtime=1.28 cores=0,2,4,6
/proc/7247/task/7258/stat : 7258 (java) S 7244 7247 6713 0 -1 1077944384 10675 0 0 0 126 2 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328905406448 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7259] ppid=7244 vsize=10661132 memory=263824 CPUtime=1.42 cores=0,2,4,6
/proc/7247/task/7259/stat : 7259 (java) S 7244 7247 6713 0 -1 1077944384 10995 0 0 0 141 1 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328904353904 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7260] ppid=7244 vsize=10661132 memory=3560 CPUtime=0.39 cores=0,2,4,6
/proc/7247/task/7260/stat : 7260 (java) S 7244 7247 6713 0 -1 1077944384 3694 0 0 0 38 1 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328903301360 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7261] ppid=7244 vsize=10661132 memory=263824 CPUtime=0 cores=0,2,4,6
/proc/7247/task/7261/stat : 7261 (java) S 7244 7247 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328902249056 140329418655445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
[pid=7247/tid=7262] ppid=7244 vsize=10661132 memory=263824 CPUtime=0.73 cores=0,2,4,6
/proc/7247/task/7262/stat : 7262 (java) S 7244 7247 6713 0 -1 1077944384 782 0 0 0 33 40 0 0 20 0 15 0 95513469 10916999168 65956 33554432000 4194304 4196468 140728044861792 140328901196592 140329418656386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19959808 140728044868728 140728044868873 140728044868873 140728044871631 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 263824 KiB

Child status: 143
Real time (s): 2501.53
CPU time (s): 2520.13
CPU user time (s): 2516.27
CPU system time (s): 3.86631
CPU usage (%): 100.744
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 457400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.86631
maximum resident set size= 477668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103423
involuntary context switches= 5038


# summary of solver processes directly reported to runsolver:
#   pid: 7247
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.27
#   total CPU system time (s): 3.86631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7549 second user time and 24.288 second system time

The end