runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253979-1501613512/watcher-4253979-1501613512 -o /tmp/evaluation-result-4253979-1501613512/solver-4253979-1501613512 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5295 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1310296249 HOME/instance-4253979-1501613512.xml
pid=7240
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.43 1.63 1.62 3/200 7243
/proc/meminfo: memFree=31703044/32770624 swapFree=0/278048
[pid=7243] ppid=7240 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (runsolver) D 7240 7243 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8856928 24240128 108 18446744073709551615 4194304 4338465 140727102558288 140727102555928 140630112551639 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29683712 140727102562397 140727102562886 140727102562886 140727102566346 0
/proc/7243/statm: 5918 108 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.43 1.63 1.62 3/200 7243
/proc/meminfo: memFree=31703044/32770624 swapFree=0/278048
[pid=7243] ppid=7240 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (runsolver) D 7240 7243 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8856928 24240128 108 18446744073709551615 4194304 4338465 140727102558288 140727102555928 140630112551639 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29683712 140727102562397 140727102562886 140727102562886 140727102566346 0
/proc/7243/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200303 s]
/proc/loadavg: 1.43 1.63 1.62 3/200 7243
/proc/meminfo: memFree=31703044/32770624 swapFree=0/278048
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300322 s]
/proc/loadavg: 1.43 1.63 1.62 3/200 7243
/proc/meminfo: memFree=31703044/32770624 swapFree=0/278048
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700263 s]
/proc/loadavg: 1.43 1.63 1.62 3/200 7243
/proc/meminfo: memFree=31703044/32770624 swapFree=0/278048
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 1.43 1.63 1.62 3/216 7259
/proc/meminfo: memFree=31636600/32770624 swapFree=0/278060
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=3.1 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 27782 0 0 0 304 6 0 0 20 0 15 0 8856939 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 27676 3180 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=1.24 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 8765 0 0 0 121 3 0 0 20 0 15 0 8856940 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140439420474152 140439006042631 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 8211 0 0 0 67 1 0 0 20 0 15 0 8856945 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) R 7243 7243 5234 0 -1 4202560 7844 0 0 0 76 0 0 0 20 0 15 0 8856945 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439408527264 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 1654 0 0 0 39 0 0 0 20 0 15 0 8856945 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856958 14316269568 27676 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 1.43 1.63 1.62 3/216 7259
/proc/meminfo: memFree=31604496/32770624 swapFree=0/278060
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=4.87 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 28721 0 0 0 481 6 0 0 20 0 15 0 8856939 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 27736 3180 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=2.84 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 9027 0 0 0 281 3 0 0 20 0 15 0 8856940 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140439420473472 140439006042620 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 8409 0 0 0 75 1 0 0 20 0 15 0 8856945 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) S 7243 7243 5234 0 -1 1077944384 8088 0 0 0 84 0 0 0 20 0 15 0 8856945 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 1823 0 0 0 40 0 0 0 20 0 15 0 8856945 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8856958 14316269568 27736 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 1.32 1.61 1.62 6/216 7340
/proc/meminfo: memFree=31735064/32770624 swapFree=0/278104
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=8.54 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 34647 0 0 0 847 7 0 0 20 0 15 0 8856939 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 25691 3184 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=6.04 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 9536 0 0 0 601 3 0 0 20 0 15 0 8856940 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140439420476816 140439006042620 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=1.07 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 11479 0 0 0 106 1 0 0 20 0 15 0 8856945 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) S 7243 7243 5234 0 -1 1077944384 9303 0 0 0 97 1 0 0 20 0 15 0 8856945 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 2140 0 0 0 42 0 0 0 20 0 15 0 8856945 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 610 0 0 0 0 0 0 0 20 0 15 0 8856958 14316269568 25691 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.29 1.60 1.61 3/216 7340
/proc/meminfo: memFree=31562720/32770624 swapFree=0/278116
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=15.04 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 36968 0 0 0 1497 7 0 0 20 0 15 0 8856939 14316269568 25743 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 25743 3184 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=12.44 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 10049 0 0 0 1241 3 0 0 20 0 15 0 8856940 14316269568 25743 18446744073709551615 4194304 4196468 140724598551664 140439420473504 140439010269310 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 25743 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 25743 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
################
# More data... #
################
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 53871 0 0 0 10547 10 0 0 20 0 15 0 8856939 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 28558 3191 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=102.04 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 12352 0 0 0 10201 3 0 0 20 0 15 0 8856940 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140439420474280 140439010269544 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 498 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=1.27 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 14405 0 0 0 126 1 0 0 20 0 15 0 8856945 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) S 7243 7243 5234 0 -1 1077944384 19598 0 0 0 168 2 0 0 20 0 15 0 8856945 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 4734 0 0 0 48 1 0 0 20 0 15 0 8856945 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 982 0 0 0 1 1 0 0 20 0 15 0 8856958 14316269568 28558 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 105.57
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.79 1.69 3/215 7352
/proc/meminfo: memFree=31513532/32770624 swapFree=0/278232
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=165.71 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 56128 0 0 0 16560 11 0 0 20 0 15 0 8856939 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 34116 3194 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=162.04 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 12907 0 0 0 16200 4 0 0 20 0 15 0 8856940 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140439420473808 140439010269207 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 15027 0 0 0 136 1 0 0 20 0 15 0 8856945 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) S 7243 7243 5234 0 -1 1077944384 20133 0 0 0 171 2 0 0 20 0 15 0 8856945 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 5209 0 0 0 49 1 0 0 20 0 15 0 8856945 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 1008 0 0 0 1 1 0 0 20 0 15 0 8856958 14316269568 34116 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 165.71
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.00 1.83 1.70 3/215 7354
/proc/meminfo: memFree=31503044/32770624 swapFree=0/278260
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=225.75 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 57098 0 0 0 22564 11 0 0 20 0 15 0 8856939 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 36679 3194 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=222.05 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 13348 0 0 0 22201 4 0 0 20 0 15 0 8856940 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140439420473776 140439006042620 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 571 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 15159 0 0 0 137 1 0 0 20 0 15 0 8856945 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) S 7243 7243 5234 0 -1 1077944384 20452 0 0 0 172 2 0 0 20 0 15 0 8856945 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 5231 0 0 0 49 1 0 0 20 0 15 0 8856945 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 1035 0 0 0 1 3 0 0 20 0 15 0 8856958 14316269568 36679 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 225.75
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.00 1.84 1.71 3/216 7356
/proc/meminfo: memFree=31503028/32770624 swapFree=0/278276
[pid=7243] ppid=7240 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (xcsp3-exec) S 7240 7243 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8856928 9740288 345 18446744073709551615 4194304 5098028 140736796448752 140736796446856 140492208026236 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 16711680 140736796455323 140736796455527 140736796455527 140736796458987 0
/proc/7243/statm: 2378 345 289 221 0 87 0
[pid=7245] ppid=7243 vsize=13980732 CPUtime=243.47 cores=1,3,5,7
/proc/7245/stat : 7245 (java) S 7243 7243 5234 0 -1 1077944320 57407 0 0 0 24335 12 0 0 20 0 15 0 8856939 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140724598534208 140439416237815 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
/proc/7245/statm: 3495183 36683 3194 1 0 3483484 0
[pid=7245/tid=7246] ppid=7243 vsize=13980732 CPUtime=239.74 cores=1,3,5,7
/proc/7245/task/7246/stat : 7246 (java) R 7243 7243 5234 0 -1 4202560 13494 0 0 0 23970 4 0 0 20 0 15 0 8856940 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140439420474792 140439010269207 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7247] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7247/stat : 7247 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140439335651856 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7248] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7248/stat : 7248 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140439334599312 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7249] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7249/stat : 7249 (java) S 7243 7243 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140439333546256 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7250] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7250/stat : 7250 (java) S 7243 7243 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8856940 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140439332493712 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7251] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7251/stat : 7251 (java) S 7243 7243 5234 0 -1 1077944384 581 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438601550576 140439416248962 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7252] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7252/stat : 7252 (java) S 7243 7243 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438600496800 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7253] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7253/stat : 7253 (java) S 7243 7243 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8856942 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438599443696 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7254] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7254/stat : 7254 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438598392272 140439416256411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7255] ppid=7243 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/7245/task/7255/stat : 7255 (java) S 7243 7243 5234 0 -1 1077944384 15274 0 0 0 139 1 0 0 20 0 15 0 8856945 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438597339376 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7256] ppid=7243 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/7245/task/7256/stat : 7256 (java) S 7243 7243 5234 0 -1 1077944384 20486 0 0 0 172 2 0 0 20 0 15 0 8856945 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438596286832 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7257] ppid=7243 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/7245/task/7257/stat : 7257 (java) S 7243 7243 5234 0 -1 1077944384 5233 0 0 0 49 1 0 0 20 0 15 0 8856945 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438595233776 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7258] ppid=7243 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7245/task/7258/stat : 7258 (java) S 7243 7243 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8856945 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438594181472 140439416248021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
[pid=7245/tid=7259] ppid=7243 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7245/task/7259/stat : 7259 (java) S 7243 7243 5234 0 -1 1077944384 1037 0 0 0 1 3 0 0 20 0 15 0 8856958 14316269568 36683 18446744073709551615 4194304 4196468 140724598551664 140438593129520 140439416248962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140724598559188 140724598559363 140724598559363 140724598562767 0
Current children cumulated CPU time (s) 243.47
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7245 sig 9
??? kill 7243 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.011
CPU time (s): 243.495
CPU user time (s): 243.37
CPU system time (s): 0.125004
CPU usage (%): 101.452
Max. virtual memory (cumulated for all children) (KiB): 13992072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.37
system time used= 0.125004
maximum resident set size= 153432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7806
involuntary context switches= 108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.948089 second user time and 1.44814 second system time
The end