runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240550-1500638650/watcher-4240550-1500638650 -o /tmp/evaluation-result-4240550-1500638650/solver-4240550-1500638650 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5656 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240550-1500638650.xml
pid=7488
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7491
/proc/meminfo: memFree=31478292/32770624 swapFree=6912/392080
[pid=7491] ppid=7488 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 17287973 27770880 806 33554432000 4194304 5970956 140722766285760 140722766282408 140344158927845 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 6780 806 703 434 0 144 0
[startup+0.100165 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7491
/proc/meminfo: memFree=31478292/32770624 swapFree=6912/392080
[pid=7491] ppid=7488 vsize=42160 CPUtime=0.09 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 4806 0 0 0 9 0 0 0 20 0 1 0 17287973 43171840 4633 33554432000 4194304 5970956 140722766285760 140722766273080 4934323 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 10540 4633 766 434 0 3904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42160
[startup+0.200376 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7491
/proc/meminfo: memFree=31478292/32770624 swapFree=6912/392080
[pid=7491] ppid=7488 vsize=42556 CPUtime=0.19 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 4916 0 0 0 19 0 0 0 20 0 1 0 17287973 43577344 4699 33554432000 4194304 5970956 140722766285760 140722766282712 4934864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 10639 4699 780 434 0 4003 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42556
[startup+0.300373 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7491
/proc/meminfo: memFree=31478292/32770624 swapFree=6912/392080
[pid=7491] ppid=7488 vsize=43084 CPUtime=0.29 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 5039 0 0 0 29 0 0 0 20 0 1 0 17287973 44118016 4831 33554432000 4194304 5970956 140722766285760 140722766282632 4934366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 10771 4831 780 434 0 4135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43084
[startup+0.700307 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7491
/proc/meminfo: memFree=31478292/32770624 swapFree=6912/392080
[pid=7491] ppid=7488 vsize=44140 CPUtime=0.68 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 5301 0 0 0 68 0 0 0 20 0 1 0 17287973 45199360 5095 33554432000 4194304 5970956 140722766285760 140722766283320 5047524 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11035 5095 782 434 0 4399 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44140
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7492
/proc/meminfo: memFree=31460224/32770624 swapFree=6912/391988
[pid=7491] ppid=7488 vsize=44668 CPUtime=1.49 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 5436 0 0 0 148 1 0 0 20 0 1 0 17287973 45740032 5227 33554432000 4194304 5970956 140722766285760 140722766282584 5047048 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11167 5227 782 434 0 4531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44668
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7492
/proc/meminfo: memFree=31459728/32770624 swapFree=6912/391988
[pid=7491] ppid=7488 vsize=44932 CPUtime=3.09 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 9559 0 0 0 308 1 0 0 20 0 1 0 17287973 46010368 5354 33554432000 4194304 5970956 140722766285760 140722766282584 5045736 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11233 5354 782 434 0 4597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44932
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7492
/proc/meminfo: memFree=31459624/32770624 swapFree=6912/392000
[pid=7491] ppid=7488 vsize=44932 CPUtime=6.29 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 13646 0 0 0 628 1 0 0 20 0 1 0 17287973 46010368 5354 33554432000 4194304 5970956 140722766285760 140722766282584 4934350 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11233 5354 782 434 0 4597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44932
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7492
/proc/meminfo: memFree=31459376/32770624 swapFree=6912/392008
[pid=7491] ppid=7488 vsize=45360 CPUtime=12.68 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 17821 0 0 0 1267 1 0 0 20 0 1 0 17287973 46448640 5418 33554432000 4194304 5970956 140722766285760 140722766282504 5327113 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11340 5418 782 434 0 4704 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45360
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7492
/proc/meminfo: memFree=31459748/32770624 swapFree=6912/392016
[pid=7491] ppid=7488 vsize=45360 CPUtime=25.48 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 26171 0 0 0 2547 1 0 0 20 0 1 0 17287973 46448640 5453 33554432000 4194304 5970956 140722766285760 140722766282504 5098954 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11340 5453 782 434 0 4704 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45360
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7492
/proc/meminfo: memFree=31459644/32770624 swapFree=6912/392028
[pid=7491] ppid=7488 vsize=45360 CPUtime=51.06 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 28701 0 0 0 5105 1 0 0 20 0 1 0 17287973 46448640 5466 33554432000 4194304 5970956 140722766285760 140722766282504 5047698 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11340 5466 782 434 0 4704 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45360
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7493
/proc/meminfo: memFree=31459824/32770624 swapFree=6912/392064
[pid=7491] ppid=7488 vsize=45492 CPUtime=102.25 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 29215 0 0 0 10224 1 0 0 20 0 1 0 17287973 46583808 5481 33554432000 4194304 5970956 140722766285760 140722766282584 4930709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11373 5481 782 434 0 4737 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 45492
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7494
/proc/meminfo: memFree=31459912/32770624 swapFree=6912/392104
[pid=7491] ppid=7488 vsize=45756 CPUtime=162.23 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 29872 0 0 0 16222 1 0 0 20 0 1 0 17287973 46854144 5525 33554432000 4194304 5970956 140722766285760 140722766273064 5327847 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5525 782 434 0 4803 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 45756
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7495
/proc/meminfo: memFree=31459664/32770624 swapFree=6912/392128
[pid=7491] ppid=7488 vsize=45756 CPUtime=222.22 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 30432 0 0 0 22221 1 0 0 20 0 1 0 17287973 46854144 5548 33554432000 4194304 5970956 140722766285760 140722766273064 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5548 782 434 0 4803 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 45756
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7496
/proc/meminfo: memFree=31459604/32770624 swapFree=6904/392172
[pid=7491] ppid=7488 vsize=45756 CPUtime=282.2 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 30992 0 0 0 28219 1 0 0 20 0 1 0 17287973 46854144 5548 33554432000 4194304 5970956 140722766285760 140722766273064 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5548 782 434 0 4803 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 45756
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7497
/proc/meminfo: memFree=31459480/32770624 swapFree=6904/392200
[pid=7491] ppid=7488 vsize=45756 CPUtime=342.18 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 31589 0 0 0 34217 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 4934460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 45756
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 7630
/proc/meminfo: memFree=31460564/32770624 swapFree=6904/392308
[pid=7491] ppid=7488 vsize=45756 CPUtime=402.16 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 32154 0 0 0 40215 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 45756
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 7631
/proc/meminfo: memFree=31460564/32770624 swapFree=6904/392376
[pid=7491] ppid=7488 vsize=45756 CPUtime=462.14 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 32714 0 0 0 46213 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136615 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 45756
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7632
/proc/meminfo: memFree=31460052/32770624 swapFree=6904/392408
[pid=7491] ppid=7488 vsize=45756 CPUtime=522.13 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 33282 0 0 0 52212 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 45756
[startup+582.3 s]
/proc/loadavg: 2.14 2.06 2.05 3/187 7633
/proc/meminfo: memFree=31459968/32770624 swapFree=6904/392436
[pid=7491] ppid=7488 vsize=45756 CPUtime=582.11 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 33854 0 0 0 58210 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136625 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 45756
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7660
/proc/meminfo: memFree=31459040/32770624 swapFree=6904/392892
[pid=7491] ppid=7488 vsize=45756 CPUtime=1481.85 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 41829 0 0 0 148184 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5047532 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 45756
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7661
/proc/meminfo: memFree=31458924/32770624 swapFree=6904/392916
[pid=7491] ppid=7488 vsize=45756 CPUtime=1541.84 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 42305 0 0 0 154183 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5045308 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 45756
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7669
/proc/meminfo: memFree=31458764/32770624 swapFree=6904/392940
[pid=7491] ppid=7488 vsize=45756 CPUtime=1601.82 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 42884 0 0 0 160181 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 45756
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7670
/proc/meminfo: memFree=31459508/32770624 swapFree=6904/392980
[pid=7491] ppid=7488 vsize=45756 CPUtime=1661.8 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 43373 0 0 0 166179 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5045736 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 45756
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7671
/proc/meminfo: memFree=31459384/32770624 swapFree=6904/393004
[pid=7491] ppid=7488 vsize=45756 CPUtime=1721.78 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 43982 0 0 0 172177 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 45756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7672
/proc/meminfo: memFree=31458972/32770624 swapFree=6904/393028
[pid=7491] ppid=7488 vsize=45756 CPUtime=1781.77 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 44514 0 0 0 178176 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 4934366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 45756
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7673
/proc/meminfo: memFree=31458948/32770624 swapFree=6904/393056
[pid=7491] ppid=7488 vsize=45756 CPUtime=1841.75 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 45047 0 0 0 184174 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5045288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1841.75
Current children cumulated vsize (KiB) 45756
[startup+1902.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7674
/proc/meminfo: memFree=31458948/32770624 swapFree=6904/393088
[pid=7491] ppid=7488 vsize=45756 CPUtime=1901.73 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 45612 0 0 0 190172 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 4974138 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1901.73
Current children cumulated vsize (KiB) 45756
[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 7675
/proc/meminfo: memFree=31458956/32770624 swapFree=6904/393116
[pid=7491] ppid=7488 vsize=45756 CPUtime=1961.71 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 46090 0 0 0 196170 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5045308 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 1961.71
Current children cumulated vsize (KiB) 45756
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7676
/proc/meminfo: memFree=31459080/32770624 swapFree=6904/393144
[pid=7491] ppid=7488 vsize=45756 CPUtime=2021.7 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 46568 0 0 0 202169 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 4930568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 2021.7
Current children cumulated vsize (KiB) 45756
[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 7677
/proc/meminfo: memFree=31459020/32770624 swapFree=6904/393168
[pid=7491] ppid=7488 vsize=45756 CPUtime=2081.68 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 47133 0 0 0 208167 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 2081.68
Current children cumulated vsize (KiB) 45756
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 7678
/proc/meminfo: memFree=31458896/32770624 swapFree=6904/393196
[pid=7491] ppid=7488 vsize=45756 CPUtime=2141.66 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 47657 0 0 0 214165 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5045308 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 2141.66
Current children cumulated vsize (KiB) 45756
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 7687
/proc/meminfo: memFree=31458748/32770624 swapFree=6904/393216
[pid=7491] ppid=7488 vsize=45756 CPUtime=2201.65 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 48192 0 0 0 220164 1 0 0 20 0 1 0 17287973 46854144 5556 33554432000 4194304 5970956 140722766285760 140722766283320 5136629 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5556 782 434 0 4803 0
Current children cumulated CPU time (s) 2201.65
Current children cumulated vsize (KiB) 45756
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7688
/proc/meminfo: memFree=31458708/32770624 swapFree=6904/393252
[pid=7491] ppid=7488 vsize=45756 CPUtime=2261.63 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 48755 0 0 0 226162 1 0 0 20 0 1 0 17287973 46854144 5574 33554432000 4194304 5970956 140722766285760 140722766283320 5045421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5574 782 434 0 4803 0
Current children cumulated CPU time (s) 2261.63
Current children cumulated vsize (KiB) 45756
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7689
/proc/meminfo: memFree=31458792/32770624 swapFree=6904/393276
[pid=7491] ppid=7488 vsize=45756 CPUtime=2321.61 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 49311 0 0 0 232160 1 0 0 20 0 1 0 17287973 46854144 5574 33554432000 4194304 5970956 140722766285760 140722766283320 5136623 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5574 782 434 0 4803 0
Current children cumulated CPU time (s) 2321.61
Current children cumulated vsize (KiB) 45756
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 7690
/proc/meminfo: memFree=31458900/32770624 swapFree=6904/393312
[pid=7491] ppid=7488 vsize=45756 CPUtime=2381.59 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 49825 0 0 0 238158 1 0 0 20 0 1 0 17287973 46854144 5574 33554432000 4194304 5970956 140722766285760 140722766283320 5045464 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5574 782 434 0 4803 0
Current children cumulated CPU time (s) 2381.59
Current children cumulated vsize (KiB) 45756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.8 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 7690
/proc/meminfo: memFree=31458900/32770624 swapFree=6904/393312
[pid=7491] ppid=7488 vsize=45756 CPUtime=2400.09 cores=1,3,5,7
/proc/7491/stat : 7491 (cosoco) R 7488 7491 5624 0 -1 4202496 50324 0 0 0 240008 1 0 0 20 0 1 0 17287973 46854144 5574 33554432000 4194304 5970956 140722766285760 140722766283320 5136608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 16904192 140722766288065 140722766288195 140722766288195 140722766290894 0
/proc/7491/statm: 11439 5574 782 434 0 4803 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 45756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7491 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.019994
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 45756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.019994
maximum resident set size= 22344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50390
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= 14
involuntary context switches= 121269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2619 second user time and 8.49054 second system time
The end