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 (14936 MiB free)
memory of node 1: 16384 MiB (11649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301780-1532885695/watcher-4301780-1532885695 -o /tmp/evaluation-result-4301780-1532885695/solver-4301780-1532885695 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 1331424729 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301780-1532885695.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12508, runsolver pid=12505
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 1.73 1.92 2.00 3/218 12524
/proc/meminfo: memFree=27207408/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14082940 memory=28584 CPUtime=0.12 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 5497 0 0 0 11 1 0 0 20 0 15 0 106132754 14420930560 7146 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3520735 7146 3023 1 0 3483012 0
[pid=12510/tid=12511] ppid=12508 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 3520 0 0 0 9 0 0 0 20 0 15 0 106132755 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614997366576 140614972858375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14082940 memory=139805420267136 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14082940 memory=139805420267136 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106132757 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106132757 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614466221344 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106132758 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14082940 memory=139805420267136 CPUtime=0.01 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) R 12508 12508 7585 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 106132760 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614460959088 140614993145238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14082940 memory=139805420267136 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 7146 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30040 KiB
[startup+0.210771 s]*
/proc/loadavg: 1.73 1.92 2.00 4/218 12524
/proc/meminfo: memFree=27196608/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14082940 memory=39828 CPUtime=0.34 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 8044 0 0 0 32 2 0 0 20 0 15 0 106132754 14420930560 9957 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3520735 9957 3174 1 0 3483012 0
[pid=12510/tid=12511] ppid=12508 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 5376 0 0 0 19 1 0 0 20 0 15 0 106132755 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614997368288 140614993155229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14082940 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14082940 memory=3979410040865793696 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106132756 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14082940 memory=139805420267136 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106132757 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106132757 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614466221344 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106132758 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 106132760 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14082940 memory=139805420267136 CPUtime=0.08 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 695 0 0 0 8 0 0 0 20 0 15 0 106132760 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132760 14420930560 10021 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41284 KiB
[startup+0.314836 s]*
/proc/loadavg: 1.73 1.92 2.00 4/218 12524
/proc/meminfo: memFree=27189412/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14087196 memory=47868 CPUtime=0.53 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 9086 0 0 0 50 3 0 0 20 0 15 0 106132754 14425288704 11967 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3521799 11967 3268 1 0 3483012 0
[pid=12510/tid=12511] ppid=12508 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 6111 0 0 0 28 2 0 0 20 0 15 0 106132755 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614997368832 140614977213790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106132756 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106132757 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106132757 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614466221344 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106132758 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 605 0 0 0 5 0 0 0 20 0 15 0 106132760 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 211 0 0 0 3 0 0 0 20 0 15 0 106132760 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14087196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 856 0 0 0 13 0 0 0 20 0 15 0 106132760 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132760 14425288704 11967 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49324 KiB
[startup+0.704607 s]
/proc/loadavg: 1.73 1.92 2.00 5/218 12524
/proc/meminfo: memFree=27170116/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14089320 memory=88708 CPUtime=1.7 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 12778 0 0 0 165 5 0 0 20 0 15 0 106132754 14427463680 22177 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3522330 22177 3353 1 0 3483524 0
[pid=12510/tid=12511] ppid=12508 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 7017 0 0 0 64 3 0 0 20 0 15 0 106132755 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614997369472 140614628879492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14089320 memory=30228 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132756 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106132756 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106132757 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106132757 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614466221344 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106132758 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14089320 memory=756 CPUtime=0.28 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) R 12508 12508 7585 0 -1 1077944384 1290 0 0 0 28 0 0 0 20 0 15 0 106132760 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614463046432 140614993143509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14089320 memory=1616 CPUtime=0.29 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) R 12508 12508 7585 0 -1 4202560 1063 0 0 0 29 0 0 0 20 0 15 0 106132760 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614461999936 140614978235707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14089320 memory=1836 CPUtime=0.42 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 2099 0 0 0 42 0 0 0 20 0 15 0 106132760 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106132760 14427463680 22177 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90164 KiB
[startup+1.50086 s]
/proc/loadavg: 1.73 1.92 2.00 5/218 12524
/proc/meminfo: memFree=27015848/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106132758 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14091368 memory=482824 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14091368 memory=1456 CPUtime=2.7 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 19762 0 0 0 268 2 0 0 20 0 15 0 106132760 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14091368 memory=3872 CPUtime=2.58 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 19529 0 0 0 255 3 0 0 20 0 15 0 106132760 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14091368 memory=30228 CPUtime=0.77 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 8075 0 0 0 76 1 0 0 20 0 15 0 106132760 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14091368 memory=1265 CPUtime=0.02 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 921 0 0 0 0 2 0 0 20 0 15 0 106132760 14429560832 120717 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 108.69 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 484324 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 1.93 1.99 3/217 12681
/proc/meminfo: memFree=25852696/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14091368 memory=483148 CPUtime=168.74 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 68341 0 0 0 16839 35 0 0 20 0 15 0 106132754 14429560832 120787 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3522842 120787 3423 1 0 3484036 0
[pid=12510/tid=12511] ppid=12508 vsize=14091368 memory=483148 CPUtime=162.15 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 14041 0 0 0 16207 8 0 0 20 0 15 0 106132755 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614997369768 140614636539727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14091368 memory=483148 CPUtime=0.1 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1300 0 0 0 6 4 0 0 20 0 15 0 106132756 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14091368 memory=483148 CPUtime=0.11 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 257 0 0 0 7 4 0 0 20 0 15 0 106132756 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14091368 memory=1456 CPUtime=0.1 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 216 0 0 0 6 4 0 0 20 0 15 0 106132756 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14091368 memory=483148 CPUtime=0.1 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 298 0 0 0 6 4 0 0 20 0 15 0 106132756 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14091368 memory=483148 CPUtime=0.01 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 815 0 0 0 1 0 0 0 20 0 15 0 106132757 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106132757 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614466221408 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106132758 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14091368 memory=483148 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14091368 memory=3872 CPUtime=2.71 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 20314 0 0 0 269 2 0 0 20 0 15 0 106132760 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14091368 memory=1456 CPUtime=2.6 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 20355 0 0 0 257 3 0 0 20 0 15 0 106132760 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14091368 memory=1456 CPUtime=0.77 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 8477 0 0 0 76 1 0 0 20 0 15 0 106132760 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14091368 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14091368 memory=860 CPUtime=0.02 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 953 0 0 0 0 2 0 0 20 0 15 0 106132760 14429560832 120787 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 168.74 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 484604 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.94 1.99 3/217 12682
/proc/meminfo: memFree=25831996/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14091368 memory=504032 CPUtime=228.92 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 73195 0 0 0 22853 39 0 0 20 0 15 0 106132754 14429560832 126008 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3522842 126008 3424 1 0 3484036 0
[pid=12510/tid=12511] ppid=12508 vsize=14091368 memory=504032 CPUtime=222.12 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 14415 0 0 0 22204 8 0 0 20 0 15 0 106132755 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614997371912 140614635318095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14091368 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1409 0 0 0 7 5 0 0 20 0 15 0 106132756 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14091368 memory=504020 CPUtime=0.12 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 1357 0 0 0 8 4 0 0 20 0 15 0 106132756 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14091368 memory=504020 CPUtime=0.11 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 320 0 0 0 7 4 0 0 20 0 15 0 106132756 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14091368 memory=1456 CPUtime=0.13 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 592 0 0 0 8 5 0 0 20 0 15 0 106132756 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14091368 memory=504020 CPUtime=0.01 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 1012 0 0 0 1 0 0 0 20 0 15 0 106132757 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14091368 memory=504032 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106132757 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614466221408 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14091368 memory=504032 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106132758 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14091368 memory=504032 CPUtime=2.77 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 22001 0 0 0 275 2 0 0 20 0 15 0 106132760 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14091368 memory=3872 CPUtime=2.63 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 21115 0 0 0 259 4 0 0 20 0 15 0 106132760 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14091368 memory=1788 CPUtime=0.77 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 8698 0 0 0 76 1 0 0 20 0 15 0 106132760 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14091368 memory=860 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14091368 memory=12556 CPUtime=0.04 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 961 0 0 0 1 3 0 0 20 0 15 0 106132760 14429560832 126008 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 228.92 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 505488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.401 s]
/proc/loadavg: 2.00 1.95 1.99 3/217 12683
/proc/meminfo: memFree=25823952/32770624 swapFree=67108496/67108860
[pid=12508] ppid=12505 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106132754 115843072 364 33554432000 4194304 5098028 140724577384560 140724577382664 139771210007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14221312 140724577391680 140724577391881 140724577391881 140724577394634 0
/proc/12508/statm: 28282 364 306 221 0 87 0
[pid=12510] ppid=12508 vsize=14091368 memory=513624 CPUtime=252.03 cores=1,3,5,7
/proc/12510/stat : 12510 (java) S 12508 12508 7585 0 -1 1077944320 74269 0 0 0 25164 39 0 0 20 0 15 0 106132754 14429560832 128406 33554432000 4194304 4196468 140736786689232 140736786671776 140614993133303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
/proc/12510/statm: 3522842 128406 3424 1 0 3484036 0
[pid=12510/tid=12511] ppid=12508 vsize=14091368 memory=912 CPUtime=245.22 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (java) R 12508 12508 7585 0 -1 4202560 14999 0 0 0 24514 8 0 0 20 0 15 0 106132755 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614997370456 140614636619949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12512] ppid=12508 vsize=14091368 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (java) S 12508 12508 7585 0 -1 1077944384 1409 0 0 0 7 5 0 0 20 0 15 0 106132756 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614949685648 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12513] ppid=12508 vsize=14091368 memory=511576 CPUtime=0.12 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (java) S 12508 12508 7585 0 -1 1077944384 1357 0 0 0 8 4 0 0 20 0 15 0 106132756 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614948632848 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12514] ppid=12508 vsize=14091368 memory=504052 CPUtime=0.11 cores=1,3,5,7
/proc/12510/task/12514/stat : 12514 (java) S 12508 12508 7585 0 -1 1077944384 320 0 0 0 7 4 0 0 20 0 15 0 106132756 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614587312784 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12515] ppid=12508 vsize=14091368 memory=1616 CPUtime=0.13 cores=1,3,5,7
/proc/12510/task/12515/stat : 12515 (java) S 12508 12508 7585 0 -1 1077944384 592 0 0 0 8 5 0 0 20 0 15 0 106132756 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614586259984 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12516] ppid=12508 vsize=14091368 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/12510/task/12516/stat : 12516 (java) S 12508 12508 7585 0 -1 1077944384 1012 0 0 0 1 0 0 0 20 0 15 0 106132757 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614467275376 140614993144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12517] ppid=12508 vsize=14091368 memory=504052 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12517/stat : 12517 (java) S 12508 12508 7585 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 106132757 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614466221408 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12518] ppid=12508 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12518/stat : 12518 (java) S 12508 12508 7585 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106132758 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614465169008 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12519] ppid=12508 vsize=14091368 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12519/stat : 12519 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614464117328 140614993151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12520] ppid=12508 vsize=14091368 memory=1788 CPUtime=2.77 cores=1,3,5,7
/proc/12510/task/12520/stat : 12520 (java) S 12508 12508 7585 0 -1 1077944384 22093 0 0 0 275 2 0 0 20 0 15 0 106132760 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614463064176 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12521] ppid=12508 vsize=14091368 memory=860 CPUtime=2.64 cores=1,3,5,7
/proc/12510/task/12521/stat : 12521 (java) S 12508 12508 7585 0 -1 1077944384 21248 0 0 0 260 4 0 0 20 0 15 0 106132760 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614462011376 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12522] ppid=12508 vsize=14091368 memory=3872 CPUtime=0.78 cores=1,3,5,7
/proc/12510/task/12522/stat : 12522 (java) S 12508 12508 7585 0 -1 1077944384 8958 0 0 0 77 1 0 0 20 0 15 0 106132760 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614460959088 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12523] ppid=12508 vsize=14091368 memory=30228 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12523/stat : 12523 (java) S 12508 12508 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106132760 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614459906528 140614993143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
[pid=12510/tid=12524] ppid=12508 vsize=14091368 memory=279610559143872 CPUtime=0.04 cores=1,3,5,7
/proc/12510/task/12524/stat : 12524 (java) S 12508 12508 7585 0 -1 1077944384 966 0 0 0 1 3 0 0 20 0 15 0 106132760 14429560832 128406 33554432000 4194304 4196468 140736786689232 140614458854320 140614993144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140736786691212 140736786691382 140736786691382 140736786694095 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 515080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.41 s]
# the end of solver process 12508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00114 s, system=0.00114 s
[startup+245.416 s]
# the end of solver process 12510 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.658 s, system=0.407304 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): 245.416
CPU time (s): 252.065
CPU user time (s): 251.658
CPU system time (s): 0.407304
CPU usage (%): 102.709
Max. virtual memory (cumulated for all children) (KiB): 14206308
Max. memory (cumulated for all children) (KiB): 515080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.658
system time used= 0.407304
maximum resident set size= 520708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8625
involuntary context switches= 528
# summary of solver processes directly reported to runsolver:
# pid: 12508,12510
# total CPU time (s): 252.065
# total CPU user time (s): 251.658
# total CPU system time (s): 0.407304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34851 second user time and 2.31455 second system time
The end