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 (14629 MiB free)
memory of node 1: 16384 MiB (6454 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306688-1534046487/watcher-4306688-1534046487 -o /tmp/evaluation-result-4306688-1534046487/solver-4306688-1534046487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16488 --watchdog 2580 HOME/xcsp3-exec -seed 1648507439 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306688-1534046487.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
Current StackSize limit: 8192 KiB
solver pid=17321, runsolver pid=17318
[startup+0.100061 s]*
/proc/loadavg: 1.68 1.70 1.71 3/205 17339
/proc/meminfo: memFree=23986388/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14082940 memory=28236 CPUtime=0.12 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 5475 0 0 0 10 2 0 0 20 0 15 0 222211838 14420930560 7059 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3520735 7059 2992 1 0 3483012 0
[pid=17323/tid=17324] ppid=17321 vsize=14082940 memory=-6517102902069810590 CPUtime=0.09 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 3495 0 0 0 8 1 0 0 20 0 15 0 222211838 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525963873312 140525943727484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14082940 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211840 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222211841 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525499999136 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222211841 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) S 17321 17321 15061 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 222211843 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) S 17321 17321 15061 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 222211843 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525495790192 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0.01 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) R 17321 17321 15061 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 222211843 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525494737648 140525959658902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211844 14420930560 7059 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29688 KiB
[startup+0.212181 s]*
/proc/loadavg: 1.68 1.70 1.71 3/202 17339
/proc/meminfo: memFree=29030892/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14082940 memory=41116 CPUtime=0.34 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 8273 0 0 0 32 2 0 0 20 0 15 0 222211838 14420930560 10279 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3520735 10279 3208 1 0 3483012 0
[pid=17323/tid=17324] ppid=17321 vsize=14082940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 5376 0 0 0 18 1 0 0 20 0 15 0 222211838 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525963881088 140525959658902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14082940 memory=343 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14082940 memory=3544531750881220256 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 222211840 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222211841 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525499999136 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222211841 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) S 17321 17321 15061 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 15 0 222211843 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) S 17321 17321 15061 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 15 0 222211843 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525495790192 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0.08 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) R 17321 17321 15061 0 -1 4202560 810 0 0 0 8 0 0 0 20 0 15 0 222211843 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525494737648 140525938451125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14082940 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211844 14420930560 10279 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42568 KiB
[startup+0.310451 s]*
/proc/loadavg: 1.68 1.70 1.71 4/211 17362
/proc/meminfo: memFree=29016924/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14087196 memory=47428 CPUtime=0.5 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 9029 0 0 0 47 3 0 0 20 0 15 0 222211838 14425288704 11857 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3521799 11857 3254 1 0 3483012 0
[pid=17323/tid=17324] ppid=17321 vsize=14087196 memory=-6517102902069810590 CPUtime=0.3 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 5952 0 0 0 28 2 0 0 20 0 15 0 222211838 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525963878080 140525959670557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14087196 memory=3472328128895609921 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211839 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14087196 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14087196 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14087196 memory=140337273788032 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 222211840 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222211841 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525499999136 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14087196 memory=280674233991040 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222211841 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14087196 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) R 17321 17321 15061 0 -1 4202560 642 0 0 0 3 0 0 0 20 0 15 0 222211843 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525496842832 140525951936421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14087196 memory=140337117014655 CPUtime=0.03 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) R 17321 17321 15061 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 15 0 222211843 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525495780112 140525959657173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14087196 memory=140337495999870 CPUtime=0.12 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) R 17321 17321 15061 0 -1 4202560 903 0 0 0 12 0 0 0 20 0 15 0 222211843 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525494737648 140525939839794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14087196 memory=140337273788031 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211844 14425288704 11857 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48880 KiB
[startup+0.700744 s]
/proc/loadavg: 1.68 1.70 1.71 7/217 17368
/proc/meminfo: memFree=28976868/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14089320 memory=99760 CPUtime=1.64 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 12518 0 0 0 158 6 0 0 20 0 15 0 222211838 14427463680 24940 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3522330 24940 3346 1 0 3483524 0
[pid=17323/tid=17324] ppid=17321 vsize=14089320 memory=280674234353824 CPUtime=0.67 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 6909 0 0 0 64 3 0 0 20 0 15 0 222211838 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525963865904 140525959668893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14089320 memory=140338056397242 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211839 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14089320 memory=280674234437344 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14089320 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14089320 memory=14408220252834352 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222211839 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 222211840 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222211841 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525499999136 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222211841 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14089320 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) R 17321 17321 15061 0 -1 1077944384 1329 0 0 0 28 0 0 0 20 0 15 0 222211843 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14089320 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) R 17321 17321 15061 0 -1 4202560 1244 0 0 0 29 0 0 0 20 0 15 0 222211843 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525495790192 140525959668314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14089320 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) R 17321 17321 15061 0 -1 4202560 1724 0 0 0 36 0 0 0 20 0 15 0 222211843 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525494733600 140525959668314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222211844 14427463680 24940 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 101212 KiB
[startup+1.50075 s]
/proc/loadavg: 1.94 1.75 1.73 9/220 17371
/proc/meminfo: memFree=28842864/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14091368 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14091368 memory=7596275630441587542 CPUtime=2.93 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) S 17321 17321 15061 0 -1 1077944384 24085 0 0 0 290 3 0 0 20 0 15 0 222211843 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14091368 memory=86 CPUtime=2.78 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) S 17321 17321 15061 0 -1 1077944384 19149 0 0 0 275 3 0 0 20 0 15 0 222211843 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525495790192 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14091368 memory=1184924 CPUtime=0.86 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) S 17321 17321 15061 0 -1 1077944384 9246 0 0 0 84 2 0 0 20 0 15 0 222211843 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525494737648 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14091368 memory=1224424 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14091368 memory=1876 CPUtime=0.69 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 943 0 0 0 31 38 0 0 20 0 15 0 222211844 14429560832 296231 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 2390.34 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1186376 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/218 17514
/proc/meminfo: memFree=26245604/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14091368 memory=1147476 CPUtime=2450.35 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 111135 0 0 0 244933 102 0 0 20 0 15 0 222211838 14429560832 286869 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3522842 286869 3421 1 0 3484036 0
[pid=17323/tid=17324] ppid=17321 vsize=14091368 memory=1147476 CPUtime=2441.95 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 41445 0 0 0 244171 24 0 0 20 0 15 0 222211838 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525963886416 140525582570019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.25 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 4089 0 0 0 15 10 0 0 20 0 15 0 222211839 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2072 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 3026 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14091368 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2215 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.06 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 3471 0 0 0 4 2 0 0 20 0 15 0 222211840 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525499999200 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14091368 memory=1452 CPUtime=2.93 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) S 17321 17321 15061 0 -1 1077944384 24087 0 0 0 290 3 0 0 20 0 15 0 222211843 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14091368 memory=3544 CPUtime=2.78 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) S 17321 17321 15061 0 -1 1077944384 19152 0 0 0 275 3 0 0 20 0 15 0 222211843 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525495790192 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14091368 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) S 17321 17321 15061 0 -1 1077944384 9248 0 0 0 84 2 0 0 20 0 15 0 222211843 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525494737648 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.7 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 965 0 0 0 31 39 0 0 20 0 15 0 222211844 14429560832 286869 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 2450.35 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1148928 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/218 17515
/proc/meminfo: memFree=26282276/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14091368 memory=1110540 CPUtime=2510.36 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 112802 0 0 0 250933 103 0 0 20 0 15 0 222211838 14429560832 277635 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3522842 277635 3421 1 0 3484036 0
[pid=17323/tid=17324] ppid=17321 vsize=14091368 memory=1452 CPUtime=2501.94 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 42312 0 0 0 250170 24 0 0 20 0 15 0 222211838 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525963886416 140525582668977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14091368 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 4222 0 0 0 15 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2082 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 3047 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14091368 memory=1110540 CPUtime=0.25 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2602 0 0 0 15 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14091368 memory=1110540 CPUtime=0.06 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 3635 0 0 0 4 2 0 0 20 0 15 0 222211840 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14091368 memory=1110540 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525499999200 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14091368 memory=1110540 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14091368 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14091368 memory=1876 CPUtime=2.93 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) S 17321 17321 15061 0 -1 1077944384 24089 0 0 0 290 3 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14091368 memory=1452 CPUtime=2.78 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) S 17321 17321 15061 0 -1 1077944384 19161 0 0 0 275 3 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525495790192 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14091368 memory=1147476 CPUtime=0.86 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) S 17321 17321 15061 0 -1 1077944384 9308 0 0 0 84 2 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525494737648 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14091368 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14091368 memory=58412 CPUtime=0.71 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 979 0 0 0 32 39 0 0 20 0 15 0 222211844 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 2510.36 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1111992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512 s]*
/proc/loadavg: 2.00 2.01 1.98 4/218 17515
/proc/meminfo: memFree=26282268/32770624 swapFree=67030644/67108860
[pid=17321] ppid=17318 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17321/stat : 17321 (xcsp3-exec) S 17318 17321 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 222211838 115843072 363 33554432000 4194304 5098028 140730339494928 140730339493032 140105269916284 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32301056 140730339501114 140730339501316 140730339501316 140730339504074 0
/proc/17321/statm: 28282 363 306 221 0 87 0
[pid=17323] ppid=17321 vsize=14091368 memory=1110540 CPUtime=2520.07 cores=0,2,4,6
/proc/17323/stat : 17323 (java) S 17321 17321 15061 0 -1 1077944320 112859 0 0 0 251904 103 0 0 20 0 15 0 222211838 14429560832 277635 33554432000 4194304 4196468 140732962983024 140732962965568 140525959646967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
/proc/17323/statm: 3522842 277635 3421 1 0 3484036 0
[pid=17323/tid=17324] ppid=17321 vsize=14091368 memory=6791534058613427641 CPUtime=2511.64 cores=0,2,4,6
/proc/17323/task/17324/stat : 17324 (java) R 17321 17321 15061 0 -1 4202560 42369 0 0 0 251140 24 0 0 20 0 15 0 222211838 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525963886416 140525583508615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17325] ppid=17321 vsize=14091368 memory=4872558044660077418 CPUtime=0.25 cores=0,2,4,6
/proc/17323/task/17325/stat : 17325 (java) S 17321 17321 15061 0 -1 1077944384 4222 0 0 0 15 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525897247504 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17326] ppid=17321 vsize=14091368 memory=140338056397378 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17326/stat : 17326 (java) S 17321 17321 15061 0 -1 1077944384 2082 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525896194960 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17327] ppid=17321 vsize=14091368 memory=140338056397382 CPUtime=0.24 cores=0,2,4,6
/proc/17323/task/17327/stat : 17327 (java) S 17321 17321 15061 0 -1 1077944384 3047 0 0 0 14 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525552802832 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17328] ppid=17321 vsize=14091368 memory=140338056397385 CPUtime=0.25 cores=0,2,4,6
/proc/17323/task/17328/stat : 17328 (java) S 17321 17321 15061 0 -1 1077944384 2602 0 0 0 15 10 0 0 20 0 15 0 222211839 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525551750288 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17329] ppid=17321 vsize=14091368 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/17323/task/17329/stat : 17329 (java) S 17321 17321 15061 0 -1 1077944384 3635 0 0 0 4 2 0 0 20 0 15 0 222211840 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525501052912 140525959658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17330] ppid=17321 vsize=14091368 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17330/stat : 17330 (java) S 17321 17321 15061 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525499999200 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17331] ppid=17321 vsize=14091368 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17331/stat : 17331 (java) S 17321 17321 15061 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 222211841 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525498946544 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17332] ppid=17321 vsize=14091368 memory=972 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17332/stat : 17332 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525497895120 140525959665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17333] ppid=17321 vsize=14091368 memory=13888 CPUtime=2.93 cores=0,2,4,6
/proc/17323/task/17333/stat : 17333 (java) S 17321 17321 15061 0 -1 1077944384 24089 0 0 0 290 3 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525496842736 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17334] ppid=17321 vsize=14091368 memory=2228 CPUtime=2.78 cores=0,2,4,6
/proc/17323/task/17334/stat : 17334 (java) S 17321 17321 15061 0 -1 1077944384 19161 0 0 0 275 3 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525495790192 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17335] ppid=17321 vsize=14091368 memory=29788 CPUtime=0.86 cores=0,2,4,6
/proc/17323/task/17335/stat : 17335 (java) S 17321 17321 15061 0 -1 1077944384 9308 0 0 0 84 2 0 0 20 0 15 0 222211843 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525494737648 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17336] ppid=17321 vsize=14091368 memory=1680844 CPUtime=0 cores=0,2,4,6
/proc/17323/task/17336/stat : 17336 (java) S 17321 17321 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222211844 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525493685344 140525959657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
[pid=17323/tid=17337] ppid=17321 vsize=14091368 memory=6791534058613427641 CPUtime=0.72 cores=0,2,4,6
/proc/17323/task/17337/stat : 17337 (java) S 17321 17321 15061 0 -1 1077944384 979 0 0 0 32 40 0 0 20 0 15 0 222211844 14429560832 277635 33554432000 4194304 4196468 140732962983024 140525492631856 140525959658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14721024 140732962989190 140732962989361 140732962989361 140732962992079 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1111992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.02 s]
# the end of solver process 17321 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001169 s, system=0.001169 s
[startup+2512.02 s]
# the end of solver process 17323 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.05 s, system=1.04734 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
Child status: 143
Real time (s): 2512.02
CPU time (s): 2520.1
CPU user time (s): 2519.05
CPU system time (s): 1.04734
CPU usage (%): 100.322
Max. virtual memory (cumulated for all children) (KiB): 14206488
Max. memory (cumulated for all children) (KiB): 1371060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 1.04734
maximum resident set size= 1370204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113679
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58406
involuntary context switches= 2297
# summary of solver processes directly reported to runsolver:
# pid: 17321,17323
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.05
# total CPU system time (s): 1.04734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7003 second user time and 23.649 second system time
The end