runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880447-1245148352/watcher-1880447-1245148352 -o /tmp/evaluation-result-1880447-1245148352/solver-1880447-1245148352 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880447-1245148352.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 900
/proc/meminfo: memFree=1866736/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=18724 CPUtime=0
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 272 0 0 0 0 0 0 0 18 0 1 0 182435512 19173376 256 1992294400 134512640 137136520 4294956256 18446744073709551615 134534144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4681 258 174 640 0 3995 0

[startup+0.0295891 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 900
/proc/meminfo: memFree=1866736/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=11424 CPUtime=0.02
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 482 0 0 0 2 0 0 0 18 0 1 0 182435512 11698176 424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 2856 424 187 640 0 2212 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11424

[startup+0.101596 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 900
/proc/meminfo: memFree=1866736/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=11720 CPUtime=0.09
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 635 0 0 0 8 1 0 0 18 0 1 0 182435512 12001280 539 1992294400 134512640 137136520 4294956256 18446744073709551615 134710178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 2930 539 224 640 0 2286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11720

[startup+0.301616 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 900
/proc/meminfo: memFree=1866736/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=12104 CPUtime=0.29
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2491 0 0 0 28 1 0 0 19 0 1 0 182435512 12394496 648 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 3012 634 224 640 0 2368 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12104

[startup+0.701656 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 900
/proc/meminfo: memFree=1866736/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=14812 CPUtime=0.69
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 4396 0 0 0 66 3 0 0 22 0 1 0 182435512 15167488 1031 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 3703 1031 284 640 0 3059 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14812

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1863528/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=15672 CPUtime=1.49
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 5307 0 0 0 146 3 0 0 25 0 1 0 182435512 16048128 1116 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 3918 1116 284 640 0 3274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15672

[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1863272/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=16724 CPUtime=3.09
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 7669 0 0 0 305 4 0 0 25 0 1 0 182435512 17125376 971 1992294400 134512640 137136520 4294956256 18446744073709551615 135455744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4181 971 289 640 0 3537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16724

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1862504/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=18100 CPUtime=6.29
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 12949 0 0 0 622 7 0 0 25 0 1 0 182435512 18534400 1098 1992294400 134512640 137136520 4294956256 18446744073709551615 135246798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4525 1098 289 640 0 3881 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18100

[startup+12.7029 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1863472/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=18460 CPUtime=12.69
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 25946 0 0 0 1255 14 0 0 25 0 1 0 182435512 18903040 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4615 1197 289 640 0 3971 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18460

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1862960/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=19096 CPUtime=25.48
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 50783 0 0 0 2523 25 0 0 25 0 1 0 182435512 19554304 1213 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4774 1213 290 640 0 4130 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19096

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1863272/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=18404 CPUtime=51.08
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 112624 0 0 0 5053 55 0 0 25 0 1 0 182435512 18845696 1009 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4601 1009 292 640 0 3957 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18404

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1862384/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=19212 CPUtime=102.27
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 244957 0 0 0 10108 119 0 0 25 0 1 0 182435512 19673088 1123 1992294400 134512640 137136520 4294956256 18446744073709551615 135454678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4803 1123 292 640 0 4159 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19212

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1862320/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=19384 CPUtime=162.25
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 371794 0 0 0 16044 181 0 0 25 0 1 0 182435512 19849216 1205 1992294400 134512640 137136520 4294956256 18446744073709551615 135455330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4846 1205 292 640 0 4202 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19384

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1862064/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=19648 CPUtime=222.23
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 482845 0 0 0 21991 232 0 0 25 0 1 0 182435512 20119552 1262 1992294400 134512640 137136520 4294956256 18446744073709551615 135079058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4912 1262 292 640 0 4268 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19648

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1861808/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=19868 CPUtime=282.22
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 660609 0 0 0 27909 313 0 0 25 0 1 0 182435512 20344832 1354 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4967 1354 292 640 0 4323 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19868

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1861808/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=18004 CPUtime=342.21
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 813406 0 0 0 33843 378 0 0 25 0 1 0 182435512 18436096 1258 1992294400 134512640 137136520 4294956256 18446744073709551615 135380750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4501 1258 292 640 0 3857 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 18004

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1861168/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=19976 CPUtime=402.19
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 936598 0 0 0 39786 433 0 0 25 0 1 0 182435512 20455424 1470 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 4994 1470 292 640 0 4350 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 19976

[startup+462.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 901
/proc/meminfo: memFree=1861232/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=20292 CPUtime=462.18
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 1053351 0 0 0 45731 487 0 0 25 0 1 0 182435512 20779008 1562 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 5073 1562 292 640 0 4429 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 20292

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 901
/proc/meminfo: memFree=1860912/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=21068 CPUtime=522.15
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 1179898 0 0 0 51669 546 0 0 25 0 1 0 182435512 21573632 1743 1992294400 134512640 137136520 4294956256 18446744073709551615 135438857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 5267 1743 292 640 0 4623 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 21068

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1860464/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=20844 CPUtime=582.14
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 1297843 0 0 0 57616 598 0 0 25 0 1 0 182435512 21344256 1757 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 5211 1757 292 640 0 4567 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 20844

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 901
/proc/meminfo: memFree=1859696/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=21560 CPUtime=642.13
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 1424511 0 0 0 63556 657 0 0 25 0 1 0 182435512 22077440 1895 1992294400 134512640 137136520 4294956256 18446744073709551615 135464024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 5390 1895 292 640 0 4746 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 21560

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1857712/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=23608 CPUtime=1122.01
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2396036 0 0 0 111082 1119 0 0 25 0 1 0 182435512 24174592 2454 1992294400 134512640 137136520 4294956256 18446744073709551615 135455332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 5902 2454 292 640 0 5258 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 23608

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856944/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24196 CPUtime=1182
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2508803 0 0 0 117028 1172 0 0 25 0 1 0 182435512 24776704 2487 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6049 2487 292 640 0 5405 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 24196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856688/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24572 CPUtime=1241.98
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2632265 0 0 0 122965 1233 0 0 25 0 1 0 182435512 25161728 2583 1992294400 134512640 137136520 4294956256 18446744073709551615 135464017 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6143 2583 292 640 0 5499 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 24572

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856240/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24848 CPUtime=1301.97
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2752876 0 0 0 128908 1289 0 0 25 0 1 0 182435512 25444352 2687 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6212 2687 292 640 0 5568 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 24848

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856560/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24744 CPUtime=1361.94
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2869216 0 0 0 134844 1350 0 0 25 0 1 0 182435512 25337856 2776 1992294400 134512640 137136520 4294956256 18446744073709551615 135439012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6186 2776 292 640 0 5542 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 24744

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1855600/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24500 CPUtime=1421.94
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 2982316 0 0 0 140788 1406 0 0 25 0 1 0 182435512 25088000 2573 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6125 2573 292 640 0 5481 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 24500

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856688/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24416 CPUtime=1481.91
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3093450 0 0 0 146730 1461 0 0 25 0 1 0 182435512 25001984 2577 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6104 2577 292 640 0 5460 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 24416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1855408/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24708 CPUtime=1541.9
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3201840 0 0 0 152673 1517 0 0 25 0 1 0 182435512 25300992 2759 1992294400 134512640 137136520 4294956256 18446744073709551615 135464024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6177 2759 292 640 0 5533 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 24708

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856496/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24764 CPUtime=1601.89
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3322420 0 0 0 158612 1577 0 0 25 0 1 0 182435512 25358336 2549 1992294400 134512640 137136520 4294956256 18446744073709551615 135443223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6191 2549 292 640 0 5547 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 24764

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 903
/proc/meminfo: memFree=1856240/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24800 CPUtime=1661.87
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3444573 0 0 0 164550 1637 0 0 25 0 1 0 182435512 25395200 2714 1992294400 134512640 137136520 4294956256 18446744073709551615 135068940 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6200 2714 292 640 0 5556 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 24800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1857456/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24264 CPUtime=1721.84
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3628159 0 0 0 170458 1726 0 0 25 0 1 0 182435512 24846336 2435 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6066 2435 292 640 0 5422 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 24264

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1856752/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=25260 CPUtime=1781.83
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3771221 0 0 0 176388 1795 0 0 25 0 1 0 182435512 25866240 2511 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6315 2511 292 640 0 5671 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 25260

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1857264/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24816 CPUtime=1791.43
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3787799 0 0 0 177338 1805 0 0 25 0 1 0 182435512 25411584 2474 1992294400 134512640 137136520 4294956256 18446744073709551615 135079384 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6204 2474 292 640 0 5560 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 24816

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1855664/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=23708 CPUtime=1794.63
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3792812 0 0 0 177656 1807 0 0 25 0 1 0 182435512 24276992 2458 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 5927 2463 292 640 0 5283 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 23708

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1855984/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24880 CPUtime=1796.23
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3795330 0 0 0 177814 1809 0 0 25 0 1 0 182435512 25477120 2429 1992294400 134512640 137136520 4294956256 18446744073709551615 135455556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6220 2429 292 640 0 5576 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 24880

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1856688/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=25272 CPUtime=1797.03
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3796649 0 0 0 177894 1809 0 0 25 0 1 0 182435512 25878528 2697 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6318 2697 292 640 0 5674 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 25272

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1856688/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=25272 CPUtime=1797.83
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3797762 0 0 0 177973 1810 0 0 25 0 1 0 182435512 25878528 2596 1992294400 134512640 137136520 4294956256 18446744073709551615 134767527 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6318 2596 292 640 0 5674 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 25272

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1855920/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24848 CPUtime=1798.22
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3798298 0 0 0 178012 1810 0 0 25 0 1 0 182435512 25444352 2599 1992294400 134512640 137136520 4294956256 18446744073709551615 135464201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6212 2601 292 640 0 5568 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (KiB) 24848

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 909
/proc/meminfo: memFree=1855920/2055920 swapFree=4182564/4192956
[pid=900] ppid=898 vsize=24848 CPUtime=1798.33
/proc/900/stat : 900 (bsolo) R 898 900 741 0 -1 4194304 3798449 0 0 0 178022 1811 0 0 25 0 1 0 182435512 25444352 2750 1992294400 134512640 137136520 4294956256 18446744073709551615 135462563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/900/statm: 6212 2750 292 640 0 5568 0
Current children cumulated CPU time (s) 1798.33
Current children cumulated vsize (KiB) 24848

Child status: 0
Real time (s): 1798.87
CPU time (s): 1798.4
CPU user time (s): 1780.29
CPU system time (s): 18.1132
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 25584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.29
system time used= 18.1132
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3798608
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= 2
involuntary context switches= 2807

runsolver used 1.64875 second user time and 3.3025 second system time

The end