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 (13543 MiB free)
memory of node 1: 16384 MiB (13604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298489-1532761520/watcher-4298489-1532761520 -o /tmp/evaluation-result-4298489-1532761520/solver-4298489-1532761520 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532740979-19309 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298489-1532761520.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=21878, runsolver pid=21875
[startup+0.104144 s]*
/proc/loadavg: 1.31 1.31 1.33 4/216 21893
/proc/meminfo: memFree=27784372/32770624 swapFree=67108532/67108860
[pid=21878] ppid=21875 vsize=10658972 memory=26768 CPUtime=0.13 cores=0,2,4,6
/proc/21878/stat : 21878 (java) S 21875 21878 19278 0 -1 1077944320 5610 0 0 0 12 1 0 0 20 0 15 0 93715141 10914787328 6692 33554432000 4194304 4196468 140737194943728 140737194926272 140711411748599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
/proc/21878/statm: 2664743 6692 2876 1 0 2627263 0
[pid=21878/tid=21880] ppid=21875 vsize=10658972 memory=-8341684059578994556 CPUtime=0.1 cores=0,2,4,6
/proc/21878/task/21880/stat : 21880 (java) R 21875 21878 19278 0 -1 4202560 3380 0 0 0 9 1 0 0 20 0 15 0 93715141 10914787328 6692 33554432000 4194304 4196468 140737194943728 140711415978864 140711404038082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21881] ppid=21875 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21881/stat : 21881 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10914787328 6692 33554432000 4194304 4196468 140737194943728 140711018465680 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21882] ppid=21875 vsize=10658972 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21882/stat : 21882 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10914787328 6692 33554432000 4194304 4196468 140737194943728 140711017412880 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21883] ppid=21875 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21883/stat : 21883 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10914787328 6692 33554432000 4194304 4196468 140737194943728 140711016360592 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21884] ppid=21875 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21884/stat : 21884 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715142 10914787328 6692 33554432000 4194304 4196468 140737194943728 140711015307792 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21885] ppid=21875 vsize=10658972 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21885/stat : 21885 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715144 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710716602992 140711411759746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21886] ppid=21875 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21886/stat : 21886 (java) S 21875 21878 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93715144 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710715548960 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21887] ppid=21875 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21887/stat : 21887 (java) S 21875 21878 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93715144 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710714496624 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21888] ppid=21875 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21888/stat : 21888 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710713444944 140711411767195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21889] ppid=21875 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21878/task/21889/stat : 21889 (java) R 21875 21878 19278 0 -1 4202560 490 0 0 0 1 0 0 0 20 0 15 0 93715147 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710309259376 140711395135210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21890] ppid=21875 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21890/stat : 21890 (java) R 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715147 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710308206576 140711411759746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21891] ppid=21875 vsize=10658972 memory=139866383160960 CPUtime=0.02 cores=0,2,4,6
/proc/21878/task/21891/stat : 21891 (java) S 21875 21878 19278 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 93715147 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710307154288 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21892] ppid=21875 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21892/stat : 21892 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710306101728 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21893] ppid=21875 vsize=10658972 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21893/stat : 21893 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715147 10914787328 6692 33554432000 4194304 4196468 140737194943728 140710305049520 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 26768 KiB
[startup+0.212205 s]*
/proc/loadavg: 1.31 1.31 1.33 5/216 21893
/proc/meminfo: memFree=27773596/32770624 swapFree=67108532/67108860
[pid=21878] ppid=21875 vsize=10661056 memory=39600 CPUtime=0.34 cores=0,2,4,6
/proc/21878/stat : 21878 (java) S 21875 21878 19278 0 -1 1077944320 8539 0 0 0 32 2 0 0 20 0 15 0 93715141 10916921344 9900 33554432000 4194304 4196468 140737194943728 140737194926272 140711411748599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
/proc/21878/statm: 2665264 9900 2977 1 0 2627263 0
[pid=21878/tid=21880] ppid=21875 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21878/task/21880/stat : 21880 (java) R 21875 21878 19278 0 -1 4202560 5200 0 0 0 18 2 0 0 20 0 15 0 93715141 10916921344 9900 33554432000 4194304 4196468 140737194943728 140711415986512 140711411770525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21881] ppid=21875 vsize=10661056 memory=364 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21881/stat : 21881 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916921344 9900 33554432000 4194304 4196468 140737194943728 140711018465680 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21882] ppid=21875 vsize=10661056 memory=139866383681871 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21882/stat : 21882 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916921344 9900 33554432000 4194304 4196468 140737194943728 140711017412880 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21883] ppid=21875 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21883/stat : 21883 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916921344 9900 33554432000 4194304 4196468 140737194943728 140711016360592 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21884] ppid=21875 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21884/stat : 21884 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715142 10916921344 9900 33554432000 4194304 4196468 140737194943728 140711015307792 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21885] ppid=21875 vsize=10661056 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21885/stat : 21885 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715144 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710716602992 140711411759746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21886] ppid=21875 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21886/stat : 21886 (java) S 21875 21878 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93715144 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710715548960 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21887] ppid=21875 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21887/stat : 21887 (java) S 21875 21878 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93715144 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710714496624 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21888] ppid=21875 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21888/stat : 21888 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710713444944 140711411767195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21889] ppid=21875 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21878/task/21889/stat : 21889 (java) R 21875 21878 19278 0 -1 4202560 526 0 0 0 2 0 0 0 20 0 15 0 93715147 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710309259376 140711395248805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21890] ppid=21875 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21878/task/21890/stat : 21890 (java) R 21875 21878 19278 0 -1 4202560 508 0 0 0 2 0 0 0 20 0 15 0 93715147 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710308187592 140711404038059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21891] ppid=21875 vsize=10661056 memory=139866383160960 CPUtime=0.08 cores=0,2,4,6
/proc/21878/task/21891/stat : 21891 (java) R 21875 21878 19278 0 -1 4202560 944 0 0 0 8 0 0 0 20 0 15 0 93715147 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710307151224 140711403985726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21892] ppid=21875 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21892/stat : 21892 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710306101728 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21893] ppid=21875 vsize=10661056 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21893/stat : 21893 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715147 10916921344 9900 33554432000 4194304 4196468 140737194943728 140710305049520 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39600 KiB
[startup+0.311405 s]*
/proc/loadavg: 1.31 1.31 1.33 6/216 21893
/proc/meminfo: memFree=27765448/32770624 swapFree=67108532/67108860
[pid=21878] ppid=21875 vsize=10661132 memory=46980 CPUtime=0.61 cores=0,2,4,6
/proc/21878/stat : 21878 (java) S 21875 21878 19278 0 -1 1077944320 9397 0 0 0 58 3 0 0 20 0 15 0 93715141 10916999168 11745 33554432000 4194304 4196468 140737194943728 140737194926272 140711411748599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
/proc/21878/statm: 2665283 11745 3057 1 0 2627263 0
[pid=21878/tid=21880] ppid=21875 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/21878/task/21880/stat : 21880 (java) R 21875 21878 19278 0 -1 4202560 5527 0 0 0 28 2 0 0 20 0 15 0 93715141 10916999168 11745 33554432000 4194304 4196468 140737194943728 140711415985728 140711396986084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21881] ppid=21875 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21881/stat : 21881 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 11745 33554432000 4194304 4196468 140737194943728 140711018465680 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21882] ppid=21875 vsize=10661132 memory=139866383677567 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21882/stat : 21882 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 11745 33554432000 4194304 4196468 140737194943728 140711017412880 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21883] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21883/stat : 21883 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 11745 33554432000 4194304 4196468 140737194943728 140711016360592 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21884] ppid=21875 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21884/stat : 21884 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 11745 33554432000 4194304 4196468 140737194943728 140711015307792 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21885] ppid=21875 vsize=10661132 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21885/stat : 21885 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710716602992 140711411759746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21886] ppid=21875 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21886/stat : 21886 (java) S 21875 21878 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710715548960 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21887] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21887/stat : 21887 (java) S 21875 21878 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710714496624 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21888] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21888/stat : 21888 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710713444944 140711411767195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21889] ppid=21875 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/21878/task/21889/stat : 21889 (java) R 21875 21878 19278 0 -1 4202560 738 0 0 0 5 0 0 0 20 0 15 0 93715147 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710309245256 140711396628815 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21890] ppid=21875 vsize=10661132 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21878/task/21890/stat : 21890 (java) R 21875 21878 19278 0 -1 4202560 591 0 0 0 8 0 0 0 20 0 15 0 93715147 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710308206704 140711391463372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21891] ppid=21875 vsize=10661132 memory=139866383160960 CPUtime=0.15 cores=0,2,4,6
/proc/21878/task/21891/stat : 21891 (java) R 21875 21878 19278 0 -1 4202560 1180 0 0 0 15 0 0 0 20 0 15 0 93715147 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710307154416 140711403985726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21892] ppid=21875 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21892/stat : 21892 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710306101728 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21893] ppid=21875 vsize=10661132 memory=139866383160960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21893/stat : 21893 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 11745 33554432000 4194304 4196468 140737194943728 140710305049520 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46980 KiB
[startup+0.700853 s]
/proc/loadavg: 1.31 1.31 1.33 3/216 21893
/proc/meminfo: memFree=27442428/32770624 swapFree=67108532/67108860
[pid=21878] ppid=21875 vsize=10661132 memory=1281540 CPUtime=1.28 cores=0,2,4,6
/proc/21878/stat : 21878 (java) S 21875 21878 19278 0 -1 1077944320 11303 0 0 0 106 22 0 0 20 0 15 0 93715141 10916999168 319873 33554432000 4194304 4196468 140737194943728 140737194926272 140711411748599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
/proc/21878/statm: 2665283 320385 3103 1 0 2627263 0
[pid=21878/tid=21880] ppid=21875 vsize=10661132 memory=16236 CPUtime=0.67 cores=0,2,4,6
/proc/21878/task/21880/stat : 21880 (java) R 21875 21878 19278 0 -1 4202560 6997 0 0 0 47 20 0 0 20 0 15 0 93715141 10916999168 320385 33554432000 4194304 4196468 140737194943728 140711415986968 140711397816718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21881] ppid=21875 vsize=10661132 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21881/stat : 21881 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 320385 33554432000 4194304 4196468 140737194943728 140711018465680 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21882] ppid=21875 vsize=10661132 memory=640 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21882/stat : 21882 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 320385 33554432000 4194304 4196468 140737194943728 140711017412880 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21883] ppid=21875 vsize=10661132 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21883/stat : 21883 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 320385 33554432000 4194304 4196468 140737194943728 140711016360592 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21884] ppid=21875 vsize=10661132 memory=960 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21884/stat : 21884 (java) S 21875 21878 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93715142 10916999168 320385 33554432000 4194304 4196468 140737194943728 140711015307792 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21885] ppid=21875 vsize=10661132 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21885/stat : 21885 (java) S 21875 21878 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710716602992 140711411759746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21886] ppid=21875 vsize=10661132 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21886/stat : 21886 (java) S 21875 21878 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710715548960 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21887] ppid=21875 vsize=10661132 memory=928 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21887/stat : 21887 (java) S 21875 21878 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710714496624 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21888] ppid=21875 vsize=10661132 memory=6153431502485415274 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21888/stat : 21888 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710713444944 140711411767195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21889] ppid=21875 vsize=10661132 memory=6081108994580113768 CPUtime=0.15 cores=0,2,4,6
/proc/21878/task/21889/stat : 21889 (java) S 21875 21878 19278 0 -1 1077944384 816 0 0 0 15 0 0 0 20 0 15 0 93715147 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710309259376 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21890] ppid=21875 vsize=10661132 memory=6154282490091891024 CPUtime=0.18 cores=0,2,4,6
/proc/21878/task/21890/stat : 21890 (java) S 21875 21878 19278 0 -1 1077944384 740 0 0 0 18 0 0 0 20 0 15 0 93715147 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710308206576 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21891] ppid=21875 vsize=10661132 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/21878/task/21891/stat : 21891 (java) S 21875 21878 19278 0 -1 1077944384 1382 0 0 0 25 0 0 0 20 0 15 0 93715147 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710307154288 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21892] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21892/stat : 21892 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 320385 33554432000 4194304 4196468 140737194943728 140710306101728 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21893] ppid=21875 vsize=10661132 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21893/stat : 21893 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 320897 33554432000 4194304 4196468 140737194943728 140710305049520 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1281540 KiB
[startup+1.50075 s]
/proc/loadavg: 1.37 1.33 1.33 3/216 21893
/proc/meminfo: memFree=25088536/32770624 swapFree=67108532/67108860
[pid=21878] ppid=21875 vsize=10661132 memory=5051908 CPUtime=2.12 cores=0,2,4,6
/proc/21878/stat : 21878 (java) S 21875 21878 19278 0 -1 1077944320 13191 0 0 0 134 78 0 0 20 0 15 0 93715141 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140737194926272 140711411748599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
/proc/21878/statm: 2665283 1262977 3103 1 0 2627263 0
[pid=21878/tid=21880] ppid=21875 vsize=10661132 memory=4154884 CPUtime=1.46 cores=0,2,4,6
/proc/21878/task/21880/stat : 21880 (java) S 21875 21878 19278 0 -1 1077944384 8840 0 0 0 70 76 0 0 20 0 15 0 93715141 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140711415986864 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21881] ppid=21875 vsize=10661132 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/21878/task/21881/stat : 21881 (java) R 21875 21878 19278 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 15 0 93715142 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140711018465800 140711404376807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21882] ppid=21875 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21878/task/21882/stat : 21882 (java) R 21875 21878 19278 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 15 0 93715142 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140711017412880 140711404376807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21883] ppid=21875 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21878/task/21883/stat : 21883 (java) R 21875 21878 19278 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 15 0 93715142 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140711016358400 140711404376807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21884] ppid=21875 vsize=10661132 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/21878/task/21884/stat : 21884 (java) R 21875 21878 19278 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 15 0 93715142 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140711015307792 140711390944376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21885] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21885/stat : 21885 (java) S 21875 21878 19278 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710716601504 140711411758805 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21886] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21886/stat : 21886 (java) S 21875 21878 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710715548960 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21887] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21887/stat : 21887 (java) S 21875 21878 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710714496624 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21888] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21888/stat : 21888 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710713444944 140711411767195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21889] ppid=21875 vsize=10661132 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/21878/task/21889/stat : 21889 (java) S 21875 21878 19278 0 -1 1077944384 816 0 0 0 15 0 0 0 20 0 15 0 93715147 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710309259376 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21890] ppid=21875 vsize=10661132 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21878/task/21890/stat : 21890 (java) S 21875 21878 19278 0 -1 1077944384 740 0 0 0 18 0 0 0 20 0 15 0 93715147 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710308206576 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21891] ppid=21875 vsize=10661132 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/21878/task/21891/stat : 21891 (java) S 21875 21878 19278 0 -1 1077944384 1382 0 0 0 25 0 0 0 20 0 15 0 93715147 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710307154288 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21892] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21892/stat : 21892 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710306101728 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21893] ppid=21875 vsize=10661132 memory=13078175418732 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21893/stat : 21893 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 1262977 33554432000 4194304 4196468 140737194943728 140710305049520 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5051908 KiB
[startup+1.6967 s]
# the end of solver process 21878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.76547 s, system=0.833552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60141 s]
/proc/loadavg: 1.37 1.33 1.33 3/216 21893
/proc/meminfo: memFree=25088536/32770624 swapFree=67108532/67108860
[pid=21878] ppid=21875 vsize=10661132 memory=5234488 CPUtime=2.38 cores=0,2,4,6
/proc/21878/stat : 21878 (java) S 21875 21878 19278 0 -1 1077944320 13960 0 0 0 157 81 0 0 20 0 15 0 93715141 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140737194926272 140711411748599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
/proc/21878/statm: 2665283 1308622 3127 1 0 2627263 0
[pid=21878/tid=21880] ppid=21875 vsize=10661132 memory=279732562252592 CPUtime=1.46 cores=0,2,4,6
/proc/21878/task/21880/stat : 21880 (java) S 21875 21878 19278 0 -1 1077944384 8840 0 0 0 70 76 0 0 20 0 15 0 93715141 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140711415986864 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21881] ppid=21875 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21878/task/21881/stat : 21881 (java) R 21875 21878 19278 0 -1 4202560 109 0 0 0 6 0 0 0 20 0 15 0 93715142 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140711018465680 140711390943008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21882] ppid=21875 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21878/task/21882/stat : 21882 (java) R 21875 21878 19278 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 15 0 93715142 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140711017412880 140711404376807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21883] ppid=21875 vsize=10661132 memory=6655300316396806240 CPUtime=0.06 cores=0,2,4,6
/proc/21878/task/21883/stat : 21883 (java) R 21875 21878 19278 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 15 0 93715142 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140711016360792 140711390943226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21884] ppid=21875 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21878/task/21884/stat : 21884 (java) R 21875 21878 19278 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 15 0 93715142 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140711015307792 140711404376807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21885] ppid=21875 vsize=10661132 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21878/task/21885/stat : 21885 (java) S 21875 21878 19278 0 -1 1077944384 648 0 0 0 2 2 0 0 20 0 15 0 93715144 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710716601520 140711411758805 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21886] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21886/stat : 21886 (java) S 21875 21878 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710715548960 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21887] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21887/stat : 21887 (java) S 21875 21878 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93715144 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710714496624 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21888] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21888/stat : 21888 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710713444944 140711411767195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21889] ppid=21875 vsize=10661132 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/21878/task/21889/stat : 21889 (java) S 21875 21878 19278 0 -1 1077944384 816 0 0 0 15 0 0 0 20 0 15 0 93715147 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710309259376 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21890] ppid=21875 vsize=10661132 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21878/task/21890/stat : 21890 (java) S 21875 21878 19278 0 -1 1077944384 740 0 0 0 18 0 0 0 20 0 15 0 93715147 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710308206576 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21891] ppid=21875 vsize=10661132 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/21878/task/21891/stat : 21891 (java) S 21875 21878 19278 0 -1 1077944384 1382 0 0 0 25 0 0 0 20 0 15 0 93715147 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710307154288 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21892] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21892/stat : 21892 (java) S 21875 21878 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710306101728 140711411758805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
[pid=21878/tid=21893] ppid=21875 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21878/task/21893/stat : 21893 (java) S 21875 21878 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93715147 10916999168 1308622 33554432000 4194304 4196468 140737194943728 140710305049520 140711411759746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140737194947704 140737194947849 140737194947849 140737194950607 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5234488 KiB
Child status: 1
Real time (s): 1.69676
CPU time (s): 2.59902
CPU user time (s): 1.76547
CPU system time (s): 0.833552
CPU usage (%): 153.176
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 5234488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.76547
system time used= 0.833552
maximum resident set size= 5235436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1276
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 21878
# total CPU time (s): 2.59902
# total CPU user time (s): 1.76547
# total CPU system time (s): 0.833552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033611 second user time and 0.059162 second system time
The end