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-4253469-1500933996/watcher-4253469-1500933996 -o /tmp/evaluation-result-4253469-1500933996/solver-4253469-1500933996 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500914927-3857 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253469-1500933996.xml
pid=19374
running on 4 cores: 0,2,4,6
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.03 2.02 2.05 2/181 19377
/proc/meminfo: memFree=32094516/32770624 swapFree=5796/135648
[pid=19377] ppid=19374 vsize=25004 CPUtime=0 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 1025 0 0 0 0 0 0 0 20 0 1 0 2939101 25604096 815 33554432000 4194304 6986860 140726873686496 140726873683192 5809034 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 6251 815 650 682 0 254 0
[startup+0.100119 s]
/proc/loadavg: 2.03 2.02 2.05 2/181 19377
/proc/meminfo: memFree=32094516/32770624 swapFree=5796/135648
[pid=19377] ppid=19374 vsize=41588 CPUtime=0.09 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 5261 0 0 0 9 0 0 0 20 0 1 0 2939101 42586112 4922 33554432000 4194304 6986860 140726873686496 140726873683192 5438178 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10397 4922 678 682 0 4400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41588
[startup+0.200338 s]
/proc/loadavg: 2.03 2.02 2.05 2/181 19377
/proc/meminfo: memFree=32094516/32770624 swapFree=5796/135648
[pid=19377] ppid=19374 vsize=41588 CPUtime=0.19 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 5267 0 0 0 19 0 0 0 20 0 1 0 2939101 42586112 4922 33554432000 4194304 6986860 140726873686496 140726873683192 5438178 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10397 4922 678 682 0 4400 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41588
[startup+0.300313 s]
/proc/loadavg: 2.03 2.02 2.05 2/181 19377
/proc/meminfo: memFree=32094516/32770624 swapFree=5796/135648
[pid=19377] ppid=19374 vsize=41588 CPUtime=0.29 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 5273 0 0 0 29 0 0 0 20 0 1 0 2939101 42586112 4922 33554432000 4194304 6986860 140726873686496 140726873683192 5438064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10397 4922 678 682 0 4400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41588
[startup+0.700241 s]
/proc/loadavg: 2.03 2.02 2.05 2/181 19377
/proc/meminfo: memFree=32094516/32770624 swapFree=5796/135648
[pid=19377] ppid=19374 vsize=40948 CPUtime=0.69 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 5312 0 0 0 69 0 0 0 20 0 1 0 2939101 41930752 4861 33554432000 4194304 6986860 140726873686496 140726873682024 5453966 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4861 681 682 0 4240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40948
[startup+1.50024 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 19378
/proc/meminfo: memFree=32077124/32770624 swapFree=5796/135404
[pid=19377] ppid=19374 vsize=40948 CPUtime=1.49 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 5312 0 0 0 148 1 0 0 20 0 1 0 2939101 41930752 4861 33554432000 4194304 6986860 140726873686496 140726873682024 5438235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4861 681 682 0 4240 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40948
[startup+3.10024 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 19378
/proc/meminfo: memFree=32076860/32770624 swapFree=5796/135404
[pid=19377] ppid=19374 vsize=40948 CPUtime=3.09 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 9359 0 0 0 308 1 0 0 20 0 1 0 2939101 41930752 4883 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4883 702 682 0 4240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40948
[startup+6.30023 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 19378
/proc/meminfo: memFree=32077100/32770624 swapFree=5796/135664
[pid=19377] ppid=19374 vsize=40948 CPUtime=6.29 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 13425 0 0 0 628 1 0 0 20 0 1 0 2939101 41930752 4883 33554432000 4194304 6986860 140726873686496 140726873681848 5474024 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4883 702 682 0 4240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40948
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 19378
/proc/meminfo: memFree=32076496/32770624 swapFree=5796/135672
[pid=19377] ppid=19374 vsize=40948 CPUtime=12.68 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 17502 0 0 0 1267 1 0 0 20 0 1 0 2939101 41930752 4884 33554432000 4194304 6986860 140726873686496 140726873681848 5438332 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4884 702 682 0 4240 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40948
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 19378
/proc/meminfo: memFree=32076496/32770624 swapFree=5796/135688
[pid=19377] ppid=19374 vsize=40948 CPUtime=25.49 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 25638 0 0 0 2547 2 0 0 20 0 1 0 2939101 41930752 4884 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4884 702 682 0 4240 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40948
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 19378
/proc/meminfo: memFree=32076120/32770624 swapFree=5796/135700
[pid=19377] ppid=19374 vsize=40948 CPUtime=51.08 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 26165 0 0 0 5106 2 0 0 20 0 1 0 2939101 41930752 4884 33554432000 4194304 6986860 140726873686496 140726873681848 5437965 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4884 702 682 0 4240 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40948
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 19380
/proc/meminfo: memFree=32076744/32770624 swapFree=5796/135760
[pid=19377] ppid=19374 vsize=40948 CPUtime=102.28 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 26687 0 0 0 10226 2 0 0 20 0 1 0 2939101 41930752 4884 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10237 4884 702 682 0 4240 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 40948
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19381
/proc/meminfo: memFree=32076620/32770624 swapFree=5796/135788
[pid=19377] ppid=19374 vsize=41080 CPUtime=162.26 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 27240 0 0 0 16224 2 0 0 20 0 1 0 2939101 42065920 4884 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4884 702 682 0 4273 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41080
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 19390
/proc/meminfo: memFree=32075848/32770624 swapFree=5796/135824
[pid=19377] ppid=19374 vsize=41080 CPUtime=222.26 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 27785 0 0 0 22223 3 0 0 20 0 1 0 2939101 42065920 4913 33554432000 4194304 6986860 140726873686496 140726873682024 5474024 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4913 702 682 0 4273 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 41080
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 19391
/proc/meminfo: memFree=32076468/32770624 swapFree=5796/135852
[pid=19377] ppid=19374 vsize=41080 CPUtime=282.25 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 28329 0 0 0 28222 3 0 0 20 0 1 0 2939101 42065920 4913 33554432000 4194304 6986860 140726873686496 140726873682024 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4913 702 682 0 4273 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 41080
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 19392
/proc/meminfo: memFree=32076220/32770624 swapFree=5796/135880
[pid=19377] ppid=19374 vsize=41080 CPUtime=342.23 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 28917 0 0 0 34220 3 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 41080
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19393
/proc/meminfo: memFree=32076476/32770624 swapFree=5796/135916
[pid=19377] ppid=19374 vsize=41080 CPUtime=402.23 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 29479 0 0 0 40219 4 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 41080
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19394
/proc/meminfo: memFree=32076608/32770624 swapFree=5796/135952
[pid=19377] ppid=19374 vsize=41080 CPUtime=462.22 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 30040 0 0 0 46218 4 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873682024 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 41080
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19395
/proc/meminfo: memFree=32076484/32770624 swapFree=5796/135984
[pid=19377] ppid=19374 vsize=41080 CPUtime=522.21 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 30601 0 0 0 52217 4 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 41080
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19396
/proc/meminfo: memFree=32076624/32770624 swapFree=5796/136012
[pid=19377] ppid=19374 vsize=41080 CPUtime=582.2 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 31162 0 0 0 58216 4 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873682024 5438008 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 41080
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 20654
/proc/meminfo: memFree=31927732/32770624 swapFree=5796/137812
[pid=19377] ppid=19374 vsize=41080 CPUtime=1482.06 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 39577 0 0 0 148196 10 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 41080
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 20655
/proc/meminfo: memFree=31927856/32770624 swapFree=5796/137848
[pid=19377] ppid=19374 vsize=41080 CPUtime=1542.06 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 40138 0 0 0 154195 11 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5473982 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 41080
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 20656
/proc/meminfo: memFree=31927476/32770624 swapFree=5796/137888
[pid=19377] ppid=19374 vsize=41080 CPUtime=1602.04 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 40699 0 0 0 160192 12 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 41080
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 20657
/proc/meminfo: memFree=31927308/32770624 swapFree=5796/137920
[pid=19377] ppid=19374 vsize=41080 CPUtime=1662.03 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 41260 0 0 0 166191 12 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5473982 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 41080
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 20658
/proc/meminfo: memFree=31927272/32770624 swapFree=5796/137952
[pid=19377] ppid=19374 vsize=41080 CPUtime=1722.03 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 41821 0 0 0 172190 13 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438127 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 41080
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 20659
/proc/meminfo: memFree=31927108/32770624 swapFree=5796/137984
[pid=19377] ppid=19374 vsize=41080 CPUtime=1782.02 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 42382 0 0 0 178189 13 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5474352 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 41080
[startup+1842.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 20660
/proc/meminfo: memFree=31927204/32770624 swapFree=5796/138020
[pid=19377] ppid=19374 vsize=41080 CPUtime=1842 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 42943 0 0 0 184187 13 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 41080
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 20661
/proc/meminfo: memFree=31926964/32770624 swapFree=5796/138060
[pid=19377] ppid=19374 vsize=41080 CPUtime=1902 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 43504 0 0 0 190186 14 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 41080
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 20662
/proc/meminfo: memFree=31927048/32770624 swapFree=5796/138084
[pid=19377] ppid=19374 vsize=41080 CPUtime=1961.98 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 44065 0 0 0 196184 14 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 41080
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 20670
/proc/meminfo: memFree=31925716/32770624 swapFree=5796/138092
[pid=19377] ppid=19374 vsize=41080 CPUtime=2021.98 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 44626 0 0 0 202183 15 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 41080
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20671
/proc/meminfo: memFree=31926584/32770624 swapFree=5796/138124
[pid=19377] ppid=19374 vsize=41080 CPUtime=2081.97 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 45187 0 0 0 208182 15 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5473968 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 41080
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20672
/proc/meminfo: memFree=31925964/32770624 swapFree=5796/138160
[pid=19377] ppid=19374 vsize=41080 CPUtime=2141.96 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 45748 0 0 0 214180 16 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 41080
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20673
/proc/meminfo: memFree=31926452/32770624 swapFree=5796/138188
[pid=19377] ppid=19374 vsize=41080 CPUtime=2201.96 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 46309 0 0 0 220180 16 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5437950 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2201.96
Current children cumulated vsize (KiB) 41080
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20674
/proc/meminfo: memFree=31926684/32770624 swapFree=5796/138224
[pid=19377] ppid=19374 vsize=41080 CPUtime=2261.94 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 46870 0 0 0 226178 16 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5473982 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 41080
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20675
/proc/meminfo: memFree=31926164/32770624 swapFree=5796/138252
[pid=19377] ppid=19374 vsize=41080 CPUtime=2321.93 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 47431 0 0 0 232176 17 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438361 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 41080
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20676
/proc/meminfo: memFree=31926032/32770624 swapFree=5796/138288
[pid=19377] ppid=19374 vsize=41080 CPUtime=2381.93 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 47992 0 0 0 238175 18 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5438178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2381.93
Current children cumulated vsize (KiB) 41080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20677
/proc/meminfo: memFree=31925908/32770624 swapFree=5796/138312
[pid=19377] ppid=19374 vsize=41080 CPUtime=2400.02 cores=0,2,4,6
/proc/19377/stat : 19377 (naxos-xcsp3) R 19374 19377 3826 0 -1 4202496 48553 0 0 0 239984 18 0 0 20 0 1 0 2939101 42065920 4939 33554432000 4194304 6986860 140726873686496 140726873681848 5437958 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 13897728 140726873695502 140726873695583 140726873695583 140726873698282 0
/proc/19377/statm: 10270 4939 702 682 0 4273 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 41080
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 19377 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2399.85
CPU system time (s): 0.184972
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 41720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.184972
maximum resident set size= 19952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48582
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= 11
involuntary context switches= 2748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20086 second user time and 10.8647 second system time
The end