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 (14396 MiB free)
memory of node 1: 16384 MiB (15750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281919-1503114213/watcher-4281919-1503114213 -o /tmp/evaluation-result-4281919-1503114213/solver-4281919-1503114213 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16490 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1665711671 HOME/instance-4281919-1503114213.xml
running on 4 cores: 1,3,5,7
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=19752, runsolver pid=19749
[startup+0.100156 s]*
/proc/loadavg: 1.69 1.75 1.77 3/205 19762
/proc/meminfo: memFree=30863708/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13574484 memory=16208 CPUtime=0.04 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 3932 0 0 0 3 1 0 0 20 0 9 0 9831057 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3393621 4052 2105 1 0 3383118 0
[pid=19754/tid=19755] ppid=19752 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 2636 0 0 0 3 0 0 0 20 0 9 0 9831057 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140599210430032 140599190683888 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9831058 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13574484 memory=140505991124608 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9831058 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9831058 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9831058 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13574484 memory=140505991124608 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9831059 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 9831060 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 9831060 13900271616 4052 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17588 KiB
[startup+0.209956 s]*
/proc/loadavg: 1.69 1.75 1.77 5/211 19768
/proc/meminfo: memFree=30853204/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13974352 memory=29180 CPUtime=0.14 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 5266 0 0 0 12 2 0 0 20 0 15 0 9831057 14309736448 7295 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3493588 7295 2842 1 0 3482964 0
[pid=19754/tid=19755] ppid=19752 vsize=13974352 memory=-6871798056524144002 CPUtime=0.1 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 3191 0 0 0 9 1 0 0 20 0 15 0 9831057 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140599210424456 140722239764686 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13974352 memory=140505991124608 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831058 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13974352 memory=140505991124608 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831059 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9831060 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9831060 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) R 19752 19752 16431 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 9831062 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598680529520 140599206206082 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) R 19752 19752 16431 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 9831062 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598679476720 140599206206082 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13974352 memory=140505991124608 CPUtime=0.02 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) R 19752 19752 16431 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 9831062 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206870 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13974352 memory=140505991124608 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831067 14309736448 7361 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30560 KiB
[startup+0.310444 s]*
/proc/loadavg: 1.69 1.75 1.77 4/211 19768
/proc/meminfo: memFree=30841352/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13978608 memory=40276 CPUtime=0.33 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 8746 0 0 0 30 3 0 0 20 0 15 0 9831057 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3494652 10069 3046 1 0 3482964 0
[pid=19754/tid=19755] ppid=19752 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 5971 0 0 0 17 2 0 0 20 0 15 0 9831057 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140599210415928 140599206216861 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13978608 memory=-8815662549083463029 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13978608 memory=-8180318525044661621 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831058 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13978608 memory=4132769004644038186 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13978608 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13978608 memory=140505991135201 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831059 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9831060 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9831060 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) R 19752 19752 16431 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 9831062 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598680529520 140599206206082 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) R 19752 19752 16431 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 15 0 9831062 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598679476720 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 16431 0 -1 1077944384 705 0 0 0 7 0 0 0 20 0 15 0 9831062 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831067 14314094592 10069 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41656 KiB
[startup+0.701244 s]
/proc/loadavg: 1.69 1.75 1.77 4/211 19768
/proc/meminfo: memFree=30831556/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13980732 memory=67048 CPUtime=1.31 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 12374 0 0 0 126 5 0 0 20 0 15 0 9831057 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3495183 16762 3163 1 0 3483476 0
[pid=19754/tid=19755] ppid=19752 vsize=13980732 memory=7165352523811273013 CPUtime=0.58 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 8112 0 0 0 54 4 0 0 20 0 15 0 9831057 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140599210433056 140598850983840 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13980732 memory=7079764443871461481 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13980732 memory=7741523263919513920 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13980732 memory=3049007562806629424 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9831059 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13980732 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13980732 memory=140505828565616 CPUtime=0.2 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) R 19752 19752 16431 0 -1 4202560 820 0 0 0 20 0 0 0 20 0 15 0 9831062 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598680516960 140599186025283 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) R 19752 19752 16431 0 -1 4202560 890 0 0 0 22 0 0 0 20 0 15 0 9831062 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598679463568 140599186895232 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 16431 0 -1 1077944384 1245 0 0 0 29 0 0 0 20 0 15 0 9831062 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831067 14316269568 16762 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68428 KiB
[startup+1.50076 s]
/proc/loadavg: 1.69 1.75 1.77 5/211 19768
/proc/meminfo: memFree=30796016/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13980732 memory=88464 CPUtime=3.08 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 18205 0 0 0 301 7 0 0 20 0 15 0 9831057 14316269568 22116 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3495183 22116 3180 1 0 3483476 0
[pid=19754/tid=19755] ppid=19752 vsize=13980732 memory=21051 CPUtime=1.37 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 8637 0 0 0 133 4 0 0 20 0 15 0 9831057 14316269568 22116 18446744073709551615 4194304 4196468 140722239598400 140599210431536 140598851482234 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 22116 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 22116 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9831058 14316269568 22116 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13980732 memory=3472328279047811153 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=19754/tid=19760] ppid=19752 vsize=13980732 memory=2299304 CPUtime=0.46 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 5365 0 0 0 39 7 0 0 20 0 15 0 9831059 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13980732 memory=2373444 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13980732 memory=477920 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13980732 memory=625780 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13980732 memory=726100 CPUtime=1.47 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 16431 0 -1 1077944384 14846 0 0 0 145 2 0 0 20 0 15 0 9831062 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598680529520 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13980732 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 16431 0 -1 1077944384 9797 0 0 0 113 1 0 0 20 0 15 0 9831062 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598679476720 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13980732 memory=775448 CPUtime=0.47 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 16431 0 -1 1077944384 7120 0 0 0 46 1 0 0 20 0 15 0 9831062 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1475 0 0 0 20 30 0 0 20 0 15 0 9831067 14316269568 200542 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 2387.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 803548 KiB
[startup+2442.3 s]
/proc/loadavg: 1.98 1.93 1.87 3/214 20024
/proc/meminfo: memFree=29890108/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13980732 memory=762312 CPUtime=2447.95 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 92084 0 0 0 244624 171 0 0 20 0 15 0 9831057 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3495183 190578 3238 1 0 3483476 0
[pid=19754/tid=19755] ppid=19752 vsize=13980732 memory=534596 CPUtime=2440.57 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 37466 0 0 0 243942 115 0 0 20 0 15 0 9831057 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140599210434704 140598851647691 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13980732 memory=354024 CPUtime=0.8 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 2911 0 0 0 76 4 0 0 20 0 15 0 9831058 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13980732 memory=855868 CPUtime=0.8 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 4904 0 0 0 76 4 0 0 20 0 15 0 9831058 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13980732 memory=1056840 CPUtime=0.8 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2903 0 0 0 76 4 0 0 20 0 15 0 9831058 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13980732 memory=1380 CPUtime=0.79 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 3463 0 0 0 74 5 0 0 20 0 15 0 9831058 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13980732 memory=382448 CPUtime=0.5 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 5789 0 0 0 42 8 0 0 20 0 15 0 9831059 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13980732 memory=711424 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13980732 memory=762824 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13980732 memory=762312 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13980732 memory=762312 CPUtime=1.47 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 16431 0 -1 1077944384 14846 0 0 0 145 2 0 0 20 0 15 0 9831062 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598680529520 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13980732 memory=762312 CPUtime=1.14 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 16431 0 -1 1077944384 9848 0 0 0 113 1 0 0 20 0 15 0 9831062 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598679476720 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 16431 0 -1 1077944384 7120 0 0 0 46 1 0 0 20 0 15 0 9831062 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13980732 memory=1380 CPUtime=0.52 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1479 0 0 0 21 31 0 0 20 0 15 0 9831067 14316269568 190578 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 2447.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 763692 KiB
[startup+2502.3 s]
/proc/loadavg: 1.90 1.91 1.87 3/214 20026
/proc/meminfo: memFree=29248960/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13980732 memory=1323588 CPUtime=2508.1 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 97229 0 0 0 250607 203 0 0 20 0 15 0 9831057 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3495183 330897 3238 1 0 3483476 0
[pid=19754/tid=19755] ppid=19752 vsize=13980732 memory=984344 CPUtime=2500.5 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 41079 0 0 0 249904 146 0 0 20 0 15 0 9831057 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140599210434704 140598851355840 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13980732 memory=1380 CPUtime=0.84 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 3033 0 0 0 80 4 0 0 20 0 15 0 9831058 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13980732 memory=647148 CPUtime=0.84 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 5221 0 0 0 80 4 0 0 20 0 15 0 9831058 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13980732 memory=1037796 CPUtime=0.84 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2993 0 0 0 80 4 0 0 20 0 15 0 9831058 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13980732 memory=1323588 CPUtime=0.84 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 3601 0 0 0 79 5 0 0 20 0 15 0 9831058 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13980732 memory=1323588 CPUtime=0.53 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 6629 0 0 0 44 9 0 0 20 0 15 0 9831059 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13980732 memory=1323588 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13980732 memory=5368 CPUtime=1.47 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 16431 0 -1 1077944384 14848 0 0 0 145 2 0 0 20 0 15 0 9831062 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598680529520 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13980732 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 16431 0 -1 1077944384 9850 0 0 0 113 1 0 0 20 0 15 0 9831062 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598679476720 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13980732 memory=361352 CPUtime=0.47 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 16431 0 -1 1077944384 7122 0 0 0 46 1 0 0 20 0 15 0 9831062 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13980732 memory=1194056 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13980732 memory=1380 CPUtime=0.53 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1498 0 0 0 21 32 0 0 20 0 15 0 9831067 14316269568 330897 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 2508.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1324968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.2 s]
/proc/loadavg: 1.92 1.92 1.87 3/214 20026
/proc/meminfo: memFree=28828820/32770624 swapFree=67108860/67108860
[pid=19752] ppid=19749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19752/stat : 19752 (xcsp3-exec) S 19749 19752 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9831051 9740288 345 18446744073709551615 4194304 5098028 140735485254880 140735485252984 140609737712252 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25567232 140735485260153 140735485260358 140735485260358 140735485263851 0
/proc/19752/statm: 2378 345 289 221 0 87 0
[pid=19754] ppid=19752 vsize=13980732 memory=1769748 CPUtime=2520.06 cores=1,3,5,7
/proc/19754/stat : 19754 (java) S 19752 19752 16431 0 -1 1077944320 97912 0 0 0 251797 209 0 0 20 0 15 0 9831057 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140722239580944 140599206194935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
/proc/19754/statm: 3495183 442437 3238 1 0 3483476 0
[pid=19754/tid=19755] ppid=19752 vsize=13980732 memory=13571496182286043 CPUtime=2512.37 cores=1,3,5,7
/proc/19754/task/19755/stat : 19755 (java) R 19752 19752 16431 0 -1 4202560 41745 0 0 0 251085 152 0 0 20 0 15 0 9831057 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140599210434816 140598852148948 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19756] ppid=19752 vsize=13980732 memory=1228 CPUtime=0.86 cores=1,3,5,7
/proc/19754/task/19756/stat : 19756 (java) S 19752 19752 16431 0 -1 1077944384 3039 0 0 0 82 4 0 0 20 0 15 0 9831058 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140599178038160 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19757] ppid=19752 vsize=13980732 memory=-8195925453750481479 CPUtime=0.86 cores=1,3,5,7
/proc/19754/task/19757/stat : 19757 (java) S 19752 19752 16431 0 -1 1077944384 5226 0 0 0 82 4 0 0 20 0 15 0 9831058 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598805785360 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19758] ppid=19752 vsize=13980732 memory=952 CPUtime=0.86 cores=1,3,5,7
/proc/19754/task/19758/stat : 19758 (java) S 19752 19752 16431 0 -1 1077944384 2997 0 0 0 82 4 0 0 20 0 15 0 9831058 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598804733072 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19759] ppid=19752 vsize=13980732 memory=2240 CPUtime=0.86 cores=1,3,5,7
/proc/19754/task/19759/stat : 19759 (java) S 19752 19752 16431 0 -1 1077944384 3603 0 0 0 81 5 0 0 20 0 15 0 9831058 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598803680272 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19760] ppid=19752 vsize=13980732 memory=4288 CPUtime=0.53 cores=1,3,5,7
/proc/19754/task/19760/stat : 19760 (java) S 19752 19752 16431 0 -1 1077944384 6629 0 0 0 44 9 0 0 20 0 15 0 9831059 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598684739696 140599206206082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19761] ppid=19752 vsize=13980732 memory=932 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19761/stat : 19761 (java) S 19752 19752 16431 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598683685664 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19762] ppid=19752 vsize=13980732 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19762/stat : 19762 (java) S 19752 19752 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9831060 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598682633328 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19763] ppid=19752 vsize=13980732 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19763/stat : 19763 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831062 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598681581648 140599206213531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19764] ppid=19752 vsize=13980732 memory=844 CPUtime=1.47 cores=1,3,5,7
/proc/19754/task/19764/stat : 19764 (java) S 19752 19752 16431 0 -1 1077944384 14848 0 0 0 145 2 0 0 20 0 15 0 9831062 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598680529520 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19765] ppid=19752 vsize=13980732 memory=3904 CPUtime=1.14 cores=1,3,5,7
/proc/19754/task/19765/stat : 19765 (java) S 19752 19752 16431 0 -1 1077944384 9850 0 0 0 113 1 0 0 20 0 15 0 9831062 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598679476720 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19766] ppid=19752 vsize=13980732 memory=2760 CPUtime=0.47 cores=1,3,5,7
/proc/19754/task/19766/stat : 19766 (java) S 19752 19752 16431 0 -1 1077944384 7122 0 0 0 46 1 0 0 20 0 15 0 9831062 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598678424432 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19767] ppid=19752 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/19754/task/19767/stat : 19767 (java) S 19752 19752 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9831063 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598677371872 140599206205141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
[pid=19754/tid=19768] ppid=19752 vsize=13980732 memory=15872 CPUtime=0.53 cores=1,3,5,7
/proc/19754/task/19768/stat : 19768 (java) S 19752 19752 16431 0 -1 1077944384 1498 0 0 0 21 32 0 0 20 0 15 0 9831067 14316269568 442437 18446744073709551615 4194304 4196468 140722239598400 140598676318640 140599206206082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140722239607218 140722239607394 140722239607394 140722239610831 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1771128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.22 s]
# the end of solver process 19752 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.98 s, system=2.10537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2514.22
CPU time (s): 2520.09
CPU user time (s): 2517.98
CPU system time (s): 2.10537
CPU usage (%): 100.234
Max. virtual memory (cumulated for all children) (KiB): 13992124
Max. memory (cumulated for all children) (KiB): 2374824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.98
system time used= 2.10537
maximum resident set size= 2373444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67169
involuntary context switches= 1760
# summary of solver processes directly reported to runsolver:
# pid: 19752
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.98
# total CPU system time (s): 2.10537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.75 second user time and 22.4679 second system time
The end