runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15422 MiB free)
memory of node 1: 16384 MiB (15656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267388-1502612624/watcher-4267388-1502612624 -o /tmp/evaluation-result-4267388-1502612624/solver-4267388-1502612624 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15985 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267388-1502612624.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19118, runsolver pid=19115
Current StackSize limit: 8192 KiB
[startup+0.100194 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31823740/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=29792 memory=6072 CPUtime=0.02 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 1705 0 0 0 2 0 0 0 20 0 1 0 49603102 30507008 1518 18446744073709551615 4194304 5748600 140728207984048 140728207980696 140219597933541 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 7448 1518 698 380 0 866 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 29792 KiB
Current children cumulated memory: 6072 KiB
[startup+0.209263 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31799312/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=59540 memory=35956 CPUtime=0.12 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 9164 0 0 0 12 0 0 0 20 0 1 0 49603102 60968960 8989 18446744073709551615 4194304 5748600 140728207984048 140728207980696 140219597933541 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 14885 8989 727 380 0 8303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 59540 KiB
Current children cumulated memory: 35956 KiB
[startup+0.309507 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31732104/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=119492 memory=95760 CPUtime=0.23 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 24137 0 0 0 21 2 0 0 20 0 1 0 49603102 122359808 23940 18446744073709551615 4194304 5748600 140728207984048 140728207980696 5299917 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 29873 23940 727 380 0 23291 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 119492 KiB
Current children cumulated memory: 95760 KiB
[startup+0.700421 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31640592/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=214656 memory=191184 CPUtime=0.6 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 47972 0 0 0 55 5 0 0 20 0 1 0 49603102 219807744 47796 18446744073709551615 4194304 5748600 140728207984048 140728207981240 140219597933541 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 53664 47796 760 380 0 47082 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 214656 KiB
Current children cumulated memory: 191184 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31583228/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=279360 memory=255268 CPUtime=1.41 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 64004 0 0 0 134 7 0 0 20 0 1 0 49603102 286064640 63817 18446744073709551615 4194304 5748600 140728207984048 140728207981128 5025697 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 69840 63817 760 380 0 63258 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 279360 KiB
Current children cumulated memory: 255268 KiB
[startup+3.10934 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31571944/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=279500 memory=255504 CPUtime=3.02 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 74328 0 0 0 294 8 0 0 20 0 1 0 49603102 286208000 63876 18446744073709551615 4194304 5748600 140728207984048 140728207981128 4947736 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 69875 63876 762 380 0 63293 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 279500 KiB
Current children cumulated memory: 255504 KiB
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31571944/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=299600 memory=275452 CPUtime=6.21 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 103986 0 0 0 611 10 0 0 20 0 1 0 49603102 306790400 68863 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5135108 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 74900 68863 762 380 0 68318 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 299600 KiB
Current children cumulated memory: 275452 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19119
/proc/meminfo: memFree=31551232/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=299600 memory=275468 CPUtime=12.6 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 123838 0 0 0 1249 11 0 0 20 0 1 0 49603102 306790400 68867 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4995440 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 74900 68867 762 380 0 68318 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 299600 KiB
Current children cumulated memory: 275468 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19120
/proc/meminfo: memFree=31550248/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=299600 memory=275468 CPUtime=25.4 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 156393 0 0 0 2527 13 0 0 20 0 1 0 49603102 306790400 68867 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5025875 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 74900 68867 762 380 0 68318 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 299600 KiB
Current children cumulated memory: 275468 KiB
[startup+51.1096 s]
/proc/loadavg: 2.13 2.04 2.05 3/185 19135
/proc/meminfo: memFree=31538668/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=308832 memory=284408 CPUtime=50.99 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 187317 0 0 0 5084 15 0 0 20 0 1 0 49603102 316243968 71102 18446744073709551615 4194304 5748600 140728207984048 140728207980968 4947134 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 77208 71102 762 380 0 70626 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 308832 KiB
Current children cumulated memory: 284408 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 19137
/proc/meminfo: memFree=31533328/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=313536 memory=289104 CPUtime=102.17 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 213096 0 0 0 10200 17 0 0 20 0 1 0 49603102 321060864 72276 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4948687 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 78384 72276 762 380 0 71802 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 313536 KiB
Current children cumulated memory: 289104 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 19139
/proc/meminfo: memFree=31533440/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=316308 memory=292260 CPUtime=162.17 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 234185 0 0 0 16198 19 0 0 20 0 1 0 49603102 323899392 73065 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5144153 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 79077 73065 762 380 0 72495 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 316308 KiB
Current children cumulated memory: 292260 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 19141
/proc/meminfo: memFree=31533304/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=316844 memory=293344 CPUtime=222.16 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 235884 0 0 0 22197 19 0 0 20 0 1 0 49603102 324448256 73336 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4948032 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 79211 73336 762 380 0 72629 0
Current children cumulated CPU time: 222.16 s
Current children cumulated vsize: 316844 KiB
Current children cumulated memory: 293344 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 19265
/proc/meminfo: memFree=31532116/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=318476 memory=294996 CPUtime=282.15 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 236829 0 0 0 28196 19 0 0 20 0 1 0 49603102 326119424 73749 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5144157 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 79619 73749 762 380 0 73037 0
Current children cumulated CPU time: 282.15 s
Current children cumulated vsize: 318476 KiB
Current children cumulated memory: 294996 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 19267
/proc/meminfo: memFree=31531652/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=318476 memory=294996 CPUtime=342.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 237308 0 0 0 34195 19 0 0 20 0 1 0 49603102 326119424 73749 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5025642 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 79619 73749 762 380 0 73037 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 318476 KiB
Current children cumulated memory: 294996 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19269
/proc/meminfo: memFree=31529420/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=320704 memory=297084 CPUtime=402.13 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 238763 0 0 0 40193 20 0 0 20 0 1 0 49603102 328400896 74271 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5025680 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 80176 74271 762 380 0 73594 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 320704 KiB
Current children cumulated memory: 297084 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19271
/proc/meminfo: memFree=31529052/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=320704 memory=297204 CPUtime=462.12 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 238982 0 0 0 46192 20 0 0 20 0 1 0 49603102 328400896 74301 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5144169 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 80176 74301 762 380 0 73594 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 320704 KiB
Current children cumulated memory: 297204 KiB
################
# More data... #
################
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1602.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19343
/proc/meminfo: memFree=31524484/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=324144 memory=300708 CPUtime=1662.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 245460 0 0 0 166193 21 0 0 20 0 1 0 49603102 331923456 75177 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5025632 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1662.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19345
/proc/meminfo: memFree=31524712/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=324144 memory=300708 CPUtime=1722.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 245617 0 0 0 172193 21 0 0 20 0 1 0 49603102 331923456 75177 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5025642 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19347
/proc/meminfo: memFree=31524664/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=324144 memory=300708 CPUtime=1782.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 245799 0 0 0 178193 21 0 0 20 0 1 0 49603102 331923456 75177 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4948032 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+1842.3 s]
/proc/loadavg: 2.41 2.12 2.08 3/184 19363
/proc/meminfo: memFree=31519184/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=324144 memory=300708 CPUtime=1842.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 246009 0 0 0 184193 21 0 0 20 0 1 0 49603102 331923456 75177 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5025706 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+1902.3 s]
/proc/loadavg: 2.15 2.10 2.07 3/184 19365
/proc/meminfo: memFree=31519152/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=324144 memory=300708 CPUtime=1902.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 246208 0 0 0 190193 21 0 0 20 0 1 0 49603102 331923456 75177 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4948032 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/181 19367
/proc/meminfo: memFree=31523216/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=324144 memory=300708 CPUtime=1962.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 246377 0 0 0 196193 21 0 0 20 0 1 0 49603102 331923456 75177 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5144165 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81036 75177 762 380 0 74454 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 324144 KiB
Current children cumulated memory: 300708 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/181 19369
/proc/meminfo: memFree=31521960/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=325692 memory=302116 CPUtime=2022.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 247082 0 0 0 202193 21 0 0 20 0 1 0 49603102 333508608 75529 18446744073709551615 4194304 5748600 140728207984048 140728207980968 5000368 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81423 75529 762 380 0 74841 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 325692 KiB
Current children cumulated memory: 302116 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/181 19371
/proc/meminfo: memFree=31521852/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=325968 memory=302236 CPUtime=2082.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 247391 0 0 0 208193 21 0 0 20 0 1 0 49603102 333791232 75559 18446744073709551615 4194304 5748600 140728207984048 140728207981080 4947117 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81492 75559 762 380 0 74910 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 325968 KiB
Current children cumulated memory: 302236 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 19373
/proc/meminfo: memFree=31522096/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=325968 memory=302416 CPUtime=2142.14 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 247858 0 0 0 214193 21 0 0 20 0 1 0 49603102 333791232 75604 18446744073709551615 4194304 5748600 140728207984048 140728207981448 5144157 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81492 75604 762 380 0 74910 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 325968 KiB
Current children cumulated memory: 302416 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 19375
/proc/meminfo: memFree=31521976/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=325968 memory=302416 CPUtime=2202.15 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 248100 0 0 0 220193 22 0 0 20 0 1 0 49603102 333791232 75604 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4947496 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81492 75604 762 380 0 74910 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 325968 KiB
Current children cumulated memory: 302416 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 19377
/proc/meminfo: memFree=31521912/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=326108 memory=302660 CPUtime=2262.15 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 248474 0 0 0 226193 22 0 0 20 0 1 0 49603102 333934592 75665 18446744073709551615 4194304 5748600 140728207984048 140728207981080 5025680 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81527 75665 762 380 0 74945 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 326108 KiB
Current children cumulated memory: 302660 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 19379
/proc/meminfo: memFree=31522144/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=326108 memory=302676 CPUtime=2322.15 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 248631 0 0 0 232193 22 0 0 20 0 1 0 49603102 333934592 75669 18446744073709551615 4194304 5748600 140728207984048 140728207981080 5025680 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81527 75669 762 380 0 74945 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 326108 KiB
Current children cumulated memory: 302676 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 19381
/proc/meminfo: memFree=31522212/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=326108 memory=302676 CPUtime=2382.15 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 248828 0 0 0 238193 22 0 0 20 0 1 0 49603102 333934592 75669 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4947293 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81527 75669 762 380 0 74945 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 326108 KiB
Current children cumulated memory: 302676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 19381
/proc/meminfo: memFree=31522464/32770624 swapFree=67108860/67108860
[pid=19118] ppid=19115 vsize=326108 memory=302676 CPUtime=2400.05 cores=0,2,4,6
/proc/19118/stat : 19118 (cosoco) R 19115 19118 11586 0 -1 4202496 248956 0 0 0 239983 22 0 0 20 0 1 0 49603102 333934592 75669 18446744073709551615 4194304 5748600 140728207984048 140728207981448 4949936 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7849824 7854664 39755776 140728207991241 140728207991336 140728207991336 140728207994830 0
/proc/19118/statm: 81527 75669 762 380 0 74945 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 326108 KiB
Current children cumulated memory: 302676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 19118 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.84 s, system=0.222998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.06
CPU user time (s): 2399.84
CPU system time (s): 0.222998
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 326108
Max. memory (cumulated for all children) (KiB): 302676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.222998
maximum resident set size= 302748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249008
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= 89
involuntary context switches= 1719
# summary of solver processes directly reported to runsolver:
# pid: 19118
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.84
# total CPU system time (s): 0.222998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.02755 second user time and 16.5372 second system time
The end