runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462806-1307183133/watcher-3462806-1307183133 -o /tmp/evaluation-result-3462806-1307183133/solver-3462806-1307183133 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462806-1307183133.opb
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.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=12840 CPUtime=0 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 563 0 0 0 0 0 0 0 25 0 1 0 829913053 13148160 517 33554432000 134512640 137138936 4288343664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 3210 518 184 642 0 2328 0
[startup+0.048175 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=18304 CPUtime=0.04 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 1995 0 0 0 4 0 0 0 25 0 1 0 829913053 18743296 1909 33554432000 134512640 137138936 4288343664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 4576 1910 236 642 0 3694 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18304
[startup+0.100232 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=24868 CPUtime=0.09 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 3771 0 0 0 9 0 0 0 25 0 1 0 829913053 25464832 3606 33554432000 134512640 137138936 4288343664 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 6217 3607 301 642 0 5335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24868
[startup+0.30121 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=53416 CPUtime=0.29 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11068 0 0 0 28 1 0 0 25 0 1 0 829913053 54697984 10616 33554432000 134512640 137138936 4288343664 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53416
[startup+0.701125 s]
/proc/loadavg: 2.08 2.03 2.00 2/400 9989
/proc/meminfo: memFree=30012776/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=53416 CPUtime=0.69 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11068 0 0 0 68 1 0 0 25 0 1 0 829913053 54697984 10616 33554432000 134512640 137138936 4288343664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53416
[startup+1.50098 s]
/proc/loadavg: 2.07 2.03 2.00 4/401 9990
/proc/meminfo: memFree=29970112/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=53416 CPUtime=1.49 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11068 0 0 0 148 1 0 0 25 0 1 0 829913053 54697984 10616 33554432000 134512640 137138936 4288343664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53416
[startup+3.10072 s]
/proc/loadavg: 2.07 2.03 2.00 4/401 9990
/proc/meminfo: memFree=29966892/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=59392 CPUtime=3.09 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 93620 0 0 0 293 16 0 0 25 0 1 0 829913053 60817408 12021 33554432000 134512640 137138936 4288343664 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 14848 12046 192 642 0 14204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59392
[startup+6.30113 s]
/proc/loadavg: 2.07 2.03 2.00 5/401 9990
/proc/meminfo: memFree=29947048/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=81096 CPUtime=6.29 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 405022 0 0 0 580 49 0 0 25 0 1 0 829913053 83042304 17573 33554432000 134512640 137138936 4288343664 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 20274 17573 192 642 0 19630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81096
[startup+12.701 s]
/proc/loadavg: 2.13 2.04 2.01 5/401 9990
/proc/meminfo: memFree=29903264/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=123168 CPUtime=12.69 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 983758 0 0 0 1168 101 0 0 25 0 1 0 829913053 126124032 27959 33554432000 134512640 137138936 4288343664 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 30792 27986 192 642 0 30148 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123168
[startup+25.5007 s]
/proc/loadavg: 2.11 2.04 2.01 5/401 9991
/proc/meminfo: memFree=29822904/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=200508 CPUtime=25.5 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 2001760 0 0 0 2347 203 0 0 25 0 1 0 829913053 205320192 47411 33554432000 134512640 137138936 4288343664 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 50127 47411 192 642 0 49483 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 200508
[startup+51.1012 s]
/proc/loadavg: 2.07 2.03 2.00 4/401 9991
/proc/meminfo: memFree=29688192/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=335828 CPUtime=51.09 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 3745431 0 0 0 4740 369 0 0 25 0 1 0 829913053 343887872 81232 33554432000 134512640 137138936 4288343664 18446744073709551615 134544582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 83957 81232 192 642 0 83313 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 335828
[startup+102.315 s]
/proc/loadavg: 2.07 2.04 2.00 4/401 9993
/proc/meminfo: memFree=29490260/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=530960 CPUtime=102.31 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 6255890 0 0 0 9613 618 0 0 25 0 1 0 829913053 543703040 130041 33554432000 134512640 137138936 4288343664 18446744073709551615 134576340 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 132740 130041 192 642 0 132096 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 530960
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/401 9994
/proc/meminfo: memFree=29272728/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=746604 CPUtime=162.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 9047448 0 0 0 15331 899 0 0 25 0 1 0 829913053 764522496 183949 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 186651 183949 192 642 0 186007 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 746604
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 5/401 9996
/proc/meminfo: memFree=29081500/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=938460 CPUtime=222.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 11516686 0 0 0 21088 1142 0 0 25 0 1 0 829913053 960983040 231887 33554432000 134512640 137138936 4288343664 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 234615 231887 192 642 0 233971 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 938460
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 5/401 9998
/proc/meminfo: memFree=28964044/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=282.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 26935 1295 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 136500573 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1053988
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/401 9999
/proc/meminfo: memFree=28963012/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=342.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 32932 1298 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1053988
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 10001
/proc/meminfo: memFree=28963584/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=402.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 38929 1301 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1053988
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 5/401 10002
/proc/meminfo: memFree=28964160/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1053988 CPUtime=462.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 44926 1304 0 0 25 0 1 0 829913053 1079283712 260793 33554432000 134512640 137138936 4288343664 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 263497 260793 192 642 0 262853 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1053988
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/401 10004
/proc/meminfo: memFree=29107968/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=910520 CPUtime=522.3 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 50924 1306 0 0 25 0 1 0 829913053 932372480 224931 33554432000 134512640 137138936 4288343664 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 227630 224931 192 642 0 226986 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 910520
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 5/401 10006
/proc/meminfo: memFree=29107936/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=910520 CPUtime=582.31 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 13017476 0 0 0 56922 1309 0 0 25 0 1 0 829913053 932372480 224931 33554432000 134512640 137138936 4288343664 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 227630 224931 192 642 0 226986 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 910520
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28954484/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1060668 CPUtime=1122.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 110705 1527 0 0 25 0 1 0 829913053 1086124032 262436 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 265167 262436 192 642 0 264523 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1060668
[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/401 10022
/proc/meminfo: memFree=29033084/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1182.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 116702 1530 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 982700
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/401 10023
/proc/meminfo: memFree=29033176/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1242.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 122699 1533 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 982700
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/401 10025
/proc/meminfo: memFree=29032528/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1302.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 128698 1535 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 982700
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/401 10026
/proc/meminfo: memFree=29033724/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1362.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 134695 1537 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 982700
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 10028
/proc/meminfo: memFree=29033948/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1422.35 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 140695 1540 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 982700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 10030
/proc/meminfo: memFree=29034036/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1482.32 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 146691 1541 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 982700
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10058
/proc/meminfo: memFree=28980652/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=982700 CPUtime=1542.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 14971616 0 0 0 152689 1544 0 0 25 0 1 0 829913053 1006284800 242976 33554432000 134512640 137138936 4288343664 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 245675 242976 192 642 0 245031 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 982700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10060
/proc/meminfo: memFree=28762240/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1043372 CPUtime=1602.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15771110 0 0 0 158604 1629 0 0 25 0 1 0 829913053 1068412928 258120 33554432000 134512640 137138936 4288343664 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 260843 258120 192 642 0 260199 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1043372
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 10061
/proc/meminfo: memFree=28632620/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1662.33 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 164582 1651 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1059236
[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/401 10063
/proc/meminfo: memFree=28540936/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1722.34 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 170580 1654 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1059236
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28463028/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1782.34 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 176579 1655 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1059236
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28459308/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1785.53 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 176898 1655 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1059236
[startup+1791.92 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28452116/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1791.96 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 177540 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1059236
[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28448140/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1795.15 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 177859 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 1059236
[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28446528/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1796.74 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 178018 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1059236
[startup+1797.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28445412/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1797.54 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 178098 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1059236
[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28445412/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=1059236 CPUtime=1797.94 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202496 15973818 0 0 0 178138 1656 0 0 25 0 1 0 829913053 1084657664 262078 33554432000 134512640 137138936 4288343664 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9989/statm: 264809 262078 192 642 0 264165 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1059236
[startup+1798 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 10065
/proc/meminfo: memFree=28445412/32950904 swapFree=56615552/67111528
[pid=9989] ppid=9987 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/9989/stat : 9989 (bsolo) R 9987 9989 8078 0 -1 4202500 15973819 0 0 0 178143 1660 0 0 25 0 1 0 829913053 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/9989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798
CPU time (s): 1798.05
CPU user time (s): 1781.44
CPU system time (s): 16.6105
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1061008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.44
system time used= 16.6105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15973819
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= 5
involuntary context switches= 2403
runsolver used 6.584 second user time and 16.3495 second system time
The end