runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707941-1338153392/watcher-3707941-1338153392 -o /tmp/evaluation-result-3707941-1338153392/solver-3707941-1338153392 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707941-1338153392.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.01 2.01 2.00 3/174 30779
/proc/meminfo: memFree=28319092/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=12436 CPUtime=0 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 281464663 12734464 303 33554432000 134512640 137138936 4287865888 4287864416 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 3109 304 182 642 0 2123 0
[startup+0.0845271 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30779
/proc/meminfo: memFree=28319092/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=17528 CPUtime=0.08 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 1942 0 0 0 8 0 0 0 20 0 1 0 281464663 17948672 1896 33554432000 134512640 137138936 4287865888 4287864416 134517511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 4382 1897 489 642 0 3396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17528
[startup+0.100352 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30779
/proc/meminfo: memFree=28319092/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=19340 CPUtime=0.09 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 2761 0 0 0 9 0 0 0 20 0 1 0 281464663 19804160 2373 33554432000 134512640 137138936 4287865888 4287853212 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 4835 2373 184 642 0 4191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19340
[startup+0.300283 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30779
/proc/meminfo: memFree=28319092/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=21188 CPUtime=0.29 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 3236 0 0 0 28 1 0 0 20 0 1 0 281464663 21696512 2848 33554432000 134512640 137138936 4287865888 4287853020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 5297 2848 185 642 0 4653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21188
[startup+0.70026 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30779
/proc/meminfo: memFree=28319092/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=22736 CPUtime=0.69 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 4495 0 0 0 66 3 0 0 20 0 1 0 281464663 23281664 3250 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 5684 3250 192 642 0 5040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22736
[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30780
/proc/meminfo: memFree=28303172/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=33080 CPUtime=1.49 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 7074 0 0 0 145 4 0 0 20 0 1 0 281464663 33873920 5829 33554432000 134512640 137138936 4287865888 4287864416 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 8270 5829 192 642 0 7626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33080
[startup+3.10024 s]
/proc/loadavg: 2.09 2.02 2.01 3/175 30780
/proc/meminfo: memFree=28288912/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=52940 CPUtime=3.09 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 12045 0 0 0 305 4 0 0 20 0 1 0 281464663 54210560 10800 33554432000 134512640 137138936 4287865888 4287864424 136504147 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 13235 10800 192 642 0 12591 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52940
[startup+6.30027 s]
/proc/loadavg: 2.09 2.02 2.01 3/175 30780
/proc/meminfo: memFree=28250596/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=88496 CPUtime=6.29 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 20924 0 0 0 623 6 0 0 20 0 1 0 281464663 90619904 19679 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 22124 19679 192 642 0 21480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88496
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 30780
/proc/meminfo: memFree=28189108/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=146680 CPUtime=12.69 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 35478 0 0 0 1259 10 0 0 20 0 1 0 281464663 150200320 34233 33554432000 134512640 137138936 4287865888 4287864168 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 36670 34233 192 642 0 36026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146680
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 30780
/proc/meminfo: memFree=28086444/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=244972 CPUtime=25.49 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 60049 0 0 0 2534 15 0 0 20 0 1 0 281464663 250851328 58804 33554432000 134512640 137138936 4287865888 4287864168 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 61243 58804 192 642 0 60599 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244972
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 30780
/proc/meminfo: memFree=27934916/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=397164 CPUtime=51.08 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 98104 0 0 0 5084 24 0 0 20 0 1 0 281464663 406695936 96859 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 99291 96859 192 642 0 98647 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 397164
[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.00 3/175 30780
/proc/meminfo: memFree=27680452/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=647072 CPUtime=102.28 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 160584 0 0 0 10187 41 0 0 20 0 1 0 281464663 662601728 159339 33554432000 134512640 137138936 4287865888 4287864328 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 161768 159339 192 642 0 161124 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 647072
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/174 30780
/proc/meminfo: memFree=27679208/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=648204 CPUtime=162.24 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 160943 0 0 0 16180 44 0 0 20 0 1 0 281464663 663760896 159617 33554432000 134512640 137138936 4287865888 4287864816 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 162051 159617 192 642 0 161407 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 648204
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 30784
/proc/meminfo: memFree=27679096/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=648204 CPUtime=222.2 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 160990 0 0 0 22174 46 0 0 20 0 1 0 281464663 663760896 159617 33554432000 134512640 137138936 4287865888 4287864384 134618022 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 162051 159617 192 642 0 161407 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 648204
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 30784
/proc/meminfo: memFree=27549180/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=777828 CPUtime=282.16 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 193490 0 0 0 28160 56 0 0 20 0 1 0 281464663 796495872 192010 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 194457 192010 192 642 0 193813 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 777828
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30784
/proc/meminfo: memFree=27532220/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=777828 CPUtime=342.12 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 193532 0 0 0 34153 59 0 0 20 0 1 0 281464663 796495872 192010 33554432000 134512640 137138936 4287865888 4287864816 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 194457 192010 192 642 0 193813 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 777828
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30784
/proc/meminfo: memFree=27531628/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=777828 CPUtime=402.07 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 193579 0 0 0 40146 61 0 0 20 0 1 0 281464663 796495872 192010 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 194457 192010 192 642 0 193813 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 777828
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30784
/proc/meminfo: memFree=27455520/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=853420 CPUtime=462.02 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 212613 0 0 0 46132 70 0 0 20 0 1 0 281464663 873902080 210927 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 213355 210927 192 642 0 212711 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 853420
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 30785
/proc/meminfo: memFree=27455796/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=853420 CPUtime=521.99 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 212654 0 0 0 52126 73 0 0 20 0 1 0 281464663 873902080 210927 33554432000 134512640 137138936 4287865888 4287864816 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 213355 210927 192 642 0 212711 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 853420
[startup+582.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/175 30785
/proc/meminfo: memFree=27455824/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=853420 CPUtime=581.96 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 212694 0 0 0 58120 76 0 0 20 0 1 0 281464663 873902080 210927 33554432000 134512640 137138936 4287865888 4287864816 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 213355 210927 192 642 0 212711 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 853420
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26643904/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=935276 CPUtime=1121.84 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 233254 0 0 0 112080 104 0 0 20 0 1 0 281464663 957722624 231372 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 233819 231372 192 642 0 233175 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 935276
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 30829
/proc/meminfo: memFree=26528956/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=935276 CPUtime=1181.84 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 233254 0 0 0 118077 107 0 0 20 0 1 0 281464663 957722624 231372 33554432000 134512640 137138936 4287865888 4287864816 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 233819 231372 192 642 0 233175 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 935276
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 30829
/proc/meminfo: memFree=26528956/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=935276 CPUtime=1241.83 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 233254 0 0 0 124074 109 0 0 20 0 1 0 281464663 957722624 231372 33554432000 134512640 137138936 4287865888 4287864816 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 233819 231372 192 642 0 233175 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 935276
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 30829
/proc/meminfo: memFree=26439464/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1024568 CPUtime=1301.81 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255667 0 0 0 130064 117 0 0 20 0 1 0 281464663 1049157632 253687 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256142 253687 192 642 0 255498 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1024568
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 30829
/proc/meminfo: memFree=26429820/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1024568 CPUtime=1361.77 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255711 0 0 0 136058 119 0 0 20 0 1 0 281464663 1049157632 253687 33554432000 134512640 137138936 4287865888 4287864816 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256142 253687 192 642 0 255498 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1024568
[startup+1422.31 s]
/proc/loadavg: 2.11 2.06 2.01 3/176 30833
/proc/meminfo: memFree=26430280/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1024568 CPUtime=1421.76 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255730 0 0 0 142054 122 0 0 20 0 1 0 281464663 1049157632 253687 33554432000 134512640 137138936 4287865888 4287864816 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256142 253687 192 642 0 255498 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1024568
[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/175 30833
/proc/meminfo: memFree=26430192/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1024568 CPUtime=1481.74 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255730 0 0 0 148050 124 0 0 20 0 1 0 281464663 1049157632 253687 33554432000 134512640 137138936 4287865888 4287864816 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256142 253687 192 642 0 255498 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1024568
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/175 30833
/proc/meminfo: memFree=26430344/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1024568 CPUtime=1541.72 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255730 0 0 0 154046 126 0 0 20 0 1 0 281464663 1049157632 253687 33554432000 134512640 137138936 4287865888 4287864816 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256142 253687 192 642 0 255498 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1024568
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/175 30833
/proc/meminfo: memFree=26430248/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1024568 CPUtime=1601.72 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255730 0 0 0 160044 128 0 0 20 0 1 0 281464663 1049157632 253687 33554432000 134512640 137138936 4287865888 4287864784 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256142 253687 192 642 0 255498 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1024568
[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 30833
/proc/meminfo: memFree=26427052/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1661.71 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 166041 130 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864404 134551810 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1025132
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26427080/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1721.7 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 172038 132 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287865004 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1025132
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426984/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1781.7 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 178035 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864816 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1025132
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426968/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1791.3 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 178995 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864816 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 1025132
[startup+1795.1 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426968/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1794.49 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 179314 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864816 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 1025132
[startup+1796.7 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426968/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1796.09 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 179474 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864816 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 1025132
[startup+1797.5 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426828/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1796.89 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 179554 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864784 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 1025132
[startup+1798.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426828/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1797.69 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 179634 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864816 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1025132
[startup+1798.51 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426952/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1797.89 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 179654 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864784 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 1025132
[startup+1798.6 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 30834
/proc/meminfo: memFree=26426952/32873852 swapFree=6848/6848
[pid=30779] ppid=30777 vsize=1025132 CPUtime=1797.99 cores=0,2,4,6
/proc/30779/stat : 30779 (bsolo) R 30777 30779 26585 0 -1 4202496 255869 0 0 0 179664 135 0 0 20 0 1 0 281464663 1049735168 253826 33554432000 134512640 137138936 4287865888 4287864816 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30779/statm: 256283 253826 192 642 0 255639 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1025132
Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.01
CPU user time (s): 1796.65
CPU system time (s): 1.36079
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1025132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 1.36079
maximum resident set size= 1015308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255870
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= 451
involuntary context switches= 1942
runsolver used 5.75312 second user time and 11.4243 second system time
The end