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 (12146 MiB free)
memory of node 1: 16384 MiB (12338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406499-1569399731/watcher-4406499-1569399731 -o /var/tmp/evaluation-result-4406499-1569399731/solver-4406499-1569399731 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569396627-9003 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4406499-1569399731.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9897, runsolver pid=9894
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.00 1.96 1.85 4/230 9913
/proc/meminfo: memFree=25056224/32770624 swapFree=66974624/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15144776 memory=28952 CPUtime=0.13 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 5647 0 0 0 12 1 0 0 20 0 15 0 515914890 15508250624 7238 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3786194 7238 3188 1 0 3748377 0
[pid=9899/tid=9900] ppid=9897 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 15 0 515914890 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631989259072 140631985040790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15144776 memory=139741827335808 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15144776 memory=139741827335808 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914892 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515914893 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631452132256 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515914893 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631451079664 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 515914895 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 515914895 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15144776 memory=139741827335808 CPUtime=0.02 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) R 9897 9897 8971 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 515914895 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631446870768 140631964427371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15144776 memory=139741827335808 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914896 15508250624 7238 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30408 KiB
[startup+0.210806 s]*
/proc/loadavg: 2.00 1.96 1.85 6/230 9913
/proc/meminfo: memFree=25041756/32770624 swapFree=66974624/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15144776 memory=41092 CPUtime=0.34 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 9525 0 0 0 31 3 0 0 20 0 15 0 515914890 15508250624 10273 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3786194 10273 3310 1 0 3748377 0
[pid=9899/tid=9900] ppid=9897 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 6602 0 0 0 18 2 0 0 20 0 15 0 515914890 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631989258576 140631969109342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15144776 memory=139741831184224 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15144776 memory=139741827335808 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515914892 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515914893 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631452132256 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515914893 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631451079664 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 515914895 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 515914895 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15144776 memory=139741827335808 CPUtime=0.08 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) R 9897 9897 8971 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 15 0 515914895 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631446869952 140631985050202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914896 15508250624 10273 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42548 KiB
[startup+0.319665 s]*
/proc/loadavg: 2.00 1.96 1.85 4/230 9913
/proc/meminfo: memFree=25034360/32770624 swapFree=66974624/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15149032 memory=50452 CPUtime=0.55 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 10972 0 0 0 51 4 0 0 20 0 15 0 515914890 15512608768 12613 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3787258 12613 3366 1 0 3748377 0
[pid=9899/tid=9900] ppid=9897 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 7897 0 0 0 28 3 0 0 20 0 15 0 515914890 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631989261216 140631969109342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15149032 memory=7295649545704744338 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515914892 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515914893 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631452132256 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515914893 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631451079664 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 515914895 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 527 0 0 0 5 0 0 0 20 0 15 0 515914895 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) S 9897 9897 8971 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 15 0 515914895 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631446870768 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914896 15512608768 12613 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51908 KiB
[startup+0.701663 s]
/proc/loadavg: 2.00 1.96 1.85 6/230 9913
/proc/meminfo: memFree=25021488/32770624 swapFree=66974624/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15151156 memory=78480 CPUtime=1.57 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 15052 0 0 0 150 7 0 0 20 0 15 0 515914890 15514783744 19620 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3787789 19620 3464 1 0 3748889 0
[pid=9899/tid=9900] ppid=9897 vsize=15151156 memory=1791672452353 CPUtime=0.68 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 9494 0 0 0 63 5 0 0 20 0 15 0 515914890 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631989266752 140631985040790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914891 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515914891 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15151156 memory=55156 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515914892 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631452132256 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631451079664 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15151156 memory=11624 CPUtime=0.21 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) R 9897 9897 8971 0 -1 4202560 1059 0 0 0 21 0 0 0 20 0 15 0 515914895 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631448956872 140631968529252 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15151156 memory=740 CPUtime=0.24 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) R 9897 9897 8971 0 -1 4202560 1247 0 0 0 24 0 0 0 20 0 15 0 515914895 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631447910160 140631968430990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15151156 memory=1056 CPUtime=0.4 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) S 9897 9897 8971 0 -1 1077944384 1942 0 0 0 40 0 0 0 20 0 15 0 515914895 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631446870768 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515914896 15514783744 19620 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 79936 KiB
[startup+1.5009 s]
/proc/loadavg: 2.00 1.96 1.85 5/230 9913
/proc/meminfo: memFree=24997548/32770624 swapFree=66974624/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631451079680 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15151156 memory=3612 CPUtime=2.53 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 18471 0 0 0 251 2 0 0 20 0 15 0 515914895 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15151156 memory=209936 CPUtime=2.93 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 25687 0 0 0 291 2 0 0 20 0 15 0 515914895 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15151156 memory=1556 CPUtime=0.62 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) S 9897 9897 8971 0 -1 1077944384 9800 0 0 0 60 2 0 0 20 0 15 0 515914895 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631446870768 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15151156 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15151156 memory=1456 CPUtime=0.44 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 1977 0 0 0 18 26 0 0 20 0 15 0 515914896 15514783744 52484 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 2269.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 211392 KiB
[startup+2322.3 s]
/proc/loadavg: 1.47 1.69 1.85 3/231 10207
/proc/meminfo: memFree=19357416/32770624 swapFree=66974628/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15151156 memory=211984 CPUtime=2329.11 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 95687 0 0 0 232873 38 0 0 20 0 15 0 515914890 15514783744 52996 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3787789 52996 3520 1 0 3748889 0
[pid=9899/tid=9900] ppid=9897 vsize=15151156 memory=209936 CPUtime=2321.93 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 20686 0 0 0 232186 7 0 0 20 0 15 0 515914890 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631989268368 140631613305327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15151156 memory=209936 CPUtime=0.11 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 2902 0 0 0 10 1 0 0 20 0 15 0 515914891 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15151156 memory=209936 CPUtime=0.11 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 4542 0 0 0 11 0 0 0 20 0 15 0 515914891 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15151156 memory=209936 CPUtime=0.1 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 2936 0 0 0 10 0 0 0 20 0 15 0 515914891 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15151156 memory=209936 CPUtime=0.11 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2881 0 0 0 10 1 0 0 20 0 15 0 515914891 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15151156 memory=211984 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 4354 0 0 0 10 2 0 0 20 0 15 0 515914892 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15151156 memory=211984 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631452132320 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15151156 memory=211984 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631451079680 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15151156 memory=1456 CPUtime=2.53 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 18471 0 0 0 251 2 0 0 20 0 15 0 515914895 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15151156 memory=211984 CPUtime=2.93 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 25687 0 0 0 291 2 0 0 20 0 15 0 515914895 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15151156 memory=1456 CPUtime=0.62 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) S 9897 9897 8971 0 -1 1077944384 9800 0 0 0 60 2 0 0 20 0 15 0 515914895 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631446870768 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15151156 memory=211984 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15151156 memory=1556 CPUtime=0.44 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 1981 0 0 0 18 26 0 0 20 0 15 0 515914896 15514783744 52996 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 2329.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 213440 KiB
[startup+2382.3 s]
/proc/loadavg: 1.72 1.72 1.85 3/230 10233
/proc/meminfo: memFree=14923780/32770624 swapFree=66974632/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15151156 memory=212068 CPUtime=2389.15 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 96737 0 0 0 238876 39 0 0 20 0 15 0 515914890 15514783744 53017 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3787789 53017 3520 1 0 3748889 0
[pid=9899/tid=9900] ppid=9897 vsize=15151156 memory=212068 CPUtime=2381.9 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 20959 0 0 0 238183 7 0 0 20 0 15 0 515914890 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631989268368 140631612792333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15151156 memory=212068 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 2950 0 0 0 11 1 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15151156 memory=212068 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 4986 0 0 0 12 0 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15151156 memory=212068 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 2962 0 0 0 11 1 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15151156 memory=212068 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2925 0 0 0 11 1 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15151156 memory=212068 CPUtime=0.13 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 4542 0 0 0 11 2 0 0 20 0 15 0 515914892 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631452132320 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15151156 memory=211984 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631451079680 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15151156 memory=212068 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15151156 memory=212068 CPUtime=2.53 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 18473 0 0 0 251 2 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15151156 memory=279483454996192 CPUtime=2.93 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 25689 0 0 0 291 2 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15151156 memory=111636 CPUtime=0.62 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) S 9897 9897 8971 0 -1 1077944384 9802 0 0 0 60 2 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631446870768 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15151156 memory=1456 CPUtime=0.46 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 2002 0 0 0 19 27 0 0 20 0 15 0 515914896 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 2389.15 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 213524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2393.2 s]
/proc/loadavg: 1.84 1.74 1.86 3/230 10233
/proc/meminfo: memFree=22912744/32770624 swapFree=66974632/67108860
[pid=9897] ppid=9894 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9897/stat : 9897 (xcsp3-exec) S 9894 9897 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515914889 115843072 364 33554432000 4194304 5098028 140732947297840 140732947295944 140692481208956 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39493632 140732947301207 140732947301465 140732947301465 140732947304390 0
/proc/9897/statm: 28282 364 305 221 0 87 0
[pid=9899] ppid=9897 vsize=15151156 memory=212068 CPUtime=2400.05 cores=1,3,5,7
/proc/9899/stat : 9899 (java) S 9897 9897 8971 0 -1 1077944320 96746 0 0 0 239966 39 0 0 20 0 15 0 515914890 15514783744 53017 33554432000 4194304 4196468 140735972210352 140735972192896 140631985028855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
/proc/9899/statm: 3787789 53017 3520 1 0 3748889 0
[pid=9899/tid=9900] ppid=9897 vsize=15151156 memory=1556 CPUtime=2392.8 cores=1,3,5,7
/proc/9899/task/9900/stat : 9900 (java) R 9897 9897 8971 0 -1 4202560 20961 0 0 0 239273 7 0 0 20 0 15 0 515914890 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631989268112 140631612806205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9901] ppid=9897 vsize=15151156 memory=924 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9901/stat : 9901 (java) S 9897 9897 8971 0 -1 1077944384 2951 0 0 0 11 1 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631937649424 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9902] ppid=9897 vsize=15151156 memory=1672 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9902/stat : 9902 (java) S 9897 9897 8971 0 -1 1077944384 4988 0 0 0 12 0 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631936596880 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9903] ppid=9897 vsize=15151156 memory=780 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9903/stat : 9903 (java) S 9897 9897 8971 0 -1 1077944384 2963 0 0 0 11 1 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631935544336 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9904] ppid=9897 vsize=15151156 memory=1436 CPUtime=0.12 cores=1,3,5,7
/proc/9899/task/9904/stat : 9904 (java) S 9897 9897 8971 0 -1 1077944384 2925 0 0 0 11 1 0 0 20 0 15 0 515914891 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631934491792 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9905] ppid=9897 vsize=15151156 memory=1984 CPUtime=0.13 cores=1,3,5,7
/proc/9899/task/9905/stat : 9905 (java) S 9897 9897 8971 0 -1 1077944384 4545 0 0 0 11 2 0 0 20 0 15 0 515914892 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631453186032 140631985040002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9906] ppid=9897 vsize=15151156 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9906/stat : 9906 (java) S 9897 9897 8971 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631452132320 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9907] ppid=9897 vsize=15151156 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9907/stat : 9907 (java) S 9897 9897 8971 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 515914893 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631451079680 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9908] ppid=9897 vsize=15151156 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9908/stat : 9908 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631450028240 140631985047451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9909] ppid=9897 vsize=15151156 memory=288230574492221466 CPUtime=2.53 cores=1,3,5,7
/proc/9899/task/9909/stat : 9909 (java) S 9897 9897 8971 0 -1 1077944384 18473 0 0 0 251 2 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631448975856 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9910] ppid=9897 vsize=15151156 memory=288230621803970871 CPUtime=2.93 cores=1,3,5,7
/proc/9899/task/9910/stat : 9910 (java) S 9897 9897 8971 0 -1 1077944384 25689 0 0 0 291 2 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631447923312 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9911] ppid=9897 vsize=15151156 memory=15534115864709562 CPUtime=0.62 cores=1,3,5,7
/proc/9899/task/9911/stat : 9911 (java) S 9897 9897 8971 0 -1 1077944384 9802 0 0 0 60 2 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631446870768 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9912] ppid=9897 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/9899/task/9912/stat : 9912 (java) S 9897 9897 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515914895 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631445818464 140631985039061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
[pid=9899/tid=9913] ppid=9897 vsize=15151156 memory=1424 CPUtime=0.46 cores=1,3,5,7
/proc/9899/task/9913/stat : 9913 (java) S 9897 9897 8971 0 -1 1077944384 2002 0 0 0 19 27 0 0 20 0 15 0 515914896 15514783744 53017 33554432000 4194304 4196468 140735972210352 140631444764976 140631985040002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10235904 140735972213723 140735972213898 140735972213898 140735972216783 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 213524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2393.21 s]
# the end of solver process 9897 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002336 s, system=0 s
[startup+2393.21 s]
# the end of solver process 9899 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.68 s, system=0.39704 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2393.21
CPU time (s): 2400.08
CPU user time (s): 2399.68
CPU system time (s): 0.39704
CPU usage (%): 100.287
Max. virtual memory (cumulated for all children) (KiB): 15266384
Max. memory (cumulated for all children) (KiB): 239440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.39704
maximum resident set size= 240032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57245
involuntary context switches= 804
# summary of solver processes directly reported to runsolver:
# pid: 9897,9899
# total CPU time (s): 2400.08
# total CPU user time (s): 2399.68
# total CPU system time (s): 0.39704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8698 second user time and 20.1896 second system time
The end