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 (11981 MiB free)
memory of node 1: 16384 MiB (13356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283086-1503213846/watcher-4283086-1503213846 -o /tmp/evaluation-result-4283086-1503213846/solver-4283086-1503213846 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 409351540 HOME/instance-4283086-1503213846.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4017, runsolver pid=4014
[startup+0.100157 s]*
/proc/loadavg: 1.84 1.76 1.78 4/217 4033
/proc/meminfo: memFree=25928580/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13978596 memory=28552 CPUtime=0.11 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 5427 0 0 0 10 1 0 0 20 0 15 0 154472643 14314082304 7138 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3494649 7138 2898 1 0 3482966 0
[pid=4019/tid=4020] ppid=4017 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 3446 0 0 0 8 1 0 0 20 0 15 0 154472643 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494837306240 140494833089942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13978596 memory=140316210181760 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472644 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13978596 memory=140316210181760 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472645 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154472646 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494172009376 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154472646 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494170956784 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) S 4017 4017 32593 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 154472648 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494168852976 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13978596 memory=140316210181760 CPUtime=0.01 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) R 4017 4017 32593 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 154472648 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494166747888 140494825795159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13978596 memory=140316210181760 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472649 14314082304 7138 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29936 KiB
[startup+0.210908 s]*
/proc/loadavg: 1.84 1.76 1.78 3/217 4033
/proc/meminfo: memFree=25917416/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13982884 memory=40144 CPUtime=0.34 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 8063 0 0 0 31 3 0 0 20 0 15 0 154472643 14318473216 10036 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3495713 10036 3050 1 0 3482966 0
[pid=4019/tid=4020] ppid=4017 vsize=13982884 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 5334 0 0 0 18 2 0 0 20 0 15 0 154472643 14318473216 10036 33554432000 4194304 4196468 140731297425520 140494837288800 140494825795111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13982852 memory=3473878194982041248 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13982852 memory=140316210181760 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472645 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154472646 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494172009376 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154472646 14318473216 10036 33554432000 4194304 4196468 140731297425520 140494170956784 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14318473216 10036 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) S 4017 4017 32593 0 -1 1077944384 636 0 0 0 2 0 0 0 20 0 15 0 154472648 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494168852976 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 154472648 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13982852 memory=140316210181760 CPUtime=0.08 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) S 4017 4017 32593 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 154472648 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494166747888 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472649 14318440448 10036 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41528 KiB
[startup+0.310773 s]*
/proc/loadavg: 1.84 1.76 1.78 4/217 4033
/proc/meminfo: memFree=25910456/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13982852 memory=47024 CPUtime=0.5 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 8915 0 0 0 46 4 0 0 20 0 15 0 154472643 14318440448 11756 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3495713 11756 3101 1 0 3482966 0
[pid=4019/tid=4020] ppid=4017 vsize=13982852 memory=7310027617963868211 CPUtime=0.29 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 5943 0 0 0 27 2 0 0 20 0 15 0 154472643 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494837310288 140494817158494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13982852 memory=288230608969409347 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13982852 memory=13572582893580647 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472644 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472645 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154472646 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494172009376 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154472646 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494170956784 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) R 4017 4017 32593 0 -1 4202560 708 0 0 0 3 0 0 0 20 0 15 0 154472648 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494168844624 140494814263819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) R 4017 4017 32593 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 154472648 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494167800528 140494833088213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) R 4017 4017 32593 0 -1 4202560 876 0 0 0 13 0 0 0 20 0 15 0 154472648 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494166743568 140494812212495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472649 14318440448 11756 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48408 KiB
[startup+0.700849 s]
/proc/loadavg: 1.84 1.76 1.78 5/217 4033
/proc/meminfo: memFree=25871988/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13982928 memory=87588 CPUtime=1.52 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 11876 0 0 0 147 5 0 0 20 0 15 0 154472643 14318518272 21897 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3495732 21897 3189 1 0 3482966 0
[pid=4019/tid=4020] ppid=4017 vsize=13982928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 6261 0 0 0 64 3 0 0 20 0 15 0 154472643 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494837313120 140494816065188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13982928 memory=153 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13982928 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472644 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472644 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13982928 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154472645 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13982928 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154472646 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494172009376 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13982928 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154472646 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494170956784 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13982928 memory=4128 CPUtime=0.3 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) R 4017 4017 32593 0 -1 4202560 1822 0 0 0 29 1 0 0 20 0 15 0 154472648 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494168852976 140494816464811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13982928 memory=2204 CPUtime=0.27 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 1003 0 0 0 27 0 0 0 20 0 15 0 154472648 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13982928 memory=7788 CPUtime=0.24 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) S 4017 4017 32593 0 -1 1077944384 1486 0 0 0 24 0 0 0 20 0 15 0 154472648 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494166747888 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13982928 memory=840 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13982928 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154472649 14318518272 21897 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 88972 KiB
[startup+1.50084 s]
/proc/loadavg: 1.84 1.76 1.78 3/217 4033
/proc/meminfo: memFree=25854056/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494170956800 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13984976 memory=140316111970048 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13984976 memory=6944656592455360604 CPUtime=2.72 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) S 4017 4017 32593 0 -1 1077944384 14405 0 0 0 269 3 0 0 20 0 15 0 154472648 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494168852976 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13984976 memory=1384 CPUtime=2.38 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 8804 0 0 0 236 2 0 0 20 0 15 0 154472648 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13984976 memory=765092 CPUtime=0.59 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) S 4017 4017 32593 0 -1 1077944384 6586 0 0 0 59 0 0 0 20 0 15 0 154472648 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494166747888 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13984976 memory=34583076675442 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13984976 memory=1296 CPUtime=0.06 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 770 0 0 0 3 3 0 0 20 0 15 0 154472649 14320615424 196940 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 109.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 789144 KiB
[startup+162.301 s]
/proc/loadavg: 1.93 1.82 1.80 3/217 4123
/proc/meminfo: memFree=25072508/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13984976 memory=875964 CPUtime=169.39 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 57700 0 0 0 16880 59 0 0 20 0 15 0 154472643 14320615424 218991 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3496244 218991 3276 1 0 3483478 0
[pid=4019/tid=4020] ppid=4017 vsize=13984976 memory=875964 CPUtime=161.81 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 15095 0 0 0 16172 9 0 0 20 0 15 0 154472643 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494837316872 140494441651817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13984976 memory=1384 CPUtime=0.36 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 2588 0 0 0 26 10 0 0 20 0 15 0 154472644 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13984976 memory=1384 CPUtime=0.34 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 850 0 0 0 26 8 0 0 20 0 15 0 154472644 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13984976 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1347 0 0 0 27 9 0 0 20 0 15 0 154472644 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13984976 memory=875964 CPUtime=0.36 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 1403 0 0 0 27 9 0 0 20 0 15 0 154472644 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13984976 memory=157565170229094 CPUtime=0.08 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2603 0 0 0 7 1 0 0 20 0 15 0 154472645 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13984976 memory=157565170229095 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494172009440 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494170956800 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13984976 memory=849340 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13984976 memory=1384 CPUtime=2.77 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) S 4017 4017 32593 0 -1 1077944384 14470 0 0 0 274 3 0 0 20 0 15 0 154472648 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494168852976 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13984976 memory=1384 CPUtime=2.5 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 10289 0 0 0 248 2 0 0 20 0 15 0 154472648 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13984976 memory=1384 CPUtime=0.61 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) S 4017 4017 32593 0 -1 1077944384 6905 0 0 0 61 0 0 0 20 0 15 0 154472648 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494166747888 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13984976 memory=875964 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13984976 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 776 0 0 0 5 5 0 0 20 0 15 0 154472649 14320615424 218991 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 169.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 877348 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.84 1.80 3/217 4124
/proc/meminfo: memFree=25045648/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13984976 memory=894392 CPUtime=229.54 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 61208 0 0 0 22892 62 0 0 20 0 15 0 154472643 14320615424 223598 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3496244 223598 3276 1 0 3483478 0
[pid=4019/tid=4020] ppid=4017 vsize=13984976 memory=878008 CPUtime=221.79 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 16001 0 0 0 22169 10 0 0 20 0 15 0 154472643 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494837317072 140494441610225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13984976 memory=894392 CPUtime=0.38 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 2739 0 0 0 28 10 0 0 20 0 15 0 154472644 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13984976 memory=894392 CPUtime=0.37 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 867 0 0 0 28 9 0 0 20 0 15 0 154472644 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13984976 memory=1384 CPUtime=0.38 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1852 0 0 0 29 9 0 0 20 0 15 0 154472644 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13984976 memory=894392 CPUtime=0.38 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 1495 0 0 0 29 9 0 0 20 0 15 0 154472644 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13984976 memory=878008 CPUtime=0.09 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2809 0 0 0 8 1 0 0 20 0 15 0 154472645 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494172009440 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13984976 memory=894392 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494170956800 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13984976 memory=1384 CPUtime=2.77 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) S 4017 4017 32593 0 -1 1077944384 14861 0 0 0 274 3 0 0 20 0 15 0 154472648 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494168852976 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13984976 memory=894392 CPUtime=2.55 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 11481 0 0 0 253 2 0 0 20 0 15 0 154472648 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13984976 memory=1944 CPUtime=0.61 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) S 4017 4017 32593 0 -1 1077944384 6908 0 0 0 61 0 0 0 20 0 15 0 154472648 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494166747888 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13984976 memory=878008 CPUtime=0.13 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 821 0 0 0 7 6 0 0 20 0 15 0 154472649 14320615424 223598 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 229.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 895776 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.85 1.81 3/217 4124
/proc/meminfo: memFree=25045648/32770624 swapFree=67108860/67108860
[pid=4017] ppid=4014 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4017/stat : 4017 (xcsp3-exec) S 4014 4017 32593 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154472642 9740288 346 33554432000 4194304 5098028 140736600271152 140736600269256 140431569093244 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34775040 140736600274037 140736600274240 140736600274240 140736600276971 0
/proc/4017/statm: 2378 346 289 221 0 87 0
[pid=4019] ppid=4017 vsize=13984976 memory=894304 CPUtime=247.29 cores=1,3,5,7
/proc/4019/stat : 4019 (java) S 4017 4017 32593 0 -1 1077944320 62621 0 0 0 24667 62 0 0 20 0 15 0 154472643 14320615424 223576 33554432000 4194304 4196468 140731297425520 140731297408064 140494833078007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
/proc/4019/statm: 3496244 223576 3276 1 0 3483478 0
[pid=4019/tid=4020] ppid=4017 vsize=13984976 memory=1420 CPUtime=239.49 cores=1,3,5,7
/proc/4019/task/4020/stat : 4020 (java) R 4017 4017 32593 0 -1 4202560 17363 0 0 0 23939 10 0 0 20 0 15 0 154472643 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494837317248 140494441561098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4021] ppid=4017 vsize=13984976 memory=6935054825532540783 CPUtime=0.39 cores=1,3,5,7
/proc/4019/task/4021/stat : 4021 (java) S 4017 4017 32593 0 -1 1077944384 2744 0 0 0 29 10 0 0 20 0 15 0 154472644 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494763166480 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4022] ppid=4017 vsize=13984976 memory=8112282956445269571 CPUtime=0.38 cores=1,3,5,7
/proc/4019/task/4022/stat : 4022 (java) S 4017 4017 32593 0 -1 1077944384 876 0 0 0 29 9 0 0 20 0 15 0 154472644 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494762113936 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4023] ppid=4017 vsize=13984976 memory=1228 CPUtime=0.39 cores=1,3,5,7
/proc/4019/task/4023/stat : 4023 (java) S 4017 4017 32593 0 -1 1077944384 1858 0 0 0 30 9 0 0 20 0 15 0 154472644 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494761061392 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4024] ppid=4017 vsize=13984976 memory=15880 CPUtime=0.39 cores=1,3,5,7
/proc/4019/task/4024/stat : 4024 (java) S 4017 4017 32593 0 -1 1077944384 1501 0 0 0 30 9 0 0 20 0 15 0 154472644 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494760008848 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4025] ppid=4017 vsize=13984976 memory=18476 CPUtime=0.09 cores=1,3,5,7
/proc/4019/task/4025/stat : 4025 (java) S 4017 4017 32593 0 -1 1077944384 2809 0 0 0 8 1 0 0 20 0 15 0 154472645 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494173063152 140494833089154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4026] ppid=4017 vsize=13984976 memory=23768 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4026/stat : 4026 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494172009440 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4027] ppid=4017 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4027/stat : 4027 (java) S 4017 4017 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154472646 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494170956800 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4028] ppid=4017 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4028/stat : 4028 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472648 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494169905360 140494833096603 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4029] ppid=4017 vsize=13984976 memory=1236 CPUtime=2.77 cores=1,3,5,7
/proc/4019/task/4029/stat : 4029 (java) S 4017 4017 32593 0 -1 1077944384 14861 0 0 0 274 3 0 0 20 0 15 0 154472648 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494168852976 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4030] ppid=4017 vsize=13984976 memory=644 CPUtime=2.55 cores=1,3,5,7
/proc/4019/task/4030/stat : 4030 (java) S 4017 4017 32593 0 -1 1077944384 11481 0 0 0 253 2 0 0 20 0 15 0 154472648 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494167800432 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4031] ppid=4017 vsize=13984976 memory=3832 CPUtime=0.61 cores=1,3,5,7
/proc/4019/task/4031/stat : 4031 (java) S 4017 4017 32593 0 -1 1077944384 6908 0 0 0 61 0 0 0 20 0 15 0 154472648 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494166747888 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4032] ppid=4017 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/4019/task/4032/stat : 4032 (java) S 4017 4017 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154472649 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494165695584 140494833088213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
[pid=4019/tid=4033] ppid=4017 vsize=13984976 memory=2548 CPUtime=0.14 cores=1,3,5,7
/proc/4019/task/4033/stat : 4033 (java) S 4017 4017 32593 0 -1 1077944384 846 0 0 0 7 7 0 0 20 0 15 0 154472649 14320615424 223576 33554432000 4194304 4196468 140731297425520 140494164642096 140494833089154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39796736 140731297432733 140731297432908 140731297432908 140731297435599 0
Current children cumulated CPU time: 247.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 895688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 4017 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001845 s, system=0 s
[startup+240.027 s]
# the end of solver process 4019 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.694 s, system=0.635326 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): 240.027
CPU time (s): 247.329
CPU user time (s): 246.694
CPU system time (s): 0.635326
CPU usage (%): 103.042
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 895776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.694
system time used= 0.635326
maximum resident set size= 894828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8406
involuntary context switches= 137
# summary of solver processes directly reported to runsolver:
# pid: 4017,4019
# total CPU time (s): 247.329
# total CPU user time (s): 246.694
# total CPU system time (s): 0.635326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.10335 second user time and 1.91884 second system time
The end