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-4260859-1502393371/watcher-4260859-1502393371 -o /tmp/evaluation-result-4260859-1502393371/solver-4260859-1502393371 -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 685682747 HOME/instance-4260859-1502393371.xml
pid=14453
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.01 2.02 2.05 3/180 14456
/proc/meminfo: memFree=31466240/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14456/stat : 14456 (runsolver) D 14453 14456 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 41532710 24240128 108 18446744073709551615 4194304 4338465 140727544398064 140727544395704 140556376380119 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 33730560 140727544402061 140727544402506 140727544402506 140727544405962 0
/proc/14456/statm: 5918 108 54 36 0 2156 0
[startup+0.100226 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 14456
/proc/meminfo: memFree=31466240/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=28796 CPUtime=0 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 41532710 29487104 802 18446744073709551615 4194304 7396336 140728582684528 140728582681528 140039338548197 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 7199 802 608 782 0 215 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28796
[startup+0.200283 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 14456
/proc/meminfo: memFree=31466240/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=44368 CPUtime=0.09 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 5262 0 0 0 9 0 0 0 20 0 1 0 41532710 45432832 4760 18446744073709551615 4194304 7396336 140728582684528 140728582681528 4565880 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 11092 4760 686 782 0 4108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44368
[startup+0.300337 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 14456
/proc/meminfo: memFree=31466240/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=50712 CPUtime=0.2 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 6878 0 0 0 19 1 0 0 20 0 1 0 41532710 51929088 6300 18446744073709551615 4194304 7396336 140728582684528 140728582681528 4566039 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 12678 6300 686 782 0 5694 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 50712
[startup+0.70029 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 14456
/proc/meminfo: memFree=31466240/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=71636 CPUtime=0.59 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 11831 0 0 0 58 1 0 0 20 0 1 0 41532710 73355264 11585 18446744073709551615 4194304 7396336 140728582684528 140728582675672 4566039 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 17909 11585 686 782 0 10925 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 71636
[startup+1.50031 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14457
/proc/meminfo: memFree=31414260/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=80656 CPUtime=1.4 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 14149 0 0 0 138 2 0 0 20 0 1 0 41532710 82591744 13894 18446744073709551615 4194304 7396336 140728582684528 140728582679880 4582467 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20164 13894 753 782 0 13180 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 80656
[startup+3.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14457
/proc/meminfo: memFree=31413888/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=80656 CPUtime=2.99 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 22154 0 0 0 297 2 0 0 20 0 1 0 41532710 82591744 13904 18446744073709551615 4194304 7396336 140728582684528 140728582679880 4245088 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20164 13904 763 782 0 13180 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 80656
[startup+6.30031 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14457
/proc/meminfo: memFree=31413524/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=80656 CPUtime=6.2 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 30213 0 0 0 617 3 0 0 20 0 1 0 41532710 82591744 13909 18446744073709551615 4194304 7396336 140728582684528 140728582679880 5628519 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20164 13909 763 782 0 13180 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 80656
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14457
/proc/meminfo: memFree=31412780/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=80828 CPUtime=12.59 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 38350 0 0 0 1256 3 0 0 20 0 1 0 41532710 82767872 13947 18446744073709551615 4194304 7396336 140728582684528 140728582679224 4581608 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20207 13947 763 782 0 13223 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 80828
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14457
/proc/meminfo: memFree=31410544/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=81092 CPUtime=25.38 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 54567 0 0 0 2535 3 0 0 20 0 1 0 41532710 83038208 14025 18446744073709551615 4194304 7396336 140728582684528 140728582679000 4581738 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20273 14025 763 782 0 13289 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 81092
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14458
/proc/meminfo: memFree=31410716/32770624 swapFree=0/282640
[pid=14456] ppid=14453 vsize=81236 CPUtime=50.98 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 56599 0 0 0 5094 4 0 0 20 0 1 0 41532710 83185664 14033 18446744073709551615 4194304 7396336 140728582684528 140728582679144 5575200 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20309 14033 763 782 0 13325 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 81236
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14459
/proc/meminfo: memFree=31409676/32770624 swapFree=0/282452
[pid=14456] ppid=14453 vsize=81236 CPUtime=102.17 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 57238 0 0 0 10213 4 0 0 20 0 1 0 41532710 83185664 14049 18446744073709551615 4194304 7396336 140728582684528 140728582679144 5572043 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20309 14049 763 782 0 13325 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 81236
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14461
/proc/meminfo: memFree=31409800/32770624 swapFree=0/282468
[pid=14456] ppid=14453 vsize=81380 CPUtime=162.15 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 57939 0 0 0 16211 4 0 0 20 0 1 0 41532710 83333120 14058 18446744073709551615 4194304 7396336 140728582684528 140728582679160 5165821 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20345 14058 763 782 0 13361 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 81380
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14463
/proc/meminfo: memFree=31410492/32770624 swapFree=0/282476
[pid=14456] ppid=14453 vsize=81380 CPUtime=222.14 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 58593 0 0 0 22210 4 0 0 20 0 1 0 41532710 83333120 14085 18446744073709551615 4194304 7396336 140728582684528 140728582679160 5165842 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20345 14085 763 782 0 13361 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 81380
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/185 14480
/proc/meminfo: memFree=31406432/32770624 swapFree=0/282512
[pid=14456] ppid=14453 vsize=81380 CPUtime=282.12 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 59250 0 0 0 28208 4 0 0 20 0 1 0 41532710 83333120 14085 18446744073709551615 4194304 7396336 140728582684528 140728582679160 4581743 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20345 14085 763 782 0 13361 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 81380
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 14482
/proc/meminfo: memFree=31405816/32770624 swapFree=0/282516
[pid=14456] ppid=14453 vsize=81380 CPUtime=342.12 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 59905 0 0 0 34208 4 0 0 20 0 1 0 41532710 83333120 14085 18446744073709551615 4194304 7396336 140728582684528 140728582679160 5614039 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20345 14085 763 782 0 13361 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 81380
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 14484
/proc/meminfo: memFree=31409572/32770624 swapFree=0/282552
[pid=14456] ppid=14453 vsize=81812 CPUtime=402.12 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 60683 0 0 0 40208 4 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5575964 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 81812
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 14486
/proc/meminfo: memFree=31409884/32770624 swapFree=0/282548
[pid=14456] ppid=14453 vsize=81812 CPUtime=462.12 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 61352 0 0 0 46207 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4245088 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 81812
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14488
/proc/meminfo: memFree=31409784/32770624 swapFree=0/282588
[pid=14456] ppid=14453 vsize=81812 CPUtime=522.12 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 62032 0 0 0 52207 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5575964 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 81812
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 14491
/proc/meminfo: memFree=31410048/32770624 swapFree=0/282600
[pid=14456] ppid=14453 vsize=81812 CPUtime=582.12 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 62708 0 0 0 58207 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 81812
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14555
/proc/meminfo: memFree=31408880/32770624 swapFree=0/282908
[pid=14456] ppid=14453 vsize=81812 CPUtime=1602.06 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 74248 0 0 0 160201 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4379197 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 81812
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 14557
/proc/meminfo: memFree=31409004/32770624 swapFree=0/282932
[pid=14456] ppid=14453 vsize=81812 CPUtime=1662.06 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 74888 0 0 0 166201 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4582338 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 81812
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14559
/proc/meminfo: memFree=31409872/32770624 swapFree=0/282944
[pid=14456] ppid=14453 vsize=81812 CPUtime=1722.06 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 75544 0 0 0 172201 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5575964 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 81812
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14561
/proc/meminfo: memFree=31409128/32770624 swapFree=0/282948
[pid=14456] ppid=14453 vsize=81812 CPUtime=1782.05 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 76225 0 0 0 178200 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5578142 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 81812
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 14563
/proc/meminfo: memFree=31409500/32770624 swapFree=0/282968
[pid=14456] ppid=14453 vsize=81812 CPUtime=1842.05 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 76901 0 0 0 184200 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5165928 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 81812
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14565
/proc/meminfo: memFree=31409376/32770624 swapFree=0/282988
[pid=14456] ppid=14453 vsize=81812 CPUtime=1902.05 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 77579 0 0 0 190200 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5628556 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 81812
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14567
/proc/meminfo: memFree=31409748/32770624 swapFree=0/282992
[pid=14456] ppid=14453 vsize=81812 CPUtime=1962.04 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 78247 0 0 0 196199 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4252882 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 81812
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14569
/proc/meminfo: memFree=31409992/32770624 swapFree=0/283020
[pid=14456] ppid=14453 vsize=81812 CPUtime=2022.04 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 78920 0 0 0 202199 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5575964 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 81812
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14586
/proc/meminfo: memFree=31406376/32770624 swapFree=0/283056
[pid=14456] ppid=14453 vsize=81812 CPUtime=2082.04 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 79602 0 0 0 208199 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4543814 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 81812
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14588
/proc/meminfo: memFree=31405908/32770624 swapFree=0/283056
[pid=14456] ppid=14453 vsize=81812 CPUtime=2142.03 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 80271 0 0 0 214198 5 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5576651 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 81812
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14590
/proc/meminfo: memFree=31409308/32770624 swapFree=0/283076
[pid=14456] ppid=14453 vsize=81812 CPUtime=2202.04 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 80943 0 0 0 220198 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4581738 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 81812
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14592
/proc/meminfo: memFree=31409308/32770624 swapFree=0/283092
[pid=14456] ppid=14453 vsize=81812 CPUtime=2262.04 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 81635 0 0 0 226198 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4379209 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 81812
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14594
/proc/meminfo: memFree=31409324/32770624 swapFree=0/283088
[pid=14456] ppid=14453 vsize=81812 CPUtime=2322.03 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 82316 0 0 0 232197 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 81812
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14597
/proc/meminfo: memFree=31409744/32770624 swapFree=0/283116
[pid=14456] ppid=14453 vsize=81812 CPUtime=2382.03 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 82991 0 0 0 238197 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5839021 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 81812
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14599
/proc/meminfo: memFree=31409248/32770624 swapFree=0/283136
[pid=14456] ppid=14453 vsize=81812 CPUtime=2442.02 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 83651 0 0 0 244196 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4246597 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2442.02
Current children cumulated vsize (KiB) 81812
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/177 14645
/proc/meminfo: memFree=31433012/32770624 swapFree=0/283128
[pid=14456] ppid=14453 vsize=81812 CPUtime=2502.02 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 84297 0 0 0 250196 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 5165805 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2502.02
Current children cumulated vsize (KiB) 81812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.14 2.05 2.06 3/181 14663
/proc/meminfo: memFree=31218508/32770624 swapFree=0/281996
[pid=14456] ppid=14453 vsize=81812 CPUtime=2519.72 cores=1,3,5,7
/proc/14456/stat : 14456 (MistralXCSP) R 14453 14456 15981 0 -1 4202496 84965 0 0 0 251966 6 0 0 20 0 1 0 41532710 83775488 14193 18446744073709551615 4194304 7396336 140728582684528 140728582679096 4542466 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 38060032 140728582693300 140728582693449 140728582693449 140728582696905 0
/proc/14456/statm: 20453 14193 763 782 0 13469 0
Current children cumulated CPU time (s) 2519.72
Current children cumulated vsize (KiB) 81812
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 14456 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.73
CPU user time (s): 2519.66
CPU system time (s): 0.065995
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 81812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.065995
maximum resident set size= 56792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85001
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= 26
involuntary context switches= 773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85018 second user time and 10.3475 second system time
The end