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 (14937 MiB free)
memory of node 1: 16384 MiB (15634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396743-1568592866/watcher-4396743-1568592866 -o /tmp/evaluation-result-4396743-1568592866/solver-4396743-1568592866 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568572747-30996 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396743-1568592866.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=2469, runsolver pid=2466
[startup+0.10041 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31303168/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=28944 memory=5036 CPUtime=0.1 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 1468 0 0 0 10 0 0 0 20 0 1 0 435448174 29638656 1259 33554432000 4194304 6211092 140725262992352 140725262989624 5727970 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 7236 1259 798 493 0 541 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5036 KiB
[startup+0.209526 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31298740/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=34356 memory=10640 CPUtime=0.2 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 2823 0 0 0 20 0 0 0 20 0 1 0 435448174 35180544 2660 33554432000 4194304 6211092 140725262992352 140725262989624 139983506602981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 8589 2660 816 493 0 1894 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34356 KiB
Current children cumulated memory: 10640 KiB
[startup+0.309388 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31292788/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=40052 memory=16192 CPUtime=0.3 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 4264 0 0 0 30 0 0 0 20 0 1 0 435448174 41013248 4048 33554432000 4194304 6211092 140725262992352 140725262989624 139983506602981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 10013 4048 816 493 0 3318 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40052 KiB
Current children cumulated memory: 16192 KiB
[startup+0.700309 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31280884/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=62112 memory=38260 CPUtime=0.68 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 9791 0 0 0 67 1 0 0 20 0 1 0 435448174 63602688 9565 33554432000 4194304 6211092 140725262992352 140725262989624 139983506602981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 15528 9565 816 493 0 8833 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62112 KiB
Current children cumulated memory: 38260 KiB
[startup+1.50031 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31252496/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=108448 memory=84588 CPUtime=1.48 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 21374 0 0 0 145 3 0 0 20 0 1 0 435448174 111050752 21147 33554432000 4194304 6211092 140725262992352 140725262983992 5071149 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 27112 21147 816 493 0 20417 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108448 KiB
Current children cumulated memory: 84588 KiB
[startup+3.10945 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31196264/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=135660 memory=112172 CPUtime=3.1 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 32818 0 0 0 304 6 0 0 20 0 1 0 435448174 138915840 28043 33554432000 4194304 6211092 140725262992352 140725262990008 5068998 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 33915 28043 859 493 0 27220 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 135660 KiB
Current children cumulated memory: 112172 KiB
[startup+6.30028 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31192572/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=139356 memory=115876 CPUtime=6.28 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 41120 0 0 0 622 6 0 0 20 0 1 0 435448174 142700544 28969 33554432000 4194304 6211092 140725262992352 140725262990008 5439794 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 34839 28969 861 493 0 28144 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 139356 KiB
Current children cumulated memory: 115876 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31190348/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=141996 memory=118444 CPUtime=12.68 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 48915 0 0 0 1262 6 0 0 20 0 1 0 435448174 145403904 29611 33554432000 4194304 6211092 140725262992352 140725262990008 5452223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 35499 29611 861 493 0 28804 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 141996 KiB
Current children cumulated memory: 118444 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 2470
/proc/meminfo: memFree=31188724/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=143184 memory=119716 CPUtime=25.48 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 63385 0 0 0 2541 7 0 0 20 0 1 0 435448174 146620416 29929 33554432000 4194304 6211092 140725262992352 140725262990008 5446140 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 35796 29929 861 493 0 29101 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 143184 KiB
Current children cumulated memory: 119716 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 2472
/proc/meminfo: memFree=31187512/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=144240 memory=120764 CPUtime=51.09 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 69394 0 0 0 5102 7 0 0 20 0 1 0 435448174 147701760 30191 33554432000 4194304 6211092 140725262992352 140725262990312 5451482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 36060 30191 861 493 0 29365 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 144240 KiB
Current children cumulated memory: 120764 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 2476
/proc/meminfo: memFree=31178756/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=153480 memory=129988 CPUtime=102.28 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 80260 0 0 0 10220 8 0 0 20 0 1 0 435448174 157163520 32497 33554432000 4194304 6211092 140725262992352 140725262990008 5164957 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 38370 32497 861 493 0 31675 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 153480 KiB
Current children cumulated memory: 129988 KiB
[startup+162.3 s]
/proc/loadavg: 2.34 2.10 2.07 3/200 2481
/proc/meminfo: memFree=31175480/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=156912 memory=133288 CPUtime=162.29 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 81843 0 0 0 16220 9 0 0 20 0 1 0 435448174 160677888 33322 33554432000 4194304 6211092 140725262992352 140725262990008 5068958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 39228 33322 861 493 0 32533 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 156912 KiB
Current children cumulated memory: 133288 KiB
[startup+222.3 s]
/proc/loadavg: 2.42 2.19 2.11 3/200 2487
/proc/meminfo: memFree=31173936/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=157836 memory=134376 CPUtime=222.29 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 83257 0 0 0 22220 9 0 0 20 0 1 0 435448174 161624064 33594 33554432000 4194304 6211092 140725262992352 140725262990008 5451610 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 39459 33594 861 493 0 32764 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 134376 KiB
[startup+282.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/200 2491
/proc/meminfo: memFree=31172588/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=158892 memory=135204 CPUtime=282.29 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 83585 0 0 0 28220 9 0 0 20 0 1 0 435448174 162705408 33801 33554432000 4194304 6211092 140725262992352 140725262990008 139983516547965 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 39723 33801 861 493 0 33028 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 158892 KiB
Current children cumulated memory: 135204 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.13 2.10 3/200 2495
/proc/meminfo: memFree=31172540/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=159420 memory=135784 CPUtime=342.3 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 83971 0 0 0 34221 9 0 0 20 0 1 0 435448174 163246080 33946 33554432000 4194304 6211092 140725262992352 140725262990008 139983507529152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 39855 33946 861 493 0 33160 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 135784 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/201 2509
/proc/meminfo: memFree=31171036/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=159684 memory=136028 CPUtime=402.3 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 84036 0 0 0 40221 9 0 0 20 0 1 0 435448174 163516416 34007 33554432000 4194304 6211092 140725262992352 140725262990008 5453914 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 39921 34007 861 493 0 33226 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 159684 KiB
Current children cumulated memory: 136028 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/200 2513
/proc/meminfo: memFree=31171304/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=159948 memory=136560 CPUtime=462.31 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 84511 0 0 0 46222 9 0 0 20 0 1 0 435448174 163786752 34140 33554432000 4194304 6211092 140725262992352 140725262990008 5478428 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 39987 34140 861 493 0 33292 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 159948 KiB
Current children cumulated memory: 136560 KiB
################
# More data... #
################
/proc/2469/statm: 40350 34485 861 493 0 33655 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137940 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2698
/proc/meminfo: memFree=31163272/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=161400 memory=137940 CPUtime=1842.43 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 88872 0 0 0 184234 9 0 0 20 0 1 0 435448174 165273600 34485 33554432000 4194304 6211092 140725262992352 140725262990312 5480268 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 40350 34485 861 493 0 33655 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137940 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2702
/proc/meminfo: memFree=31159032/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=166152 memory=142532 CPUtime=1902.44 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 90286 0 0 0 190234 10 0 0 20 0 1 0 435448174 170139648 35633 33554432000 4194304 6211092 140725262992352 140725262990008 5441097 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 41538 35633 861 493 0 34843 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 166152 KiB
Current children cumulated memory: 142532 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2706
/proc/meminfo: memFree=31159068/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=166284 memory=142796 CPUtime=1962.45 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 90327 0 0 0 196235 10 0 0 20 0 1 0 435448174 170274816 35699 33554432000 4194304 6211092 140725262992352 140725262990008 139983507526543 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 41571 35699 861 493 0 34876 0
Current children cumulated CPU time: 1962.45 s
Current children cumulated vsize: 166284 KiB
Current children cumulated memory: 142796 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2712
/proc/meminfo: memFree=31159296/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=166416 memory=142920 CPUtime=2022.45 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 91390 0 0 0 202235 10 0 0 20 0 1 0 435448174 170409984 35730 33554432000 4194304 6211092 140725262992352 140725262990008 5164868 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 41604 35730 861 493 0 34909 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 166416 KiB
Current children cumulated memory: 142920 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2716
/proc/meminfo: memFree=31158684/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=167076 memory=143396 CPUtime=2082.46 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 91557 0 0 0 208236 10 0 0 20 0 1 0 435448174 171085824 35849 33554432000 4194304 6211092 140725262992352 140725262990008 5443103 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 41769 35849 861 493 0 35074 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 167076 KiB
Current children cumulated memory: 143396 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2720
/proc/meminfo: memFree=31156888/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=168264 memory=144748 CPUtime=2142.46 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 92570 0 0 0 214236 10 0 0 20 0 1 0 435448174 172302336 36187 33554432000 4194304 6211092 140725262992352 140725262990008 5442993 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 42066 36187 861 493 0 35371 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 168264 KiB
Current children cumulated memory: 144748 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2733
/proc/meminfo: memFree=31157248/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=168264 memory=144748 CPUtime=2202.47 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 92592 0 0 0 220237 10 0 0 20 0 1 0 435448174 172302336 36187 33554432000 4194304 6211092 140725262992352 140725262990008 5446927 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 42066 36187 861 493 0 35371 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 168264 KiB
Current children cumulated memory: 144748 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2737
/proc/meminfo: memFree=31155444/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=169980 memory=146352 CPUtime=2262.47 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 93267 0 0 0 226237 10 0 0 20 0 1 0 435448174 174059520 36588 33554432000 4194304 6211092 140725262992352 140725262990008 5165010 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 42495 36588 861 493 0 35800 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 169980 KiB
Current children cumulated memory: 146352 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2741
/proc/meminfo: memFree=31155096/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=170244 memory=146608 CPUtime=2322.47 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 93334 0 0 0 232237 10 0 0 20 0 1 0 435448174 174329856 36652 33554432000 4194304 6211092 140725262992352 140725262990008 5446904 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 42561 36652 861 493 0 35866 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 170244 KiB
Current children cumulated memory: 146608 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2747
/proc/meminfo: memFree=31154368/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=170640 memory=147136 CPUtime=2382.48 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 94031 0 0 0 238238 10 0 0 20 0 1 0 435448174 174735360 36784 33554432000 4194304 6211092 140725262992352 140725262990008 5440636 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 42660 36784 861 493 0 35965 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 170640 KiB
Current children cumulated memory: 147136 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2751
/proc/meminfo: memFree=31154372/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=170640 memory=147232 CPUtime=2442.48 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 94104 0 0 0 244238 10 0 0 20 0 1 0 435448174 174735360 36808 33554432000 4194304 6211092 140725262992352 140725262990008 5452207 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 42660 36808 861 493 0 35965 0
Current children cumulated CPU time: 2442.48 s
Current children cumulated vsize: 170640 KiB
Current children cumulated memory: 147232 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2756
/proc/meminfo: memFree=31149412/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=175260 memory=151692 CPUtime=2502.48 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 95897 0 0 0 250238 10 0 0 20 0 1 0 435448174 179466240 37923 33554432000 4194304 6211092 140725262992352 140725262990008 139983507526529 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 43815 37923 861 493 0 37120 0
Current children cumulated CPU time: 2502.48 s
Current children cumulated vsize: 175260 KiB
Current children cumulated memory: 151692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2759
/proc/meminfo: memFree=31149684/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=175392 memory=151956 CPUtime=2520.08 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 95941 0 0 0 251998 10 0 0 20 0 1 0 435448174 179601408 37989 33554432000 4194304 6211092 140725262992352 140725262990008 5441142 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 43848 37989 861 493 0 37153 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 175392 KiB
Current children cumulated memory: 151956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 2469 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.109008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2759
/proc/meminfo: memFree=31149684/32770624 swapFree=67004292/67108860
[pid=2469] ppid=2466 vsize=175392 memory=151956 CPUtime=2520.08 cores=1,3,5,7
/proc/2469/stat : 2469 (cosoco) R 2466 2469 30964 0 -1 4202496 95941 0 0 0 251998 10 0 0 20 0 1 0 435448174 179601408 37989 33554432000 4194304 6211092 140725262992352 140725262990008 5441142 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35196928 140725263000587 140725263000689 140725263000689 140725263003598 0
/proc/2469/statm: 43848 37989 861 493 0 37153 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 175392 KiB
Current children cumulated memory: 151956 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2519.99
CPU system time (s): 0.109008
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 175392
Max. memory (cumulated for all children) (KiB): 151956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.109008
maximum resident set size= 152076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95982
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= 29
involuntary context switches= 1464
# summary of solver processes directly reported to runsolver:
# pid: 2469
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.109008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.6343 second user time and 15.752 second system time
The end