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 (14372 MiB free)
memory of node 1: 16384 MiB (15487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409105-1569787393/watcher-4409105-1569787393 -o /tmp/evaluation-result-4409105-1569787393/solver-4409105-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1569787352-8873 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409105-1569787393.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
Current StackSize limit: 8192 KiB
solver pid=8902, runsolver pid=8896
[startup+0.100126 s]*
/proc/loadavg: 0.00 0.01 0.05 2/203 8904
/proc/meminfo: memFree=30576672/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2272 memory=4 CPUtime=0 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) D 8896 8902 8842 0 -1 1077936128 159 0 0 0 0 0 0 0 20 0 1 0 554978793 2326528 1 33554432000 4194304 6211132 140726535402576 140726535399800 140486496749255 0 0 4096 0 18446744072101711396 0 0 17 0 0 0 1 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB
[startup+0.209654 s]*
/proc/loadavg: 0.00 0.01 0.05 2/203 8904
/proc/meminfo: memFree=30576672/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=4560 memory=188 CPUtime=0 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) D 8896 8902 8842 0 -1 4194304 175 0 0 0 0 0 0 0 20 0 1 0 554978793 4669440 47 33554432000 4194304 6211132 140726535402576 140726535399752 140486496749255 0 0 4096 0 18446744071580419444 0 0 17 0 0 0 1 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 1140 47 37 493 0 43 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4560 KiB
Current children cumulated memory: 188 KiB
[startup+0.309155 s]*
/proc/loadavg: 0.00 0.01 0.05 1/203 8904
/proc/meminfo: memFree=30571464/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=8040 memory=204 CPUtime=0 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) D 8896 8902 8842 0 -1 4194304 176 0 0 0 0 0 0 0 20 0 1 0 554978793 8232960 51 33554432000 4194304 6211132 140726535402576 140726535399624 140486496754170 0 0 4096 0 18446744071580431491 0 0 17 2 0 0 3 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 2010 51 39 493 0 44 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 204 KiB
[startup+0.700269 s]
/proc/loadavg: 0.00 0.01 0.05 1/203 8904
/proc/meminfo: memFree=30571464/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=101996 memory=78136 CPUtime=0.05 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 19683 0 0 0 3 2 0 0 20 0 1 0 554978793 104443904 19468 33554432000 4194304 6211132 140726535402576 140726535399064 5231269 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 25499 19534 752 493 0 18804 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 101996 KiB
Current children cumulated memory: 78136 KiB
[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 4/203 8904
/proc/meminfo: memFree=30211708/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=631872 memory=608316 CPUtime=0.85 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 152210 0 0 0 67 18 0 0 20 0 1 0 554978793 647036928 152013 33554432000 4194304 6211132 140726535402576 140726535396896 140486478481312 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 158002 152013 838 493 0 151307 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 631872 KiB
Current children cumulated memory: 608316 KiB
[startup+3.10971 s]
/proc/loadavg: 0.16 0.05 0.06 4/203 8904
/proc/meminfo: memFree=28380884/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2116860 memory=2092936 CPUtime=2.46 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 525619 0 0 0 182 64 0 0 20 0 1 0 554978793 2167664640 523234 33554432000 4194304 6211132 140726535402576 140726535398168 5046873 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 529215 523234 879 493 0 522520 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092936 KiB
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 0.16 0.05 0.06 4/203 8905
/proc/meminfo: memFree=28380808/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2116860 memory=2092936 CPUtime=5.64 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 529410 0 0 0 499 65 0 0 20 0 1 0 554978793 2167664640 523234 33554432000 4194304 6211132 140726535402576 140726535400840 5046864 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 529215 523234 879 493 0 522520 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092936 KiB
[startup+12.7002 s]
/proc/loadavg: 0.53 0.13 0.08 4/203 8905
/proc/meminfo: memFree=28381076/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2116860 memory=2092944 CPUtime=12.05 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 792683 0 0 0 1126 79 0 0 20 0 1 0 554978793 2167664640 523236 33554432000 4194304 6211132 140726535402576 140726535400840 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 529215 523236 881 493 0 522520 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092944 KiB
[startup+25.5003 s]
/proc/loadavg: 0.75 0.19 0.10 4/203 8905
/proc/meminfo: memFree=28381040/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2117040 memory=2093132 CPUtime=24.84 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 1094930 0 0 0 2391 93 0 0 20 0 1 0 554978793 2167848960 523283 33554432000 4194304 6211132 140726535402576 140726535399960 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 529260 523283 881 493 0 522565 0
Current children cumulated CPU time: 24.84 s
Current children cumulated vsize: 2117040 KiB
Current children cumulated memory: 2093132 KiB
[startup+51.1097 s]
/proc/loadavg: 1.18 0.34 0.15 4/203 8907
/proc/meminfo: memFree=28379364/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2117732 memory=2093656 CPUtime=50.45 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 1340453 0 0 0 4939 106 0 0 20 0 1 0 554978793 2168557568 523414 33554432000 4194304 6211132 140726535402576 140726535400472 5168368 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 529433 523414 881 493 0 522738 0
Current children cumulated CPU time: 50.45 s
Current children cumulated vsize: 2117732 KiB
Current children cumulated memory: 2093656 KiB
[startup+102.3 s]
/proc/loadavg: 1.71 0.63 0.26 4/203 8911
/proc/meminfo: memFree=28377308/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2119060 memory=2094828 CPUtime=101.64 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 1638915 0 0 0 10041 123 0 0 20 0 1 0 554978793 2169917440 523707 33554432000 4194304 6211132 140726535402576 140726535400424 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 529765 523707 881 493 0 523070 0
Current children cumulated CPU time: 101.64 s
Current children cumulated vsize: 2119060 KiB
Current children cumulated memory: 2094828 KiB
[startup+162.3 s]
/proc/loadavg: 1.89 0.88 0.37 4/203 8915
/proc/meminfo: memFree=28374348/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2121124 memory=2096904 CPUtime=161.64 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 1880409 0 0 0 16029 135 0 0 20 0 1 0 554978793 2172030976 524226 33554432000 4194304 6211132 140726535402576 140726535399880 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 530281 524226 881 493 0 523586 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 2121124 KiB
Current children cumulated memory: 2096904 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.47 4/204 8920
/proc/meminfo: memFree=28369868/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2125804 memory=2101540 CPUtime=221.63 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 2110015 0 0 0 22017 146 0 0 20 0 1 0 554978793 2176823296 525385 33554432000 4194304 6211132 140726535402576 140726535399832 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 531451 525385 881 493 0 524756 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101540 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.25 0.57 4/203 8926
/proc/meminfo: memFree=28369292/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2125804 memory=2101544 CPUtime=281.61 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 2357858 0 0 0 28004 157 0 0 20 0 1 0 554978793 2176823296 525386 33554432000 4194304 6211132 140726535402576 140726535399832 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 531451 525386 881 493 0 524756 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101544 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.66 4/203 8930
/proc/meminfo: memFree=28369148/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2125804 memory=2101544 CPUtime=341.62 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 2597605 0 0 0 33993 169 0 0 20 0 1 0 554978793 2176823296 525386 33554432000 4194304 6211132 140726535402576 140726535399832 5167565 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 531451 525386 881 493 0 524756 0
Current children cumulated CPU time: 341.62 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101544 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.74 4/203 8934
/proc/meminfo: memFree=28369652/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2125804 memory=2101544 CPUtime=401.61 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 2812438 0 0 0 39981 180 0 0 20 0 1 0 554978793 2176823296 525386 33554432000 4194304 6211132 140726535402576 140726535399832 5167536 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 531451 525386 881 493 0 524756 0
Current children cumulated CPU time: 401.61 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101544 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/204 8948
/proc/meminfo: memFree=28368220/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2126596 memory=2102304 CPUtime=461.6 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 2991337 0 0 0 45972 188 0 0 20 0 1 0 554978793 2177634304 525576 33554432000 4194304 6211132 140726535402576 140726535399832 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 531649 525576 881 493 0 524954 0
Current children cumulated CPU time: 461.6 s
Current children cumulated vsize: 2126596 KiB
Current children cumulated memory: 2102304 KiB
################
# More data... #
################
/proc/8902/statm: 532617 526532 881 493 0 525922 0
Current children cumulated CPU time: 1661.52 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106128 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.75 4/203 9066
/proc/meminfo: memFree=28364704/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130468 memory=2106128 CPUtime=1721.52 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4393044 0 0 0 171893 259 0 0 20 0 1 0 554978793 2181599232 526532 33554432000 4194304 6211132 140726535402576 140726535399832 5393072 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532617 526532 881 493 0 525922 0
Current children cumulated CPU time: 1721.52 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106128 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.77 4/203 9070
/proc/meminfo: memFree=28363988/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130468 memory=2106128 CPUtime=1781.52 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4394577 0 0 0 177893 259 0 0 20 0 1 0 554978793 2181599232 526532 33554432000 4194304 6211132 140726535402576 140726535399832 5167553 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532617 526532 881 493 0 525922 0
Current children cumulated CPU time: 1781.52 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.16 2.07 1.80 4/203 9074
/proc/meminfo: memFree=28364360/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130468 memory=2106128 CPUtime=1841.51 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4395967 0 0 0 183892 259 0 0 20 0 1 0 554978793 2181599232 526532 33554432000 4194304 6211132 140726535402576 140726535399832 5167606 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532617 526532 881 493 0 525922 0
Current children cumulated CPU time: 1841.51 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106128 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.06 1.81 4/203 9080
/proc/meminfo: memFree=28364092/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130468 memory=2106128 CPUtime=1901.51 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4397374 0 0 0 189892 259 0 0 20 0 1 0 554978793 2181599232 526532 33554432000 4194304 6211132 140726535402576 140726535399832 5167920 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532617 526532 881 493 0 525922 0
Current children cumulated CPU time: 1901.51 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106128 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 1.82 4/202 9084
/proc/meminfo: memFree=28364316/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130468 memory=2106128 CPUtime=1961.51 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4398822 0 0 0 195892 259 0 0 20 0 1 0 554978793 2181599232 526532 33554432000 4194304 6211132 140726535402576 140726535399832 5167536 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532617 526532 881 493 0 525922 0
Current children cumulated CPU time: 1961.51 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106128 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 1.83 4/202 9088
/proc/meminfo: memFree=28364300/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130468 memory=2106272 CPUtime=2021.5 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4400324 0 0 0 201891 259 0 0 20 0 1 0 554978793 2181599232 526568 33554432000 4194304 6211132 140726535402576 140726535399832 5167536 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532617 526568 881 493 0 525922 0
Current children cumulated CPU time: 2021.5 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106272 KiB
[startup+2082.3 s]
/proc/loadavg: 2.07 2.06 1.85 4/202 9094
/proc/meminfo: memFree=28364184/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106344 CPUtime=2081.5 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4402311 0 0 0 207891 259 0 0 20 0 1 0 554978793 2181750784 526586 33554432000 4194304 6211132 140726535402576 140726535400072 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526586 881 493 0 525959 0
Current children cumulated CPU time: 2081.5 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.05 1.86 4/202 9098
/proc/meminfo: memFree=28364316/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106344 CPUtime=2141.49 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4403747 0 0 0 213890 259 0 0 20 0 1 0 554978793 2181750784 526586 33554432000 4194304 6211132 140726535402576 140726535400072 5167579 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526586 881 493 0 525959 0
Current children cumulated CPU time: 2141.49 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.04 1.87 4/202 9102
/proc/meminfo: memFree=28364292/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106344 CPUtime=2201.49 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4405129 0 0 0 219890 259 0 0 20 0 1 0 554978793 2181750784 526586 33554432000 4194304 6211132 140726535402576 140726535400072 5168392 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526586 881 493 0 525959 0
Current children cumulated CPU time: 2201.49 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106344 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 1.88 4/204 9117
/proc/meminfo: memFree=28363884/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106344 CPUtime=2261.49 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4406544 0 0 0 225890 259 0 0 20 0 1 0 554978793 2181750784 526586 33554432000 4194304 6211132 140726535402576 140726535400072 5167536 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526586 881 493 0 525959 0
Current children cumulated CPU time: 2261.49 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106344 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.88 4/204 9121
/proc/meminfo: memFree=28364424/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106344 CPUtime=2321.48 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4407993 0 0 0 231889 259 0 0 20 0 1 0 554978793 2181750784 526586 33554432000 4194304 6211132 140726535402576 140726535400072 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526586 881 493 0 525959 0
Current children cumulated CPU time: 2321.48 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106344 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.89 4/204 9125
/proc/meminfo: memFree=28364396/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106408 CPUtime=2381.48 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4409479 0 0 0 237889 259 0 0 20 0 1 0 554978793 2181750784 526602 33554432000 4194304 6211132 140726535402576 140726535400072 5167536 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526602 881 493 0 525959 0
Current children cumulated CPU time: 2381.48 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.9 s]
/proc/loadavg: 2.00 2.02 1.89 4/204 9127
/proc/meminfo: memFree=28363800/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106464 CPUtime=2400.08 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4410515 0 0 0 239749 259 0 0 20 0 1 0 554978793 2181750784 526616 33554432000 4194304 6211132 140726535402576 140726535400072 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526616 881 493 0 525959 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.91 s]
# the end of solver process 8902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.49 s, system=2.60786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.9 s]
/proc/loadavg: 2.00 2.02 1.89 4/204 9127
/proc/meminfo: memFree=28363800/32770624 swapFree=67003180/67108860
[pid=8902] ppid=8896 vsize=2130616 memory=2106464 CPUtime=2400.08 cores=0,2,4,6
/proc/8902/stat : 8902 (cosoco) R 8896 8902 8842 0 -1 4202496 4410515 0 0 0 239749 259 0 0 20 0 1 0 554978793 2181750784 526616 33554432000 4194304 6211132 140726535402576 140726535400072 5193760 0 0 4096 8405026 0 0 0 17 0 0 0 13 0 0 8312316 8317760 16556032 140726535406603 140726535406705 140726535406705 140726535409614 0
/proc/8902/statm: 532654 526616 881 493 0 525959 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106464 KiB
Child status: 1
Real time (s): 2400.91
CPU time (s): 2400.1
CPU user time (s): 2397.49
CPU system time (s): 2.60786
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 2130616
Max. memory (cumulated for all children) (KiB): 2106464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.49
system time used= 2.60786
maximum resident set size= 2106532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4410561
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= 112
involuntary context switches= 2047
# summary of solver processes directly reported to runsolver:
# pid: 8902
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.49
# total CPU system time (s): 2.60786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.7817 second user time and 17.2348 second system time
The end