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 (15237 MiB free)
memory of node 1: 16384 MiB (13008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272050-1502714456/watcher-4272050-1502714456 -o /tmp/evaluation-result-4272050-1502714456/solver-4272050-1502714456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1142719751 HOME/instance-4272050-1502714456.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=10235, runsolver pid=10232
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.35 1.30 1.42 4/199 10237
/proc/meminfo: memFree=28920248/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=105164 memory=5156 CPUtime=0 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 1507 0 0 0 0 0 0 0 20 0 2 0 25328250 107687936 1289 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 26291 1289 964 1 0 16808 0
[pid=10237/tid=10238] ppid=10235 vsize=105164 memory=7078076838863583841 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) D 10235 10235 7968 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 2 0 25328250 107687936 1289 18446744073709551615 4194304 4196468 140723906825104 139942517762352 139942506011541 0 0 1 16784584 18446744072100347013 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 114676 KiB
Current children cumulated memory: 6532 KiB
[startup+0.315215 s]*
/proc/loadavg: 1.35 1.30 1.42 5/213 10251
/proc/meminfo: memFree=28909708/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13974352 memory=26832 CPUtime=0.09 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 5166 0 0 0 8 1 0 0 20 0 15 0 25328250 14309736448 6708 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3493588 6708 2728 1 0 3482964 0
[pid=10237/tid=10238] ppid=10235 vsize=13974352 memory=7078076838863583841 CPUtime=0.07 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 3314 0 0 0 6 1 0 0 20 0 15 0 25328250 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942517742448 139942497600862 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25328264 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25328264 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25328264 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) S 10235 10235 7968 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942055078128 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) S 10235 10235 7968 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942052972528 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328270 14309736448 6772 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28208 KiB
[startup+0.410577 s]*
/proc/loadavg: 1.35 1.30 1.42 3/213 10251
/proc/meminfo: memFree=28897356/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13974352 memory=36804 CPUtime=0.26 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 8759 0 0 0 23 3 0 0 20 0 15 0 25328250 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3493588 9201 2978 1 0 3482964 0
[pid=10237/tid=10238] ppid=10235 vsize=13974352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 6053 0 0 0 14 2 0 0 20 0 15 0 25328250 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942517749968 139942497600862 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13974352 memory=3762204689424869714 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25328262 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25328264 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25328264 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25328264 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) R 10235 10235 7968 0 -1 4202560 475 0 0 0 1 0 0 0 20 0 15 0 25328267 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942055059144 139942505809824 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) S 10235 10235 7968 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 15 0 25328267 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0.05 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) S 10235 10235 7968 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 25328267 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942052972528 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13974352 memory=139793837090432 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328270 14309736448 9201 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38180 KiB
[startup+0.710451 s]
/proc/loadavg: 1.35 1.30 1.42 4/213 10251
/proc/meminfo: memFree=28883124/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13978684 memory=65272 CPUtime=1.01 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 13079 0 0 0 96 5 0 0 20 0 15 0 25328250 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3494671 16318 3155 1 0 3482964 0
[pid=10237/tid=10238] ppid=10235 vsize=13978684 memory=15824382706588279 CPUtime=0.45 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 7800 0 0 0 42 3 0 0 20 0 15 0 25328250 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942517756560 139942131196227 0 4 1 16800974 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25328262 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25328264 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25328264 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25328264 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13978684 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) R 10235 10235 7968 0 -1 1077944384 1033 0 0 0 12 0 0 0 20 0 15 0 25328267 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942055057824 139942513530581 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13978684 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) R 10235 10235 7968 0 -1 4202560 1174 0 0 0 15 0 0 0 20 0 15 0 25328267 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942491537358 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) R 10235 10235 7968 0 -1 4202560 1766 0 0 0 25 0 0 0 20 0 15 0 25328267 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942052967568 139942506617211 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13978684 memory=139793837090431 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328270 14314172416 16318 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 66648 KiB
[startup+1.50072 s]
/proc/loadavg: 1.35 1.30 1.42 3/213 10251
/proc/meminfo: memFree=28827892/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13980732 memory=140632 CPUtime=3.56 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 24512 0 0 0 348 8 0 0 20 0 15 0 25328250 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3495183 35158 3186 1 0 3483476 0
[pid=10237/tid=10238] ppid=10235 vsize=13980732 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 9383 0 0 0 120 4 0 0 20 0 15 0 25328250 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942517759168 139942513532310 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25328262 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25328262 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13980732 memory=14410436439181270 CPUtime=0.85 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) R 10235 10235 7968 0 -1 4202560 6126 0 0 0 84 1 0 0 20 0 15 0 25328267 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942055062472 139942491973817 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13980732 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) R 10235 10235 7968 0 -1 4202560 4025 0 0 0 86 0 0 0 20 0 15 0 25328267 14316269568 35158 18446744073709551615 4194304 4196468 140723906825104 139942054009456 139942495041569 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13980732 memory=0 CPUtime=0.57 cores=0,2,4,6
################
# More data... #
################
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13980732 memory=7379823555244933220 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13980732 memory=6946356463403757376 CPUtime=3.49 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) S 10235 10235 7968 0 -1 1077944384 15979 0 0 0 347 2 0 0 20 0 15 0 25328267 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942055078128 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13980732 memory=8016517736310469220 CPUtime=3.3 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) S 10235 10235 7968 0 -1 1077944384 12237 0 0 0 328 2 0 0 20 0 15 0 25328267 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13980732 memory=288230574492221466 CPUtime=0.85 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) S 10235 10235 7968 0 -1 1077944384 12261 0 0 0 83 2 0 0 20 0 15 0 25328267 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942052972528 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13980732 memory=14410436439181270 CPUtime=0.91 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 841 0 0 0 43 48 0 0 20 0 15 0 25328270 14316269568 71679 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 2420.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 288092 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.38 1.41 3/213 10575
/proc/meminfo: memFree=29903948/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13980732 memory=286764 CPUtime=2480.97 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 172829 0 0 0 247943 154 0 0 20 0 15 0 25328250 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3495183 71691 3257 1 0 3483476 0
[pid=10237/tid=10238] ppid=10235 vsize=13980732 memory=4638798211353177430 CPUtime=2428.24 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 37731 0 0 0 242810 14 0 0 20 0 15 0 25328250 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942517760176 139942131213410 0 4 1 16800974 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13980732 memory=7811300492267120995 CPUtime=10.62 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 15629 0 0 0 1040 22 0 0 20 0 15 0 25328262 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13980732 memory=7235147594880805952 CPUtime=10.61 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 12809 0 0 0 1041 20 0 0 20 0 15 0 25328262 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13980732 memory=288230574492221466 CPUtime=10.62 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 13827 0 0 0 1043 19 0 0 20 0 15 0 25328262 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13980732 memory=288230617509003574 CPUtime=10.57 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 12565 0 0 0 1035 22 0 0 20 0 15 0 25328262 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13980732 memory=14410436439181270 CPUtime=1.64 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 37592 0 0 0 151 13 0 0 20 0 15 0 25328264 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13980732 memory=8692 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13980732 memory=9916 CPUtime=3.49 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) S 10235 10235 7968 0 -1 1077944384 15981 0 0 0 347 2 0 0 20 0 15 0 25328267 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942055078128 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13980732 memory=1200 CPUtime=3.3 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) S 10235 10235 7968 0 -1 1077944384 12239 0 0 0 328 2 0 0 20 0 15 0 25328267 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13980732 memory=15872 CPUtime=0.85 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) S 10235 10235 7968 0 -1 1077944384 12263 0 0 0 83 2 0 0 20 0 15 0 25328267 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942052972528 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13980732 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13980732 memory=16444 CPUtime=0.94 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 845 0 0 0 45 49 0 0 20 0 15 0 25328270 14316269568 71691 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 2480.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 288140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.8 s]
/proc/loadavg: 1.44 1.39 1.41 3/213 10578
/proc/meminfo: memFree=29898844/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13980732 memory=282768 CPUtime=2520.01 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 173598 0 0 0 251846 155 0 0 20 0 15 0 25328250 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3495183 70692 3257 1 0 3483476 0
[pid=10237/tid=10238] ppid=10235 vsize=13980732 memory=282768 CPUtime=2466.51 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 37939 0 0 0 246637 14 0 0 20 0 15 0 25328250 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942517760208 139942138369448 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13980732 memory=282768 CPUtime=10.8 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 15716 0 0 0 1058 22 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13980732 memory=282604 CPUtime=10.79 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 12899 0 0 0 1059 20 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13980732 memory=282768 CPUtime=10.79 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 13945 0 0 0 1060 19 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13980732 memory=1376 CPUtime=10.75 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 12645 0 0 0 1053 22 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13980732 memory=282768 CPUtime=1.68 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 37757 0 0 0 154 14 0 0 20 0 15 0 25328264 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13980732 memory=282768 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13980732 memory=1376 CPUtime=3.49 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) S 10235 10235 7968 0 -1 1077944384 15983 0 0 0 347 2 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942055078128 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13980732 memory=1376 CPUtime=3.3 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) S 10235 10235 7968 0 -1 1077944384 12241 0 0 0 328 2 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13980732 memory=1376 CPUtime=0.85 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) S 10235 10235 7968 0 -1 1077944384 12265 0 0 0 83 2 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942052972528 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13980732 memory=282768 CPUtime=0.95 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 860 0 0 0 45 50 0 0 20 0 15 0 25328270 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 284144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2480.81 s]
# the end of solver process 10235 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001845 s, system=0 s
[startup+2480.81 s]
# the end of solver process 10237 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.47 s, system=1.56269 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2480.8 s]
/proc/loadavg: 1.44 1.39 1.41 3/213 10578
/proc/meminfo: memFree=29898844/32770624 swapFree=67108860/67108860
[pid=10235] ppid=10232 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10235/stat : 10235 (xcsp3-exec) S 10232 10235 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 25328240 9740288 344 18446744073709551615 4194304 5098028 140725669317520 140725669315624 139910211920508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21032960 140725669323129 140725669323334 140725669323334 140725669326827 0
/proc/10235/statm: 2378 344 289 221 0 87 0
[pid=10237] ppid=10235 vsize=13980732 memory=282768 CPUtime=2520.01 cores=0,2,4,6
/proc/10237/stat : 10237 (java) S 10235 10235 7968 0 -1 1077944320 173598 0 0 0 251846 155 0 0 20 0 15 0 25328250 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 140723906807648 139942513520375 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
/proc/10237/statm: 3495183 70692 3257 1 0 3483476 0
[pid=10237/tid=10238] ppid=10235 vsize=13980732 memory=282768 CPUtime=2466.51 cores=0,2,4,6
/proc/10237/task/10238/stat : 10238 (java) R 10235 10235 7968 0 -1 4202560 37939 0 0 0 246637 14 0 0 20 0 15 0 25328250 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942517760208 139942138369448 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10239] ppid=10235 vsize=13980732 memory=282768 CPUtime=10.8 cores=0,2,4,6
/proc/10237/task/10239/stat : 10239 (java) S 10235 10235 7968 0 -1 1077944384 15716 0 0 0 1058 22 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942455466512 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10240] ppid=10235 vsize=13980732 memory=282604 CPUtime=10.79 cores=0,2,4,6
/proc/10237/task/10240/stat : 10240 (java) S 10235 10235 7968 0 -1 1077944384 12899 0 0 0 1059 20 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942454413968 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10241] ppid=10235 vsize=13980732 memory=282768 CPUtime=10.79 cores=0,2,4,6
/proc/10237/task/10241/stat : 10241 (java) S 10235 10235 7968 0 -1 1077944384 13945 0 0 0 1060 19 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942453360912 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10242] ppid=10235 vsize=13980732 memory=1376 CPUtime=10.75 cores=0,2,4,6
/proc/10237/task/10242/stat : 10242 (java) S 10235 10235 7968 0 -1 1077944384 12645 0 0 0 1053 22 0 0 20 0 15 0 25328262 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942452308368 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10243] ppid=10235 vsize=13980732 memory=282768 CPUtime=1.68 cores=0,2,4,6
/proc/10237/task/10243/stat : 10243 (java) S 10235 10235 7968 0 -1 1077944384 37757 0 0 0 154 14 0 0 20 0 15 0 25328264 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942059289328 139942513531522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10244] ppid=10235 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10244/stat : 10244 (java) S 10235 10235 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942058235552 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10245] ppid=10235 vsize=13980732 memory=282768 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10245/stat : 10245 (java) S 10235 10235 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25328264 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942057182448 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10246] ppid=10235 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10246/stat : 10246 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942056131024 139942513538971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10247] ppid=10235 vsize=13980732 memory=1376 CPUtime=3.49 cores=0,2,4,6
/proc/10237/task/10247/stat : 10247 (java) S 10235 10235 7968 0 -1 1077944384 15983 0 0 0 347 2 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942055078128 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10248] ppid=10235 vsize=13980732 memory=1376 CPUtime=3.3 cores=0,2,4,6
/proc/10237/task/10248/stat : 10248 (java) S 10235 10235 7968 0 -1 1077944384 12241 0 0 0 328 2 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942054025584 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10249] ppid=10235 vsize=13980732 memory=1376 CPUtime=0.85 cores=0,2,4,6
/proc/10237/task/10249/stat : 10249 (java) S 10235 10235 7968 0 -1 1077944384 12265 0 0 0 83 2 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942052972528 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10250] ppid=10235 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10237/task/10250/stat : 10250 (java) S 10235 10235 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25328267 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942051920224 139942513530581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
[pid=10237/tid=10251] ppid=10235 vsize=13980732 memory=282768 CPUtime=0.95 cores=0,2,4,6
/proc/10237/task/10251/stat : 10251 (java) S 10235 10235 7968 0 -1 1077944384 860 0 0 0 45 50 0 0 20 0 15 0 25328270 14316269568 70692 18446744073709551615 4194304 4196468 140723906825104 139942050868272 139942513531522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9932800 140723906826674 140723906826850 140723906826850 140723906830287 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 284144 KiB
Child status: 143
Real time (s): 2480.81
CPU time (s): 2520.03
CPU user time (s): 2518.47
CPU system time (s): 1.56269
CPU usage (%): 101.581
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 475924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.47
system time used= 1.56269
maximum resident set size= 493224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93038
involuntary context switches= 5157
# summary of solver processes directly reported to runsolver:
# pid: 10235,10237
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.47
# total CPU system time (s): 1.56269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6496 second user time and 24.2048 second system time
The end