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-4251667-1500915041/watcher-4251667-1500915041 -o /tmp/evaluation-result-4251667-1500915041/solver-4251667-1500915041 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500914920-3841 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251667-1500915041.xml
pid=5282
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.21 5.38 6.63 3/182 5285
/proc/meminfo: memFree=32126372/32770624 swapFree=5756/109852
[pid=5285] ppid=5282 vsize=24736 CPUtime=0 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 1154751 25329664 815 33554432000 4194304 6986860 140724265499472 140724265496168 5674645 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6184 815 660 682 0 187 0
[startup+0.100107 s]
/proc/loadavg: 2.21 5.38 6.63 3/182 5285
/proc/meminfo: memFree=32126372/32770624 swapFree=5756/109852
[pid=5285] ppid=5282 vsize=25032 CPUtime=0.09 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 1067 0 0 0 9 0 0 0 20 0 1 0 1154751 25632768 881 33554432000 4194304 6986860 140724265499472 140724265496168 5659426 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6258 881 676 682 0 261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25032
[startup+0.200216 s]
/proc/loadavg: 2.21 5.38 6.63 3/182 5285
/proc/meminfo: memFree=32126372/32770624 swapFree=5756/109852
[pid=5285] ppid=5282 vsize=25032 CPUtime=0.19 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 1070 0 0 0 19 0 0 0 20 0 1 0 1154751 25632768 881 33554432000 4194304 6986860 140724265499472 140724265494152 5603060 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6258 881 676 682 0 261 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25032
[startup+0.300205 s]
/proc/loadavg: 2.21 5.38 6.63 3/182 5285
/proc/meminfo: memFree=32126372/32770624 swapFree=5756/109852
[pid=5285] ppid=5282 vsize=25032 CPUtime=0.29 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 1073 0 0 0 29 0 0 0 20 0 1 0 1154751 25632768 881 33554432000 4194304 6986860 140724265499472 140724265494152 5646993 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6258 881 676 682 0 261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25032
[startup+0.700192 s]
/proc/loadavg: 2.21 5.38 6.63 3/182 5285
/proc/meminfo: memFree=32126372/32770624 swapFree=5756/109852
[pid=5285] ppid=5282 vsize=25032 CPUtime=0.69 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 1084 0 0 0 69 0 0 0 20 0 1 0 1154751 25632768 881 33554432000 4194304 6986860 140724265499472 140724265494152 5667110 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6258 881 676 682 0 261 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25032
[startup+1.50018 s]
/proc/loadavg: 2.21 5.38 6.63 3/183 5286
/proc/meminfo: memFree=32125148/32770624 swapFree=5756/109660
[pid=5285] ppid=5282 vsize=25156 CPUtime=1.49 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 1107 0 0 0 149 0 0 0 20 0 1 0 1154751 25759744 943 33554432000 4194304 6986860 140724265499472 140724265494152 5621276 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6289 943 704 682 0 292 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25156
[startup+3.10019 s]
/proc/loadavg: 2.21 5.38 6.63 3/183 5286
/proc/meminfo: memFree=32124192/32770624 swapFree=5756/109660
[pid=5285] ppid=5282 vsize=27660 CPUtime=3.09 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 2007 0 0 0 308 1 0 0 20 0 1 0 1154751 28323840 1580 33554432000 4194304 6986860 140724265499472 140724265494152 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1580 724 682 0 918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27660
[startup+6.30019 s]
/proc/loadavg: 2.11 5.31 6.60 3/183 5286
/proc/meminfo: memFree=32122164/32770624 swapFree=5756/109660
[pid=5285] ppid=5282 vsize=27660 CPUtime=6.29 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 2267 0 0 0 622 7 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27660
[startup+12.7002 s]
/proc/loadavg: 2.10 5.25 6.57 3/183 5286
/proc/meminfo: memFree=32122156/32770624 swapFree=5756/109892
[pid=5285] ppid=5282 vsize=27660 CPUtime=12.69 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 2561 0 0 0 1252 17 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27660
[startup+25.5002 s]
/proc/loadavg: 2.22 5.12 6.51 3/183 5286
/proc/meminfo: memFree=32122280/32770624 swapFree=5756/109900
[pid=5285] ppid=5282 vsize=27660 CPUtime=25.49 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 3086 0 0 0 2513 36 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27660
[startup+51.1002 s]
/proc/loadavg: 2.15 4.87 6.39 3/183 5286
/proc/meminfo: memFree=32122652/32770624 swapFree=5756/109908
[pid=5285] ppid=5282 vsize=27660 CPUtime=51.09 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 3359 0 0 0 5029 80 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27660
[startup+102.3 s]
/proc/loadavg: 2.10 4.44 6.17 3/183 5287
/proc/meminfo: memFree=32122468/32770624 swapFree=5756/109944
[pid=5285] ppid=5282 vsize=27660 CPUtime=102.3 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 3551 0 0 0 10061 169 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27660
[startup+162.3 s]
/proc/loadavg: 2.04 4.00 5.91 3/183 5288
/proc/meminfo: memFree=32123088/32770624 swapFree=5756/109972
[pid=5285] ppid=5282 vsize=27660 CPUtime=162.3 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 3758 0 0 0 15955 275 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27660
[startup+222.306 s]
/proc/loadavg: 2.01 3.64 5.66 3/182 5289
/proc/meminfo: memFree=32123108/32770624 swapFree=5756/110012
[pid=5285] ppid=5282 vsize=27660 CPUtime=222.3 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 3949 0 0 0 21847 383 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27660
[startup+282.3 s]
/proc/loadavg: 2.01 3.34 5.43 3/182 5291
/proc/meminfo: memFree=32122760/32770624 swapFree=5756/110044
[pid=5285] ppid=5282 vsize=27660 CPUtime=282.3 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 4141 0 0 0 27738 492 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27660
[startup+342.3 s]
/proc/loadavg: 2.00 3.09 5.22 3/182 5292
/proc/meminfo: memFree=32122640/32770624 swapFree=5756/110076
[pid=5285] ppid=5282 vsize=27660 CPUtime=342.3 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 4333 0 0 0 33634 596 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27660
[startup+402.3 s]
/proc/loadavg: 2.00 2.90 5.02 3/182 5293
/proc/meminfo: memFree=32122148/32770624 swapFree=5756/110104
[pid=5285] ppid=5282 vsize=27660 CPUtime=402.31 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 4541 0 0 0 39528 703 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 27660
[startup+462.3 s]
/proc/loadavg: 2.00 2.73 4.83 3/181 5295
/proc/meminfo: memFree=32123916/32770624 swapFree=5756/109960
[pid=5285] ppid=5282 vsize=27660 CPUtime=462.3 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 4732 0 0 0 45418 812 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 27660
[startup+522.3 s]
/proc/loadavg: 2.00 2.60 4.65 3/182 5297
/proc/meminfo: memFree=32122924/32770624 swapFree=5756/110000
[pid=5285] ppid=5282 vsize=27660 CPUtime=522.31 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 4923 0 0 0 51311 920 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 27660
[startup+582.3 s]
/proc/loadavg: 2.00 2.49 4.48 3/183 5306
/proc/meminfo: memFree=32121612/32770624 swapFree=5756/110036
[pid=5285] ppid=5282 vsize=27660 CPUtime=582.31 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 5114 0 0 0 57204 1027 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 27660
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.95 3/182 5350
/proc/meminfo: memFree=32122620/32770624 swapFree=5756/110516
[pid=5285] ppid=5282 vsize=27660 CPUtime=1482.34 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 7456 0 0 0 145578 2656 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 27660
[startup+1542.31 s]
/proc/loadavg: 2.12 2.06 2.90 3/182 5351
/proc/meminfo: memFree=32122408/32770624 swapFree=5756/110548
[pid=5285] ppid=5282 vsize=27660 CPUtime=1542.34 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 7651 0 0 0 151468 2766 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 27660
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.85 3/182 5352
/proc/meminfo: memFree=32122552/32770624 swapFree=5756/110576
[pid=5285] ppid=5282 vsize=27660 CPUtime=1602.35 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 7845 0 0 0 157367 2868 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 27660
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.79 3/182 5353
/proc/meminfo: memFree=32122432/32770624 swapFree=5756/110604
[pid=5285] ppid=5282 vsize=27660 CPUtime=1662.34 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 8040 0 0 0 163257 2977 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 5424852 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 27660
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.74 3/182 5354
/proc/meminfo: memFree=32122312/32770624 swapFree=5756/110640
[pid=5285] ppid=5282 vsize=27660 CPUtime=1722.35 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 8234 0 0 0 169144 3091 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.70 3/182 5362
/proc/meminfo: memFree=32121812/32770624 swapFree=5756/110676
[pid=5285] ppid=5282 vsize=27660 CPUtime=1782.35 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 8427 0 0 0 175038 3197 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27660
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.65 3/182 5363
/proc/meminfo: memFree=32122456/32770624 swapFree=5756/110708
[pid=5285] ppid=5282 vsize=27660 CPUtime=1842.35 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 8622 0 0 0 180925 3310 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 27660
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.61 3/182 5364
/proc/meminfo: memFree=32122336/32770624 swapFree=5756/110736
[pid=5285] ppid=5282 vsize=27660 CPUtime=1902.36 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 8815 0 0 0 186821 3415 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 27660
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.57 3/182 5365
/proc/meminfo: memFree=32122308/32770624 swapFree=5756/110764
[pid=5285] ppid=5282 vsize=27660 CPUtime=1962.35 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9006 0 0 0 192714 3521 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 27660
[startup+2022.3 s]
/proc/loadavg: 2.13 2.04 2.55 3/182 5366
/proc/meminfo: memFree=32122272/32770624 swapFree=5756/110800
[pid=5285] ppid=5282 vsize=27660 CPUtime=2022.36 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9197 0 0 0 198606 3630 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 27660
[startup+2082.3 s]
/proc/loadavg: 2.11 2.05 2.52 3/182 5368
/proc/meminfo: memFree=32121912/32770624 swapFree=5756/110836
[pid=5285] ppid=5282 vsize=27660 CPUtime=2082.37 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9389 0 0 0 204497 3740 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 27660
[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.49 3/182 5369
/proc/meminfo: memFree=32121668/32770624 swapFree=5756/110864
[pid=5285] ppid=5282 vsize=27660 CPUtime=2142.36 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9579 0 0 0 210386 3850 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 27660
[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.46 3/182 5370
/proc/meminfo: memFree=32121760/32770624 swapFree=5756/110896
[pid=5285] ppid=5282 vsize=27660 CPUtime=2202.37 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9581 0 0 0 216282 3955 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 27660
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.43 3/182 5372
/proc/meminfo: memFree=32121368/32770624 swapFree=5756/110932
[pid=5285] ppid=5282 vsize=27660 CPUtime=2262.37 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9773 0 0 0 222174 4063 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 27660
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.40 3/182 5434
/proc/meminfo: memFree=32108252/32770624 swapFree=5756/111104
[pid=5285] ppid=5282 vsize=27660 CPUtime=2322.37 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 9980 0 0 0 228061 4176 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265495000 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 27660
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.38 3/182 5442
/proc/meminfo: memFree=32039380/32770624 swapFree=5756/111152
[pid=5285] ppid=5282 vsize=27660 CPUtime=2382.37 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 10176 0 0 0 233953 4284 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 27660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.02 2.37 3/182 5442
/proc/meminfo: memFree=32040092/32770624 swapFree=5756/111160
[pid=5285] ppid=5282 vsize=27660 CPUtime=2400.07 cores=1,3,5,7
/proc/5285/stat : 5285 (naxos-xcsp3) R 5282 5285 3809 0 -1 4202496 10368 0 0 0 235691 4316 0 0 20 0 1 0 1154751 28323840 1619 33554432000 4194304 6986860 140724265499472 140724265494824 139783736127868 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 39342080 140724265506062 140724265506143 140724265506143 140724265508842 0
/proc/5285/statm: 6915 1619 729 682 0 918 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 27660
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 5285 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.08
CPU user time (s): 2356.92
CPU system time (s): 43.1634
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2356.92
system time used= 43.1634
maximum resident set size= 6496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10395
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= 8
involuntary context switches= 606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25287 second user time and 9.42736 second system time
The end