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-4261263-1502382589/watcher-4261263-1502382589 -o /tmp/evaluation-result-4261263-1502382589/solver-4261263-1502382589 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2050329440 HOME/instance-4261263-1502382589.xml
pid=3407
running on 4 cores: 0,2,4,6
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.05 2.07 2.05 2/180 3410
/proc/meminfo: memFree=31455848/32770624 swapFree=0/373080
[pid=3410] ppid=3407 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3410/stat : 3410 (runsolver) D 3407 3410 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 26599559 24240128 107 18446744073709551615 4194304 4338465 140736649356608 140736649354248 140051728814807 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27095040 140736649359499 140736649359946 140736649359946 140736649363402 0
/proc/3410/statm: 5918 107 54 36 0 2156 0
[startup+0.100206 s]
/proc/loadavg: 2.05 2.07 2.05 2/180 3410
/proc/meminfo: memFree=31455848/32770624 swapFree=0/373080
[pid=3410] ppid=3407 vsize=45708 CPUtime=0.02 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 5225 0 0 0 2 0 0 0 20 0 1 0 26599559 46804992 5026 18446744073709551615 4194304 7396336 140724208610080 140724208607080 139798200585216 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 11427 5026 639 782 0 4443 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 45708
[startup+0.200427 s]
/proc/loadavg: 2.05 2.07 2.05 2/180 3410
/proc/meminfo: memFree=31455848/32770624 swapFree=0/373080
[pid=3410] ppid=3407 vsize=198852 CPUtime=0.12 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 43483 0 0 0 8 4 0 0 20 0 1 0 26599559 203624448 43306 18446744073709551615 4194304 7396336 140724208610080 140724208603320 139798200194976 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 49756 43306 641 782 0 42772 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 198852
[startup+0.300438 s]
/proc/loadavg: 2.05 2.07 2.05 2/180 3410
/proc/meminfo: memFree=31455848/32770624 swapFree=0/373080
[pid=3410] ppid=3407 vsize=351952 CPUtime=0.22 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 81825 0 0 0 13 9 0 0 20 0 1 0 26599559 360398848 81602 18446744073709551615 4194304 7396336 140724208610080 140724208603320 4565880 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 88035 81602 641 782 0 81051 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 351952
[startup+0.700276 s]
/proc/loadavg: 2.05 2.07 2.05 2/180 3410
/proc/meminfo: memFree=31455848/32770624 swapFree=0/373080
[pid=3410] ppid=3407 vsize=388660 CPUtime=0.62 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 91024 0 0 0 52 10 0 0 20 0 1 0 26599559 397987840 90776 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5594293 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97165 90776 669 782 0 90181 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 388660
[startup+1.50032 s]
/proc/loadavg: 2.05 2.07 2.05 3/181 3412
/proc/meminfo: memFree=31094760/32770624 swapFree=0/373072
[pid=3410] ppid=3407 vsize=388924 CPUtime=1.42 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 91088 0 0 0 132 10 0 0 20 0 1 0 26599559 398258176 90842 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4248704 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97231 90842 673 782 0 90247 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 388924
[startup+3.10028 s]
/proc/loadavg: 2.05 2.07 2.05 3/181 3412
/proc/meminfo: memFree=31093164/32770624 swapFree=0/373072
[pid=3410] ppid=3407 vsize=388924 CPUtime=3.02 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 97599 0 0 0 292 10 0 0 20 0 1 0 26599559 398258176 90904 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4252327 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97231 90904 673 782 0 90247 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 388924
[startup+6.3003 s]
/proc/loadavg: 2.05 2.06 2.05 3/181 3412
/proc/meminfo: memFree=31094132/32770624 swapFree=0/373072
[pid=3410] ppid=3407 vsize=389056 CPUtime=6.22 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 108996 0 0 0 611 11 0 0 20 0 1 0 26599559 398393344 90918 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784543 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97264 90918 673 782 0 90280 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 389056
[startup+12.7003 s]
/proc/loadavg: 2.04 2.06 2.05 3/181 3412
/proc/meminfo: memFree=31093884/32770624 swapFree=0/373072
[pid=3410] ppid=3407 vsize=389056 CPUtime=12.61 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 117174 0 0 0 1250 11 0 0 20 0 1 0 26599559 398393344 90931 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5654376 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97264 90931 673 782 0 90280 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 389056
[startup+25.5004 s]
/proc/loadavg: 2.11 2.08 2.06 3/181 3412
/proc/meminfo: memFree=31093264/32770624 swapFree=0/373072
[pid=3410] ppid=3407 vsize=389056 CPUtime=25.42 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 123729 0 0 0 2530 12 0 0 20 0 1 0 26599559 398393344 90944 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5575220 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97264 90944 673 782 0 90280 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 389056
[startup+51.1004 s]
/proc/loadavg: 2.07 2.07 2.05 3/181 3412
/proc/meminfo: memFree=31092532/32770624 swapFree=0/373064
[pid=3410] ppid=3407 vsize=389188 CPUtime=51.02 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 135207 0 0 0 5089 13 0 0 20 0 1 0 26599559 398528512 90960 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784543 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97297 90960 673 782 0 90313 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 389188
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/182 3415
/proc/meminfo: memFree=31091848/32770624 swapFree=0/373080
[pid=3410] ppid=3407 vsize=389320 CPUtime=102.22 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 143464 0 0 0 10209 13 0 0 20 0 1 0 26599559 398663680 90978 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5654035 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97330 90978 673 782 0 90346 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 389320
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 3417
/proc/meminfo: memFree=31090596/32770624 swapFree=0/373104
[pid=3410] ppid=3407 vsize=389320 CPUtime=162.23 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 150102 0 0 0 16209 14 0 0 20 0 1 0 26599559 398663680 91004 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784838 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97330 91004 673 782 0 90346 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 389320
[startup+222.306 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 3419
/proc/meminfo: memFree=31088996/32770624 swapFree=0/373120
[pid=3410] ppid=3407 vsize=389320 CPUtime=222.21 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 156549 0 0 0 22207 14 0 0 20 0 1 0 26599559 398663680 91010 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5839392 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97330 91010 673 782 0 90346 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 389320
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/186 3436
/proc/meminfo: memFree=31084964/32770624 swapFree=0/373160
[pid=3410] ppid=3407 vsize=389320 CPUtime=282.18 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 161318 0 0 0 28204 14 0 0 20 0 1 0 26599559 398663680 91010 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784833 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97330 91010 673 782 0 90346 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 389320
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 3438
/proc/meminfo: memFree=31083440/32770624 swapFree=0/373196
[pid=3410] ppid=3407 vsize=389452 CPUtime=342.15 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 164349 0 0 0 34201 14 0 0 20 0 1 0 26599559 398798848 91011 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784557 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91011 673 782 0 90379 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 389452
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 3440
/proc/meminfo: memFree=31084424/32770624 swapFree=0/373204
[pid=3410] ppid=3407 vsize=389452 CPUtime=402.13 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 164914 0 0 0 40199 14 0 0 20 0 1 0 26599559 398798848 91013 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4248775 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91013 673 782 0 90379 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 389452
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 3442
/proc/meminfo: memFree=31085184/32770624 swapFree=0/373208
[pid=3410] ppid=3407 vsize=389452 CPUtime=462.14 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 165532 0 0 0 46200 14 0 0 20 0 1 0 26599559 398798848 91018 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784775 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91018 673 782 0 90379 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 389452
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 3444
/proc/meminfo: memFree=31085928/32770624 swapFree=0/373244
[pid=3410] ppid=3407 vsize=389452 CPUtime=522.14 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 166028 0 0 0 52200 14 0 0 20 0 1 0 26599559 398798848 91021 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784538 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91021 673 782 0 90379 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 389452
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 3447
/proc/meminfo: memFree=31085432/32770624 swapFree=0/373260
[pid=3410] ppid=3407 vsize=389452 CPUtime=582.14 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 166510 0 0 0 58200 14 0 0 20 0 1 0 26599559 398798848 91023 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5653819 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91023 673 782 0 90379 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 389452
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/181 3510
/proc/meminfo: memFree=31072356/32770624 swapFree=0/373676
[pid=3410] ppid=3407 vsize=389452 CPUtime=1602.16 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 174860 0 0 0 160201 15 0 0 20 0 1 0 26599559 398798848 91037 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5594293 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91037 673 782 0 90379 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 389452
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/181 3512
/proc/meminfo: memFree=31072480/32770624 swapFree=0/373712
[pid=3410] ppid=3407 vsize=389452 CPUtime=1662.16 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 175295 0 0 0 166201 15 0 0 20 0 1 0 26599559 398798848 91037 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784879 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91037 673 782 0 90379 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 389452
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 3514
/proc/meminfo: memFree=31072232/32770624 swapFree=0/373744
[pid=3410] ppid=3407 vsize=389452 CPUtime=1722.16 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 175824 0 0 0 172201 15 0 0 20 0 1 0 26599559 398798848 91037 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784884 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91037 673 782 0 90379 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 389452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 3516
/proc/meminfo: memFree=31071876/32770624 swapFree=0/373776
[pid=3410] ppid=3407 vsize=389452 CPUtime=1782.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 176150 0 0 0 178202 15 0 0 20 0 1 0 26599559 398798848 91037 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4248752 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91037 673 782 0 90379 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 389452
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 3518
/proc/meminfo: memFree=31072248/32770624 swapFree=0/373788
[pid=3410] ppid=3407 vsize=389452 CPUtime=1842.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 176830 0 0 0 184202 15 0 0 20 0 1 0 26599559 398798848 91037 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5839280 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91037 673 782 0 90379 0
Current children cumulated CPU time (s) 1842.17
Current children cumulated vsize (KiB) 389452
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3520
/proc/meminfo: memFree=31071936/32770624 swapFree=0/373816
[pid=3410] ppid=3407 vsize=389452 CPUtime=1902.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 177330 0 0 0 190202 15 0 0 20 0 1 0 26599559 398798848 91037 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4581743 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91037 673 782 0 90379 0
Current children cumulated CPU time (s) 1902.17
Current children cumulated vsize (KiB) 389452
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3522
/proc/meminfo: memFree=31071936/32770624 swapFree=0/373848
[pid=3410] ppid=3407 vsize=389452 CPUtime=1962.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 177674 0 0 0 196202 15 0 0 20 0 1 0 26599559 398798848 91038 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5593920 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91038 673 782 0 90379 0
Current children cumulated CPU time (s) 1962.17
Current children cumulated vsize (KiB) 389452
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3524
/proc/meminfo: memFree=31071904/32770624 swapFree=0/373872
[pid=3410] ppid=3407 vsize=389452 CPUtime=2022.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 178355 0 0 0 202202 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4248704 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 389452
[startup+2082.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/184 3540
/proc/meminfo: memFree=31067128/32770624 swapFree=0/373928
[pid=3410] ppid=3407 vsize=389452 CPUtime=2082.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 178790 0 0 0 208202 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5654395 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2082.17
Current children cumulated vsize (KiB) 389452
[startup+2142.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/184 3542
/proc/meminfo: memFree=31066548/32770624 swapFree=0/373956
[pid=3410] ppid=3407 vsize=389452 CPUtime=2142.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 179204 0 0 0 214202 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5594323 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2142.17
Current children cumulated vsize (KiB) 389452
[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 3544
/proc/meminfo: memFree=31069836/32770624 swapFree=0/373988
[pid=3410] ppid=3407 vsize=389452 CPUtime=2202.18 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 179862 0 0 0 220203 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4317320 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 389452
[startup+2262.3 s]
/proc/loadavg: 1.92 2.00 2.03 3/181 3667
/proc/meminfo: memFree=31340180/32770624 swapFree=0/374052
[pid=3410] ppid=3407 vsize=389452 CPUtime=2262.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 180373 0 0 0 226202 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4317395 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 389452
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.03 3/181 3669
/proc/meminfo: memFree=31340428/32770624 swapFree=0/374088
[pid=3410] ppid=3407 vsize=389452 CPUtime=2322.17 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 180872 0 0 0 232202 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4543790 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 389452
[startup+2382.3 s]
/proc/loadavg: 2.05 2.02 2.04 3/181 3672
/proc/meminfo: memFree=31340428/32770624 swapFree=0/374112
[pid=3410] ppid=3407 vsize=389452 CPUtime=2382.18 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 181378 0 0 0 238203 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 4317026 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2382.18
Current children cumulated vsize (KiB) 389452
[startup+2442.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/181 3674
/proc/meminfo: memFree=31340292/32770624 swapFree=0/374136
[pid=3410] ppid=3407 vsize=389452 CPUtime=2442.18 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 181891 0 0 0 244203 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5792027 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2442.18
Current children cumulated vsize (KiB) 389452
[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/181 3676
/proc/meminfo: memFree=31340268/32770624 swapFree=0/374160
[pid=3410] ppid=3407 vsize=389452 CPUtime=2502.18 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 182205 0 0 0 250203 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5784801 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2502.18
Current children cumulated vsize (KiB) 389452
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3677
/proc/meminfo: memFree=31340012/32770624 swapFree=0/374180
[pid=3410] ppid=3407 vsize=389452 CPUtime=2519.88 cores=0,2,4,6
/proc/3410/stat : 3410 (MistralXCSP) R 3407 3410 6971 0 -1 4202496 182394 0 0 0 251973 15 0 0 20 0 1 0 26599559 398798848 91039 18446744073709551615 4194304 7396336 140724208610080 140724208604616 5654376 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 22183936 140724208611763 140724208611913 140724208611913 140724208615369 0
/proc/3410/statm: 97363 91039 673 782 0 90379 0
Current children cumulated CPU time (s) 2519.88
Current children cumulated vsize (KiB) 389452
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 3410 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.89
CPU user time (s): 2519.73
CPU system time (s): 0.157003
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 389452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.157003
maximum resident set size= 364184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182431
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= 134
involuntary context switches= 704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35043 second user time and 9.12616 second system time
The end