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-3463066-1307177250/watcher-3463066-1307177250 -o /tmp/evaluation-result-3463066-1307177250/solver-3463066-1307177250 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463066-1307177250.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.17 2.05 1.95 2/464 15733
/proc/meminfo: memFree=30009600/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=17104 CPUtime=0 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 448 0 0 0 0 0 0 0 25 0 1 0 829324778 17514496 402 33554432000 134512640 137138936 4292877920 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 4276 402 189 642 0 2174 0
[startup+0.0567429 s]
/proc/loadavg: 2.17 2.05 1.95 2/464 15733
/proc/meminfo: memFree=30009600/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=19992 CPUtime=0.05 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 1349 0 0 0 5 0 0 0 25 0 1 0 829324778 20471808 1303 33554432000 134512640 137138936 4292877920 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 4998 1303 362 642 0 2896 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19992
[startup+0.100735 s]
/proc/loadavg: 2.17 2.05 1.95 2/464 15733
/proc/meminfo: memFree=30009600/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=22604 CPUtime=0.09 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 2154 0 0 0 9 0 0 0 25 0 1 0 829324778 23146496 2108 33554432000 134512640 137138936 4292877920 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 5651 2108 518 642 0 3549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22604
[startup+0.300701 s]
/proc/loadavg: 2.17 2.05 1.95 2/464 15733
/proc/meminfo: memFree=30009600/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=33872 CPUtime=0.29 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 5643 0 0 0 29 0 0 0 25 0 1 0 829324778 34684928 5597 33554432000 134512640 137138936 4292877920 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 8468 5598 1217 642 0 6366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33872
[startup+0.700669 s]
/proc/loadavg: 2.17 2.05 1.95 2/464 15733
/proc/meminfo: memFree=30009600/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=46144 CPUtime=0.69 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 10606 0 0 0 68 1 0 0 25 0 1 0 829324778 47251456 9102 33554432000 134512640 137138936 4292877920 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 11536 9102 184 642 0 10892 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46144
[startup+1.50057 s]
/proc/loadavg: 2.17 2.05 1.95 3/465 15734
/proc/meminfo: memFree=29973012/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=53976 CPUtime=1.49 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 12563 0 0 0 141 8 0 0 25 0 1 0 829324778 55271424 11059 33554432000 134512640 137138936 4292877920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 13494 11059 185 642 0 12850 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53976
[startup+3.10027 s]
/proc/loadavg: 2.16 2.05 1.95 3/465 15734
/proc/meminfo: memFree=29963436/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=53976 CPUtime=3.09 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 12563 0 0 0 287 22 0 0 25 0 1 0 829324778 55271424 11059 33554432000 134512640 137138936 4292877920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 13494 11059 185 642 0 12850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53976
[startup+6.30065 s]
/proc/loadavg: 2.16 2.05 1.95 3/465 15734
/proc/meminfo: memFree=29960712/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=60420 CPUtime=6.29 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 17914 0 0 0 604 25 0 0 25 0 1 0 829324778 61870080 12677 33554432000 134512640 137138936 4292877920 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 15105 12677 192 642 0 14461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60420
[startup+12.7005 s]
/proc/loadavg: 2.13 2.05 1.95 3/465 15734
/proc/meminfo: memFree=29936916/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=82212 CPUtime=12.69 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 23338 0 0 0 1240 29 0 0 25 0 1 0 829324778 84185088 18101 33554432000 134512640 137138936 4292877920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 20553 18101 192 642 0 19909 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82212
[startup+25.5003 s]
/proc/loadavg: 2.11 2.05 1.95 3/465 15734
/proc/meminfo: memFree=29894540/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=123092 CPUtime=25.49 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 33583 0 0 0 2515 34 0 0 25 0 1 0 829324778 126046208 28346 33554432000 134512640 137138936 4292877920 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 30773 28346 192 642 0 30129 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 123092
[startup+51.1008 s]
/proc/loadavg: 2.07 2.04 1.95 3/465 15735
/proc/meminfo: memFree=29812628/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=202676 CPUtime=51.09 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 53479 0 0 0 5070 39 0 0 25 0 1 0 829324778 207540224 48242 33554432000 134512640 137138936 4292877920 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 50669 48242 192 642 0 50025 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 202676
[startup+102.318 s]
/proc/loadavg: 2.03 2.03 1.95 3/465 15736
/proc/meminfo: memFree=29709164/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=304612 CPUtime=102.31 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 78946 0 0 0 10184 47 0 0 25 0 1 0 829324778 311922688 73709 33554432000 134512640 137138936 4292877920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 76153 73709 192 642 0 75509 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 304612
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/465 15738
/proc/meminfo: memFree=29614880/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=397136 CPUtime=162.29 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 102076 0 0 0 16175 54 0 0 25 0 1 0 829324778 406667264 96839 33554432000 134512640 137138936 4292877920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 99284 96839 192 642 0 98640 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 397136
[startup+222.3 s]
/proc/loadavg: 2.10 2.05 1.96 3/465 15740
/proc/meminfo: memFree=29530892/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=480704 CPUtime=222.3 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 122991 0 0 0 22169 61 0 0 25 0 1 0 829324778 492240896 117754 33554432000 134512640 137138936 4292877920 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 120176 117754 192 642 0 119532 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 480704
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 1.97 3/465 15741
/proc/meminfo: memFree=29484480/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=526020 CPUtime=282.3 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 134318 0 0 0 28165 65 0 0 25 0 1 0 829324778 538644480 129081 33554432000 134512640 137138936 4292877920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 131505 129081 192 642 0 130861 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 526020
[startup+342.3 s]
/proc/loadavg: 2.11 2.06 1.97 3/465 15743
/proc/meminfo: memFree=29431488/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=579420 CPUtime=342.3 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 147658 0 0 0 34161 69 0 0 25 0 1 0 829324778 593326080 142421 33554432000 134512640 137138936 4292877920 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 144855 142421 192 642 0 144211 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 579420
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 1.97 3/465 15744
/proc/meminfo: memFree=29376888/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=633452 CPUtime=402.3 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 161176 0 0 0 40157 73 0 0 25 0 1 0 829324778 648654848 155939 33554432000 134512640 137138936 4292877920 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 158363 155939 192 642 0 157719 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 633452
[startup+462.301 s]
/proc/loadavg: 2.01 2.04 1.97 3/465 15746
/proc/meminfo: memFree=29334684/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=675392 CPUtime=462.3 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 171634 0 0 0 46153 77 0 0 25 0 1 0 829324778 691601408 166397 33554432000 134512640 137138936 4292877920 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 168848 166397 192 642 0 168204 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 675392
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 1.97 3/465 15748
/proc/meminfo: memFree=29292728/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=717696 CPUtime=522.3 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 182216 0 0 0 52150 80 0 0 25 0 1 0 829324778 734920704 176979 33554432000 134512640 137138936 4292877920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 179424 176979 192 642 0 178780 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 717696
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/465 15749
/proc/meminfo: memFree=29252772/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=754960 CPUtime=582.31 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 191533 0 0 0 58146 85 0 0 25 0 1 0 829324778 773079040 186296 33554432000 134512640 137138936 4292877920 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 188740 186296 192 642 0 188096 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 754960
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28965688/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1062.31 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 106117 114 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1039356
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 15779
/proc/meminfo: memFree=28965908/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1122.32 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 112115 117 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 136511087 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1039356
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15780
/proc/meminfo: memFree=28965004/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1182.32 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 118114 118 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1039356
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15782
/proc/meminfo: memFree=28964108/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1242.32 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 124113 119 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1039356
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15783
/proc/meminfo: memFree=28964056/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1302.33 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 130112 121 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134618001 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1039356
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 15785
/proc/meminfo: memFree=28964268/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1362.32 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 136110 122 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1039356
[startup+1422.32 s]
/proc/loadavg: 2.03 2.01 2.00 3/465 15787
/proc/meminfo: memFree=28965352/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1422.34 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 142111 123 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1039356
[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/465 15788
/proc/meminfo: memFree=28964948/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1482.33 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 148109 124 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1039356
[startup+1542.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/465 15790
/proc/meminfo: memFree=28966660/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1542.33 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 154108 125 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1039356
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/465 15791
/proc/meminfo: memFree=28966632/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1602.33 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 160107 126 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1039356
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 15793
/proc/meminfo: memFree=28966108/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1662.34 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 166107 127 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1039356
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 15795
/proc/meminfo: memFree=28966332/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1722.33 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 172106 127 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1039356
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15831
/proc/meminfo: memFree=28959768/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1782.33 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 178105 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1039356
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15832
/proc/meminfo: memFree=28955796/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1791.95 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 179067 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1039356
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15832
/proc/meminfo: memFree=28954060/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1795.14 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 179386 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1039356
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15832
/proc/meminfo: memFree=28953564/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1796.73 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 179545 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1039356
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15832
/proc/meminfo: memFree=28952184/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1797.53 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 179625 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1039356
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15832
/proc/meminfo: memFree=28952184/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1797.93 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 179665 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1039356
[startup+1798.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 15832
/proc/meminfo: memFree=28952184/32950928 swapFree=45617076/67111528
[pid=15733] ppid=15731 vsize=1039356 CPUtime=1798.13 cores=1,3,5,7
/proc/15733/stat : 15733 (bsolo) R 15731 15733 13462 0 -1 4202496 262810 0 0 0 179685 128 0 0 25 0 1 0 829324778 1064300544 257412 33554432000 134512640 137138936 4292877920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15733/statm: 259839 257412 192 642 0 259195 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (KiB) 1039356
Child status: 0
Real time (s): 1798.19
CPU time (s): 1798.23
CPU user time (s): 1796.9
CPU system time (s): 1.3328
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1039356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.9
system time used= 1.3328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262810
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= 3
involuntary context switches= 1681
runsolver used 8.08777 second user time and 19.3721 second system time
The end