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-4101675-1466231526/watcher-4101675-1466231526 -o /tmp/evaluation-result-4101675-1466231526/solver-4101675-1466231526 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20953 --watchdog 1960 naps-1.02 HOME/instance-4101675-1466231526.opb
pid=21116
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 21119
/proc/meminfo: memFree=31515516/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=8520 CPUtime=0 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 1 0 25199396 8724480 668 33554432000 4194304 5796924 140733785147920 140736079347208 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 2130 668 114 392 0 1729 0
[startup+0.100131 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 21119
/proc/meminfo: memFree=31515516/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=14884 CPUtime=0.09 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 2424 0 0 0 9 0 0 0 20 0 1 0 25199396 15241216 2173 33554432000 4194304 5796924 140733785147920 140736079347208 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 3721 2173 124 392 0 3320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14884
[startup+0.200341 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 21119
/proc/meminfo: memFree=31515516/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=18140 CPUtime=0.19 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 3278 0 0 0 19 0 0 0 20 0 1 0 25199396 18575360 3027 33554432000 4194304 5796924 140733785147920 140736079347208 4261418 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 4535 3028 129 392 0 4134 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18140
[startup+0.30027 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 21119
/proc/meminfo: memFree=31515516/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=21752 CPUtime=0.29 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 4059 0 0 0 28 1 0 0 20 0 1 0 25199396 22274048 3801 33554432000 4194304 5796924 140733785147920 140736079347208 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 5438 3801 129 392 0 5037 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21752
[startup+0.700261 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 21119
/proc/meminfo: memFree=31515516/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=36496 CPUtime=0.69 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 7560 0 0 0 68 1 0 0 20 0 1 0 25199396 37371904 7296 33554432000 4194304 5796924 140733785147920 140736079347208 5087724 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 9124 7296 129 392 0 8723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36496
[startup+1.50025 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 21120
/proc/meminfo: memFree=31460676/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=58256 CPUtime=1.49 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 13435 0 0 0 147 2 0 0 20 0 1 0 25199396 59654144 12880 33554432000 4194304 5796924 140733785147920 140733785147144 5092550 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 14564 12880 145 392 0 14163 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58256
[startup+3.10024 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21120
/proc/meminfo: memFree=31410328/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=58296 CPUtime=3.09 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 13445 0 0 0 307 2 0 0 20 0 1 0 25199396 59695104 12890 33554432000 4194304 5796924 140733785147920 140733785144136 5096620 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 14574 12890 145 392 0 14173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58296
[startup+6.30025 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21120
/proc/meminfo: memFree=31063684/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=58296 CPUtime=6.29 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 13445 0 0 0 627 2 0 0 20 0 1 0 25199396 59695104 12890 33554432000 4194304 5796924 140733785147920 140733785144136 4806751 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 14574 12890 145 392 0 14173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58296
[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21120
/proc/meminfo: memFree=29823488/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=58296 CPUtime=12.68 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 13445 0 0 0 1266 2 0 0 20 0 1 0 25199396 59695104 12890 33554432000 4194304 5796924 140733785147920 140733785144136 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 14574 12890 145 392 0 14173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58296
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 21120
/proc/meminfo: memFree=29504136/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=60856 CPUtime=25.49 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 13911 0 0 0 2546 3 0 0 20 0 1 0 25199396 62316544 13356 33554432000 4194304 5796924 140733785147920 140733785144136 4861388 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 15214 13356 145 392 0 14813 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60856
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21120
/proc/meminfo: memFree=29532536/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=63928 CPUtime=51.09 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 15051 0 0 0 5106 3 0 0 20 0 1 0 25199396 65462272 14166 33554432000 4194304 5796924 140733785147920 140733785144136 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 15982 14166 145 392 0 15581 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63928
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21121
/proc/meminfo: memFree=29514760/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=68696 CPUtime=102.28 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 15964 0 0 0 10225 3 0 0 20 0 1 0 25199396 70344704 15442 33554432000 4194304 5796924 140733785147920 140733785144136 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 17174 15442 145 392 0 16773 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 68696
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21122
/proc/meminfo: memFree=29495788/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=72660 CPUtime=162.27 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 16971 0 0 0 16224 3 0 0 20 0 1 0 25199396 74403840 16449 33554432000 4194304 5796924 140733785147920 140733785144136 4805771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 18165 16449 145 392 0 17764 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 72660
[startup+222.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21124
/proc/meminfo: memFree=29467244/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=82348 CPUtime=222.26 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 18566 0 0 0 22222 4 0 0 20 0 1 0 25199396 84324352 18770 33554432000 4194304 5796924 140733785147920 140733785144136 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 20587 18770 145 392 0 20186 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 82348
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21125
/proc/meminfo: memFree=29443608/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=87812 CPUtime=282.24 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 19570 0 0 0 28220 4 0 0 20 0 1 0 25199396 89919488 19774 33554432000 4194304 5796924 140733785147920 140733785144136 5087589 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 21953 19774 145 392 0 21552 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 87812
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21126
/proc/meminfo: memFree=29466520/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=113308 CPUtime=342.23 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 23560 0 0 0 34218 5 0 0 20 0 1 0 25199396 116027392 26238 33554432000 4194304 5796924 140733785147920 140733785144136 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 28327 26238 145 392 0 27926 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 113308
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21127
/proc/meminfo: memFree=29442496/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=125804 CPUtime=402.23 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 25653 0 0 0 40217 6 0 0 20 0 1 0 25199396 128823296 28842 33554432000 4194304 5796924 140733785147920 140733785144136 4805602 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 31451 28842 145 392 0 31050 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 125804
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21128
/proc/meminfo: memFree=29397848/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=154324 CPUtime=462.22 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 27830 0 0 0 46215 7 0 0 20 0 1 0 25199396 158027776 36477 33554432000 4194304 5796924 140733785147920 140733785144136 5087724 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 38581 36477 145 392 0 38180 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 154324
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21133
/proc/meminfo: memFree=29368720/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=170160 CPUtime=522.22 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 30020 0 0 0 52214 8 0 0 20 0 1 0 25199396 174243840 39178 33554432000 4194304 5796924 140733785147920 140733785144136 4810135 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 42540 39178 145 392 0 42139 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 170160
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21134
/proc/meminfo: memFree=29391608/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=178504 CPUtime=582.21 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 32090 0 0 0 58213 8 0 0 20 0 1 0 25199396 182788096 42270 33554432000 4194304 5796924 140733785147920 140733785144136 5087780 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 44626 42270 145 392 0 44225 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 178504
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 21140
/proc/meminfo: memFree=29284516/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=277344 CPUtime=882.16 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 44273 0 0 0 88205 11 0 0 20 0 1 0 25199396 284000256 67414 33554432000 4194304 5796924 140733785147920 140733785144136 4313520 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 69336 67414 192 392 0 68935 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 277344
[startup+942.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 21141
/proc/meminfo: memFree=29260560/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=302200 CPUtime=942.15 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 45639 0 0 0 94203 12 0 0 20 0 1 0 25199396 309452800 69802 33554432000 4194304 5796924 140733785147920 140733785144136 4805632 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 75550 69802 192 392 0 75149 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 302200
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 21142
/proc/meminfo: memFree=29235504/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=307756 CPUtime=1002.14 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 47017 0 0 0 100202 12 0 0 20 0 1 0 25199396 315142144 72202 33554432000 4194304 5796924 140733785147920 140733785144136 4313072 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 76939 72202 192 392 0 76538 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 307756
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 21143
/proc/meminfo: memFree=29208552/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=317072 CPUtime=1062.13 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 49348 0 0 0 106200 13 0 0 20 0 1 0 25199396 324681728 75555 33554432000 4194304 5796924 140733785147920 140733785141720 5087766 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 79268 75555 192 392 0 78867 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 317072
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 21148
/proc/meminfo: memFree=29184484/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=326384 CPUtime=1122.12 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 51704 0 0 0 112199 13 0 0 20 0 1 0 25199396 334217216 78933 33554432000 4194304 5796924 140733785147920 140733785141848 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 81596 78933 192 392 0 81195 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 326384
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 21149
/proc/meminfo: memFree=29154488/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=335288 CPUtime=1182.11 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 53916 0 0 0 118197 14 0 0 20 0 1 0 25199396 343334912 82167 33554432000 4194304 5796924 140733785147920 140733785144136 5087632 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 83822 82167 192 392 0 83421 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 335288
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21150
/proc/meminfo: memFree=29117792/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=459836 CPUtime=1242.1 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 57482 0 0 0 124193 17 0 0 20 0 1 0 25199396 470872064 107301 33554432000 4194304 5796924 140733785147920 140733785144136 5092416 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 114959 107301 192 392 0 114558 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 459836
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21151
/proc/meminfo: memFree=29083152/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=479272 CPUtime=1302.06 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 62399 0 0 0 130188 18 0 0 20 0 1 0 25199396 490774528 113208 33554432000 4194304 5796924 140733785147920 140733785144136 4808064 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 119818 113208 192 392 0 119417 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 479272
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/176 21152
/proc/meminfo: memFree=29046616/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=492608 CPUtime=1362.05 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 65734 0 0 0 136186 19 0 0 20 0 1 0 25199396 504430592 118063 33554432000 4194304 5796924 140733785147920 140733785144136 5087771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 123152 118063 192 392 0 122751 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 492608
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 21155
/proc/meminfo: memFree=29009748/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=504936 CPUtime=1422.04 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 68822 0 0 0 142185 19 0 0 20 0 1 0 25199396 517054464 122684 33554432000 4194304 5796924 140733785147920 140733785144136 4313295 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 126234 122684 192 392 0 125833 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 504936
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 21156
/proc/meminfo: memFree=28980420/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=512592 CPUtime=1482.03 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 70750 0 0 0 148183 20 0 0 20 0 1 0 25199396 524894208 125634 33554432000 4194304 5796924 140733785147920 140733785144136 5096544 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 128148 125634 192 392 0 127747 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 512592
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 21157
/proc/meminfo: memFree=28947972/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=568680 CPUtime=1542.03 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 73371 0 0 0 154182 21 0 0 20 0 1 0 25199396 582328320 129277 33554432000 4194304 5796924 140733785147920 140733785141720 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 142170 129277 192 392 0 141769 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 568680
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 21158
/proc/meminfo: memFree=29002948/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=584256 CPUtime=1602.01 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 77490 0 0 0 160179 22 0 0 20 0 1 0 25199396 598278144 134929 33554432000 4194304 5796924 140733785147920 140733785144136 5087776 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 146064 134929 192 392 0 145663 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 584256
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 21159
/proc/meminfo: memFree=28982344/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=592968 CPUtime=1662 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 79678 0 0 0 166178 22 0 0 20 0 1 0 25199396 607199232 138650 33554432000 4194304 5796924 140733785147920 140733785144136 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 148242 138650 192 392 0 147841 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 592968
[startup+1722.3 s]
/proc/loadavg: 2.22 2.09 2.02 3/178 21164
/proc/meminfo: memFree=28948964/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=605932 CPUtime=1721.99 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 82906 0 0 0 172176 23 0 0 20 0 1 0 25199396 620474368 142900 33554432000 4194304 5796924 140733785147920 140733785144136 5096544 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 151483 142900 192 392 0 151082 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 605932
[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/178 21188
/proc/meminfo: memFree=28912620/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=616624 CPUtime=1781.99 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 85586 0 0 0 178175 24 0 0 20 0 1 0 25199396 631422976 147113 33554432000 4194304 5796924 140733785147920 140733785144136 5092651 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 154156 147113 192 392 0 153755 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 616624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 21188
/proc/meminfo: memFree=28901152/32872528 swapFree=338416/354768
[pid=21119] ppid=21116 vsize=622036 CPUtime=1800.08 cores=0,2,4,6
/proc/21119/stat : 21119 (naps-1.02) R 21116 21119 20937 0 -1 4202496 86957 0 0 0 179984 24 0 0 20 0 1 0 25199396 636964864 148995 33554432000 4194304 5796924 140733785147920 140733785144136 5087778 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21119/statm: 155509 148995 192 392 0 155108 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 622036
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 21119 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.85
CPU system time (s): 0.25696
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 622036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.25696
maximum resident set size= 596028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86969
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= 56
involuntary context switches= 1969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96324 second user time and 6.34004 second system time
The end