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-4242703-1502071380/watcher-4242703-1502071380 -o /tmp/evaluation-result-4242703-1502071380/solver-4242703-1502071380 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 129511574 HOME/instance-4242703-1502071380.xml
pid=32573
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.01 2.02 2.05 3/181 32576
/proc/meminfo: memFree=31343220/32770624 swapFree=0/352516
[pid=32576] ppid=32573 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32576/stat : 32576 (runsolver) D 32573 32576 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9331705 24240128 106 18446744073709551615 4194304 4338465 140735987705536 140735987703176 140049918280407 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 22982656 140735987708044 140735987708490 140735987708490 140735987711946 0
/proc/32576/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32576
/proc/meminfo: memFree=31343220/32770624 swapFree=0/352516
[pid=32576] ppid=32573 vsize=29352 CPUtime=0.01 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 1116 0 0 0 1 0 0 0 20 0 1 0 9331705 30056448 934 18446744073709551615 4194304 7402444 140721945590816 140721945587864 5931537 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 7338 934 619 784 0 352 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29352
[startup+0.200282 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32576
/proc/meminfo: memFree=31343220/32770624 swapFree=0/352516
[pid=32576] ppid=32573 vsize=29848 CPUtime=0.11 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 1209 0 0 0 11 0 0 0 20 0 1 0 9331705 30564352 1000 18446744073709551615 4194304 7402444 140721945590816 140721945587864 139696150985728 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 7462 1000 631 784 0 476 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29848
[startup+0.300251 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32576
/proc/meminfo: memFree=31343220/32770624 swapFree=0/352516
[pid=32576] ppid=32573 vsize=30172 CPUtime=0.21 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 1328 0 0 0 21 0 0 0 20 0 1 0 9331705 30896128 1093 18446744073709551615 4194304 7402444 140721945590816 140721945587864 6143807 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 7543 1093 631 784 0 557 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 30172
[startup+0.700223 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32576
/proc/meminfo: memFree=31343220/32770624 swapFree=0/352516
[pid=32576] ppid=32573 vsize=31480 CPUtime=0.61 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 1757 0 0 0 61 0 0 0 20 0 1 0 9331705 32235520 1434 18446744073709551615 4194304 7402444 140721945590816 140721945584056 139696150547429 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 7870 1434 631 784 0 884 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 31480
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 32577
/proc/meminfo: memFree=31338584/32770624 swapFree=0/352680
[pid=32576] ppid=32573 vsize=35500 CPUtime=1.4 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 2699 0 0 0 140 0 0 0 20 0 1 0 9331705 36352000 2325 18446744073709551615 4194304 7402444 140721945590816 140721945584056 139696150547429 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 8875 2325 631 784 0 1889 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 35500
[startup+3.10022 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 32577
/proc/meminfo: memFree=31330508/32770624 swapFree=0/352688
[pid=32576] ppid=32573 vsize=46084 CPUtime=3.01 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 6295 0 0 0 300 1 0 0 20 0 1 0 9331705 47190016 5030 18446744073709551615 4194304 7402444 140721945590816 140721945581624 5906514 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 11521 5030 732 784 0 4535 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 46084
[startup+6.30023 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 32577
/proc/meminfo: memFree=31307936/32770624 swapFree=0/352524
[pid=32576] ppid=32573 vsize=71308 CPUtime=6.21 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 13263 0 0 0 619 2 0 0 20 0 1 0 9331705 73019392 11363 18446744073709551615 4194304 7402444 140721945590816 140721945581624 6023330 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 17827 11363 732 784 0 10841 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 71308
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 32577
/proc/meminfo: memFree=31260068/32770624 swapFree=0/352532
[pid=32576] ppid=32573 vsize=113636 CPUtime=12.6 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 31208 0 0 0 1257 3 0 0 20 0 1 0 9331705 116363264 21896 18446744073709551615 4194304 7402444 140721945590816 140721945581368 4775174 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 28409 21896 732 784 0 21423 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 113636
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 32578
/proc/meminfo: memFree=31174800/32770624 swapFree=0/352536
[pid=32576] ppid=32573 vsize=194860 CPUtime=25.41 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 67890 0 0 0 2533 8 0 0 20 0 1 0 9331705 199536640 42259 18446744073709551615 4194304 7402444 140721945590816 140721945581416 5929277 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 48715 42259 732 784 0 41729 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 194860
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 32578
/proc/meminfo: memFree=31068396/32770624 swapFree=0/352548
[pid=32576] ppid=32573 vsize=303020 CPUtime=51 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 99636 0 0 0 5088 12 0 0 20 0 1 0 9331705 310292480 69297 18446744073709551615 4194304 7402444 140721945590816 140721945581368 5813010 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 75755 69297 732 784 0 68769 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 303020
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 32593
/proc/meminfo: memFree=30845272/32770624 swapFree=0/352624
[pid=32576] ppid=32573 vsize=518784 CPUtime=102.2 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 204440 0 0 0 10200 20 0 0 20 0 1 0 9331705 531234816 123242 18446744073709551615 4194304 7402444 140721945590816 140721945581368 4731472 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 129696 123242 732 784 0 122710 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 518784
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 32595
/proc/meminfo: memFree=30687240/32770624 swapFree=0/352648
[pid=32576] ppid=32573 vsize=676684 CPUtime=162.19 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 243170 0 0 0 16195 24 0 0 20 0 1 0 9331705 692924416 162725 18446744073709551615 4194304 7402444 140721945590816 140721945581368 4731639 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 169171 162725 732 784 0 162185 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 676684
[startup+222.306 s]
/proc/loadavg: 2.10 2.05 2.05 3/182 32597
/proc/meminfo: memFree=30562704/32770624 swapFree=0/352684
[pid=32576] ppid=32573 vsize=800212 CPUtime=222.19 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 276566 0 0 0 22191 28 0 0 20 0 1 0 9331705 819417088 193595 18446744073709551615 4194304 7402444 140721945590816 140721945581368 4731632 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 200053 193595 732 784 0 193067 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 800212
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 32599
/proc/meminfo: memFree=30379320/32770624 swapFree=0/352708
[pid=32576] ppid=32573 vsize=983720 CPUtime=282.19 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 308114 0 0 0 28184 35 0 0 20 0 1 0 9331705 1007329280 239458 18446744073709551615 4194304 7402444 140721945590816 140721945581368 4731648 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 245930 239458 732 784 0 238944 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 983720
[startup+342.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 32601
/proc/meminfo: memFree=30274308/32770624 swapFree=0/352740
[pid=32576] ppid=32573 vsize=1091272 CPUtime=342.19 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 334091 0 0 0 34181 38 0 0 20 0 1 0 9331705 1117462528 266360 18446744073709551615 4194304 7402444 140721945590816 140721945581368 4731639 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 272818 266360 732 784 0 265832 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1091272
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 32604
/proc/meminfo: memFree=29937632/32770624 swapFree=0/352780
[pid=32576] ppid=32573 vsize=1423976 CPUtime=402.17 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 563834 0 0 0 40163 54 0 0 20 0 1 0 9331705 1458151424 349744 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4748146 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349744 775 784 0 349008 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1423976
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 32606
/proc/meminfo: memFree=29937620/32770624 swapFree=0/352820
[pid=32576] ppid=32573 vsize=1423976 CPUtime=462.16 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 655978 0 0 0 46156 60 0 0 20 0 1 0 9331705 1458151424 349747 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5327250 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349747 778 784 0 349008 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1423976
[startup+522.3 s]
/proc/loadavg: 2.10 2.07 2.05 3/182 32608
/proc/meminfo: memFree=29937276/32770624 swapFree=0/352840
[pid=32576] ppid=32573 vsize=1423976 CPUtime=522.15 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 739865 0 0 0 52152 63 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5753494 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1423976
[startup+582.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/182 32611
/proc/meminfo: memFree=29937516/32770624 swapFree=0/352888
[pid=32576] ppid=32573 vsize=1423976 CPUtime=582.13 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 816484 0 0 0 58145 68 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5327213 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1423976
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 32698
/proc/meminfo: memFree=29935964/32770624 swapFree=0/353488
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1542.08 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 883235 0 0 0 154136 72 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5750448 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1542.08
Current children cumulated vsize (KiB) 1423976
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32700
/proc/meminfo: memFree=29935844/32770624 swapFree=0/353524
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1602.07 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 884447 0 0 0 160135 72 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5753559 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 1423976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32702
/proc/meminfo: memFree=29935968/32770624 swapFree=0/353548
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1662.07 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 885516 0 0 0 166135 72 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4747310 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 1423976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32765
/proc/meminfo: memFree=30232372/32770624 swapFree=0/353612
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1722.06 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 886354 0 0 0 172134 72 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5753458 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 1423976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32767
/proc/meminfo: memFree=29835328/32770624 swapFree=0/353656
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1782.06 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 887553 0 0 0 178134 72 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5765374 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 1423976
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 302
/proc/meminfo: memFree=29737544/32770624 swapFree=0/353688
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1842.07 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 888544 0 0 0 184134 73 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5747655 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 1423976
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 320
/proc/meminfo: memFree=29570696/32770624 swapFree=0/353760
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1902.06 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 889462 0 0 0 190133 73 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5753458 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 1423976
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 322
/proc/meminfo: memFree=29465544/32770624 swapFree=0/353796
[pid=32576] ppid=32573 vsize=1423976 CPUtime=1962.06 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 890109 0 0 0 196133 73 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5753536 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 1423976
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 327
/proc/meminfo: memFree=29298128/32770624 swapFree=0/353820
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2022.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 891641 0 0 0 202132 73 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5753458 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 1423976
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 330
/proc/meminfo: memFree=28933012/32770624 swapFree=0/353852
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2082.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 892363 0 0 0 208132 73 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4747269 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 1423976
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 332
/proc/meminfo: memFree=28931692/32770624 swapFree=0/353880
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2142.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 892923 0 0 0 214132 73 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4238492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 1423976
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 335
/proc/meminfo: memFree=28931200/32770624 swapFree=0/353920
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2202.06 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 894202 0 0 0 220132 74 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4238492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 1423976
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 337
/proc/meminfo: memFree=28869576/32770624 swapFree=0/353944
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2262.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 895262 0 0 0 226131 74 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 5747655 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 1423976
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 341
/proc/meminfo: memFree=28811272/32770624 swapFree=0/353956
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2322.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 895934 0 0 0 232131 74 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4238492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 1423976
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 344
/proc/meminfo: memFree=28752192/32770624 swapFree=0/354016
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2382.04 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 897008 0 0 0 238130 74 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4238492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 1423976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 344
/proc/meminfo: memFree=28739232/32770624 swapFree=0/354024
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2400.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 897450 0 0 0 239931 74 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4238492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 1423976
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 32576 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 344
/proc/meminfo: memFree=28739232/32770624 swapFree=0/354024
[pid=32576] ppid=32573 vsize=1423976 CPUtime=2400.05 cores=1,3,5,7
/proc/32576/stat : 32576 (MistralXCSP) R 32573 32576 20633 0 -1 4202496 897450 0 0 0 239931 74 0 0 20 0 1 0 9331705 1458151424 349749 18446744073709551615 4194304 7402444 140721945590816 140721945586168 4238492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 31072256 140721945596340 140721945596489 140721945596489 140721945599945 0
/proc/32576/statm: 355994 349749 780 784 0 349008 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 1423976
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2399.31
CPU system time (s): 0.747966
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 1441568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.31
system time used= 0.747966
maximum resident set size= 1415768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897487
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= 106
involuntary context switches= 815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86312 second user time and 11.8354 second system time
The end