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 (10917 MiB free)
memory of node 1: 16384 MiB (13903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301765-1532885529/watcher-4301765-1532885529 -o /tmp/evaluation-result-4301765-1532885529/solver-4301765-1532885529 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6815 --watchdog 312 HOME/xcsp3-exec -seed 1497671375 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301765-1532885529.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=8015, runsolver pid=8012
[startup+0.1001 s]*
/proc/loadavg: 1.85 2.02 1.99 4/218 8031
/proc/meminfo: memFree=25401316/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14082940 memory=28824 CPUtime=0.12 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 5638 0 0 0 10 2 0 0 20 0 15 0 106115749 14420930560 7206 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3520735 7206 2985 1 0 3483012 0
[pid=8017/tid=8018] ppid=8015 vsize=14082940 memory=8261472670413198171 CPUtime=0.09 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 3647 0 0 0 8 1 0 0 20 0 15 0 106115749 14420930560 7206 33554432000 4194304 4196468 140723669207280 139708926175024 139708921963677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 7206 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14082940 memory=140208425371264 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 7206 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 7206 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 7206 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14082940 memory=140208425371264 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115751 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106115752 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106115752 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) S 8015 8015 6529 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 106115754 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707896789744 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 106115755 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14082940 memory=140208425371264 CPUtime=0.01 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) R 8015 8015 6529 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 106115755 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707894684144 139708921963098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14082940 memory=140208425371264 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115755 14420930560 7206 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30276 KiB
[startup+0.210713 s]*
/proc/loadavg: 1.85 2.02 1.99 5/218 8031
/proc/meminfo: memFree=25389112/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14082940 memory=40948 CPUtime=0.34 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 8294 0 0 0 31 3 0 0 20 0 15 0 106115749 14420930560 10237 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3520735 10237 3199 1 0 3483012 0
[pid=8017/tid=8018] ppid=8015 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 5441 0 0 0 18 2 0 0 20 0 15 0 106115749 14420930560 10237 33554432000 4194304 4196468 140723669207280 139708926176288 139708906022238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14082940 memory=12627 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 10237 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14082940 memory=3762957281997063840 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 10237 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 10237 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14420930560 10237 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14082940 memory=140208425371264 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106115751 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106115752 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106115752 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) S 8015 8015 6529 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 106115754 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707896789744 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 106115755 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14082940 memory=140208425371264 CPUtime=0.08 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 106115755 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115755 14420930560 10237 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42400 KiB
[startup+0.310853 s]*
/proc/loadavg: 1.85 2.02 1.99 5/218 8031
/proc/meminfo: memFree=25383404/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14087196 memory=48032 CPUtime=0.52 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 9161 0 0 0 48 4 0 0 20 0 15 0 106115749 14425288704 12008 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3521799 12008 3252 1 0 3483012 0
[pid=8017/tid=8018] ppid=8015 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 6135 0 0 0 26 3 0 0 20 0 15 0 106115749 14425288704 12008 33554432000 4194304 4196468 140723669207280 139708926175536 139708921963677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14425288704 12008 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14425288704 12008 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14425288704 12008 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14425288704 12008 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106115751 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106115752 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106115752 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14087196 memory=-6372718397967082684 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14087196 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) R 8015 8015 6529 0 -1 4202560 492 0 0 0 4 0 0 0 20 0 15 0 106115754 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707896780128 139708899203008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 15 0 106115755 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 15 0 106115755 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115755 14425288704 12008 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49484 KiB
[startup+0.701672 s]
/proc/loadavg: 1.85 2.02 1.99 6/218 8031
/proc/meminfo: memFree=25365736/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14089320 memory=73928 CPUtime=1.61 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 12710 0 0 0 155 6 0 0 20 0 15 0 106115749 14427463680 18482 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3522330 18482 3365 1 0 3483524 0
[pid=8017/tid=8018] ppid=8015 vsize=14089320 memory=30360 CPUtime=0.67 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 7059 0 0 0 64 3 0 0 20 0 15 0 106115749 14427463680 18482 33554432000 4194304 4196468 140723669207280 139708926177712 139708529042499 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14427463680 18482 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14089320 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14427463680 18482 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14089320 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115750 14427463680 18482 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14089320 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106115750 14427463680 18482 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106115751 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14089320 memory=792 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14089320 memory=8556 CPUtime=0.28 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) R 8015 8015 6529 0 -1 4202560 1170 0 0 0 28 0 0 0 20 0 15 0 106115754 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707896778304 139708903461811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14089320 memory=1444 CPUtime=0.23 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) R 8015 8015 6529 0 -1 4202560 1082 0 0 0 22 1 0 0 20 0 15 0 106115755 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707895722448 139708906333738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14089320 memory=5668 CPUtime=0.39 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 2090 0 0 0 39 0 0 0 20 0 15 0 106115755 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14089320 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106115755 14427463680 18482 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75380 KiB
[startup+1.50082 s]
/proc/loadavg: 1.85 2.02 1.99 5/218 8031
/proc/meminfo: memFree=25339248/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14089320 memory=201644 CPUtime=1.4 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) S 8015 8015 6529 0 -1 1077944384 6736 0 0 0 139 1 0 0 20 0 15 0 106115754 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707896789744 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14089320 memory=6943526294502006880 CPUtime=1.31 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 10007 0 0 0 129 2 0 0 20 0 15 0 106115755 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14089320 memory=1452 CPUtime=0.52 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 5952 0 0 0 51 1 0 0 20 0 15 0 106115755 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14089320 memory=201648 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14089320 memory=201644 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1071 0 0 0 1 1 0 0 20 0 15 0 106115755 14427463680 50412 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 105.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 203100 KiB
[startup+162.301 s]
/proc/loadavg: 1.92 1.96 1.96 3/218 8266
/proc/meminfo: memFree=24346596/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14089320 memory=190928 CPUtime=165.65 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 43772 0 0 0 16551 14 0 0 20 0 15 0 106115749 14427463680 47732 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3522330 47732 3409 1 0 3483524 0
[pid=8017/tid=8018] ppid=8015 vsize=14089320 memory=194008 CPUtime=162.19 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 12076 0 0 0 16214 5 0 0 20 0 15 0 106115749 14427463680 47732 33554432000 4194304 4196468 140723669207280 139708926180448 139708530000463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14089320 memory=194008 CPUtime=0.01 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 740 0 0 0 1 0 0 0 20 0 15 0 106115750 14427463680 47732 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14089320 memory=194008 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1153 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 47732 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14089320 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 47732 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 1718 0 0 0 1 0 0 0 20 0 15 0 106115750 14427463680 47732 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14089320 memory=1004 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 1229 0 0 0 2 0 0 0 20 0 15 0 106115751 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14089320 memory=194008 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14089320 memory=194008 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14089320 memory=1452 CPUtime=1.41 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) S 8015 8015 6529 0 -1 1077944384 6828 0 0 0 140 1 0 0 20 0 15 0 106115754 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707896789744 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14089320 memory=1452 CPUtime=1.34 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 11147 0 0 0 132 2 0 0 20 0 15 0 106115755 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14089320 memory=194008 CPUtime=0.52 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 6136 0 0 0 51 1 0 0 20 0 15 0 106115755 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1104 0 0 0 2 1 0 0 20 0 15 0 106115755 14427463680 47732 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 165.65 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 192380 KiB
[startup+222.301 s]
/proc/loadavg: 1.77 1.90 1.94 3/217 8267
/proc/meminfo: memFree=24362228/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14089320 memory=175048 CPUtime=225.67 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 44532 0 0 0 22553 14 0 0 20 0 15 0 106115749 14427463680 43762 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3522330 43762 3409 1 0 3483524 0
[pid=8017/tid=8018] ppid=8015 vsize=14089320 memory=175048 CPUtime=222.15 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 12331 0 0 0 22210 5 0 0 20 0 15 0 106115749 14427463680 43762 33554432000 4194304 4196468 140723669207280 139708926180448 139708530001551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14089320 memory=4140 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 744 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 43762 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14089320 memory=30360 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1157 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 43762 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14089320 memory=4140 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 43762 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14089320 memory=30360 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 1724 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 43762 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 1238 0 0 0 3 0 0 0 20 0 15 0 106115751 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14089320 memory=179132 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14089320 memory=175048 CPUtime=1.41 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) S 8015 8015 6529 0 -1 1077944384 6828 0 0 0 140 1 0 0 20 0 15 0 106115754 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707896789744 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14089320 memory=1408 CPUtime=1.34 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 11372 0 0 0 132 2 0 0 20 0 15 0 106115755 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14089320 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 6359 0 0 0 51 1 0 0 20 0 15 0 106115755 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14089320 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14089320 memory=175048 CPUtime=0.05 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1131 0 0 0 3 2 0 0 20 0 15 0 106115755 14427463680 43762 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 225.67 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 176500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.601 s]
/proc/loadavg: 1.77 1.89 1.94 3/217 8268
/proc/meminfo: memFree=24293392/32770624 swapFree=67108688/67108860
[pid=8015] ppid=8012 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8015/stat : 8015 (xcsp3-exec) S 8012 8015 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106115749 115843072 363 33554432000 4194304 5098028 140736996482064 140736996480168 140507463029372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17186816 140736996488256 140736996488457 140736996488457 140736996491210 0
/proc/8015/statm: 28282 363 306 221 0 87 0
[pid=8017] ppid=8015 vsize=14089320 memory=171472 CPUtime=252 cores=0,2,4,6
/proc/8017/stat : 8017 (java) S 8015 8015 6529 0 -1 1077944320 46649 0 0 0 25185 15 0 0 20 0 15 0 106115749 14427463680 42868 33554432000 4194304 4196468 140723669207280 140723669189824 139708921941751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
/proc/8017/statm: 3522330 42868 3409 1 0 3483524 0
[pid=8017/tid=8018] ppid=8015 vsize=14089320 memory=1788 CPUtime=248.43 cores=0,2,4,6
/proc/8017/task/8018/stat : 8018 (java) R 8015 8015 6529 0 -1 4202560 12619 0 0 0 24838 5 0 0 20 0 15 0 106115749 14427463680 42868 33554432000 4194304 4196468 140723669207280 139708926180448 139708529761524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8019] ppid=8015 vsize=14089320 memory=644 CPUtime=0.03 cores=0,2,4,6
/proc/8017/task/8019/stat : 8019 (java) S 8015 8015 6529 0 -1 1077944384 777 0 0 0 3 0 0 0 20 0 15 0 106115750 14427463680 42868 33554432000 4194304 4196468 140723669207280 139708852030480 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8020] ppid=8015 vsize=14089320 memory=952 CPUtime=0.03 cores=0,2,4,6
/proc/8017/task/8020/stat : 8020 (java) S 8015 8015 6529 0 -1 1077944384 1206 0 0 0 3 0 0 0 20 0 15 0 106115750 14427463680 42868 33554432000 4194304 4196468 140723669207280 139708850977936 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8021] ppid=8015 vsize=14089320 memory=1232 CPUtime=0.03 cores=0,2,4,6
/proc/8017/task/8021/stat : 8021 (java) S 8015 8015 6529 0 -1 1077944384 319 0 0 0 3 0 0 0 20 0 15 0 106115750 14427463680 42868 33554432000 4194304 4196468 140723669207280 139708849924880 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8022] ppid=8015 vsize=14089320 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/8017/task/8022/stat : 8022 (java) S 8015 8015 6529 0 -1 1077944384 2149 0 0 0 2 0 0 0 20 0 15 0 106115750 14427463680 42868 33554432000 4194304 4196468 140723669207280 139708848872336 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8023] ppid=8015 vsize=14089320 memory=1576 CPUtime=0.03 cores=0,2,4,6
/proc/8017/task/8023/stat : 8023 (java) S 8015 8015 6529 0 -1 1077944384 1488 0 0 0 3 0 0 0 20 0 15 0 106115751 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707900999920 139708921952898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8024] ppid=8015 vsize=14089320 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8024/stat : 8024 (java) S 8015 8015 6529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707899946144 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8025] ppid=8015 vsize=14089320 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8025/stat : 8025 (java) S 8015 8015 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106115752 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707898893040 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8026] ppid=8015 vsize=14089320 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8026/stat : 8026 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115754 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707897841616 139708921960347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8027] ppid=8015 vsize=14089320 memory=2200 CPUtime=1.41 cores=0,2,4,6
/proc/8017/task/8027/stat : 8027 (java) S 8015 8015 6529 0 -1 1077944384 7581 0 0 0 140 1 0 0 20 0 15 0 106115754 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707896789744 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8028] ppid=8015 vsize=14089320 memory=7284 CPUtime=1.34 cores=0,2,4,6
/proc/8017/task/8028/stat : 8028 (java) S 8015 8015 6529 0 -1 1077944384 11374 0 0 0 132 2 0 0 20 0 15 0 106115755 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707895737200 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8029] ppid=8015 vsize=14089320 memory=171472 CPUtime=0.52 cores=0,2,4,6
/proc/8017/task/8029/stat : 8029 (java) S 8015 8015 6529 0 -1 1077944384 6630 0 0 0 51 1 0 0 20 0 15 0 106115755 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707894684144 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8030] ppid=8015 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/8017/task/8030/stat : 8030 (java) S 8015 8015 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106115755 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707893631840 139708921951957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
[pid=8017/tid=8031] ppid=8015 vsize=14089320 memory=2408 CPUtime=0.05 cores=0,2,4,6
/proc/8017/task/8031/stat : 8031 (java) S 8015 8015 6529 0 -1 1077944384 1133 0 0 0 3 2 0 0 20 0 15 0 106115755 14427463680 42868 33554432000 4194304 4196468 140723669207280 139707892578864 139708921952898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7180288 140723669210252 140723669210422 140723669210422 140723669213135 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 172924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.61 s]
# the end of solver process 8015 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001103 s, system=0.001103 s
[startup+248.613 s]
# the end of solver process 8017 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.862 s, system=0.164135 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): 248.613
CPU time (s): 252.026
CPU user time (s): 251.862
CPU system time (s): 0.164135
CPU usage (%): 101.373
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 203120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.862
system time used= 0.164135
maximum resident set size= 205744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8605
involuntary context switches= 320
# summary of solver processes directly reported to runsolver:
# pid: 8015,8017
# total CPU time (s): 252.026
# total CPU user time (s): 251.862
# total CPU system time (s): 0.164135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28753 second user time and 2.43251 second system time
The end