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-4241216-1500650584/watcher-4241216-1500650584 -o /tmp/evaluation-result-4241216-1500650584/solver-4241216-1500650584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2479 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 435707687 HOME/instance-4241216-1500650584.xml
pid=2740
running on 8 cores: 1,3,5,7,9,11,13,15
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.06 2.03 1.88 3/248 2743
/proc/meminfo: memFree=32037360/32770624 swapFree=5956/210324
[pid=2743] ppid=2740 vsize=28312 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4194304 402 0 0 0 0 0 0 0 20 0 1 0 326065 28991488 223 33554432000 4194304 7402444 140728627487872 140728627484920 139757187763728 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 7078 223 185 784 0 60 0
[startup+0.100132 s]
/proc/loadavg: 2.06 2.03 1.88 3/248 2743
/proc/meminfo: memFree=32037360/32770624 swapFree=5956/210324
[pid=2743] ppid=2740 vsize=28940 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 1106 0 0 0 8 0 0 0 20 0 1 0 326065 29634560 935 33554432000 4194304 7402444 140728627487872 140728627477648 139757167328229 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 7235 935 727 784 0 249 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28940
[startup+0.200278 s]
/proc/loadavg: 2.06 2.03 1.88 3/248 2743
/proc/meminfo: memFree=32037360/32770624 swapFree=5956/210324
[pid=2743] ppid=2740 vsize=29192 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 1182 0 0 0 18 0 0 0 20 0 1 0 326065 29892608 999 33554432000 4194304 7402444 140728627487872 140728627478568 139757167328229 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 7298 999 727 784 0 312 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 29192
[startup+0.300243 s]
/proc/loadavg: 2.06 2.03 1.88 3/248 2743
/proc/meminfo: memFree=32037360/32770624 swapFree=5956/210324
[pid=2743] ppid=2740 vsize=29596 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 1290 0 0 0 28 0 0 0 20 0 1 0 326065 30306304 1101 33554432000 4194304 7402444 140728627487872 140728627478760 6048604 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 7399 1101 728 784 0 413 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29596
[startup+0.700185 s]
/proc/loadavg: 2.06 2.03 1.88 3/248 2743
/proc/meminfo: memFree=32037360/32770624 swapFree=5956/210324
[pid=2743] ppid=2740 vsize=31360 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 1712 0 0 0 68 0 0 0 20 0 1 0 326065 32112640 1544 33554432000 4194304 7402444 140728627487872 140728627478600 139757167789036 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 7840 1544 728 784 0 854 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31360
[startup+1.50019 s]
/proc/loadavg: 1.97 2.01 1.87 3/249 2744
/proc/meminfo: memFree=32025016/32770624 swapFree=5956/210432
[pid=2743] ppid=2740 vsize=34740 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 2643 0 0 0 148 0 0 0 20 0 1 0 326065 35573760 2371 33554432000 4194304 7402444 140728627487872 140728627478536 6002611 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 8685 2371 728 784 0 1699 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34740
[startup+3.10022 s]
/proc/loadavg: 1.97 2.01 1.87 3/249 2744
/proc/meminfo: memFree=32017712/32770624 swapFree=5956/210432
[pid=2743] ppid=2740 vsize=44748 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 7333 0 0 0 307 0 0 0 20 0 1 0 326065 45821952 4886 33554432000 4194304 7402444 140728627487872 140728627478760 5820244 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 11187 4886 728 784 0 4201 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 44748
[startup+6.30028 s]
/proc/loadavg: 1.98 2.01 1.87 3/249 2744
/proc/meminfo: memFree=31961492/32770624 swapFree=5956/210460
[pid=2743] ppid=2740 vsize=83952 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 27180 0 0 0 625 2 0 0 20 0 1 0 326065 85966848 14677 33554432000 4194304 7402444 140728627487872 140728627482152 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 20988 14677 766 784 0 14002 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 83952
[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 1.87 3/249 2744
/proc/meminfo: memFree=31870984/32770624 swapFree=5956/210460
[pid=2743] ppid=2740 vsize=88308 CPUtime=12.67 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 41439 0 0 0 1264 3 0 0 20 0 1 0 326065 90427392 15761 33554432000 4194304 7402444 140728627487872 140728627482328 5878564 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 22077 15761 766 784 0 15091 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 88308
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 1.88 3/249 2744
/proc/meminfo: memFree=31834940/32770624 swapFree=5956/210488
[pid=2743] ppid=2740 vsize=91476 CPUtime=25.46 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 70842 0 0 0 2541 5 0 0 20 0 1 0 326065 93671424 16607 33554432000 4194304 7402444 140728627487872 140728627482888 5758807 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 22869 16607 766 784 0 15883 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 91476
[startup+51.1004 s]
/proc/loadavg: 2.03 2.03 1.88 3/249 2744
/proc/meminfo: memFree=31813588/32770624 swapFree=5956/210500
[pid=2743] ppid=2740 vsize=93852 CPUtime=51.03 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 86554 0 0 0 5098 5 0 0 20 0 1 0 326065 96104448 17184 33554432000 4194304 7402444 140728627487872 140728627482152 5878467 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 23463 17184 766 784 0 16477 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 93852
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 1.89 3/249 2745
/proc/meminfo: memFree=31799168/32770624 swapFree=5956/210544
[pid=2743] ppid=2740 vsize=95172 CPUtime=102.2 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 102542 0 0 0 10214 6 0 0 20 0 1 0 326065 97456128 17519 33554432000 4194304 7402444 140728627487872 140728627482168 4747176 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 23793 17519 766 784 0 16807 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 95172
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.90 3/248 2747
/proc/meminfo: memFree=31793452/32770624 swapFree=5956/210592
[pid=2743] ppid=2740 vsize=96096 CPUtime=162.11 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 114785 0 0 0 16204 7 0 0 20 0 1 0 326065 98402304 17765 33554432000 4194304 7402444 140728627487872 140728627482152 4529237 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24024 17765 766 784 0 17038 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 96096
[startup+222.309 s]
/proc/loadavg: 2.01 2.03 1.90 3/248 2748
/proc/meminfo: memFree=31792092/32770624 swapFree=5956/210620
[pid=2743] ppid=2740 vsize=96228 CPUtime=222.07 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 115138 0 0 0 22200 7 0 0 20 0 1 0 326065 98537472 17783 33554432000 4194304 7402444 140728627487872 140728627482152 4747208 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24057 17783 766 784 0 17071 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 96228
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/248 2749
/proc/meminfo: memFree=31790828/32770624 swapFree=5956/210668
[pid=2743] ppid=2740 vsize=97020 CPUtime=282.01 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 115697 0 0 0 28194 7 0 0 20 0 1 0 326065 99348480 18003 33554432000 4194304 7402444 140728627487872 140728627482152 4238492 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24255 18003 766 784 0 17269 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 97020
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.92 3/243 2751
/proc/meminfo: memFree=31789192/32770624 swapFree=5956/210692
[pid=2743] ppid=2740 vsize=97284 CPUtime=341.97 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 116346 0 0 0 34189 8 0 0 20 0 1 0 326065 99618816 18036 33554432000 4194304 7402444 140728627487872 140728627482216 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24321 18036 766 784 0 17335 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 97284
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/243 2752
/proc/meminfo: memFree=31787484/32770624 swapFree=5956/210728
[pid=2743] ppid=2740 vsize=97416 CPUtime=401.92 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 116986 0 0 0 40184 8 0 0 20 0 1 0 326065 99753984 18088 33554432000 4194304 7402444 140728627487872 140728627482152 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24354 18088 766 784 0 17368 0
Current children cumulated CPU time (s) 401.92
Current children cumulated vsize (KiB) 97416
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/243 2760
/proc/meminfo: memFree=31786372/32770624 swapFree=5956/210768
[pid=2743] ppid=2740 vsize=97416 CPUtime=461.87 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 117659 0 0 0 46179 8 0 0 20 0 1 0 326065 99753984 18116 33554432000 4194304 7402444 140728627487872 140728627482888 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24354 18116 766 784 0 17368 0
Current children cumulated CPU time (s) 461.87
Current children cumulated vsize (KiB) 97416
[startup+522.3 s]
/proc/loadavg: 2.09 2.05 1.95 3/243 2761
/proc/meminfo: memFree=31784024/32770624 swapFree=5956/210800
[pid=2743] ppid=2740 vsize=97680 CPUtime=521.82 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 118351 0 0 0 52174 8 0 0 20 0 1 0 326065 100024320 18149 33554432000 4194304 7402444 140728627487872 140728627482152 5871081 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24420 18149 766 784 0 17434 0
Current children cumulated CPU time (s) 521.82
Current children cumulated vsize (KiB) 97680
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 1.96 3/243 2762
/proc/meminfo: memFree=31783836/32770624 swapFree=5956/210832
[pid=2743] ppid=2740 vsize=97680 CPUtime=581.77 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 119044 0 0 0 58169 8 0 0 20 0 1 0 326065 100024320 18164 33554432000 4194304 7402444 140728627487872 140728627482152 4238498 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24420 18164 766 784 0 17434 0
Current children cumulated CPU time (s) 581.77
Current children cumulated vsize (KiB) 97680
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 1.98 3/243 2785
/proc/meminfo: memFree=31779348/32770624 swapFree=5800/211320
[pid=2743] ppid=2740 vsize=98208 CPUtime=1540.98 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 127012 0 0 0 154089 9 0 0 20 0 1 0 326065 100564992 18325 33554432000 4194304 7402444 140728627487872 140728627482152 5877540 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24552 18325 766 784 0 17566 0
Current children cumulated CPU time (s) 1540.98
Current children cumulated vsize (KiB) 98208
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/243 2786
/proc/meminfo: memFree=31779640/32770624 swapFree=5800/211356
[pid=2743] ppid=2740 vsize=98208 CPUtime=1600.92 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 127354 0 0 0 160083 9 0 0 20 0 1 0 326065 100564992 18325 33554432000 4194304 7402444 140728627487872 140728627482152 4248926 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24552 18325 766 784 0 17566 0
Current children cumulated CPU time (s) 1600.92
Current children cumulated vsize (KiB) 98208
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/244 2795
/proc/meminfo: memFree=31779332/32770624 swapFree=5800/211356
[pid=2743] ppid=2740 vsize=98340 CPUtime=1660.87 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 127704 0 0 0 166078 9 0 0 20 0 1 0 326065 100700160 18325 33554432000 4194304 7402444 140728627487872 140728627482168 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18325 766 784 0 17599 0
Current children cumulated CPU time (s) 1660.87
Current children cumulated vsize (KiB) 98340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 2796
/proc/meminfo: memFree=31778936/32770624 swapFree=5800/211384
[pid=2743] ppid=2740 vsize=98340 CPUtime=1720.82 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 128065 0 0 0 172073 9 0 0 20 0 1 0 326065 100700160 18326 33554432000 4194304 7402444 140728627487872 140728627482168 4238492 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18326 766 784 0 17599 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 98340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/244 2797
/proc/meminfo: memFree=31778700/32770624 swapFree=5800/211412
[pid=2743] ppid=2740 vsize=98340 CPUtime=1780.77 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 128420 0 0 0 178068 9 0 0 20 0 1 0 326065 100700160 18340 33554432000 4194304 7402444 140728627487872 140728627482168 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18340 766 784 0 17599 0
Current children cumulated CPU time (s) 1780.77
Current children cumulated vsize (KiB) 98340
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/244 2798
/proc/meminfo: memFree=31778372/32770624 swapFree=5800/211444
[pid=2743] ppid=2740 vsize=98340 CPUtime=1840.72 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 128785 0 0 0 184063 9 0 0 20 0 1 0 326065 100700160 18340 33554432000 4194304 7402444 140728627487872 140728627482168 5758711 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18340 766 784 0 17599 0
Current children cumulated CPU time (s) 1840.72
Current children cumulated vsize (KiB) 98340
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/244 2799
/proc/meminfo: memFree=31779112/32770624 swapFree=5800/211480
[pid=2743] ppid=2740 vsize=98340 CPUtime=1900.67 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 129144 0 0 0 190058 9 0 0 20 0 1 0 326065 100700160 18344 33554432000 4194304 7402444 140728627487872 140728627482168 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18344 766 784 0 17599 0
Current children cumulated CPU time (s) 1900.67
Current children cumulated vsize (KiB) 98340
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/243 2801
/proc/meminfo: memFree=31779236/32770624 swapFree=5800/211520
[pid=2743] ppid=2740 vsize=98340 CPUtime=1960.62 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 129503 0 0 0 196053 9 0 0 20 0 1 0 326065 100700160 18344 33554432000 4194304 7402444 140728627487872 140728627482168 4249056 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18344 766 784 0 17599 0
Current children cumulated CPU time (s) 1960.62
Current children cumulated vsize (KiB) 98340
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/243 2802
/proc/meminfo: memFree=31779572/32770624 swapFree=5800/211548
[pid=2743] ppid=2740 vsize=98340 CPUtime=2020.57 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 129871 0 0 0 202048 9 0 0 20 0 1 0 326065 100700160 18344 33554432000 4194304 7402444 140728627487872 140728627482168 5877690 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18344 766 784 0 17599 0
Current children cumulated CPU time (s) 2020.57
Current children cumulated vsize (KiB) 98340
[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/243 2803
/proc/meminfo: memFree=31777460/32770624 swapFree=5800/211580
[pid=2743] ppid=2740 vsize=98340 CPUtime=2080.53 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 130233 0 0 0 208044 9 0 0 20 0 1 0 326065 100700160 18346 33554432000 4194304 7402444 140728627487872 140728627482168 5758807 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18346 766 784 0 17599 0
Current children cumulated CPU time (s) 2080.53
Current children cumulated vsize (KiB) 98340
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/243 2805
/proc/meminfo: memFree=31777900/32770624 swapFree=5800/211584
[pid=2743] ppid=2740 vsize=98340 CPUtime=2140.47 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 130615 0 0 0 214038 9 0 0 20 0 1 0 326065 100700160 18350 33554432000 4194304 7402444 140728627487872 140728627482168 4747176 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18350 766 784 0 17599 0
Current children cumulated CPU time (s) 2140.47
Current children cumulated vsize (KiB) 98340
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 2806
/proc/meminfo: memFree=31778932/32770624 swapFree=5800/211636
[pid=2743] ppid=2740 vsize=98340 CPUtime=2200.43 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 131001 0 0 0 220034 9 0 0 20 0 1 0 326065 100700160 18353 33554432000 4194304 7402444 140728627487872 140728627482888 4359552 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18353 766 784 0 17599 0
Current children cumulated CPU time (s) 2200.43
Current children cumulated vsize (KiB) 98340
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/243 2814
/proc/meminfo: memFree=31778820/32770624 swapFree=5800/211684
[pid=2743] ppid=2740 vsize=98340 CPUtime=2260.37 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 131374 0 0 0 226028 9 0 0 20 0 1 0 326065 100700160 18354 33554432000 4194304 7402444 140728627487872 140728627482888 5758807 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18354 766 784 0 17599 0
Current children cumulated CPU time (s) 2260.37
Current children cumulated vsize (KiB) 98340
[startup+2322.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/243 2837
/proc/meminfo: memFree=31776460/32770624 swapFree=5800/211700
[pid=2743] ppid=2740 vsize=98340 CPUtime=2320.32 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 131723 0 0 0 232023 9 0 0 20 0 1 0 326065 100700160 18354 33554432000 4194304 7402444 140728627487872 140728627482888 5877644 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18354 766 784 0 17599 0
Current children cumulated CPU time (s) 2320.32
Current children cumulated vsize (KiB) 98340
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/243 2838
/proc/meminfo: memFree=31777344/32770624 swapFree=5800/211732
[pid=2743] ppid=2740 vsize=98340 CPUtime=2380.28 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 132095 0 0 0 238019 9 0 0 20 0 1 0 326065 100700160 18356 33554432000 4194304 7402444 140728627487872 140728627482888 5758845 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18356 766 784 0 17599 0
Current children cumulated CPU time (s) 2380.28
Current children cumulated vsize (KiB) 98340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/243 2838
/proc/meminfo: memFree=31777592/32770624 swapFree=5800/211736
[pid=2743] ppid=2740 vsize=98340 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 132430 0 0 0 239997 9 0 0 20 0 1 0 326065 100700160 18356 33554432000 4194304 7402444 140728627487872 140728627482888 5878157 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18356 766 784 0 17599 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 98340
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 2743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2402.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/243 2838
/proc/meminfo: memFree=31777592/32770624 swapFree=5800/211736
[pid=2743] ppid=2740 vsize=98340 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/2743/stat : 2743 (MistralXCSP) R 2740 2743 2447 0 -1 4202496 132430 0 0 0 239997 9 0 0 20 0 1 0 326065 100700160 18356 33554432000 4194304 7402444 140728627487872 140728627482888 5878157 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 20783104 140728627492009 140728627492158 140728627492158 140728627494857 0
/proc/2743/statm: 24585 18356 766 784 0 17599 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 98340
Child status: 0
Real time (s): 2402.1
CPU time (s): 2400.07
CPU user time (s): 2399.98
CPU system time (s): 0.097918
CPU usage (%): 99.9156
Max. virtual memory (cumulated for all children) (KiB): 98340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.097918
maximum resident set size= 73448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132468
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= 39
involuntary context switches= 122019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.9236 second user time and 13.7099 second system time
The end