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-4082870-1465243650/watcher-4082870-1465243650 -o /tmp/evaluation-result-4082870-1465243650/solver-4082870-1465243650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465222007-31553 --watchdog 1960 naps-1.02 HOME/instance-4082870-1465243650.opb
pid=2743
running on 4 cores: 1,3,5,7
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.10 2.14 2.16 3/176 2746
/proc/meminfo: memFree=29841936/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=6568 CPUtime=0 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 106298615 6725632 206 33554432000 4194304 5796924 140734976768832 140736340192696 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 1642 207 124 392 0 1241 0
[startup+0.100161 s]
/proc/loadavg: 2.10 2.14 2.16 3/176 2746
/proc/meminfo: memFree=29841936/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=10000 CPUtime=0.09 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 1204 0 0 0 9 0 0 0 20 0 1 0 106298615 10240000 1078 33554432000 4194304 5796924 140734976768832 140736340192696 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2500 1079 124 392 0 2099 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10000
[startup+0.200304 s]
/proc/loadavg: 2.10 2.14 2.16 3/176 2746
/proc/meminfo: memFree=29841936/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=13920 CPUtime=0.19 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 2143 0 0 0 19 0 0 0 20 0 1 0 106298615 14254080 2017 33554432000 4194304 5796924 140734976768832 140736340192696 4261418 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 3480 2017 124 392 0 3079 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13920
[startup+0.300275 s]
/proc/loadavg: 2.10 2.14 2.16 3/176 2746
/proc/meminfo: memFree=29841936/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=17552 CPUtime=0.29 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 3067 0 0 0 29 0 0 0 20 0 1 0 106298615 17973248 2941 33554432000 4194304 5796924 140734976768832 140736340192696 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 4388 2942 124 392 0 3987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17552
[startup+0.70024 s]
/proc/loadavg: 2.10 2.14 2.16 3/176 2746
/proc/meminfo: memFree=29841936/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=32448 CPUtime=0.69 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 6785 0 0 0 68 1 0 0 20 0 1 0 106298615 33226752 6659 33554432000 4194304 5796924 140734976768832 140734976768056 4404063 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 8112 6660 124 392 0 7711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32448
[startup+1.50024 s]
/proc/loadavg: 2.10 2.14 2.16 3/177 2747
/proc/meminfo: memFree=29799200/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=62464 CPUtime=1.49 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 14232 0 0 0 147 2 0 0 20 0 1 0 106298615 63963136 14106 33554432000 4194304 5796924 140734976768832 140734976768056 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 15616 14107 124 392 0 15215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62464
[startup+3.10023 s]
/proc/loadavg: 2.10 2.14 2.16 3/177 2747
/proc/meminfo: memFree=29772664/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=76016 CPUtime=3.09 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 17862 0 0 0 306 3 0 0 20 0 1 0 106298615 77840384 17444 33554432000 4194304 5796924 140734976768832 140734976765048 4865685 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 19004 17444 139 392 0 18603 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76016
[startup+6.30023 s]
/proc/loadavg: 2.10 2.14 2.16 3/177 2747
/proc/meminfo: memFree=29757772/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=86360 CPUtime=6.29 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 20282 0 0 0 625 4 0 0 20 0 1 0 106298615 88432640 19897 33554432000 4194304 5796924 140734976768832 140734976765048 5096609 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 21590 19897 139 392 0 21189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86360
[startup+12.7002 s]
/proc/loadavg: 2.08 2.13 2.16 3/177 2747
/proc/meminfo: memFree=29734340/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=103976 CPUtime=12.69 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 23777 0 0 0 1264 5 0 0 20 0 1 0 106298615 106471424 24118 33554432000 4194304 5796924 140734976768832 140734976765048 4425326 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 25994 24118 139 392 0 25593 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103976
[startup+25.5003 s]
/proc/loadavg: 2.07 2.13 2.15 3/177 2747
/proc/meminfo: memFree=29684708/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=140352 CPUtime=25.48 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 29725 0 0 0 2541 7 0 0 20 0 1 0 106298615 143720448 32540 33554432000 4194304 5796924 140734976768832 140734976765048 4806878 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 35088 32540 139 392 0 34687 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140352
[startup+51.1003 s]
/proc/loadavg: 2.04 2.12 2.15 3/177 2747
/proc/meminfo: memFree=29582252/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=215692 CPUtime=51.09 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 38902 0 0 0 5097 12 0 0 20 0 1 0 106298615 220868608 49730 33554432000 4194304 5796924 140734976768832 140734976765048 4806841 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 53923 49730 139 392 0 53522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 215692
[startup+102.3 s]
/proc/loadavg: 2.19 2.14 2.15 3/177 2794
/proc/meminfo: memFree=29864532/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=341116 CPUtime=102.28 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 55714 0 0 0 10209 19 0 0 20 0 1 0 106298615 349302784 83615 33554432000 4194304 5796924 140734976768832 140734976765048 5096680 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 85279 83615 139 392 0 84878 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 341116
[startup+162.3 s]
/proc/loadavg: 2.26 2.16 2.16 3/178 2798
/proc/meminfo: memFree=29521024/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=577456 CPUtime=162.25 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 76278 0 0 0 16196 29 0 0 20 0 1 0 106298615 591314944 132172 33554432000 4194304 5796924 140734976768832 140734976765048 4295445 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 144364 132172 139 392 0 143963 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 577456
[startup+222.307 s]
/proc/loadavg: 2.13 2.14 2.15 3/177 2800
/proc/meminfo: memFree=26297752/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=819616 CPUtime=222.24 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 95217 0 0 0 22184 40 0 0 20 0 1 0 106298615 839286784 201922 33554432000 4194304 5796924 140734976768832 140734976765048 5087558 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 204904 201922 139 392 0 204503 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 819616
[startup+282.3 s]
/proc/loadavg: 2.18 2.15 2.15 3/177 2801
/proc/meminfo: memFree=20686832/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=7917460 CPUtime=282.21 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 439272 0 0 0 28033 188 0 0 20 0 1 0 106298615 8107479040 1598366 33554432000 4194304 5796924 140734976768832 140734976766616 4648320 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 1979365 1598366 151 392 0 1978964 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 7917460
[startup+342.3 s]
/proc/loadavg: 2.16 2.15 2.15 3/177 2802
/proc/meminfo: memFree=19022156/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=8897048 CPUtime=342.2 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 575821 0 0 0 33993 227 0 0 20 0 1 0 106298615 9110577152 2013407 33554432000 4194304 5796924 140734976768832 140734976766152 4648289 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2224262 2013407 152 392 0 2223861 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 8897048
[startup+402.3 s]
/proc/loadavg: 2.22 2.16 2.15 3/177 2803
/proc/meminfo: memFree=19134284/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9159992 CPUtime=402.2 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 642553 0 0 0 39961 259 0 0 20 0 1 0 106298615 9379831808 1985287 33554432000 4194304 5796924 140734976768832 140734976765944 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2289998 1985287 167 392 0 2289597 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 9159992
[startup+462.3 s]
/proc/loadavg: 2.29 2.18 2.16 3/177 2804
/proc/meminfo: memFree=19131572/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9160920 CPUtime=462.19 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 642819 0 0 0 45960 259 0 0 20 0 1 0 106298615 9380782080 1985548 33554432000 4194304 5796924 140734976768832 140734976765944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2290230 1985548 167 392 0 2289829 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 9160920
[startup+522.3 s]
/proc/loadavg: 2.16 2.16 2.15 3/177 2806
/proc/meminfo: memFree=19130260/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9162004 CPUtime=522.18 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 643112 0 0 0 51959 259 0 0 20 0 1 0 106298615 9381892096 1985837 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2290501 1985837 167 392 0 2290100 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 9162004
[startup+582.3 s]
/proc/loadavg: 2.21 2.17 2.16 3/177 2807
/proc/meminfo: memFree=19128032/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9163216 CPUtime=582.16 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 643527 0 0 0 57957 259 0 0 20 0 1 0 106298615 9383133184 1986244 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2290804 1986244 167 392 0 2290403 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 9163216
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 2817
/proc/meminfo: memFree=19118752/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9168652 CPUtime=942.07 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645085 0 0 0 93947 260 0 0 20 0 1 0 106298615 9388699648 1988184 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292163 1988184 168 392 0 2291762 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 9168652
[startup+1002.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 2818
/proc/meminfo: memFree=19117940/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9169708 CPUtime=1002.05 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645373 0 0 0 99945 260 0 0 20 0 1 0 106298615 9389780992 1988446 33554432000 4194304 5796924 140734976768832 140734976765944 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292427 1988446 168 392 0 2292026 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 9169708
[startup+1062.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/177 2819
/proc/meminfo: memFree=19116708/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9170500 CPUtime=1062.04 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645573 0 0 0 105943 261 0 0 20 0 1 0 106298615 9390592000 1988627 33554432000 4194304 5796924 140734976768832 140734976765944 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292625 1988627 168 392 0 2292224 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 9170500
[startup+1122.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/176 2820
/proc/meminfo: memFree=19116088/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9170632 CPUtime=1122.02 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645649 0 0 0 111941 261 0 0 20 0 1 0 106298615 9390727168 1988670 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292658 1988670 168 392 0 2292257 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 9170632
[startup+1182.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 2822
/proc/meminfo: memFree=19113404/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9170764 CPUtime=1182.01 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645705 0 0 0 117940 261 0 0 20 0 1 0 106298615 9390862336 1988706 33554432000 4194304 5796924 140734976768832 140734976765944 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292691 1988706 168 392 0 2292290 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 9170764
[startup+1242.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 2823
/proc/meminfo: memFree=19111480/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9171028 CPUtime=1242 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645801 0 0 0 123939 261 0 0 20 0 1 0 106298615 9391132672 1989234 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292757 1989234 168 392 0 2292356 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 9171028
[startup+1302.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 2824
/proc/meminfo: memFree=19108184/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9171292 CPUtime=1301.97 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645900 0 0 0 129936 261 0 0 20 0 1 0 106298615 9391403008 1989653 33554432000 4194304 5796924 140734976768832 140734976765944 4607766 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292823 1989653 168 392 0 2292422 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 9171292
[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/178 2828
/proc/meminfo: memFree=19106292/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9171424 CPUtime=1361.95 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 645956 0 0 0 135934 261 0 0 20 0 1 0 106298615 9391538176 1989841 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292856 1989841 168 392 0 2292455 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 9171424
[startup+1422.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 2829
/proc/meminfo: memFree=19106144/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9171968 CPUtime=1421.94 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646074 0 0 0 141933 261 0 0 20 0 1 0 106298615 9392095232 1990058 33554432000 4194304 5796924 140734976768832 140734976766104 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292992 1990058 168 392 0 2292591 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 9171968
[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/177 2831
/proc/meminfo: memFree=19106060/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9171968 CPUtime=1481.92 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646090 0 0 0 147931 261 0 0 20 0 1 0 106298615 9392095232 1990065 33554432000 4194304 5796924 140734976768832 140734976766104 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292992 1990065 168 392 0 2292591 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 9171968
[startup+1542.31 s]
/proc/loadavg: 2.26 2.25 2.19 3/177 2832
/proc/meminfo: memFree=19106200/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9171968 CPUtime=1541.92 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646136 0 0 0 153931 261 0 0 20 0 1 0 106298615 9392095232 1990124 33554432000 4194304 5796924 140734976768832 140734976766104 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2292992 1990124 168 392 0 2292591 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 9171968
[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 2833
/proc/meminfo: memFree=19104424/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9172100 CPUtime=1601.9 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646166 0 0 0 159929 261 0 0 20 0 1 0 106298615 9392230400 1990353 33554432000 4194304 5796924 140734976768832 140734976765944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2293025 1990353 168 392 0 2292624 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 9172100
[startup+1662.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/177 2834
/proc/meminfo: memFree=19095528/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9172496 CPUtime=1661.88 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646269 0 0 0 165927 261 0 0 20 0 1 0 106298615 9392635904 1992590 33554432000 4194304 5796924 140734976768832 140734976765944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2293124 1992590 168 392 0 2292723 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 9172496
[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/177 2835
/proc/meminfo: memFree=19081672/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9172628 CPUtime=1721.87 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646302 0 0 0 171926 261 0 0 20 0 1 0 106298615 9392771072 1996104 33554432000 4194304 5796924 140734976768832 140734976765944 4568961 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2293157 1996104 168 392 0 2292756 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 9172628
[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.18 3/177 2837
/proc/meminfo: memFree=19065524/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9172760 CPUtime=1781.86 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646349 0 0 0 177925 261 0 0 20 0 1 0 106298615 9392906240 1999974 33554432000 4194304 5796924 140734976768832 140734976765816 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2293190 1999974 168 392 0 2292789 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 9172760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.39 2.27 2.19 3/177 2837
/proc/meminfo: memFree=19056688/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=9172760 CPUtime=1800.06 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202496 646349 0 0 0 179745 261 0 0 20 0 1 0 106298615 9392906240 2002164 33554432000 4194304 5796924 140734976768832 140734976765816 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 2293190 2002164 168 392 0 2292789 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9172760
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 2746 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.39 2.27 2.19 3/177 2837
/proc/meminfo: memFree=19056688/32872528 swapFree=15644/1722384
[pid=2746] ppid=2743 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/2746/stat : 2746 (naps-1.02) R 2743 2746 31536 0 -1 4202500 646361 0 0 0 179745 271 0 0 20 0 1 0 106298615 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2746/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.23
CPU user time (s): 1797.45
CPU system time (s): 2.77658
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 10372624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.45
system time used= 2.77658
maximum resident set size= 9003048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646361
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= 469
involuntary context switches= 1810
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41033 second user time and 7.06992 second system time
The end