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-4261205-1502387728/watcher-4261205-1502387728 -o /tmp/evaluation-result-4261205-1502387728/solver-4261205-1502387728 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1620083837 HOME/instance-4261205-1502387728.xml
pid=16363
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.08 2.03 2.05 2/183 16366
/proc/meminfo: memFree=31263120/32770624 swapFree=0/531724
[pid=16366] ppid=16363 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16366/stat : 16366 (runsolver) D 16363 16366 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 40966288 24240128 107 18446744073709551615 4194304 4338465 140735516087136 140735516084776 139843633865431 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 13615104 140735516090508 140735516090954 140735516090954 140735516094410 0
/proc/16366/statm: 5918 107 54 36 0 2156 0
[startup+0.100086 s]
/proc/loadavg: 2.08 2.03 2.05 2/183 16366
/proc/meminfo: memFree=31263120/32770624 swapFree=0/531724
[pid=16366] ppid=16363 vsize=29408 CPUtime=0.01 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 1117 0 0 0 1 0 0 0 20 0 1 0 40966288 30113792 934 18446744073709551615 4194304 7396336 140720701163872 140720701160872 5882981 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 7352 934 634 782 0 368 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29408
[startup+0.200226 s]
/proc/loadavg: 2.08 2.03 2.05 2/183 16366
/proc/meminfo: memFree=31263120/32770624 swapFree=0/531724
[pid=16366] ppid=16363 vsize=45428 CPUtime=0.11 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 5238 0 0 0 10 1 0 0 20 0 1 0 40966288 46518272 4917 18446744073709551615 4194304 7396336 140720701163872 140720701160872 140325710137248 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 11357 4917 649 782 0 4373 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 45428
[startup+0.300269 s]
/proc/loadavg: 2.08 2.03 2.05 2/183 16366
/proc/meminfo: memFree=31263120/32770624 swapFree=0/531724
[pid=16366] ppid=16363 vsize=112952 CPUtime=0.21 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 22119 0 0 0 18 3 0 0 20 0 1 0 40966288 115662848 21813 18446744073709551615 4194304 7396336 140720701163872 140720701160872 140325710089189 0 0 1 0 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 28271 21813 649 782 0 21287 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 112952
[startup+0.70022 s]
/proc/loadavg: 2.08 2.03 2.05 2/183 16366
/proc/meminfo: memFree=31263120/32770624 swapFree=0/531724
[pid=16366] ppid=16363 vsize=375972 CPUtime=0.6 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 88088 0 0 0 50 10 0 0 20 0 1 0 40966288 384995328 87614 18446744073709551615 4194304 7396336 140720701163872 140720701160872 5792027 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 93993 87614 688 782 0 87009 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 375972
[startup+1.50024 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 16367
/proc/meminfo: memFree=30844400/32770624 swapFree=0/531780
[pid=16366] ppid=16363 vsize=458652 CPUtime=1.4 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 101004 0 0 0 128 12 0 0 20 0 1 0 40966288 469659648 108278 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792137 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 114663 108278 695 782 0 107679 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 458652
[startup+3.10024 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 16367
/proc/meminfo: memFree=30802912/32770624 swapFree=0/531944
[pid=16366] ppid=16363 vsize=490728 CPUtime=3 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 188377 0 0 0 284 16 0 0 20 0 1 0 40966288 502505472 116378 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792023 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 122682 116378 696 782 0 115698 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 490728
[startup+6.30024 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 16367
/proc/meminfo: memFree=30789032/32770624 swapFree=0/531944
[pid=16366] ppid=16363 vsize=503664 CPUtime=6.2 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 330731 0 0 0 597 23 0 0 20 0 1 0 40966288 515751936 119596 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792070 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 125916 119596 697 782 0 118932 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 503664
[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 16367
/proc/meminfo: memFree=30783408/32770624 swapFree=0/531944
[pid=16366] ppid=16363 vsize=508284 CPUtime=12.6 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 443400 0 0 0 1231 29 0 0 20 0 1 0 40966288 520482816 120745 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5791911 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127071 120745 697 782 0 120087 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 508284
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 16367
/proc/meminfo: memFree=30786024/32770624 swapFree=0/531948
[pid=16366] ppid=16363 vsize=509472 CPUtime=25.39 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 528505 0 0 0 2506 33 0 0 20 0 1 0 40966288 521699328 121039 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5791976 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127368 121039 697 782 0 120384 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 509472
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 16367
/proc/meminfo: memFree=30786088/32770624 swapFree=0/531928
[pid=16366] ppid=16363 vsize=509472 CPUtime=50.99 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 670997 0 0 0 5060 39 0 0 20 0 1 0 40966288 521699328 121070 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127368 121070 697 782 0 120384 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 509472
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16369
/proc/meminfo: memFree=30785028/32770624 swapFree=0/531924
[pid=16366] ppid=16363 vsize=509604 CPUtime=102.18 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 773366 0 0 0 10175 43 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792165 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 509604
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 16371
/proc/meminfo: memFree=30784104/32770624 swapFree=0/531932
[pid=16366] ppid=16363 vsize=509604 CPUtime=162.16 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 829357 0 0 0 16170 46 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 509604
[startup+222.306 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 16373
/proc/meminfo: memFree=30784628/32770624 swapFree=0/531944
[pid=16366] ppid=16363 vsize=509604 CPUtime=222.15 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 862116 0 0 0 22167 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 509604
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 16375
/proc/meminfo: memFree=30784476/32770624 swapFree=0/531944
[pid=16366] ppid=16363 vsize=509604 CPUtime=282.13 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 863197 0 0 0 28165 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 509604
[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 16377
/proc/meminfo: memFree=30784480/32770624 swapFree=0/531936
[pid=16366] ppid=16363 vsize=509604 CPUtime=342.12 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 864243 0 0 0 34164 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792137 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 509604
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 16379
/proc/meminfo: memFree=30784864/32770624 swapFree=0/531948
[pid=16366] ppid=16363 vsize=509604 CPUtime=402.11 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 865291 0 0 0 40163 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 509604
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 16381
/proc/meminfo: memFree=30785328/32770624 swapFree=0/531964
[pid=16366] ppid=16363 vsize=509604 CPUtime=462.11 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 866349 0 0 0 46163 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 509604
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 16398
/proc/meminfo: memFree=30780428/32770624 swapFree=0/531996
[pid=16366] ppid=16363 vsize=509604 CPUtime=522.1 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 867407 0 0 0 52162 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792137 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 509604
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 16400
/proc/meminfo: memFree=30780236/32770624 swapFree=0/532024
[pid=16366] ppid=16363 vsize=509604 CPUtime=582.09 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 868451 0 0 0 58161 48 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792248 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 509604
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16477
/proc/meminfo: memFree=30783176/32770624 swapFree=0/532284
[pid=16366] ppid=16363 vsize=509604 CPUtime=1601.99 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 886303 0 0 0 160150 49 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 509604
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 16479
/proc/meminfo: memFree=30783176/32770624 swapFree=0/532300
[pid=16366] ppid=16363 vsize=509604 CPUtime=1661.99 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 887365 0 0 0 166150 49 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 4249495 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 509604
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 16496
/proc/meminfo: memFree=30779324/32770624 swapFree=0/532320
[pid=16366] ppid=16363 vsize=509604 CPUtime=1721.98 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 888391 0 0 0 172149 49 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 4547378 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 509604
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 16498
/proc/meminfo: memFree=30779216/32770624 swapFree=0/532328
[pid=16366] ppid=16363 vsize=509604 CPUtime=1781.97 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 889477 0 0 0 178148 49 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792248 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 509604
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 16500
/proc/meminfo: memFree=30782904/32770624 swapFree=0/532332
[pid=16366] ppid=16363 vsize=509604 CPUtime=1841.97 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 890519 0 0 0 184148 49 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 509604
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 16502
/proc/meminfo: memFree=30783144/32770624 swapFree=0/532340
[pid=16366] ppid=16363 vsize=509604 CPUtime=1901.97 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 891563 0 0 0 190147 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 509604
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 16504
/proc/meminfo: memFree=30783572/32770624 swapFree=0/532344
[pid=16366] ppid=16363 vsize=509604 CPUtime=1961.96 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 892057 0 0 0 196146 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 4249488 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 1961.96
Current children cumulated vsize (KiB) 509604
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16506
/proc/meminfo: memFree=30783580/32770624 swapFree=0/532348
[pid=16366] ppid=16363 vsize=509604 CPUtime=2021.96 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 893100 0 0 0 202146 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5791868 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 509604
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16508
/proc/meminfo: memFree=30783484/32770624 swapFree=0/532364
[pid=16366] ppid=16363 vsize=509604 CPUtime=2081.95 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 893438 0 0 0 208145 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792016 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2081.95
Current children cumulated vsize (KiB) 509604
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16510
/proc/meminfo: memFree=30783848/32770624 swapFree=0/532368
[pid=16366] ppid=16363 vsize=509604 CPUtime=2141.94 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 895188 0 0 0 214144 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2141.94
Current children cumulated vsize (KiB) 509604
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16512
/proc/meminfo: memFree=30783948/32770624 swapFree=0/532372
[pid=16366] ppid=16363 vsize=509604 CPUtime=2201.94 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 896231 0 0 0 220144 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2201.94
Current children cumulated vsize (KiB) 509604
[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 16514
/proc/meminfo: memFree=30783700/32770624 swapFree=0/532376
[pid=16366] ppid=16363 vsize=509604 CPUtime=2261.93 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 897273 0 0 0 226143 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2261.93
Current children cumulated vsize (KiB) 509604
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 16531
/proc/meminfo: memFree=30777540/32770624 swapFree=0/532388
[pid=16366] ppid=16363 vsize=509604 CPUtime=2321.92 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 898317 0 0 0 232142 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2321.92
Current children cumulated vsize (KiB) 509604
[startup+2382.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/185 16533
/proc/meminfo: memFree=30778732/32770624 swapFree=0/532412
[pid=16366] ppid=16363 vsize=509604 CPUtime=2381.92 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 899360 0 0 0 238142 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 509604
[startup+2442.3 s]
/proc/loadavg: 1.98 2.03 2.04 3/182 16600
/proc/meminfo: memFree=30736076/32770624 swapFree=0/532432
[pid=16366] ppid=16363 vsize=509604 CPUtime=2441.91 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 900403 0 0 0 244141 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2441.91
Current children cumulated vsize (KiB) 509604
[startup+2502.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/182 16602
/proc/meminfo: memFree=30734984/32770624 swapFree=0/532440
[pid=16366] ppid=16363 vsize=509604 CPUtime=2501.9 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 901446 0 0 0 250140 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2501.9
Current children cumulated vsize (KiB) 509604
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.03 2.04 3/182 16602
/proc/meminfo: memFree=30734608/32770624 swapFree=0/532436
[pid=16366] ppid=16363 vsize=509604 CPUtime=2519.6 cores=0,2,4,6
/proc/16366/stat : 16366 (MistralXCSP) R 16363 16366 16590 0 -1 4202496 901447 0 0 0 251910 50 0 0 20 0 1 0 40966288 521834496 121074 18446744073709551615 4194304 7396336 140720701163872 140720701158888 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 36204544 140720701170099 140720701170249 140720701170249 140720701173705 0
/proc/16366/statm: 127401 121074 697 782 0 120417 0
Current children cumulated CPU time (s) 2519.6
Current children cumulated vsize (KiB) 509604
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 16366 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.62
CPU user time (s): 2519.11
CPU system time (s): 0.510947
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 509604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.11
system time used= 0.510947
maximum resident set size= 484324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901492
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= 109
involuntary context switches= 3164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.59174 second user time and 8.55933 second system time
The end