runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253329-1500930188/watcher-4253329-1500930188 -o /tmp/evaluation-result-4253329-1500930188/solver-4253329-1500930188 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500914920-3561 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253329-1500930188.xml
pid=8992
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 8995
/proc/meminfo: memFree=32104968/32770688 swapFree=5804/121360
[pid=8995] ppid=8992 vsize=24608 CPUtime=0 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 1 0 2606631 25198592 756 33554432000 4194304 6986860 140733365138608 140733365135304 139756080999792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6152 756 663 682 0 155 0
[startup+0.100165 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 8995
/proc/meminfo: memFree=32104968/32770688 swapFree=5804/121360
[pid=8995] ppid=8992 vsize=25124 CPUtime=0.09 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1095 0 0 0 9 0 0 0 20 0 1 0 2606631 25726976 940 33554432000 4194304 6986860 140733365138608 140733365135304 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 940 692 682 0 284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25124
[startup+0.200279 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 8995
/proc/meminfo: memFree=32104968/32770688 swapFree=5804/121360
[pid=8995] ppid=8992 vsize=25124 CPUtime=0.19 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1096 0 0 0 19 0 0 0 20 0 1 0 2606631 25726976 940 33554432000 4194304 6986860 140733365138608 140733365135304 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 940 692 682 0 284 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25124
[startup+0.300261 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 8995
/proc/meminfo: memFree=32104968/32770688 swapFree=5804/121360
[pid=8995] ppid=8992 vsize=25124 CPUtime=0.29 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1096 0 0 0 29 0 0 0 20 0 1 0 2606631 25726976 940 33554432000 4194304 6986860 140733365138608 140733365135304 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 940 692 682 0 284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25124
[startup+0.70023 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 8995
/proc/meminfo: memFree=32104968/32770688 swapFree=5804/121360
[pid=8995] ppid=8992 vsize=25124 CPUtime=0.69 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1096 0 0 0 68 1 0 0 20 0 1 0 2606631 25726976 940 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 940 692 682 0 284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25124
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8996
/proc/meminfo: memFree=32103636/32770688 swapFree=5804/121304
[pid=8995] ppid=8992 vsize=25124 CPUtime=1.49 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1096 0 0 0 147 2 0 0 20 0 1 0 2606631 25726976 940 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 940 692 682 0 284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25124
[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8996
/proc/meminfo: memFree=32103264/32770688 swapFree=5804/121112
[pid=8995] ppid=8992 vsize=25124 CPUtime=3.09 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1292 0 0 0 305 4 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25124
[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 8996
/proc/meminfo: memFree=32103264/32770688 swapFree=5804/121124
[pid=8995] ppid=8992 vsize=25124 CPUtime=6.29 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1488 0 0 0 619 10 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25124
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 8996
/proc/meminfo: memFree=32102892/32770688 swapFree=5804/121124
[pid=8995] ppid=8992 vsize=25124 CPUtime=12.7 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 1685 0 0 0 1248 22 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 25124
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 8996
/proc/meminfo: memFree=32102892/32770688 swapFree=5804/121140
[pid=8995] ppid=8992 vsize=25124 CPUtime=25.49 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 2077 0 0 0 2509 40 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25124
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9057
/proc/meminfo: memFree=32115176/32770688 swapFree=5804/121192
[pid=8995] ppid=8992 vsize=25124 CPUtime=51.09 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 2275 0 0 0 5017 92 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25124
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 9058
/proc/meminfo: memFree=32114796/32770688 swapFree=5804/121240
[pid=8995] ppid=8992 vsize=25124 CPUtime=102.31 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 2474 0 0 0 10052 179 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25124
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 9059
/proc/meminfo: memFree=32114708/32770688 swapFree=5804/121268
[pid=8995] ppid=8992 vsize=25124 CPUtime=162.31 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 2673 0 0 0 15966 265 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 25124
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 9060
/proc/meminfo: memFree=32114524/32770688 swapFree=5804/121308
[pid=8995] ppid=8992 vsize=25124 CPUtime=222.31 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 2873 0 0 0 21861 370 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 25124
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9061
/proc/meminfo: memFree=32114708/32770688 swapFree=5804/121328
[pid=8995] ppid=8992 vsize=25124 CPUtime=282.32 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 2873 0 0 0 27754 478 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 25124
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9062
/proc/meminfo: memFree=32114652/32770688 swapFree=5804/121360
[pid=8995] ppid=8992 vsize=25124 CPUtime=342.32 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 3072 0 0 0 33648 584 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 25124
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9063
/proc/meminfo: memFree=32114952/32770688 swapFree=5804/121392
[pid=8995] ppid=8992 vsize=25124 CPUtime=402.33 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 3072 0 0 0 39541 692 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 25124
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9071
/proc/meminfo: memFree=32113524/32770688 swapFree=5804/121428
[pid=8995] ppid=8992 vsize=25124 CPUtime=462.34 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 3274 0 0 0 45430 804 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 25124
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9072
/proc/meminfo: memFree=32113784/32770688 swapFree=5804/121456
[pid=8995] ppid=8992 vsize=25124 CPUtime=522.34 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 3274 0 0 0 51330 904 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 25124
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9073
/proc/meminfo: memFree=32113952/32770688 swapFree=5804/121492
[pid=8995] ppid=8992 vsize=25124 CPUtime=582.35 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 3473 0 0 0 57215 1020 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 25124
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9096
/proc/meminfo: memFree=32113616/32770688 swapFree=5804/121956
[pid=8995] ppid=8992 vsize=25124 CPUtime=1482.43 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 4880 0 0 0 145778 2465 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1482.43
Current children cumulated vsize (KiB) 25124
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9098
/proc/meminfo: memFree=32113288/32770688 swapFree=5804/121996
[pid=8995] ppid=8992 vsize=25124 CPUtime=1542.44 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5080 0 0 0 151659 2585 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1542.44
Current children cumulated vsize (KiB) 25124
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9099
/proc/meminfo: memFree=32113564/32770688 swapFree=5804/122032
[pid=8995] ppid=8992 vsize=25124 CPUtime=1602.44 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5080 0 0 0 157540 2704 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1602.44
Current children cumulated vsize (KiB) 25124
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9107
/proc/meminfo: memFree=32113172/32770688 swapFree=5804/122080
[pid=8995] ppid=8992 vsize=25124 CPUtime=1662.44 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5278 0 0 0 163447 2797 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1662.44
Current children cumulated vsize (KiB) 25124
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9108
/proc/meminfo: memFree=32113284/32770688 swapFree=5804/122104
[pid=8995] ppid=8992 vsize=25124 CPUtime=1722.45 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5282 0 0 0 169338 2907 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1722.45
Current children cumulated vsize (KiB) 25124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9109
/proc/meminfo: memFree=32113184/32770688 swapFree=5804/122136
[pid=8995] ppid=8992 vsize=25124 CPUtime=1782.46 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5482 0 0 0 175219 3027 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (KiB) 25124
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9110
/proc/meminfo: memFree=32112984/32770688 swapFree=5804/122160
[pid=8995] ppid=8992 vsize=25124 CPUtime=1842.47 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5482 0 0 0 181118 3129 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1842.47
Current children cumulated vsize (KiB) 25124
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9111
/proc/meminfo: memFree=32113288/32770688 swapFree=5804/122204
[pid=8995] ppid=8992 vsize=25124 CPUtime=1902.48 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5683 0 0 0 187016 3232 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1902.48
Current children cumulated vsize (KiB) 25124
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9112
/proc/meminfo: memFree=32113316/32770688 swapFree=5804/122228
[pid=8995] ppid=8992 vsize=25124 CPUtime=1962.48 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5684 0 0 0 192932 3316 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 1962.48
Current children cumulated vsize (KiB) 25124
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9113
/proc/meminfo: memFree=32113680/32770688 swapFree=5804/122260
[pid=8995] ppid=8992 vsize=25124 CPUtime=2022.48 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5885 0 0 0 198838 3410 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2022.48
Current children cumulated vsize (KiB) 25124
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 9114
/proc/meminfo: memFree=32113588/32770688 swapFree=5804/122284
[pid=8995] ppid=8992 vsize=25124 CPUtime=2082.5 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 5886 0 0 0 204733 3517 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2082.5
Current children cumulated vsize (KiB) 25124
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9115
/proc/meminfo: memFree=32113324/32770688 swapFree=5804/122316
[pid=8995] ppid=8992 vsize=25124 CPUtime=2142.49 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 6088 0 0 0 210613 3636 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2142.49
Current children cumulated vsize (KiB) 25124
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9116
/proc/meminfo: memFree=32113544/32770688 swapFree=5804/122356
[pid=8995] ppid=8992 vsize=25124 CPUtime=2202.51 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 6088 0 0 0 216506 3745 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2202.51
Current children cumulated vsize (KiB) 25124
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9124
/proc/meminfo: memFree=32113376/32770688 swapFree=5804/122396
[pid=8995] ppid=8992 vsize=25124 CPUtime=2262.5 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 6288 0 0 0 222403 3847 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2262.5
Current children cumulated vsize (KiB) 25124
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9125
/proc/meminfo: memFree=32113316/32770688 swapFree=5804/122424
[pid=8995] ppid=8992 vsize=25124 CPUtime=2322.51 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 6288 0 0 0 228292 3959 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365133960 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2322.51
Current children cumulated vsize (KiB) 25124
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9126
/proc/meminfo: memFree=32113000/32770688 swapFree=5804/122452
[pid=8995] ppid=8992 vsize=25124 CPUtime=2382.52 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 6489 0 0 0 234174 4078 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2382.52
Current children cumulated vsize (KiB) 25124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9126
/proc/meminfo: memFree=32113044/32770688 swapFree=5804/122456
[pid=8995] ppid=8992 vsize=25124 CPUtime=2400.02 cores=1,3,5,7
/proc/8995/stat : 8995 (naxos-xcsp3) R 8992 8995 3529 0 -1 4202496 6489 0 0 0 235892 4110 0 0 20 0 1 0 2606631 25726976 942 33554432000 4194304 6986860 140733365138608 140733365134136 139756080402812 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 31211520 140733365142798 140733365142879 140733365142879 140733365145578 0
/proc/8995/statm: 6281 942 692 682 0 284 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 25124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8995 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2399.8
CPU time (s): 2400.03
CPU user time (s): 2358.92
CPU system time (s): 41.108
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 25124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2358.92
system time used= 41.108
maximum resident set size= 3808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44567 second user time and 8.64376 second system time
The end