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-4082660-1465224815/watcher-4082660-1465224815 -o /tmp/evaluation-result-4082660-1465224815/solver-4082660-1465224815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465220629-5807 --watchdog 1960 naps-1.02 HOME/instance-4082660-1465224815.opb
pid=6736
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.15 2.18 2.18 3/176 6739
/proc/meminfo: memFree=30371324/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=6556 CPUtime=0 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 104414524 6713344 216 33554432000 4194304 5796924 140733389339120 140733439716744 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 1639 216 128 392 0 1238 0
[startup+0.100163 s]
/proc/loadavg: 2.15 2.18 2.18 3/176 6739
/proc/meminfo: memFree=30371324/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=8712 CPUtime=0.09 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 909 0 0 0 9 0 0 0 20 0 1 0 104414524 8921088 781 33554432000 4194304 5796924 140733389339120 140733439716744 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 2178 781 128 392 0 1777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8712
[startup+0.200281 s]
/proc/loadavg: 2.15 2.18 2.18 3/176 6739
/proc/meminfo: memFree=30371324/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=9412 CPUtime=0.19 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 1129 0 0 0 19 0 0 0 20 0 1 0 104414524 9637888 987 33554432000 4194304 5796924 140733389339120 140733439716744 4432319 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 2353 987 139 392 0 1952 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9412
[startup+0.300267 s]
/proc/loadavg: 2.15 2.18 2.18 3/176 6739
/proc/meminfo: memFree=30371324/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=16316 CPUtime=0.29 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 2873 0 0 0 29 0 0 0 20 0 1 0 104414524 16707584 2689 33554432000 4194304 5796924 140733389339120 140733439716744 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 4079 2689 139 392 0 3678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16316
[startup+0.700251 s]
/proc/loadavg: 2.15 2.18 2.18 3/176 6739
/proc/meminfo: memFree=30371324/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=28068 CPUtime=0.69 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 6356 0 0 0 68 1 0 0 20 0 1 0 104414524 28741632 6286 33554432000 4194304 5796924 140733389339120 140733389283336 4564248 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 7017 6286 140 392 0 6616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28068
[startup+1.50024 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 6740
/proc/meminfo: memFree=30337172/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=38264 CPUtime=1.49 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 8597 0 0 0 148 1 0 0 20 0 1 0 104414524 39182336 8827 33554432000 4194304 5796924 140733389339120 140733389336232 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 9566 8827 178 392 0 9165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38264
[startup+3.10029 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 6740
/proc/meminfo: memFree=30332644/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=43372 CPUtime=3.09 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 9455 0 0 0 308 1 0 0 20 0 1 0 104414524 44412928 10188 33554432000 4194304 5796924 140733389339120 140733389336232 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 10843 10188 178 392 0 10442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43372
[startup+6.30023 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 6740
/proc/meminfo: memFree=30323304/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=52040 CPUtime=6.29 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 10110 0 0 0 627 2 0 0 20 0 1 0 104414524 53288960 12376 33554432000 4194304 5796924 140733389339120 140733389336392 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 13010 12376 178 392 0 12609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52040
[startup+12.7003 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 6740
/proc/meminfo: memFree=30320004/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=65544 CPUtime=12.68 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 12335 0 0 0 1266 2 0 0 20 0 1 0 104414524 67117056 13897 33554432000 4194304 5796924 140733389339120 140733389336104 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 16386 13897 178 392 0 15985 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65544
[startup+25.5004 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 6740
/proc/meminfo: memFree=30250760/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=134464 CPUtime=25.48 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 14099 0 0 0 2545 3 0 0 20 0 1 0 104414524 137691136 29729 33554432000 4194304 5796924 140733389339120 140733389336408 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 33616 29729 178 392 0 33215 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 134464
[startup+51.1004 s]
/proc/loadavg: 2.15 2.18 2.18 4/177 6740
/proc/meminfo: memFree=30310884/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=85144 CPUtime=51.08 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 14522 0 0 0 5104 4 0 0 20 0 1 0 104414524 87187456 20648 33554432000 4194304 5796924 140733389339120 140733389336584 4594256 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 21286 20648 178 392 0 20885 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85144
[startup+102.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 6741
/proc/meminfo: memFree=30235464/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=134464 CPUtime=102.28 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 16922 0 0 0 10219 9 0 0 20 0 1 0 104414524 137691136 29229 33554432000 4194304 5796924 140733389339120 140733389336408 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 33616 29229 178 392 0 33215 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134464
[startup+162.3 s]
/proc/loadavg: 2.18 2.17 2.18 3/177 6742
/proc/meminfo: memFree=30230824/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=165284 CPUtime=162.27 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 18523 0 0 0 16215 12 0 0 20 0 1 0 104414524 169250816 38512 33554432000 4194304 5796924 140733389339120 140733389336760 4592613 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 41321 38512 178 392 0 40920 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 165284
[startup+222.307 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 6744
/proc/meminfo: memFree=30218740/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=134464 CPUtime=222.26 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 20244 0 0 0 22211 15 0 0 20 0 1 0 104414524 137691136 31277 33554432000 4194304 5796924 140733389339120 140733389336408 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 33616 31277 178 392 0 33215 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 134464
[startup+282.3 s]
/proc/loadavg: 2.29 2.20 2.18 4/177 6745
/proc/meminfo: memFree=30192588/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=165284 CPUtime=282.23 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 22169 0 0 0 28205 18 0 0 20 0 1 0 104414524 169250816 33968 33554432000 4194304 5796924 140733389339120 140733389336760 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 41321 33968 178 392 0 40920 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 165284
[startup+342.3 s]
/proc/loadavg: 2.19 2.18 2.18 4/177 6746
/proc/meminfo: memFree=30212988/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=165284 CPUtime=342.22 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 23379 0 0 0 34201 21 0 0 20 0 1 0 104414524 169250816 33338 33554432000 4194304 5796924 140733389339120 140733389336408 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 41321 33338 178 392 0 40920 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 165284
[startup+402.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/178 6750
/proc/meminfo: memFree=30211656/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=154360 CPUtime=402.21 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 24540 0 0 0 40197 24 0 0 20 0 1 0 104414524 158064640 30621 33554432000 4194304 5796924 140733389339120 140733389336408 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 38590 30621 178 392 0 38189 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 154360
[startup+462.3 s]
/proc/loadavg: 2.26 2.20 2.18 4/178 6773
/proc/meminfo: memFree=30124132/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=235268 CPUtime=462.2 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 25462 0 0 0 46194 26 0 0 20 0 1 0 104414524 240914432 49933 33554432000 4194304 5796924 140733389339120 140733389336760 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 58817 49933 178 392 0 58416 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 235268
[startup+522.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 6775
/proc/meminfo: memFree=30155680/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=235268 CPUtime=522.19 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 26883 0 0 0 52190 29 0 0 20 0 1 0 104414524 240914432 46954 33554432000 4194304 5796924 140733389339120 140733389336760 4606523 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 58817 46954 178 392 0 58416 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 235268
[startup+582.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 6776
/proc/meminfo: memFree=30157904/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=235268 CPUtime=582.18 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 28183 0 0 0 58186 32 0 0 20 0 1 0 104414524 240914432 42842 33554432000 4194304 5796924 140733389339120 140733389336760 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 58817 42842 178 392 0 58416 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 235268
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.01 2.10 2.15 3/177 6782
/proc/meminfo: memFree=30177504/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=185180 CPUtime=882.14 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 33455 0 0 0 88170 44 0 0 20 0 1 0 104414524 189624320 41533 33554432000 4194304 5796924 140733389339120 140733389336760 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 46295 41533 178 392 0 45894 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 185180
[startup+942.3 s]
/proc/loadavg: 2.15 2.12 2.15 3/177 6783
/proc/meminfo: memFree=30104028/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=235268 CPUtime=942.12 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 33787 0 0 0 94167 45 0 0 20 0 1 0 104414524 240914432 56682 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 58817 56682 178 392 0 58416 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 235268
[startup+1002.3 s]
/proc/loadavg: 1.99 2.08 2.13 4/178 6833
/proc/meminfo: memFree=30528780/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=185180 CPUtime=1002.12 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 35311 0 0 0 100164 48 0 0 20 0 1 0 104414524 189624320 41021 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 46295 41021 178 392 0 45894 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 185180
[startup+1062.3 s]
/proc/loadavg: 2.06 2.08 2.13 3/177 6834
/proc/meminfo: memFree=30444064/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=235268 CPUtime=1062.11 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 35641 0 0 0 106162 49 0 0 20 0 1 0 104414524 240914432 54634 33554432000 4194304 5796924 140733389339120 140733389336760 4606514 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 58817 54634 178 392 0 58416 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 235268
[startup+1122.3 s]
/proc/loadavg: 2.02 2.07 2.12 3/177 6836
/proc/meminfo: memFree=30475860/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=208056 CPUtime=1122.09 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 37236 0 0 0 112158 51 0 0 20 0 1 0 104414524 213049344 45172 33554432000 4194304 5796924 140733389339120 140733389336760 4606410 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 52014 45172 178 392 0 51613 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 208056
[startup+1182.3 s]
/proc/loadavg: 2.06 2.07 2.11 4/177 6837
/proc/meminfo: memFree=30394056/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=258144 CPUtime=1182.08 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 37580 0 0 0 118156 52 0 0 20 0 1 0 104414524 264339456 62881 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 64536 62881 178 392 0 64135 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 258144
[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.10 3/177 6838
/proc/meminfo: memFree=30478560/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=127916 CPUtime=1242.05 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 38150 0 0 0 124152 53 0 0 20 0 1 0 104414524 130985984 31405 33554432000 4194304 5796924 140733389339120 140733389336584 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 31979 31405 178 392 0 31578 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 127916
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.09 3/177 6839
/proc/meminfo: memFree=30420352/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=258144 CPUtime=1302.04 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 39467 0 0 0 130148 56 0 0 20 0 1 0 104414524 264339456 54177 33554432000 4194304 5796924 140733389339120 140733389336760 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 64536 54177 178 392 0 64135 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 258144
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.09 4/177 6840
/proc/meminfo: memFree=30356744/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=339532 CPUtime=1362.03 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 40006 0 0 0 136146 57 0 0 20 0 1 0 104414524 347680768 67489 33554432000 4194304 5796924 140733389339120 140733389336760 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 84883 67489 178 392 0 84482 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 339532
[startup+1422.3 s]
/proc/loadavg: 2.13 2.08 2.09 3/177 6842
/proc/meminfo: memFree=30447860/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=177236 CPUtime=1422.03 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 40462 0 0 0 142144 59 0 0 20 0 1 0 104414524 181489664 43600 33554432000 4194304 5796924 140733389339120 140733389336408 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 44309 43600 178 392 0 43908 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 177236
[startup+1482.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/177 6843
/proc/meminfo: memFree=30349408/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=258144 CPUtime=1482.01 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 41341 0 0 0 148140 61 0 0 20 0 1 0 104414524 264339456 57761 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 64536 57761 178 392 0 64135 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 258144
[startup+1542.31 s]
/proc/loadavg: 2.11 2.09 2.09 4/177 6844
/proc/meminfo: memFree=30335660/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=339532 CPUtime=1542.01 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 41881 0 0 0 154139 62 0 0 20 0 1 0 104414524 347680768 71585 33554432000 4194304 5796924 140733389339120 140733389336760 4592304 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 84883 71585 178 392 0 84482 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 339532
[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/178 6848
/proc/meminfo: memFree=30379636/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=208056 CPUtime=1601.99 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 42894 0 0 0 160135 64 0 0 20 0 1 0 104414524 213049344 50292 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 52014 50292 178 392 0 51613 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 208056
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/177 6849
/proc/meminfo: memFree=30378748/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=258144 CPUtime=1661.98 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 43220 0 0 0 166133 65 0 0 20 0 1 0 104414524 264339456 60833 33554432000 4194304 5796924 140733389339120 140733389336760 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 64536 60833 178 392 0 64135 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 258144
[startup+1722.3 s]
/proc/loadavg: 2.17 2.11 2.09 4/177 6851
/proc/meminfo: memFree=30304352/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=339532 CPUtime=1721.97 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 43753 0 0 0 172131 66 0 0 20 0 1 0 104414524 347680768 71073 33554432000 4194304 5796924 140733389339120 140733389336760 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 84883 71073 178 392 0 84482 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 339532
[startup+1782.3 s]
/proc/loadavg: 2.27 2.15 2.10 3/177 6852
/proc/meminfo: memFree=30385060/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=208056 CPUtime=1781.96 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 44761 0 0 0 178128 68 0 0 20 0 1 0 104414524 213049344 47732 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 52014 47732 178 392 0 51613 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 208056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.26 2.15 2.10 3/177 6852
/proc/meminfo: memFree=30416788/32872528 swapFree=14956/1314940
[pid=6739] ppid=6736 vsize=258144 CPUtime=1800.06 cores=0,2,4,6
/proc/6739/stat : 6739 (naps-1.02) R 6736 6739 5791 0 -1 4202496 45071 0 0 0 179937 69 0 0 20 0 1 0 104414524 264339456 52129 33554432000 4194304 5796924 140733389339120 140733389336760 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/6739/statm: 64536 52129 178 392 0 64135 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 258144
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 6739 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.695894
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 339532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.695894
maximum resident set size= 302724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45083
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= 70
involuntary context switches= 2032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.19436 second user time and 7.40987 second system time
The end