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-4261721-1502397891/watcher-4261721-1502397891 -o /tmp/evaluation-result-4261721-1502397891/solver-4261721-1502397891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1497315405 HOME/instance-4261721-1502397891.xml
pid=31714
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.00 2.01 2.05 4/183 31717
/proc/meminfo: memFree=31218348/32770624 swapFree=0/490264
[pid=31717] ppid=31714 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31717/stat : 31717 (runsolver) D 31714 31717 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 42009862 24240128 107 18446744073709551615 4194304 4338465 140736157394096 140736157391736 140348248318679 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 31739904 140736157397131 140736157397578 140736157397578 140736157401034 0
/proc/31717/statm: 5918 107 54 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 31717
/proc/meminfo: memFree=31218348/32770624 swapFree=0/490264
[pid=31717] ppid=31714 vsize=29896 CPUtime=0 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 1 0 42009862 30613504 1000 18446744073709551615 4194304 7396336 140722217103072 140722217100072 140134190889957 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 7474 1000 597 782 0 490 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29896
[startup+0.200276 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 31717
/proc/meminfo: memFree=31218348/32770624 swapFree=0/490264
[pid=31717] ppid=31714 vsize=30472 CPUtime=0.1 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 1401 0 0 0 10 0 0 0 20 0 1 0 42009862 31203328 1195 18446744073709551615 4194304 7396336 140722217103072 140722217100072 140134197680984 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 7618 1195 643 782 0 634 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30472
[startup+0.300253 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 31717
/proc/meminfo: memFree=31218348/32770624 swapFree=0/490264
[pid=31717] ppid=31714 vsize=31312 CPUtime=0.2 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 1571 0 0 0 20 0 0 0 20 0 1 0 42009862 32063488 1362 18446744073709551615 4194304 7396336 140722217103072 140722217100072 140134197673824 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 7828 1362 643 782 0 844 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 31312
[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 31717
/proc/meminfo: memFree=31218348/32770624 swapFree=0/490264
[pid=31717] ppid=31714 vsize=33984 CPUtime=0.6 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 2339 0 0 0 60 0 0 0 20 0 1 0 42009862 34799616 2058 18446744073709551615 4194304 7396336 140722217103072 140722217100072 140134190889957 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 8496 2058 643 782 0 1512 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 33984
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31718
/proc/meminfo: memFree=31210416/32770624 swapFree=0/490332
[pid=31717] ppid=31714 vsize=38404 CPUtime=1.4 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 3609 0 0 0 140 0 0 0 20 0 1 0 42009862 39325696 3178 18446744073709551615 4194304 7396336 140722217103072 140722217093640 140134190899103 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 9601 3178 719 782 0 2617 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38404
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31718
/proc/meminfo: memFree=31205704/32770624 swapFree=0/490332
[pid=31717] ppid=31714 vsize=44636 CPUtime=3.01 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 5652 0 0 0 300 1 0 0 20 0 1 0 42009862 45707264 4727 18446744073709551615 4194304 7396336 140722217103072 140722217093720 140134190900090 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 11159 4727 720 782 0 4175 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 44636
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31718
/proc/meminfo: memFree=31191676/32770624 swapFree=0/490320
[pid=31717] ppid=31714 vsize=57416 CPUtime=6.2 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 11527 0 0 0 619 1 0 0 20 0 1 0 42009862 58793984 7938 18446744073709551615 4194304 7396336 140722217103072 140722217093832 140134190882611 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 14354 7938 720 782 0 7370 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 57416
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31718
/proc/meminfo: memFree=31163088/32770624 swapFree=0/490320
[pid=31717] ppid=31714 vsize=83460 CPUtime=12.6 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 23858 0 0 0 1257 3 0 0 20 0 1 0 42009862 85463040 14406 18446744073709551615 4194304 7396336 140722217103072 140722217094104 6113213 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 20865 14406 720 782 0 13881 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 83460
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31718
/proc/meminfo: memFree=31126012/32770624 swapFree=0/490336
[pid=31717] ppid=31714 vsize=120856 CPUtime=25.41 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 36100 0 0 0 2536 5 0 0 20 0 1 0 42009862 123756544 23762 18446744073709551615 4194304 7396336 140722217103072 140722217093640 140134197081318 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 30214 23762 720 782 0 23230 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 120856
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31719
/proc/meminfo: memFree=31046820/32770624 swapFree=0/490344
[pid=31717] ppid=31714 vsize=200572 CPUtime=51 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 70574 0 0 0 5091 9 0 0 20 0 1 0 42009862 205385728 43639 18446744073709551615 4194304 7396336 140722217103072 140722217093640 6013111 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 50143 43639 720 782 0 43159 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 200572
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31721
/proc/meminfo: memFree=31020088/32770624 swapFree=0/490368
[pid=31717] ppid=31714 vsize=228292 CPUtime=102.19 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 141303 0 0 0 10206 13 0 0 20 0 1 0 42009862 233771008 50704 18446744073709551615 4194304 7396336 140722217103072 140722217097624 4581731 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 57073 50704 753 782 0 50089 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 228292
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31723
/proc/meminfo: memFree=31017900/32770624 swapFree=0/490380
[pid=31717] ppid=31714 vsize=229876 CPUtime=162.17 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 160737 0 0 0 16202 15 0 0 20 0 1 0 42009862 235393024 51206 18446744073709551615 4194304 7396336 140722217103072 140722217097560 4399536 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 57469 51206 753 782 0 50485 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 229876
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31725
/proc/meminfo: memFree=31016712/32770624 swapFree=0/490400
[pid=31717] ppid=31714 vsize=231196 CPUtime=222.18 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 162011 0 0 0 22203 15 0 0 20 0 1 0 42009862 236744704 51535 18446744073709551615 4194304 7396336 140722217103072 140722217097624 4581576 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 57799 51535 753 782 0 50815 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 231196
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 31727
/proc/meminfo: memFree=31015596/32770624 swapFree=0/490408
[pid=31717] ppid=31714 vsize=232264 CPUtime=282.18 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 162278 0 0 0 28203 15 0 0 20 0 1 0 42009862 237838336 51798 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4399549 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 58066 51798 753 782 0 51082 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 232264
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 31729
/proc/meminfo: memFree=31014020/32770624 swapFree=0/490420
[pid=31717] ppid=31714 vsize=233980 CPUtime=342.18 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 164163 0 0 0 34203 15 0 0 20 0 1 0 42009862 239595520 52229 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4581576 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 58495 52229 753 782 0 51511 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 233980
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 31731
/proc/meminfo: memFree=31014020/32770624 swapFree=0/490424
[pid=31717] ppid=31714 vsize=234244 CPUtime=402.18 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 164232 0 0 0 40203 15 0 0 20 0 1 0 42009862 239865856 52295 18446744073709551615 4194304 7396336 140722217103072 140722217097624 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 58561 52295 753 782 0 51577 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 234244
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 31733
/proc/meminfo: memFree=31013520/32770624 swapFree=0/490444
[pid=31717] ppid=31714 vsize=234772 CPUtime=462.19 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 166220 0 0 0 46204 15 0 0 20 0 1 0 42009862 240406528 52411 18446744073709551615 4194304 7396336 140722217103072 140722217097560 5163042 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 58693 52411 753 782 0 51709 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 234772
[startup+522.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 31735
/proc/meminfo: memFree=31013024/32770624 swapFree=0/490448
[pid=31717] ppid=31714 vsize=234912 CPUtime=522.19 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 166287 0 0 0 52204 15 0 0 20 0 1 0 42009862 240549888 52477 18446744073709551615 4194304 7396336 140722217103072 140722217097688 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 58728 52477 753 782 0 51744 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 234912
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 31752
/proc/meminfo: memFree=31008544/32770624 swapFree=0/490476
[pid=31717] ppid=31714 vsize=235176 CPUtime=582.2 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 167388 0 0 0 58205 15 0 0 20 0 1 0 42009862 240820224 52495 18446744073709551615 4194304 7396336 140722217103072 140722217097624 4249511 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 58794 52495 753 782 0 51810 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 235176
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31802
/proc/meminfo: memFree=31008968/32770624 swapFree=0/490764
[pid=31717] ppid=31714 vsize=238212 CPUtime=1602.28 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 175827 0 0 0 160212 16 0 0 20 0 1 0 42009862 243929088 53298 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5586248 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59553 53298 753 782 0 52569 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 238212
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31805
/proc/meminfo: memFree=31008720/32770624 swapFree=0/490796
[pid=31717] ppid=31714 vsize=238212 CPUtime=1662.29 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 176688 0 0 0 166213 16 0 0 20 0 1 0 42009862 243929088 53302 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4547277 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59553 53302 753 782 0 52569 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 238212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31807
/proc/meminfo: memFree=31009040/32770624 swapFree=0/490804
[pid=31717] ppid=31714 vsize=238344 CPUtime=1722.29 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 176721 0 0 0 172213 16 0 0 20 0 1 0 42009862 244064256 53327 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5575980 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59586 53327 753 782 0 52602 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 238344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31823
/proc/meminfo: memFree=31005124/32770624 swapFree=0/490820
[pid=31717] ppid=31714 vsize=238476 CPUtime=1782.3 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 177655 0 0 0 178213 17 0 0 20 0 1 0 42009862 244199424 53356 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4379209 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59619 53356 753 782 0 52635 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 238476
[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 31849
/proc/meminfo: memFree=31003320/32770624 swapFree=0/490852
[pid=31717] ppid=31714 vsize=238608 CPUtime=1842.31 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 177690 0 0 0 184214 17 0 0 20 0 1 0 42009862 244334592 53416 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5162982 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59652 53416 753 782 0 52668 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 238608
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 31851
/proc/meminfo: memFree=31003592/32770624 swapFree=0/490888
[pid=31717] ppid=31714 vsize=238608 CPUtime=1902.31 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 178643 0 0 0 190214 17 0 0 20 0 1 0 42009862 244334592 53418 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4581650 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59652 53418 753 782 0 52668 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 238608
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31853
/proc/meminfo: memFree=31007300/32770624 swapFree=0/490888
[pid=31717] ppid=31714 vsize=238740 CPUtime=1962.32 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 178666 0 0 0 196215 17 0 0 20 0 1 0 42009862 244469760 53418 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4252486 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59685 53418 753 782 0 52701 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 238740
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31855
/proc/meminfo: memFree=31007424/32770624 swapFree=0/490900
[pid=31717] ppid=31714 vsize=238740 CPUtime=2022.33 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 179649 0 0 0 202216 17 0 0 20 0 1 0 42009862 244469760 53435 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5162982 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59685 53435 753 782 0 52701 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 238740
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31857
/proc/meminfo: memFree=31007316/32770624 swapFree=0/490912
[pid=31717] ppid=31714 vsize=238872 CPUtime=2082.34 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 179668 0 0 0 208217 17 0 0 20 0 1 0 42009862 244604928 53435 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59718 53435 753 782 0 52734 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 238872
[startup+2142.3 s]
/proc/loadavg: 1.90 1.98 2.03 3/181 32289
/proc/meminfo: memFree=31062352/32770624 swapFree=0/491560
[pid=31717] ppid=31714 vsize=238872 CPUtime=2142.33 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 180670 0 0 0 214216 17 0 0 20 0 1 0 42009862 244604928 53462 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5162982 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59718 53462 753 782 0 52734 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 238872
[startup+2202.31 s]
/proc/loadavg: 1.96 1.99 2.03 3/181 32291
/proc/meminfo: memFree=31059996/32770624 swapFree=0/491568
[pid=31717] ppid=31714 vsize=239004 CPUtime=2202.35 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 180711 0 0 0 220218 17 0 0 20 0 1 0 42009862 244740096 53462 18446744073709551615 4194304 7396336 140722217103072 140722217097368 5162982 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59751 53462 753 782 0 52767 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 239004
[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 32293
/proc/meminfo: memFree=31057704/32770624 swapFree=0/491596
[pid=31717] ppid=31714 vsize=239004 CPUtime=2262.35 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 181779 0 0 0 226218 17 0 0 20 0 1 0 42009862 244740096 53506 18446744073709551615 4194304 7396336 140722217103072 140722217097368 4320512 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59751 53506 753 782 0 52767 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 239004
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 32295
/proc/meminfo: memFree=31059400/32770624 swapFree=0/491580
[pid=31717] ppid=31714 vsize=239136 CPUtime=2322.35 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 181786 0 0 0 232218 17 0 0 20 0 1 0 42009862 244875264 53514 18446744073709551615 4194304 7396336 140722217103072 140722217097624 5162969 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59784 53514 753 782 0 52800 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 239136
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 32311
/proc/meminfo: memFree=31055280/32770624 swapFree=0/491612
[pid=31717] ppid=31714 vsize=239136 CPUtime=2382.36 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 182798 0 0 0 238219 17 0 0 20 0 1 0 42009862 244875264 53522 18446744073709551615 4194304 7396336 140722217103072 140722217097624 4249767 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59784 53522 753 782 0 52800 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 239136
[startup+2442.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/184 32313
/proc/meminfo: memFree=31054700/32770624 swapFree=0/491632
[pid=31717] ppid=31714 vsize=239136 CPUtime=2442.36 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 182821 0 0 0 244219 17 0 0 20 0 1 0 42009862 244875264 53522 18446744073709551615 4194304 7396336 140722217103072 140722217097624 4249511 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59784 53522 753 782 0 52800 0
Current children cumulated CPU time (s) 2442.36
Current children cumulated vsize (KiB) 239136
[startup+2502.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 32315
/proc/meminfo: memFree=31058276/32770624 swapFree=0/491632
[pid=31717] ppid=31714 vsize=239136 CPUtime=2502.37 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 183398 0 0 0 250220 17 0 0 20 0 1 0 42009862 244875264 53532 18446744073709551615 4194304 7396336 140722217103072 140722217097624 5163042 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59784 53532 753 782 0 52800 0
Current children cumulated CPU time (s) 2502.37
Current children cumulated vsize (KiB) 239136
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 32315
/proc/meminfo: memFree=31058400/32770624 swapFree=0/491636
[pid=31717] ppid=31714 vsize=239136 CPUtime=2520.07 cores=1,3,5,7
/proc/31717/stat : 31717 (MistralXCSP) R 31714 31717 4057 0 -1 4202496 183406 0 0 0 251990 17 0 0 20 0 1 0 42009862 244875264 53532 18446744073709551615 4194304 7396336 140722217103072 140722217097624 4379197 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 27209728 140722217107891 140722217108041 140722217108041 140722217111497 0
/proc/31717/statm: 59784 53532 753 782 0 52800 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 239136
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 31717 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2520.08
CPU user time (s): 2519.9
CPU system time (s): 0.178015
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 239136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.178015
maximum resident set size= 214192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183433
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= 81
involuntary context switches= 1241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64149 second user time and 10.6874 second system time
The end