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 (2619 MiB free)
memory of node 1: 16384 MiB (2386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304237-1534049105/watcher-4304237-1534049105 -o /tmp/evaluation-result-4304237-1534049105/solver-4304237-1534049105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15390 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=749107145 HOME/instance-4304237-1534049105.xml
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
solver pid=17422, runsolver pid=17419
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.77 1.88 1.59 3/206 17479
/proc/meminfo: memFree=5122028/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=10005480 memory=14644 CPUtime=0.09 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 4348 13149 0 0 1 0 5 3 20 0 6 0 222473756 10245611520 3661 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2501370 3661 1932 1 0 2489808 0
[pid=17422/tid=17475] ppid=17419 vsize=10005480 memory=4279135703980213131 CPUtime=0.09 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 2161 13149 0 0 1 0 5 3 20 0 6 0 222473765 10245611520 3661 33554432000 4194304 4196468 140731691553984 139885882311248 139885894554974 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 6 0 222473766 10245611520 3661 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=10005480 memory=140527269504640 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 6 0 222473766 10245611520 3661 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 6 0 222473766 10245611520 3727 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 6 0 222473766 10245611520 3727 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14644 KiB
[startup+0.209761 s]*
/proc/loadavg: 2.77 1.88 1.59 3/215 17488
/proc/meminfo: memFree=5098892/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=10982696 memory=42644 CPUtime=0.26 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 8571 13149 0 0 17 1 5 3 20 0 15 0 222473756 11246280704 10661 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2745674 10661 2936 1 0 2708109 0
[pid=17422/tid=17475] ppid=17419 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 5028 13149 0 0 10 1 5 3 20 0 15 0 222473765 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885882272144 139885910496413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=10982696 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=10982696 memory=140527269520302 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=10982696 memory=140527269504640 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 15 0 222473767 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 13 13149 0 0 0 0 5 3 20 0 15 0 222473768 11246280704 10661 33554432000 4194304 4196468 140731691553984 139884736013600 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473768 11246280704 10661 33554432000 4194304 4196468 140731691553984 139884534687344 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246280704 10661 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 462 13149 0 0 1 0 5 3 20 0 15 0 222473771 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 189 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=10982696 memory=140527269504640 CPUtime=0.11 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) R 17419 17422 14233 0 -1 4202560 672 13149 0 0 3 0 5 3 20 0 15 0 222473771 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885332625776 139885889608963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246280704 10661 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=10982696 memory=140527269504640 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246280704 10661 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42644 KiB
[startup+0.310205 s]*
/proc/loadavg: 2.77 1.88 1.59 3/215 17488
/proc/meminfo: memFree=5086736/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=10983192 memory=51436 CPUtime=0.39 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 9954 13149 0 0 29 2 5 3 20 0 15 0 222473756 11246788608 12859 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2745798 12859 3099 1 0 2708109 0
[pid=17422/tid=17475] ppid=17419 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 6370 13149 0 0 20 1 5 3 20 0 15 0 222473765 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885882277264 139885890750368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 15 0 222473767 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 13 13149 0 0 0 0 5 3 20 0 15 0 222473768 11246788608 12859 33554432000 4194304 4196468 140731691553984 139884736013600 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473768 11246788608 12859 33554432000 4194304 4196468 140731691553984 139884534687344 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246788608 12859 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 470 13149 0 0 2 0 5 3 20 0 15 0 222473771 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 190 13149 0 0 1 0 5 3 20 0 15 0 222473771 11246788608 12859 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=10983192 memory=140527269504640 CPUtime=0.13 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 703 13149 0 0 5 0 5 3 20 0 15 0 222473771 11246788608 12923 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246788608 12923 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=10983192 memory=140527269504640 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246788608 12923 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51436 KiB
[startup+0.700733 s]
/proc/loadavg: 2.77 1.88 1.59 3/215 17488
/proc/meminfo: memFree=5074332/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=10983192 memory=87828 CPUtime=0.98 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 17125 13149 0 0 87 3 5 3 20 0 15 0 222473756 11246788608 21957 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2745798 21957 3240 1 0 2708109 0
[pid=17422/tid=17475] ppid=17419 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 12419 13149 0 0 56 3 5 3 20 0 15 0 222473765 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885882269272 139885890749802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 15 0 222473766 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=10983192 memory=5788639906512594775 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 5 13149 0 0 0 0 5 3 20 0 15 0 222473767 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 13 13149 0 0 0 0 5 3 20 0 15 0 222473768 11246788608 21957 33554432000 4194304 4196468 140731691553984 139884736013600 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473768 11246788608 21957 33554432000 4194304 4196468 140731691553984 139884534687344 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246788608 21957 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 720 13149 0 0 7 0 5 3 20 0 15 0 222473771 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 865 13149 0 0 9 0 5 3 20 0 15 0 222473771 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 897 13149 0 0 13 0 5 3 20 0 15 0 222473771 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246788608 21957 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473771 11246788608 21957 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87828 KiB
[startup+1.50068 s]
/proc/loadavg: 2.77 1.88 1.59 6/215 17488
/proc/meminfo: memFree=4983184/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=10993996 memory=189128 CPUtime=3.1 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 23427 13149 0 0 295 7 5 3 20 0 15 0 222473756 11257851904 47282 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2748499 47282 3454 1 0 2710157 0
[pid=17422/tid=17475] ppid=17419 vsize=10993996 memory=4951091520830867572 CPUtime=1.46 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 15687 13149 0 0 133 5 5 3 20 0 15 0 222473765 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885882296800 139885893661296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=10993996 memory=4134606225630022328 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=10993996 memory=-5153075247754943381 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=10993996 memory=-7739380694541898649 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473766 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=10993996 memory=118836 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 2 13149 0 0 0 0 5 3 20 0 15 0 222473766 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 6 13149 0 0 0 0 5 3 20 0 15 0 222473767 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 13 13149 0 0 0 0 5 3 20 0 15 0 222473768 11257851904 47282 33554432000 4194304 4196468 140731691553984 139884736013600 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=10993996 memory=281054338416928 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473768 11257851904 47282 33554432000 4194304 4196468 140731691553984 139884534687344 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=10993996 memory=281054338831872 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11257851904 47282 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=10993996 memory=140527169218176 CPUtime=0.63 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 1832 13149 0 0 55 0 5 3 20 0 15 0 222473771 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=10993996 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) R 17419 17422 14233 0 -1 4202560 1838 13149 0 0 60 0 5 3 20 0 15 0 222473771 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885333666800 139885891175408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=10993996 memory=1128 CPUtime=0.53 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 1845 13149 0 0 44 1 5 3 20 0 15 0 222473771 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=10993996 memory=15188 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11257851904 47282 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=10993996 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1 13149 0 0 0 0 5 3 20 0 15 0 222473771 11257851904 47282 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 6758115 13149 0 0 228409 345 5 3 20 0 15 0 222473765 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885882310144 139885498732653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.57 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 360960 13149 0 0 2975 174 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.49 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 362580 13149 0 0 2972 169 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.54 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 400337 13149 0 0 2967 179 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=11014496 memory=4000 CPUtime=31.65 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 501242 13149 0 0 2976 181 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=11014496 memory=4437492 CPUtime=2.47 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 65580 13149 0 0 223 16 5 3 20 0 15 0 222473767 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=11014496 memory=4437492 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 21 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139884736013728 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=11014496 memory=2672 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 15 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139884534687360 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=11014496 memory=4437492 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=11014496 memory=4437492 CPUtime=15.65 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 52748 13149 0 0 1548 9 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=11014496 memory=1224 CPUtime=15.33 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 51235 13149 0 0 1518 7 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=11014496 memory=2260 CPUtime=4.85 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 48558 13149 0 0 468 9 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=11014496 memory=1788 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=11014496 memory=4437492 CPUtime=1.34 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1453 13149 0 0 63 63 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 2452.9 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4437492 KiB
[startup+2382.3 s]
/proc/loadavg: 1.39 1.40 1.72 3/215 17835
/proc/meminfo: memFree=7069180/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=11014496 memory=4437492 CPUtime=2513.22 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 8705956 13149 0 0 250171 1143 5 3 20 0 15 0 222473756 11278843904 1109373 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2753624 1109373 3536 1 0 2715277 0
[pid=17422/tid=17475] ppid=17419 vsize=11014496 memory=4437492 CPUtime=2347.5 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 6852782 13149 0 0 234393 349 5 3 20 0 15 0 222473765 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885882310416 139885498733892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.67 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 362911 13149 0 0 2985 174 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.58 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 363839 13149 0 0 2981 169 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.64 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 401969 13149 0 0 2977 179 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=11014496 memory=3172 CPUtime=31.76 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 502269 13149 0 0 2986 182 5 3 20 0 15 0 222473766 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=11014496 memory=4437492 CPUtime=2.5 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 65924 13149 0 0 225 17 5 3 20 0 15 0 222473767 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=11014496 memory=3872 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 21 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139884736013728 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=11014496 memory=4437492 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 15 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139884534687360 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=11014496 memory=4437492 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=11014496 memory=2888 CPUtime=15.65 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 52750 13149 0 0 1548 9 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=11014496 memory=4104 CPUtime=15.33 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 51238 13149 0 0 1518 7 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=11014496 memory=1408 CPUtime=4.85 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 48561 13149 0 0 468 9 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=11014496 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=11014496 memory=1180 CPUtime=1.36 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1478 13149 0 0 64 64 5 3 20 0 15 0 222473771 11278843904 1109373 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 2513.22 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4437492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389.11 s]
/proc/loadavg: 1.41 1.40 1.72 3/215 17835
/proc/meminfo: memFree=7067132/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=11014496 memory=4437540 CPUtime=2520.06 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 8706824 13149 0 0 250854 1144 5 3 20 0 15 0 222473756 11278843904 1109385 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2753624 1109385 3536 1 0 2715277 0
[pid=17422/tid=17475] ppid=17419 vsize=11014496 memory=4437540 CPUtime=2354.29 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 6852785 13149 0 0 235072 349 5 3 20 0 15 0 222473765 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885882309632 139885498732770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.68 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 363116 13149 0 0 2986 174 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.59 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 364045 13149 0 0 2982 169 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.65 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 402193 13149 0 0 2978 179 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.77 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 502492 13149 0 0 2987 182 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=11014496 memory=4437492 CPUtime=2.5 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 65931 13149 0 0 225 17 5 3 20 0 15 0 222473767 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=11014496 memory=4437540 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 21 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139884736013728 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=11014496 memory=4437540 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 15 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139884534687360 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=11014496 memory=4437492 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=11014496 memory=4437492 CPUtime=15.65 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 52750 13149 0 0 1548 9 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=11014496 memory=4437492 CPUtime=15.33 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 51238 13149 0 0 1518 7 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=11014496 memory=4437492 CPUtime=4.85 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 48561 13149 0 0 468 9 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=11014496 memory=4437540 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=11014496 memory=4437540 CPUtime=1.37 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1478 13149 0 0 65 64 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4437540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.2 s]
# the end of solver process 17422 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.62 s, system=11.535 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2389.11 s]
/proc/loadavg: 1.41 1.40 1.72 3/215 17835
/proc/meminfo: memFree=7067132/32770624 swapFree=67108496/67108860
[pid=17422] ppid=17419 vsize=11014496 memory=4437540 CPUtime=2520.06 cores=0,2,4,6
/proc/17422/stat : 17422 (java) S 17419 17422 14233 0 -1 1077944320 8706824 13149 0 0 250854 1144 5 3 20 0 15 0 222473756 11278843904 1109385 33554432000 4194304 4196468 140731691553984 140731691536528 139885910474487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
/proc/17422/statm: 2753624 1109385 3536 1 0 2715277 0
[pid=17422/tid=17475] ppid=17419 vsize=11014496 memory=4437540 CPUtime=2354.29 cores=0,2,4,6
/proc/17422/task/17475/stat : 17475 (java) R 17419 17422 14233 0 -1 4202560 6852785 13149 0 0 235072 349 5 3 20 0 15 0 222473765 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885882309632 139885498732770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17476] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.68 cores=0,2,4,6
/proc/17422/task/17476/stat : 17476 (java) S 17419 17422 14233 0 -1 1077944384 363116 13149 0 0 2986 174 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885914716560 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17477] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.59 cores=0,2,4,6
/proc/17422/task/17477/stat : 17477 (java) S 17419 17422 14233 0 -1 1077944384 364045 13149 0 0 2982 169 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885810919696 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17478] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.65 cores=0,2,4,6
/proc/17422/task/17478/stat : 17478 (java) S 17419 17422 14233 0 -1 1077944384 402193 13149 0 0 2978 179 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885449505424 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17479] ppid=17419 vsize=11014496 memory=4437492 CPUtime=31.77 cores=0,2,4,6
/proc/17422/task/17479/stat : 17479 (java) S 17419 17422 14233 0 -1 1077944384 502492 13149 0 0 2987 182 5 3 20 0 15 0 222473766 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885448452624 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17480] ppid=17419 vsize=11014496 memory=4437492 CPUtime=2.5 cores=0,2,4,6
/proc/17422/task/17480/stat : 17480 (java) S 17419 17422 14233 0 -1 1077944384 65931 13149 0 0 225 17 5 3 20 0 15 0 222473767 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885335784048 139885910485634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17481] ppid=17419 vsize=11014496 memory=4437540 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17481/stat : 17481 (java) S 17419 17422 14233 0 -1 1077944384 21 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139884736013728 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17482] ppid=17419 vsize=11014496 memory=4437540 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17482/stat : 17482 (java) S 17419 17422 14233 0 -1 1077944384 15 13149 0 0 0 0 5 3 20 0 15 0 222473768 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139884534687360 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17483] ppid=17419 vsize=11014496 memory=4437492 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17483/stat : 17483 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139884227287632 139885910493083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17484] ppid=17419 vsize=11014496 memory=4437492 CPUtime=15.65 cores=0,2,4,6
/proc/17422/task/17484/stat : 17484 (java) S 17419 17422 14233 0 -1 1077944384 52750 13149 0 0 1548 9 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885334730864 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17485] ppid=17419 vsize=11014496 memory=4437492 CPUtime=15.33 cores=0,2,4,6
/proc/17422/task/17485/stat : 17485 (java) S 17419 17422 14233 0 -1 1077944384 51238 13149 0 0 1518 7 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885333678064 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17486] ppid=17419 vsize=11014496 memory=4437492 CPUtime=4.85 cores=0,2,4,6
/proc/17422/task/17486/stat : 17486 (java) S 17419 17422 14233 0 -1 1077944384 48561 13149 0 0 468 9 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885332625776 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17487] ppid=17419 vsize=11014496 memory=4437540 CPUtime=0.08 cores=0,2,4,6
/proc/17422/task/17487/stat : 17487 (java) S 17419 17422 14233 0 -1 1077944384 3 13149 0 0 0 0 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139883796490720 139885910484693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
[pid=17422/tid=17488] ppid=17419 vsize=11014496 memory=4437540 CPUtime=1.37 cores=0,2,4,6
/proc/17422/task/17488/stat : 17488 (java) S 17419 17422 14233 0 -1 1077944384 1478 13149 0 0 65 64 5 3 20 0 15 0 222473771 11278843904 1109385 33554432000 4194304 4196468 140731691553984 139885331573680 139885910485634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140731691555437 140731691558236 140731691558236 140731691560911 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4437540 KiB
Child status: 143
Real time (s): 2389.2
CPU time (s): 2520.15
CPU user time (s): 2508.62
CPU system time (s): 11.535
CPU usage (%): 105.481
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 4439028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.62
system time used= 11.535
maximum resident set size= 4441756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8722200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88443
involuntary context switches= 5128
# summary of solver processes directly reported to runsolver:
# pid: 17422
# total CPU time (s): 2520.15
# total CPU user time (s): 2508.62
# total CPU system time (s): 11.535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2462 second user time and 21.4948 second system time
The end