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-4260895-1502355270/watcher-4260895-1502355270 -o /tmp/evaluation-result-4260895-1502355270/solver-4260895-1502355270 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2140263238 HOME/instance-4260895-1502355270.xml
pid=6533
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.34 2.10 2.07 3/183 6536
/proc/meminfo: memFree=31491700/32770624 swapFree=0/223308
[pid=6536] ppid=6533 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6536/stat : 6536 (runsolver) D 6533 6536 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37722617 24240128 107 18446744073709551615 4194304 4338465 140734957896176 140734957893816 139676963537623 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 20901888 140734957904012 140734957904458 140734957904458 140734957907914 0
/proc/6536/statm: 5918 107 54 36 0 2156 0
[startup+0.100249 s]
/proc/loadavg: 2.34 2.10 2.07 3/183 6536
/proc/meminfo: memFree=31491700/32770624 swapFree=0/223308
[pid=6536] ppid=6533 vsize=11400 CPUtime=0 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4194304 187 0 0 0 0 0 0 0 20 0 1 0 37722617 11673600 54 18446744073709551615 4194304 7396336 140734584977008 140734584974248 140303421105863 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 3366 64 48 782 0 41 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11400
[startup+0.200435 s]
/proc/loadavg: 2.34 2.10 2.07 3/183 6536
/proc/meminfo: memFree=31491700/32770624 swapFree=0/223308
[pid=6536] ppid=6533 vsize=43752 CPUtime=0.09 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 4903 0 0 0 9 0 0 0 20 0 1 0 37722617 44802048 4522 18446744073709551615 4194304 7396336 140734584977008 140734584974008 5644487 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 10938 4522 680 782 0 3954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43752
[startup+0.300333 s]
/proc/loadavg: 2.34 2.10 2.07 3/183 6536
/proc/meminfo: memFree=31491700/32770624 swapFree=0/223308
[pid=6536] ppid=6533 vsize=46908 CPUtime=0.19 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 5903 0 0 0 19 0 0 0 20 0 1 0 37722617 48033792 5412 18446744073709551615 4194304 7396336 140734584977008 140734584974008 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11727 5412 709 782 0 4743 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46908
[startup+0.700288 s]
/proc/loadavg: 2.34 2.10 2.07 3/183 6536
/proc/meminfo: memFree=31491700/32770624 swapFree=0/223308
[pid=6536] ppid=6533 vsize=47040 CPUtime=0.59 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 5956 0 0 0 59 0 0 0 20 0 1 0 37722617 48168960 5412 18446744073709551615 4194304 7396336 140734584977008 140734584971640 5575227 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11760 5412 709 782 0 4776 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 47040
[startup+1.50026 s]
/proc/loadavg: 2.34 2.10 2.07 3/184 6537
/proc/meminfo: memFree=31472564/32770624 swapFree=0/223376
[pid=6536] ppid=6533 vsize=47040 CPUtime=1.39 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 5956 0 0 0 139 0 0 0 20 0 1 0 37722617 48168960 5412 18446744073709551615 4194304 7396336 140734584977008 140734584971640 5165805 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11760 5412 709 782 0 4776 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 47040
[startup+3.10027 s]
/proc/loadavg: 2.34 2.10 2.07 3/184 6537
/proc/meminfo: memFree=31471928/32770624 swapFree=0/223376
[pid=6536] ppid=6533 vsize=47040 CPUtime=2.99 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 9383 0 0 0 299 0 0 0 20 0 1 0 37722617 48168960 5468 18446744073709551615 4194304 7396336 140734584977008 140734584971640 5586450 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11760 5468 718 782 0 4776 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 47040
[startup+6.30031 s]
/proc/loadavg: 2.31 2.10 2.07 3/184 6537
/proc/meminfo: memFree=31471804/32770624 swapFree=0/223316
[pid=6536] ppid=6533 vsize=47304 CPUtime=6.19 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 13037 0 0 0 618 1 0 0 20 0 1 0 37722617 48439296 5524 18446744073709551615 4194304 7396336 140734584977008 140734584972024 5165846 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11826 5524 722 782 0 4842 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 47304
[startup+12.7003 s]
/proc/loadavg: 2.29 2.10 2.07 3/184 6538
/proc/meminfo: memFree=31471872/32770624 swapFree=0/223312
[pid=6536] ppid=6533 vsize=47568 CPUtime=12.59 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 16675 0 0 0 1258 1 0 0 20 0 1 0 37722617 48709632 5586 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165785 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11892 5586 722 782 0 4908 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 47568
[startup+25.5004 s]
/proc/loadavg: 2.22 2.10 2.06 3/184 6538
/proc/meminfo: memFree=31471412/32770624 swapFree=0/223312
[pid=6536] ppid=6533 vsize=47700 CPUtime=25.39 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 23951 0 0 0 2538 1 0 0 20 0 1 0 37722617 48844800 5640 18446744073709551615 4194304 7396336 140734584977008 140734584971352 4249760 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11925 5640 722 782 0 4941 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 47700
[startup+51.1004 s]
/proc/loadavg: 2.15 2.09 2.06 3/184 6538
/proc/meminfo: memFree=31470432/32770624 swapFree=0/223320
[pid=6536] ppid=6533 vsize=47832 CPUtime=50.98 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 27595 0 0 0 5097 1 0 0 20 0 1 0 37722617 48979968 5656 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165838 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5656 722 782 0 4974 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 47832
[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/181 6540
/proc/meminfo: memFree=31474604/32770624 swapFree=0/223348
[pid=6536] ppid=6533 vsize=47832 CPUtime=102.18 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 28080 0 0 0 10217 1 0 0 20 0 1 0 37722617 48979968 5664 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165945 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5664 722 782 0 4974 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 47832
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 6542
/proc/meminfo: memFree=31474356/32770624 swapFree=0/223372
[pid=6536] ppid=6533 vsize=47832 CPUtime=162.17 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 28564 0 0 0 16216 1 0 0 20 0 1 0 37722617 48979968 5668 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5668 722 782 0 4974 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 47832
[startup+222.306 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 6544
/proc/meminfo: memFree=31474652/32770624 swapFree=0/223364
[pid=6536] ppid=6533 vsize=47832 CPUtime=222.17 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 29049 0 0 0 22216 1 0 0 20 0 1 0 37722617 48979968 5675 18446744073709551615 4194304 7396336 140734584977008 140734584971368 4542486 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5675 722 782 0 4974 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 47832
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/181 6546
/proc/meminfo: memFree=31474736/32770624 swapFree=0/223364
[pid=6536] ppid=6533 vsize=47832 CPUtime=282.16 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 29536 0 0 0 28215 1 0 0 20 0 1 0 37722617 48979968 5680 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165752 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5680 722 782 0 4974 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 47832
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 6548
/proc/meminfo: memFree=31475052/32770624 swapFree=0/223404
[pid=6536] ppid=6533 vsize=47832 CPUtime=342.16 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 30020 0 0 0 34215 1 0 0 20 0 1 0 37722617 48979968 5683 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165968 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5683 722 782 0 4974 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 47832
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 6550
/proc/meminfo: memFree=31474688/32770624 swapFree=0/223416
[pid=6536] ppid=6533 vsize=47832 CPUtime=402.15 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 30512 0 0 0 40214 1 0 0 20 0 1 0 37722617 48979968 5685 18446744073709551615 4194304 7396336 140734584977008 140734584971368 4249767 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11958 5685 722 782 0 4974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 47832
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 6552
/proc/meminfo: memFree=31474564/32770624 swapFree=0/223416
[pid=6536] ppid=6533 vsize=47964 CPUtime=462.15 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 31015 0 0 0 46214 1 0 0 20 0 1 0 37722617 49115136 5689 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165800 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11991 5689 722 782 0 5007 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 47964
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 6554
/proc/meminfo: memFree=31473820/32770624 swapFree=0/223424
[pid=6536] ppid=6533 vsize=47964 CPUtime=522.15 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 31513 0 0 0 52214 1 0 0 20 0 1 0 37722617 49115136 5693 18446744073709551615 4194304 7396336 140734584977008 140734584971368 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 11991 5693 722 782 0 5007 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 47964
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 6570
/proc/meminfo: memFree=31469928/32770624 swapFree=0/223472
[pid=6536] ppid=6533 vsize=48132 CPUtime=582.15 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 32062 0 0 0 58214 1 0 0 20 0 1 0 37722617 49287168 5731 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5586302 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5731 722 782 0 5049 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 48132
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6645
/proc/meminfo: memFree=31472084/32770624 swapFree=0/223812
[pid=6536] ppid=6533 vsize=48132 CPUtime=1602.1 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 40788 0 0 0 160208 2 0 0 20 0 1 0 37722617 49287168 5741 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4246592 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5741 722 782 0 5049 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 48132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6647
/proc/meminfo: memFree=31472828/32770624 swapFree=0/223824
[pid=6536] ppid=6533 vsize=48132 CPUtime=1662.1 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 41314 0 0 0 166208 2 0 0 20 0 1 0 37722617 49287168 5743 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5576665 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5743 722 782 0 5049 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 48132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6649
/proc/meminfo: memFree=31472456/32770624 swapFree=0/223856
[pid=6536] ppid=6533 vsize=48132 CPUtime=1722.1 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 41837 0 0 0 172208 2 0 0 20 0 1 0 37722617 49287168 5744 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5165842 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5744 722 782 0 5049 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 48132
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 6665
/proc/meminfo: memFree=31468248/32770624 swapFree=0/223884
[pid=6536] ppid=6533 vsize=48132 CPUtime=1782.1 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 42361 0 0 0 178208 2 0 0 20 0 1 0 37722617 49287168 5745 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5165752 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5745 722 782 0 5049 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 48132
[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 6667
/proc/meminfo: memFree=31468100/32770624 swapFree=0/223900
[pid=6536] ppid=6533 vsize=48132 CPUtime=1842.09 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 42884 0 0 0 184207 2 0 0 20 0 1 0 37722617 49287168 5746 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4249456 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5746 722 782 0 5049 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 48132
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 6669
/proc/meminfo: memFree=31471496/32770624 swapFree=0/223912
[pid=6536] ppid=6533 vsize=48132 CPUtime=1902.09 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 43403 0 0 0 190207 2 0 0 20 0 1 0 37722617 49287168 5747 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4249751 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5747 722 782 0 5049 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 48132
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 6671
/proc/meminfo: memFree=31471372/32770624 swapFree=0/223896
[pid=6536] ppid=6533 vsize=48132 CPUtime=1962.08 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 43927 0 0 0 196206 2 0 0 20 0 1 0 37722617 49287168 5747 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4257837 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5747 722 782 0 5049 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 48132
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6673
/proc/meminfo: memFree=31472452/32770624 swapFree=0/223928
[pid=6536] ppid=6533 vsize=48132 CPUtime=2022.08 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 44456 0 0 0 202206 2 0 0 20 0 1 0 37722617 49287168 5747 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5609890 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5747 722 782 0 5049 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 48132
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6675
/proc/meminfo: memFree=31472452/32770624 swapFree=0/223948
[pid=6536] ppid=6533 vsize=48132 CPUtime=2082.08 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 44990 0 0 0 208206 2 0 0 20 0 1 0 37722617 49287168 5751 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4581760 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5751 722 782 0 5049 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 48132
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6677
/proc/meminfo: memFree=31472468/32770624 swapFree=0/223956
[pid=6536] ppid=6533 vsize=48132 CPUtime=2142.08 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 45519 0 0 0 214206 2 0 0 20 0 1 0 37722617 49287168 5752 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4245088 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5752 722 782 0 5049 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 48132
[startup+2202.31 s]
/proc/loadavg: 2.16 2.06 2.06 3/181 6679
/proc/meminfo: memFree=31471972/32770624 swapFree=0/223984
[pid=6536] ppid=6533 vsize=48132 CPUtime=2202.08 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 46049 0 0 0 220206 2 0 0 20 0 1 0 37722617 49287168 5752 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4581425 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5752 722 782 0 5049 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 48132
[startup+2262.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/181 6681
/proc/meminfo: memFree=31472236/32770624 swapFree=0/223996
[pid=6536] ppid=6533 vsize=48132 CPUtime=2262.07 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 46583 0 0 0 226205 2 0 0 20 0 1 0 37722617 49287168 5754 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4249696 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5754 722 782 0 5049 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 48132
[startup+2322.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/181 6743
/proc/meminfo: memFree=31507160/32770624 swapFree=0/223988
[pid=6536] ppid=6533 vsize=48132 CPUtime=2322.06 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 47120 0 0 0 232204 2 0 0 20 0 1 0 37722617 49287168 5755 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4249696 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5755 722 782 0 5049 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 48132
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/184 6759
/proc/meminfo: memFree=31502212/32770624 swapFree=0/224040
[pid=6536] ppid=6533 vsize=48132 CPUtime=2382.06 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 47654 0 0 0 238204 2 0 0 20 0 1 0 37722617 49287168 5757 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4582338 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5757 722 782 0 5049 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 48132
[startup+2442.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/184 6761
/proc/meminfo: memFree=31502064/32770624 swapFree=0/224056
[pid=6536] ppid=6533 vsize=48132 CPUtime=2442.06 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 48183 0 0 0 244204 2 0 0 20 0 1 0 37722617 49287168 5757 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5165800 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5757 722 782 0 5049 0
Current children cumulated CPU time (s) 2442.06
Current children cumulated vsize (KiB) 48132
[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 6763
/proc/meminfo: memFree=31506080/32770624 swapFree=0/224052
[pid=6536] ppid=6533 vsize=48132 CPUtime=2502.06 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 48718 0 0 0 250204 2 0 0 20 0 1 0 37722617 49287168 5757 18446744073709551615 4194304 7396336 140734584977008 140734584971448 4581822 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5757 722 782 0 5049 0
Current children cumulated CPU time (s) 2502.06
Current children cumulated vsize (KiB) 48132
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 6763
/proc/meminfo: memFree=31506080/32770624 swapFree=0/224068
[pid=6536] ppid=6533 vsize=48132 CPUtime=2519.76 cores=1,3,5,7
/proc/6536/stat : 6536 (MistralXCSP) R 6533 6536 15981 0 -1 4202496 49096 0 0 0 251974 2 0 0 20 0 1 0 37722617 49287168 5758 18446744073709551615 4194304 7396336 140734584977008 140734584971448 5607638 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40964096 140734584979891 140734584980041 140734584980041 140734584983497 0
/proc/6536/statm: 12033 5758 722 782 0 5049 0
Current children cumulated CPU time (s) 2519.76
Current children cumulated vsize (KiB) 48132
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 6536 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.77
CPU user time (s): 2519.74
CPU system time (s): 0.024998
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 48132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.74
system time used= 0.024998
maximum resident set size= 23060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49138
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= 14
involuntary context switches= 784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28087 second user time and 9.68775 second system time
The end