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 (14534 MiB free)
memory of node 1: 16384 MiB (15563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397895-1568589758/watcher-4397895-1568589758 -o /tmp/evaluation-result-4397895-1568589758/solver-4397895-1568589758 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568572742-10943 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397895-1568589758.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=14237, runsolver pid=14234
[startup+0.100165 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30808856/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=39160 memory=15368 CPUtime=0.09 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 4009 0 0 0 9 0 0 0 20 0 1 0 434917680 40099840 3842 33554432000 4194304 6211092 140721686153920 140721686150456 5812176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 9790 3842 809 493 0 3095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 15368 KiB
[startup+0.209869 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30806996/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=40736 memory=17008 CPUtime=0.2 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 4430 0 0 0 20 0 0 0 20 0 1 0 434917680 41713664 4252 33554432000 4194304 6211092 140721686153920 140721686150456 5439827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 10184 4252 819 493 0 3489 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 17008 KiB
[startup+0.309047 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30805880/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=41720 memory=18064 CPUtime=0.3 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 4683 0 0 0 30 0 0 0 20 0 1 0 434917680 42721280 4516 33554432000 4194304 6211092 140721686153920 140721686150456 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 10430 4516 819 493 0 3735 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 18064 KiB
[startup+0.700338 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30804020/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=45716 memory=21996 CPUtime=0.69 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 5669 0 0 0 68 1 0 0 20 0 1 0 434917680 46813184 5499 33554432000 4194304 6211092 140721686153920 140721686150456 139661752747251 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 11429 5499 819 493 0 4734 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45716 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50028 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30798784/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=54084 memory=30056 CPUtime=1.49 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 7729 0 0 0 148 1 0 0 20 0 1 0 434917680 55382016 7514 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 13521 7514 819 493 0 6826 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54084 KiB
Current children cumulated memory: 30056 KiB
[startup+3.10941 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30778324/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=70768 memory=46808 CPUtime=3.1 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 12043 0 0 0 309 1 0 0 20 0 1 0 434917680 72466432 11702 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 17692 11702 819 493 0 10997 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70768 KiB
Current children cumulated memory: 46808 KiB
[startup+6.30027 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30747092/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=104180 memory=79472 CPUtime=6.29 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 20428 0 0 0 627 2 0 0 20 0 1 0 434917680 106680320 19868 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 26045 19868 819 493 0 19350 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104180 KiB
Current children cumulated memory: 79472 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30685340/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=169508 memory=145468 CPUtime=12.69 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 37077 0 0 0 1265 4 0 0 20 0 1 0 434917680 173576192 36367 33554432000 4194304 6211092 140721686153920 140721686127480 5446927 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 42377 36367 819 493 0 35682 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169508 KiB
Current children cumulated memory: 145468 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14238
/proc/meminfo: memFree=30551052/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=302684 memory=277420 CPUtime=25.49 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 70379 0 0 0 2541 8 0 0 20 0 1 0 434917680 309948416 69355 33554432000 4194304 6211092 140721686153920 140721686127480 5451521 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 75671 69355 819 493 0 68976 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 302684 KiB
Current children cumulated memory: 277420 KiB
[startup+51.1096 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 14240
/proc/meminfo: memFree=30281312/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=570256 memory=542276 CPUtime=51.09 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 135267 0 0 0 5093 16 0 0 20 0 1 0 434917680 583942144 135569 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 142564 135569 819 493 0 135869 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 570256 KiB
Current children cumulated memory: 542276 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 14244
/proc/meminfo: memFree=29754696/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=1110284 memory=1070188 CPUtime=102.26 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 264243 0 0 0 10193 33 0 0 20 0 1 0 434917680 1136930816 267547 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 277571 267547 819 493 0 270876 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1110284 KiB
Current children cumulated memory: 1070188 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 14248
/proc/meminfo: memFree=29131564/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=1736544 memory=1691628 CPUtime=162.24 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 415458 0 0 0 16171 53 0 0 20 0 1 0 434917680 1778221056 422907 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 434136 422907 819 493 0 427441 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1736544 KiB
Current children cumulated memory: 1691628 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14255
/proc/meminfo: memFree=28508280/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=2338068 memory=2313460 CPUtime=222.23 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 565850 0 0 0 22150 73 0 0 20 0 1 0 434917680 2394181632 578365 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 584517 578365 819 493 0 577822 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2338068 KiB
Current children cumulated memory: 2313460 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 14259
/proc/meminfo: memFree=27887384/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=2976636 memory=2933804 CPUtime=282.21 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 716865 0 0 0 28128 93 0 0 20 0 1 0 434917680 3048075264 733451 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 744159 733451 819 493 0 737464 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 2976636 KiB
Current children cumulated memory: 2933804 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 14263
/proc/meminfo: memFree=27265520/32770624 swapFree=66952056/67108860
[pid=14237] ppid=14234 vsize=3577896 memory=3553876 CPUtime=342.19 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 867381 0 0 0 34105 114 0 0 20 0 1 0 434917680 3663765504 888469 33554432000 4194304 6211092 140721686153920 140721686127480 5443072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 894474 888469 819 493 0 887779 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 3577896 KiB
Current children cumulated memory: 3553876 KiB
[startup+402.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/200 14331
/proc/meminfo: memFree=26427820/32770624 swapFree=66952060/67108860
[pid=14237] ppid=14234 vsize=4234652 memory=4175372 CPUtime=402.18 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 1018240 0 0 0 40082 136 0 0 20 0 1 0 434917680 4336283648 1043843 33554432000 4194304 6211092 140721686153920 140721686127480 5443072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 1058663 1043843 819 493 0 1051968 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 4234652 KiB
Current children cumulated memory: 4175372 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/199 14335
/proc/meminfo: memFree=25181960/32770624 swapFree=66952060/67108860
[pid=14237] ppid=14234 vsize=4836044 memory=4797132 CPUtime=462.16 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 1168747 0 0 0 46059 157 0 0 20 0 1 0 434917680 4952109056 1199283 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 1209011 1199283 819 493 0 1202316 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 4836044 KiB
Current children cumulated memory: 4797132 KiB
################
# More data... #
################
Current children cumulated vsize: 9852944 KiB
Current children cumulated memory: 9761312 KiB
[startup+1002.3 s]
/proc/loadavg: 2.10 2.17 2.11 3/199 14384
/proc/meminfo: memFree=13971804/32770624 swapFree=66952060/67108860
[pid=14237] ppid=14234 vsize=10453544 memory=10380408 CPUtime=1002.01 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 2523885 0 0 0 99832 369 0 0 20 0 1 0 434917680 10704429056 2595102 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 2613386 2595102 819 493 0 2606691 0
Current children cumulated CPU time: 1002.01 s
Current children cumulated vsize: 10453544 KiB
Current children cumulated memory: 10380408 KiB
[startup+1062.3 s]
/proc/loadavg: 2.04 2.14 2.10 3/199 14388
/proc/meminfo: memFree=12724500/32770624 swapFree=66952060/67108860
[pid=14237] ppid=14234 vsize=11054408 memory=11001768 CPUtime=1061.99 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 2674345 0 0 0 105804 395 0 0 20 0 1 0 434917680 11319713792 2750442 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 2763602 2750442 819 493 0 2756907 0
Current children cumulated CPU time: 1061.99 s
Current children cumulated vsize: 11054408 KiB
Current children cumulated memory: 11001768 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.11 2.10 3/200 14401
/proc/meminfo: memFree=11482052/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=11655140 memory=11620816 CPUtime=1121.97 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 2824785 0 0 0 111776 421 0 0 20 0 1 0 434917680 11934863360 2905204 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 2913785 2905204 819 493 0 2907090 0
Current children cumulated CPU time: 1121.97 s
Current children cumulated vsize: 11655140 KiB
Current children cumulated memory: 11620816 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/199 14405
/proc/meminfo: memFree=10235632/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=12442596 memory=12241508 CPUtime=1181.96 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 2975576 0 0 0 117747 449 0 0 20 0 1 0 434917680 12741218304 3060377 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3110649 3060377 819 493 0 3103954 0
Current children cumulated CPU time: 1181.96 s
Current children cumulated vsize: 12442596 KiB
Current children cumulated memory: 12241508 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/199 14409
/proc/meminfo: memFree=8993880/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=13043196 memory=12860560 CPUtime=1241.94 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 3125978 0 0 0 123714 480 0 0 20 0 1 0 434917680 13356232704 3215140 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3260799 3215140 819 493 0 3254104 0
Current children cumulated CPU time: 1241.94 s
Current children cumulated vsize: 13043196 KiB
Current children cumulated memory: 12860560 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/200 14415
/proc/meminfo: memFree=7746596/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=13643664 memory=13481392 CPUtime=1301.93 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 3276372 0 0 0 129684 509 0 0 20 0 1 0 434917680 13971111936 3370348 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3410916 3370348 819 493 0 3404221 0
Current children cumulated CPU time: 1301.93 s
Current children cumulated vsize: 13643664 KiB
Current children cumulated memory: 13481392 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/199 14419
/proc/meminfo: memFree=6505604/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=14244132 memory=14100444 CPUtime=1361.91 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 3426744 0 0 0 135652 539 0 0 20 0 1 0 434917680 14585991168 3525111 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3561033 3525111 819 493 0 3554338 0
Current children cumulated CPU time: 1361.91 s
Current children cumulated vsize: 14244132 KiB
Current children cumulated memory: 14100444 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/199 14423
/proc/meminfo: memFree=5260036/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=14844468 memory=14721232 CPUtime=1421.89 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 3577093 0 0 0 141619 570 0 0 20 0 1 0 434917680 15200735232 3680308 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3711117 3680308 819 493 0 3704422 0
Current children cumulated CPU time: 1421.89 s
Current children cumulated vsize: 14844468 KiB
Current children cumulated memory: 14721232 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 14429
/proc/meminfo: memFree=4017148/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=15444672 memory=15339864 CPUtime=1481.88 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 3727426 0 0 0 147586 602 0 0 20 0 1 0 434917680 15815344128 3834966 33554432000 4194304 6211092 140721686153920 140721686127480 139661752743857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3861168 3834966 819 493 0 3854473 0
Current children cumulated CPU time: 1481.88 s
Current children cumulated vsize: 15444672 KiB
Current children cumulated memory: 15339864 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1525.11 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 14433
/proc/meminfo: memFree=3124972/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=15872880 memory=15782372 CPUtime=1524.67 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) R 14234 14237 10911 0 -1 4202496 3834686 0 0 0 151842 625 0 0 20 0 1 0 434917680 16253829120 3945593 33554432000 4194304 6211092 140721686153920 140721686127480 139661751823333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3968220 3945593 819 493 0 3961525 0
Current children cumulated CPU time: 1524.67 s
Current children cumulated vsize: 15872880 KiB
Current children cumulated memory: 15782372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1527.84 s]
# the end of solver process 14237 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1518.7 s, system=6.99064 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1526.4 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 14434
/proc/meminfo: memFree=2644176/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=15872880 memory=15782372 CPUtime=1524.86 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) S 14234 14237 10911 0 -1 512 3834691 0 0 0 151861 625 0 0 20 0 1 0 434917680 16253829120 3945593 33554432000 4194304 6211092 140721686153920 140721686127480 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3968220 3945593 819 493 0 3961525 0
Current children cumulated CPU time: 1524.86 s
Current children cumulated vsize: 15872880 KiB
Current children cumulated memory: 15782372 KiB
[startup+1526.8 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 14434
/proc/meminfo: memFree=2644176/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=15872880 memory=15782372 CPUtime=1524.91 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) S 14234 14237 10911 0 -1 512 3834691 0 0 0 151865 626 0 0 20 0 1 0 434917680 16253829120 3945593 33554432000 4194304 6211092 140721686153920 140721686127480 5189768 0 16384 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3968220 3945593 819 493 0 3961525 0
Current children cumulated CPU time: 1524.91 s
Current children cumulated vsize: 15872880 KiB
Current children cumulated memory: 15782372 KiB
[startup+1527 s]*
/proc/loadavg: 2.00 2.03 2.06 2/201 14435
/proc/meminfo: memFree=2138224/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=15872880 memory=15782372 CPUtime=1524.94 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) S 14234 14237 10911 0 -1 512 3834691 0 0 0 151868 626 0 0 20 0 1 0 434917680 16253829120 3945593 33554432000 4194304 6211092 140721686153920 140721686127480 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3968220 3945593 819 493 0 3961525 0
Current children cumulated CPU time: 1524.94 s
Current children cumulated vsize: 15872880 KiB
Current children cumulated memory: 15782372 KiB
[startup+1527.11 s]
/proc/loadavg: 2.00 2.03 2.06 2/201 14435
/proc/meminfo: memFree=2138224/32770624 swapFree=66952064/67108860
[pid=14237] ppid=14234 vsize=15872880 memory=15782372 CPUtime=1524.96 cores=1,3,5,7
/proc/14237/stat : 14237 (cosoco) S 14234 14237 10911 0 -1 512 3834691 0 0 0 151870 626 0 0 20 0 1 0 434917680 16253829120 3945593 33554432000 4194304 6211092 140721686153920 140721686127480 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 11943936 140721686156299 140721686156401 140721686156401 140721686159310 0
/proc/14237/statm: 3968220 3945593 819 493 0 3961525 0
Current children cumulated CPU time: 1524.96 s
Current children cumulated vsize: 15872880 KiB
Current children cumulated memory: 15782372 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1527.84
CPU time (s): 1525.69
CPU user time (s): 1518.7
CPU system time (s): 6.99064
CPU usage (%): 99.8599
Max. virtual memory (cumulated for all children) (KiB): 15872880
Max. memory (cumulated for all children) (KiB): 15782372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1518.7
system time used= 6.99064
maximum resident set size= 15782444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834691
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= 126060
involuntary context switches= 1138
# summary of solver processes directly reported to runsolver:
# pid: 14237
# total CPU time (s): 1525.69
# total CPU user time (s): 1518.7
# total CPU system time (s): 6.99064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.129 second user time and 9.73627 second system time
The end