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-4253287-1500930031/watcher-4253287-1500930031 -o /tmp/evaluation-result-4253287-1500930031/solver-4253287-1500930031 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500914923-3501 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253287-1500930031.xml
pid=8912
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: 1.99 1.98 2.03 3/181 8915
/proc/meminfo: memFree=31915648/32770624 swapFree=5712/124980
[pid=8915] ppid=8912 vsize=24608 CPUtime=0 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 940 0 0 0 0 0 0 0 20 0 1 0 2543276 25198592 768 33554432000 4194304 6986860 140729633873120 140729633869816 5731747 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 6152 768 665 682 0 155 0
[startup+0.100153 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 8915
/proc/meminfo: memFree=31915648/32770624 swapFree=5712/124980
[pid=8915] ppid=8912 vsize=25536 CPUtime=0.09 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 1205 0 0 0 9 0 0 0 20 0 1 0 2543276 26148864 995 33554432000 4194304 6986860 140729633873120 140729633869816 139855455685605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 6384 995 677 682 0 387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25536
[startup+0.200263 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 8915
/proc/meminfo: memFree=31915648/32770624 swapFree=5712/124980
[pid=8915] ppid=8912 vsize=26580 CPUtime=0.19 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 1526 0 0 0 19 0 0 0 20 0 1 0 2543276 27217920 1205 33554432000 4194304 6986860 140729633873120 140729633869816 5731735 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 6645 1205 677 682 0 648 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26580
[startup+0.30025 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 8915
/proc/meminfo: memFree=31915648/32770624 swapFree=5712/124980
[pid=8915] ppid=8912 vsize=27876 CPUtime=0.29 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 1941 0 0 0 29 0 0 0 20 0 1 0 2543276 28545024 1427 33554432000 4194304 6986860 140729633873120 140729633869816 5731747 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 6969 1427 677 682 0 972 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27876
[startup+0.700226 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 8915
/proc/meminfo: memFree=31915648/32770624 swapFree=5712/124980
[pid=8915] ppid=8912 vsize=31788 CPUtime=0.69 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 3223 0 0 0 69 0 0 0 20 0 1 0 2543276 32550912 2333 33554432000 4194304 6986860 140729633873120 140729633869816 5731724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 7947 2333 677 682 0 1950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31788
[startup+1.50022 s]
/proc/loadavg: 1.99 1.98 2.03 3/182 8916
/proc/meminfo: memFree=31904972/32770624 swapFree=5712/124972
[pid=8915] ppid=8912 vsize=39612 CPUtime=1.49 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 5000 0 0 0 149 0 0 0 20 0 1 0 2543276 40562688 4334 33554432000 4194304 6986860 140729633873120 140729633867800 139855455685605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 9903 4334 677 682 0 3906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39612
[startup+3.10022 s]
/proc/loadavg: 1.99 1.98 2.03 3/182 8916
/proc/meminfo: memFree=31894220/32770624 swapFree=5712/124972
[pid=8915] ppid=8912 vsize=55392 CPUtime=3.09 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 8419 0 0 0 309 0 0 0 20 0 1 0 2543276 56721408 7753 33554432000 4194304 6986860 140729633873120 140729633867800 139855455685605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 13848 7753 677 682 0 7851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55392
[startup+6.30022 s]
/proc/loadavg: 1.91 1.97 2.02 3/182 8916
/proc/meminfo: memFree=31834628/32770624 swapFree=5712/124976
[pid=8915] ppid=8912 vsize=86820 CPUtime=6.3 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 14207 0 0 0 628 2 0 0 20 0 1 0 2543276 88903680 15100 33554432000 4194304 6986860 140729633873120 140729633867800 5811048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 21705 15100 677 682 0 15708 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 86820
[startup+12.7002 s]
/proc/loadavg: 1.92 1.97 2.02 3/182 8916
/proc/meminfo: memFree=31802968/32770624 swapFree=5712/124984
[pid=8915] ppid=8912 vsize=149676 CPUtime=12.69 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 24694 0 0 0 1265 4 0 0 20 0 1 0 2543276 153268224 29282 33554432000 4194304 6986860 140729633873120 140729633867800 5503030 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 37419 29282 677 682 0 31422 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 149676
[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 2.02 3/182 8916
/proc/meminfo: memFree=31684944/32770624 swapFree=5712/125000
[pid=8915] ppid=8912 vsize=275520 CPUtime=25.5 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 44821 0 0 0 2542 8 0 0 20 0 1 0 2543276 282132480 58192 33554432000 4194304 6986860 140729633873120 140729633867800 139855455685605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 68880 58192 677 682 0 62883 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 275520
[startup+51.1003 s]
/proc/loadavg: 1.96 1.97 2.02 3/182 8938
/proc/meminfo: memFree=31456592/32770624 swapFree=5712/125012
[pid=8915] ppid=8912 vsize=527076 CPUtime=51.09 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 84119 0 0 0 5092 17 0 0 20 0 1 0 2543276 539725824 115950 33554432000 4194304 6986860 140729633873120 140729633867800 139855455685605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 131769 115950 677 682 0 125772 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 527076
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 2.02 3/182 8939
/proc/meminfo: memFree=24377108/32770624 swapFree=5712/125044
[pid=8915] ppid=8912 vsize=7707808 CPUtime=102.29 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 1871055 0 0 0 9998 231 0 0 20 0 1 0 2543276 7892795392 1880961 33554432000 4194304 6986860 140729633873120 140729633865800 5453944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1926952 1880961 677 682 0 1920955 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 7707808
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/182 8940
/proc/meminfo: memFree=24614024/32770624 swapFree=5712/125076
[pid=8915] ppid=8912 vsize=7314588 CPUtime=162.3 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 1926323 0 0 0 15996 234 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 7314588
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.02 3/182 8941
/proc/meminfo: memFree=24614360/32770624 swapFree=5712/125100
[pid=8915] ppid=8912 vsize=7314588 CPUtime=222.3 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 1991859 0 0 0 21994 236 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438190 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 7314588
[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.03 3/182 8942
/proc/meminfo: memFree=24614236/32770624 swapFree=5712/125132
[pid=8915] ppid=8912 vsize=7314588 CPUtime=282.3 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 2056884 0 0 0 27991 239 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5473976 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 7314588
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/182 8943
/proc/meminfo: memFree=24614504/32770624 swapFree=5712/125160
[pid=8915] ppid=8912 vsize=7314588 CPUtime=342.31 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 2122421 0 0 0 33990 241 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 7314588
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/182 8944
/proc/meminfo: memFree=24614320/32770624 swapFree=5712/125192
[pid=8915] ppid=8912 vsize=7314588 CPUtime=402.32 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 2187446 0 0 0 39988 244 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438897 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 7314588
[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.03 3/182 8945
/proc/meminfo: memFree=24614268/32770624 swapFree=5712/125228
[pid=8915] ppid=8912 vsize=7314588 CPUtime=462.32 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 2252982 0 0 0 45986 246 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5453888 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 7314588
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/182 8946
/proc/meminfo: memFree=24614756/32770624 swapFree=5712/125256
[pid=8915] ppid=8912 vsize=7314588 CPUtime=522.34 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 2318518 0 0 0 51985 249 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5474024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 7314588
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/182 8954
/proc/meminfo: memFree=24614392/32770624 swapFree=5712/125292
[pid=8915] ppid=8912 vsize=7314588 CPUtime=582.34 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 2382010 0 0 0 57983 251 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 7314588
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8978
/proc/meminfo: memFree=24613264/32770624 swapFree=5712/125800
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1542.43 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 3609485 0 0 0 153945 298 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5437950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 7314588
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8979
/proc/meminfo: memFree=24613596/32770624 swapFree=5712/125832
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1602.42 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 4220849 0 0 0 159923 319 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5474320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 7314588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8981
/proc/meminfo: memFree=24613752/32770624 swapFree=5712/125868
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1662.42 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 5319376 0 0 0 165883 359 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1662.42
Current children cumulated vsize (KiB) 7314588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8982
/proc/meminfo: memFree=24613500/32770624 swapFree=5712/125900
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1722.43 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 6458912 0 0 0 171841 402 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1722.43
Current children cumulated vsize (KiB) 7314588
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 8990
/proc/meminfo: memFree=24612672/32770624 swapFree=5712/125936
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1782.42 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 7639455 0 0 0 177799 443 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5437980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 7314588
[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 8991
/proc/meminfo: memFree=24613800/32770624 swapFree=5712/125968
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1842.43 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 8664398 0 0 0 183759 484 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5453963 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1842.43
Current children cumulated vsize (KiB) 7314588
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8992
/proc/meminfo: memFree=24613592/32770624 swapFree=5712/126000
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1902.43 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 9730349 0 0 0 189721 522 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1902.43
Current children cumulated vsize (KiB) 7314588
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8993
/proc/meminfo: memFree=24613620/32770624 swapFree=5712/126036
[pid=8915] ppid=8912 vsize=7314588 CPUtime=1962.44 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 10764106 0 0 0 195687 557 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 1962.44
Current children cumulated vsize (KiB) 7314588
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9055
/proc/meminfo: memFree=24611932/32770624 swapFree=5712/126112
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2022.44 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 11788667 0 0 0 201650 594 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5453949 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 7314588
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9056
/proc/meminfo: memFree=24611620/32770624 swapFree=5712/126156
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2082.45 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 12781035 0 0 0 207613 632 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5453972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 7314588
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9057
/proc/meminfo: memFree=24611804/32770624 swapFree=5712/126184
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2142.45 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 13748874 0 0 0 213575 670 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 7314588
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9058
/proc/meminfo: memFree=24612128/32770624 swapFree=5712/126216
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2202.47 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 14688089 0 0 0 219539 708 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5438209 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2202.47
Current children cumulated vsize (KiB) 7314588
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9059
/proc/meminfo: memFree=24612268/32770624 swapFree=5712/126248
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2262.45 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 15602776 0 0 0 225504 741 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2262.45
Current children cumulated vsize (KiB) 7314588
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9060
/proc/meminfo: memFree=24611888/32770624 swapFree=5712/126280
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2322.46 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 16492947 0 0 0 231472 774 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5453949 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2322.46
Current children cumulated vsize (KiB) 7314588
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9068
/proc/meminfo: memFree=24611156/32770624 swapFree=5712/126312
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2382.46 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 17358588 0 0 0 237436 810 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868648 5438032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2382.46
Current children cumulated vsize (KiB) 7314588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9068
/proc/meminfo: memFree=24611248/32770624 swapFree=5712/126320
[pid=8915] ppid=8912 vsize=7314588 CPUtime=2400.07 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202496 17882876 0 0 0 239178 829 0 0 20 0 1 0 2543276 7490138112 1821786 33554432000 4194304 6986860 140729633873120 140729633868472 5453944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 39075840 140729633879310 140729633879391 140729633879391 140729633882090 0
/proc/8915/statm: 1828647 1821786 692 682 0 1822650 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 7314588
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 8915 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9068
/proc/meminfo: memFree=24611248/32770624 swapFree=5712/126320
[pid=8915] ppid=8912 vsize=0 CPUtime=2400.17 cores=1,3,5,7
/proc/8915/stat : 8915 (naxos-xcsp3) R 8912 8915 3469 0 -1 4202500 17882905 0 0 0 239178 839 0 0 20 0 1 0 2543276 0 0 33554432000 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/8915/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.27
CPU user time (s): 2391.78
CPU system time (s): 8.48884
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 7707808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.78
system time used= 8.48884
maximum resident set size= 7523944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17882905
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= 105
involuntary context switches= 680
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81395 second user time and 9.56679 second system time
The end