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-3462953-1307177251/watcher-3462953-1307177251 -o /tmp/evaluation-result-3462953-1307177251/solver-3462953-1307177251 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462953-1307177251.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/561 5088
/proc/meminfo: memFree=30075772/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=11428 CPUtime=0 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 1 0 829323789 11702272 365 33554432000 134512640 137138936 4287748272 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 2857 365 194 642 0 2158 0
[startup+0.046714 s]
/proc/loadavg: 2.00 2.01 2.00 2/561 5088
/proc/meminfo: memFree=30075772/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=12276 CPUtime=0.04 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 779 0 0 0 4 0 0 0 25 0 1 0 829323789 12570624 638 33554432000 134512640 137138936 4287748272 18446744073709551615 136504355 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3069 638 192 642 0 2425 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12276
[startup+0.10075 s]
/proc/loadavg: 2.00 2.01 2.00 2/561 5088
/proc/meminfo: memFree=30075772/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=12276 CPUtime=0.09 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 779 0 0 0 9 0 0 0 25 0 1 0 829323789 12570624 638 33554432000 134512640 137138936 4287748272 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3069 638 192 642 0 2425 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12276
[startup+0.300709 s]
/proc/loadavg: 2.00 2.01 2.00 2/561 5088
/proc/meminfo: memFree=30075772/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=12516 CPUtime=0.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 837 0 0 0 29 0 0 0 25 0 1 0 829323789 12816384 696 33554432000 134512640 137138936 4287748272 18446744073709551615 136502654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3129 696 192 642 0 2485 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12516
[startup+0.70064 s]
/proc/loadavg: 2.00 2.01 2.00 2/561 5088
/proc/meminfo: memFree=30075772/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=13084 CPUtime=0.69 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 963 0 0 0 69 0 0 0 25 0 1 0 829323789 13398016 822 33554432000 134512640 137138936 4287748272 18446744073709551615 134542557 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3271 822 192 642 0 2627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13084
[startup+1.50051 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30067456/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=14024 CPUtime=1.49 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 1216 0 0 0 149 0 0 0 25 0 1 0 829323789 14360576 1075 33554432000 134512640 137138936 4287748272 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3506 1075 192 642 0 2862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14024
[startup+3.10025 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30062164/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=14724 CPUtime=3.09 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 1373 0 0 0 309 0 0 0 25 0 1 0 829323789 15077376 1232 33554432000 134512640 137138936 4287748272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3681 1232 192 642 0 3037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14724
[startup+6.30064 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30061176/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=14940 CPUtime=6.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 1433 0 0 0 628 1 0 0 25 0 1 0 829323789 15298560 1292 33554432000 134512640 137138936 4287748272 18446744073709551615 136500289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3735 1292 192 642 0 3091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14940
[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30056688/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=15536 CPUtime=12.69 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 1582 0 0 0 1267 2 0 0 25 0 1 0 829323789 15908864 1441 33554432000 134512640 137138936 4287748272 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 3884 1441 192 642 0 3240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15536
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5089
/proc/meminfo: memFree=30053460/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=16504 CPUtime=25.49 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 1845 0 0 0 2546 3 0 0 25 0 1 0 829323789 16900096 1704 33554432000 134512640 137138936 4287748272 18446744073709551615 136500383 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 4126 1704 192 642 0 3482 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16504
[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5090
/proc/meminfo: memFree=30049716/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=18108 CPUtime=51.08 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 2225 0 0 0 5104 4 0 0 25 0 1 0 829323789 18542592 2084 33554432000 134512640 137138936 4287748272 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 4527 2084 192 642 0 3883 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18108
[startup+102.322 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 5091
/proc/meminfo: memFree=30042632/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=19336 CPUtime=102.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 2547 0 0 0 10221 10 0 0 25 0 1 0 829323789 19800064 2406 33554432000 134512640 137138936 4287748272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 4834 2406 192 642 0 4190 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19336
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 5093
/proc/meminfo: memFree=30039632/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=20144 CPUtime=162.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 2746 0 0 0 16214 15 0 0 25 0 1 0 829323789 20627456 2605 33554432000 134512640 137138936 4287748272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5036 2605 192 642 0 4392 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20144
[startup+222.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/562 5094
/proc/meminfo: memFree=30038728/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=20640 CPUtime=222.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 2879 0 0 0 22210 19 0 0 25 0 1 0 829323789 21135360 2738 33554432000 134512640 137138936 4287748272 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5160 2738 192 642 0 4516 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20640
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/562 5096
/proc/meminfo: memFree=30037948/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=21232 CPUtime=282.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 3019 0 0 0 28205 24 0 0 25 0 1 0 829323789 21741568 2878 33554432000 134512640 137138936 4287748272 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5308 2878 192 642 0 4664 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 21232
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/562 5098
/proc/meminfo: memFree=30036304/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=22148 CPUtime=342.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 3244 0 0 0 34200 29 0 0 25 0 1 0 829323789 22679552 3103 33554432000 134512640 137138936 4287748272 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5537 3103 192 642 0 4893 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 22148
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/562 5099
/proc/meminfo: memFree=30035892/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=22412 CPUtime=402.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 3312 0 0 0 40195 34 0 0 25 0 1 0 829323789 22949888 3171 33554432000 134512640 137138936 4287748272 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5603 3171 192 642 0 4959 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 22412
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/562 5101
/proc/meminfo: memFree=30035972/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=23140 CPUtime=462.3 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 3487 0 0 0 46191 39 0 0 25 0 1 0 829323789 23695360 3346 33554432000 134512640 137138936 4287748272 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5785 3346 192 642 0 5141 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23140
[startup+522.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/562 5102
/proc/meminfo: memFree=30035448/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=23612 CPUtime=522.29 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 3613 0 0 0 52187 42 0 0 25 0 1 0 829323789 24178688 3472 33554432000 134512640 137138936 4287748272 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5903 3472 192 642 0 5259 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 23612
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5104
/proc/meminfo: memFree=30032688/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=23616 CPUtime=582.3 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 3614 0 0 0 58183 47 0 0 25 0 1 0 829323789 24182784 3473 33554432000 134512640 137138936 4287748272 18446744073709551615 136500260 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 5904 3473 192 642 0 5260 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23616
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30029360/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=25920 CPUtime=1062.3 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4182 0 0 0 106144 86 0 0 25 0 1 0 829323789 26542080 4041 33554432000 134512640 137138936 4287748272 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6480 4041 192 642 0 5836 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 25920
[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/562 5130
/proc/meminfo: memFree=30028704/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26672 CPUtime=1122.3 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 112139 91 0 0 25 0 1 0 829323789 27312128 4229 33554432000 134512640 137138936 4287748272 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6668 4229 192 642 0 6024 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 26672
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/562 5132
/proc/meminfo: memFree=30027676/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26592 CPUtime=1182.3 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 118136 94 0 0 25 0 1 0 829323789 27230208 4226 33554432000 134512640 137138936 4287748272 18446744073709551615 134607587 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6648 4226 192 642 0 6004 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 26592
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 5134
/proc/meminfo: memFree=30027524/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26560 CPUtime=1242.3 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 124131 99 0 0 25 0 1 0 829323789 27197440 4218 33554432000 134512640 137138936 4287748272 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6640 4218 192 642 0 5996 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 26560
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5135
/proc/meminfo: memFree=30028104/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26560 CPUtime=1302.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 130127 104 0 0 25 0 1 0 829323789 27197440 4218 33554432000 134512640 137138936 4287748272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6640 4218 192 642 0 5996 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 26560
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5137
/proc/meminfo: memFree=30028576/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26560 CPUtime=1362.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 136122 109 0 0 25 0 1 0 829323789 27197440 4218 33554432000 134512640 137138936 4287748272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6640 4218 192 642 0 5996 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 26560
[startup+1422.32 s]
/proc/loadavg: 2.22 2.08 2.02 3/562 5138
/proc/meminfo: memFree=30028568/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26548 CPUtime=1422.33 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 142119 114 0 0 25 0 1 0 829323789 27185152 4215 33554432000 134512640 137138936 4287748272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6637 4215 192 642 0 5993 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 26548
[startup+1482.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/562 5140
/proc/meminfo: memFree=30028164/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26544 CPUtime=1482.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 148112 119 0 0 25 0 1 0 829323789 27181056 4214 33554432000 134512640 137138936 4287748272 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6636 4214 192 642 0 5992 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 26544
[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5142
/proc/meminfo: memFree=30029008/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26544 CPUtime=1542.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 154106 125 0 0 25 0 1 0 829323789 27181056 4214 33554432000 134512640 137138936 4287748272 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6636 4214 192 642 0 5992 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 26544
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/562 5143
/proc/meminfo: memFree=30029100/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=26544 CPUtime=1602.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4370 0 0 0 160102 129 0 0 25 0 1 0 829323789 27181056 4214 33554432000 134512640 137138936 4287748272 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 6636 4214 192 642 0 5992 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 26544
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/562 5145
/proc/meminfo: memFree=30027580/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1662.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 166098 133 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134618242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 28140
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/562 5146
/proc/meminfo: memFree=30027540/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1722.32 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 172093 139 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 28140
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30024780/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1782.31 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 178088 143 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 28140
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30026020/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1785.52 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 178408 144 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 28140
[startup+1791.92 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30027240/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1791.93 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 179049 144 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 28140
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30027240/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1795.13 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 179368 145 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 28140
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30026744/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1796.72 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 179527 145 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 28140
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30026248/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1797.52 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 179607 145 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 28140
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 5148
/proc/meminfo: memFree=30026248/32950928 swapFree=41528364/67111528
[pid=5088] ppid=5086 vsize=28140 CPUtime=1797.92 cores=0,2,4,6
/proc/5088/stat : 5088 (bsolo) R 5086 5088 3716 0 -1 4202496 4769 0 0 0 179647 145 0 0 25 0 1 0 829323789 28815360 4613 33554432000 134512640 137138936 4287748272 18446744073709551615 134607222 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5088/statm: 7035 4613 192 642 0 6391 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 28140
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798
CPU user time (s): 1796.55
CPU system time (s): 1.45478
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 28140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4769
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= 3141
runsolver used 10.4064 second user time and 22.4956 second system time
The end