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 (14354 MiB free)
memory of node 1: 16384 MiB (14499 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409086-1569794478/watcher-4409086-1569794478 -o /tmp/evaluation-result-4409086-1569794478/solver-4409086-1569794478 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1569787352-8873 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409086-1569794478.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=10047, runsolver pid=10044
Current StackSize limit: 8192 KiB
[startup+0.100145 s]*
/proc/loadavg: 2.53 2.13 2.00 4/207 10050
/proc/meminfo: memFree=30043648/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=28724 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 1463 0 0 0 10 0 0 0 20 0 1 0 555687223 29413376 1252 33554432000 4194304 6211132 140726924134816 140726924131352 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 7181 1252 845 493 0 486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 5008 KiB
[startup+0.21049 s]*
/proc/loadavg: 2.53 2.13 2.00 5/206 10051
/proc/meminfo: memFree=30357716/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=30140 memory=6328 CPUtime=0.21 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 1809 0 0 0 21 0 0 0 20 0 1 0 555687223 30863360 1582 33554432000 4194304 6211132 140726924134816 140726924131352 139762875343706 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 7535 1582 846 493 0 840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30140 KiB
Current children cumulated memory: 6328 KiB
[startup+0.309746 s]*
/proc/loadavg: 2.53 2.13 2.00 3/205 10051
/proc/meminfo: memFree=30555528/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=31280 memory=7712 CPUtime=0.31 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2093 0 0 0 31 0 0 0 20 0 1 0 555687223 32030720 1928 33554432000 4194304 6211132 140726924134816 140726924131352 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 7820 1928 846 493 0 1125 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7712 KiB
[startup+0.700341 s]
/proc/loadavg: 2.53 2.13 2.00 3/205 10051
/proc/meminfo: memFree=30553308/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=36084 memory=12360 CPUtime=0.69 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 3256 0 0 0 69 0 0 0 20 0 1 0 555687223 36950016 3090 33554432000 4194304 6211132 140726924134816 140726924131352 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 9021 3090 846 493 0 2326 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36084 KiB
Current children cumulated memory: 12360 KiB
[startup+1.50045 s]
/proc/loadavg: 2.53 2.13 2.00 3/205 10051
/proc/meminfo: memFree=30547528/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=45608 memory=21860 CPUtime=1.49 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 5688 0 0 0 149 0 0 0 20 0 1 0 555687223 46702592 5465 33554432000 4194304 6211132 140726924134816 140726924116984 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 11402 5465 846 493 0 4707 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45608 KiB
Current children cumulated memory: 21860 KiB
[startup+3.1099 s]
/proc/loadavg: 2.53 2.13 2.00 3/205 10051
/proc/meminfo: memFree=30524480/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=65420 memory=41496 CPUtime=3.1 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 10628 0 0 0 309 1 0 0 20 0 1 0 555687223 66990080 10374 33554432000 4194304 6211132 140726924134816 140726924116984 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 16355 10374 846 493 0 9660 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65420 KiB
Current children cumulated memory: 41496 KiB
[startup+6.30033 s]
/proc/loadavg: 2.49 2.13 2.00 3/205 10051
/proc/meminfo: memFree=30487836/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=104780 memory=80428 CPUtime=6.29 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 20374 0 0 0 627 2 0 0 20 0 1 0 555687223 107294720 20107 33554432000 4194304 6211132 140726924134816 140726924116984 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 26195 20107 846 493 0 19500 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104780 KiB
Current children cumulated memory: 80428 KiB
[startup+12.7003 s]
/proc/loadavg: 2.45 2.12 2.00 3/205 10051
/proc/meminfo: memFree=30415528/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=184532 memory=158112 CPUtime=12.69 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 39885 0 0 0 1264 5 0 0 20 0 1 0 555687223 188960768 39528 33554432000 4194304 6211132 140726924134816 140726924116984 5451604 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 46133 39528 846 493 0 39438 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 184532 KiB
Current children cumulated memory: 158112 KiB
[startup+25.5003 s]
/proc/loadavg: 2.35 2.12 2.00 3/205 10077
/proc/meminfo: memFree=30255704/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=338152 memory=314144 CPUtime=25.49 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 77938 0 0 0 2538 11 0 0 20 0 1 0 555687223 346267648 78536 33554432000 4194304 6211132 140726924134816 140726924116984 139762875344460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 84538 78536 846 493 0 77843 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 338152 KiB
Current children cumulated memory: 314144 KiB
[startup+51.1099 s]
/proc/loadavg: 2.23 2.11 2.00 3/205 10079
/proc/meminfo: memFree=29941556/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=654044 memory=625468 CPUtime=51.1 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 153259 0 0 0 5090 20 0 0 20 0 1 0 555687223 669741056 156367 33554432000 4194304 6211132 140726924134816 140726924116984 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 163511 156367 846 493 0 156816 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 654044 KiB
Current children cumulated memory: 625468 KiB
[startup+102.3 s]
/proc/loadavg: 2.10 2.09 2.00 3/205 10083
/proc/meminfo: memFree=29318640/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=1290260 memory=1249616 CPUtime=102.28 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 303153 0 0 0 10191 37 0 0 20 0 1 0 555687223 1321226240 312404 33554432000 4194304 6211132 140726924134816 140726924116984 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 322565 312404 846 493 0 315870 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1290260 KiB
Current children cumulated memory: 1249616 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.06 2.00 3/204 10148
/proc/meminfo: memFree=28128164/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=2024804 memory=1979524 CPUtime=162.27 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 478000 0 0 0 16169 58 0 0 20 0 1 0 555687223 2073399296 494881 33554432000 4194304 6211132 140726924134816 140726924116984 139762875340707 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 506201 494881 846 493 0 499506 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2024804 KiB
Current children cumulated memory: 1979524 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/204 10154
/proc/meminfo: memFree=26707232/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=2777692 memory=2709868 CPUtime=222.25 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 653005 0 0 0 22146 79 0 0 20 0 1 0 555687223 2844356608 677467 33554432000 4194304 6211132 140726924134816 140726924116984 5013083 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 694423 677467 846 493 0 687728 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2777692 KiB
Current children cumulated memory: 2709868 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/203 10159
/proc/meminfo: memFree=25285896/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=3475696 memory=3437796 CPUtime=282.24 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 827361 0 0 0 28120 104 0 0 20 0 1 0 555687223 3559112704 859449 33554432000 4194304 6211132 140726924134816 140726924116984 5013102 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 868924 859449 846 493 0 862229 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3475696 KiB
Current children cumulated memory: 3437796 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/203 10163
/proc/meminfo: memFree=23862204/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=4255304 memory=4168896 CPUtime=342.23 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 1002061 0 0 0 34095 128 0 0 20 0 1 0 555687223 4357431296 1042224 33554432000 4194304 6211132 140726924134816 140726924116984 5443144 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 1063826 1042224 846 493 0 1057131 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 4255304 KiB
Current children cumulated memory: 4168896 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/203 10169
/proc/meminfo: memFree=22442956/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=4954160 memory=4899096 CPUtime=402.22 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 1176580 0 0 0 40069 153 0 0 20 0 1 0 555687223 5073059840 1224774 33554432000 4194304 6211132 140726924134816 140726924116984 5446675 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 1238540 1224774 846 493 0 1231845 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 4954160 KiB
Current children cumulated memory: 4899096 KiB
[startup+462.3 s]
/proc/loadavg: 2.93 2.26 2.08 3/203 10174
/proc/meminfo: memFree=21022208/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=5775292 memory=5627056 CPUtime=462.2 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 1351516 0 0 0 46042 178 0 0 20 0 1 0 555687223 5913899008 1406764 33554432000 4194304 6211132 140726924134816 140726924116984 139762875346335 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 1443823 1406764 846 493 0 1437128 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 5775292 KiB
Current children cumulated memory: 5627056 KiB
################
# More data... #
################
Current children cumulated vsize: 7868356 KiB
Current children cumulated memory: 7817892 KiB
[startup+702.3 s]
/proc/loadavg: 2.02 2.14 2.07 3/204 10202
/proc/meminfo: memFree=15335868/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=8751248 memory=8547240 CPUtime=702.15 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2049969 0 0 0 69929 286 0 0 20 0 1 0 555687223 8961277952 2136810 33554432000 4194304 6211132 140726924134816 140726924116984 139762875346327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 2187812 2136810 846 493 0 2181117 0
Current children cumulated CPU time: 702.15 s
Current children cumulated vsize: 8751248 KiB
Current children cumulated memory: 8547240 KiB
[startup+762.3 s]
/proc/loadavg: 2.01 2.11 2.06 3/204 10208
/proc/meminfo: memFree=13917192/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=9451880 memory=9274968 CPUtime=762.14 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2224387 0 0 0 75899 315 0 0 20 0 1 0 555687223 9678725120 2318742 33554432000 4194304 6211132 140726924134816 140726924116984 5451520 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 2362970 2318742 846 493 0 2356275 0
Current children cumulated CPU time: 762.14 s
Current children cumulated vsize: 9451880 KiB
Current children cumulated memory: 9274968 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.09 2.06 3/204 10212
/proc/meminfo: memFree=12495500/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=10147124 memory=10005188 CPUtime=822.12 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2398416 0 0 0 81868 344 0 0 20 0 1 0 555687223 10390654976 2501297 33554432000 4194304 6211132 140726924134816 140726924116984 5453936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 2536781 2501297 846 493 0 2530086 0
Current children cumulated CPU time: 822.12 s
Current children cumulated vsize: 10147124 KiB
Current children cumulated memory: 10005188 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/204 10218
/proc/meminfo: memFree=11073780/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=10842896 memory=10733736 CPUtime=882.11 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2572576 0 0 0 87837 374 0 0 20 0 1 0 555687223 11103125504 2683434 33554432000 4194304 6211132 140726924134816 140726924116984 5013005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 2710724 2683434 846 493 0 2704029 0
Current children cumulated CPU time: 882.11 s
Current children cumulated vsize: 10842896 KiB
Current children cumulated memory: 10733736 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/203 10223
/proc/meminfo: memFree=9656144/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=11538404 memory=11461872 CPUtime=942.1 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2746658 0 0 0 93805 405 0 0 20 0 1 0 555687223 11815325696 2865468 33554432000 4194304 6211132 140726924134816 140726924116984 5446646 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 2884601 2865468 846 493 0 2877906 0
Current children cumulated CPU time: 942.1 s
Current children cumulated vsize: 11538404 KiB
Current children cumulated memory: 11461872 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/203 10227
/proc/meminfo: memFree=8237672/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=12233648 memory=12190024 CPUtime=1002.09 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 2920739 0 0 0 99771 438 0 0 20 0 1 0 555687223 12527255552 3047506 33554432000 4194304 6211132 140726924134816 140726924116984 139762875343719 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3058412 3047506 846 493 0 3051717 0
Current children cumulated CPU time: 1002.09 s
Current children cumulated vsize: 12233648 KiB
Current children cumulated memory: 12190024 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 10233
/proc/meminfo: memFree=6818524/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=13216596 memory=12919044 CPUtime=1062.07 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 3095569 0 0 0 105737 470 0 0 20 0 1 0 555687223 13533794304 3229761 33554432000 4194304 6211132 140726924134816 140726924116984 139762884365200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3304149 3229761 846 493 0 3297454 0
Current children cumulated CPU time: 1062.07 s
Current children cumulated vsize: 13216596 KiB
Current children cumulated memory: 12919044 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/203 10237
/proc/meminfo: memFree=5398360/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=13911840 memory=13647440 CPUtime=1122.06 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 3269669 0 0 0 111705 501 0 0 20 0 1 0 555687223 14245724160 3411860 33554432000 4194304 6211132 140726924134816 140726924116984 139762875340707 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3477960 3411860 846 493 0 3471265 0
Current children cumulated CPU time: 1122.06 s
Current children cumulated vsize: 13911840 KiB
Current children cumulated memory: 13647440 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 10249
/proc/meminfo: memFree=3980768/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=14607084 memory=14375496 CPUtime=1182.05 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 3443696 0 0 0 117670 535 0 0 20 0 1 0 555687223 14957654016 3593874 33554432000 4194304 6211132 140726924134816 140726924116984 5446225 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3651771 3593874 846 493 0 3645076 0
Current children cumulated CPU time: 1182.05 s
Current children cumulated vsize: 14607084 KiB
Current children cumulated memory: 14375496 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/205 10256
/proc/meminfo: memFree=2559332/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=15301668 memory=15102980 CPUtime=1242.04 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 3617587 0 0 0 123630 574 0 0 20 0 1 0 555687223 15668908032 3775745 33554432000 4194304 6211132 140726924134816 140726924116984 5441144 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3825417 3775745 846 493 0 3818722 0
Current children cumulated CPU time: 1242.04 s
Current children cumulated vsize: 15301668 KiB
Current children cumulated memory: 15102980 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1291.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 10260
/proc/meminfo: memFree=1401412/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=15872436 memory=15702304 CPUtime=1291.32 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 4202496 3760513 0 0 0 128526 606 0 0 20 0 1 0 555687223 16253374464 3925576 33554432000 4194304 6211132 140726924134816 140726924116984 139762874420197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3968109 3925576 846 493 0 3961414 0
Current children cumulated CPU time: 1291.32 s
Current children cumulated vsize: 15872436 KiB
Current children cumulated memory: 15702304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1294.37 s]
# the end of solver process 10047 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1285.55 s, system=6.90379 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1292.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 10261
/proc/meminfo: memFree=1157992/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=15872436 memory=15702304 CPUtime=1291.53 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) S 10044 10047 8842 0 -1 512 3760518 0 0 0 128544 609 0 0 20 0 1 0 555687223 16253374464 3925576 33554432000 4194304 6211132 140726924134816 140726924116984 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3968109 3925576 846 493 0 3961414 0
Current children cumulated CPU time: 1291.53 s
Current children cumulated vsize: 15872436 KiB
Current children cumulated memory: 15702304 KiB
[startup+1293.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 10261
/proc/meminfo: memFree=678836/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=15872436 memory=15702304 CPUtime=1291.62 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) R 10044 10047 8842 0 -1 512 3760518 0 0 0 128550 612 0 0 20 0 1 0 555687223 16253374464 3925576 33554432000 4194304 6211132 140726924134816 140726924116984 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3968109 3925576 846 493 0 3961414 0
Current children cumulated CPU time: 1291.62 s
Current children cumulated vsize: 15872436 KiB
Current children cumulated memory: 15702304 KiB
[startup+1293.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 10261
/proc/meminfo: memFree=678836/32770624 swapFree=67003180/67108860
[pid=10047] ppid=10044 vsize=15872436 memory=15702304 CPUtime=1291.68 cores=0,2,4,6
/proc/10047/stat : 10047 (cosoco) S 10044 10047 8842 0 -1 512 3760518 0 0 0 128555 613 0 0 20 0 1 0 555687223 16253374464 3925576 33554432000 4194304 6211132 140726924134816 140726924116984 5189800 0 16384 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22110208 140726924141579 140726924141681 140726924141681 140726924144590 0
/proc/10047/statm: 3968109 3925576 846 493 0 3961414 0
Current children cumulated CPU time: 1291.68 s
Current children cumulated vsize: 15872436 KiB
Current children cumulated memory: 15702304 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1294.37
CPU time (s): 1292.45
CPU user time (s): 1285.55
CPU system time (s): 6.90379
CPU usage (%): 99.8517
Max. virtual memory (cumulated for all children) (KiB): 15872436
Max. memory (cumulated for all children) (KiB): 15702304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1285.55
system time used= 6.90379
maximum resident set size= 15702504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3760518
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= 135750
involuntary context switches= 1070
# summary of solver processes directly reported to runsolver:
# pid: 10047
# total CPU time (s): 1292.45
# total CPU user time (s): 1285.55
# total CPU system time (s): 6.90379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75767 second user time and 9.33832 second system time
The end