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-3707500-1338141563/watcher-3707500-1338141563 -o /tmp/evaluation-result-3707500-1338141563/solver-3707500-1338141563 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707500-1338141563.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.00 1.94 3/174 29747
/proc/meminfo: memFree=28443416/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=18400 CPUtime=0 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 280281755 18841600 297 33554432000 134512640 137138936 4290540000 4290538408 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 4600 297 183 642 0 2091 0
[startup+0.102408 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 29747
/proc/meminfo: memFree=28443416/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=24584 CPUtime=0.09 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 2246 0 0 0 9 0 0 0 20 0 1 0 280281755 25174016 2199 33554432000 134512640 137138936 4290540000 4290538392 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 6146 2199 539 642 0 3637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24584
[startup+0.200371 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 29747
/proc/meminfo: memFree=28443416/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=30184 CPUtime=0.19 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 4002 0 0 0 18 1 0 0 20 0 1 0 280281755 30908416 3915 33554432000 134512640 137138936 4290540000 4290538432 136297647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 7546 3916 865 642 0 5037 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30184
[startup+0.300366 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 29747
/proc/meminfo: memFree=28443416/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=36268 CPUtime=0.29 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 5886 0 0 0 28 1 0 0 20 0 1 0 280281755 37138432 5720 33554432000 134512640 137138936 4290540000 4290538592 134531305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 9067 5720 1199 642 0 6558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36268
[startup+0.700288 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 29747
/proc/meminfo: memFree=28443416/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=61552 CPUtime=0.69 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14759 0 0 0 67 2 0 0 20 0 1 0 280281755 63029248 12522 33554432000 134512640 137138936 4290540000 4289559968 134543407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15388 12522 184 642 0 14744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61552
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 29748
/proc/meminfo: memFree=28393948/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=61816 CPUtime=1.48 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14844 0 0 0 146 2 0 0 20 0 1 0 280281755 63299584 12607 33554432000 134512640 137138936 4290540000 4289559792 134542273 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15454 12607 184 642 0 14810 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61816
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 29748
/proc/meminfo: memFree=28393204/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=61816 CPUtime=3.08 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14846 0 0 0 306 2 0 0 20 0 1 0 280281755 63299584 12609 33554432000 134512640 137138936 4290540000 4289559792 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15454 12609 184 642 0 14810 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61816
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 29748
/proc/meminfo: memFree=28392832/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=61948 CPUtime=6.29 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14866 0 0 0 626 3 0 0 20 0 1 0 280281755 63434752 12629 33554432000 134512640 137138936 4290540000 4289559792 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15487 12629 184 642 0 14843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61948
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 29748
/proc/meminfo: memFree=28392448/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=61948 CPUtime=12.69 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14870 0 0 0 1266 3 0 0 20 0 1 0 280281755 63434752 12633 33554432000 134512640 137138936 4290540000 4289559792 134542017 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15487 12633 184 642 0 14843 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61948
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 29748
/proc/meminfo: memFree=28391912/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=62344 CPUtime=25.48 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14980 0 0 0 2545 3 0 0 20 0 1 0 280281755 63840256 12742 33554432000 134512640 137138936 4290540000 4289559792 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15586 12742 184 642 0 14942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62344
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 29752
/proc/meminfo: memFree=28391872/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=62344 CPUtime=51.07 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14996 0 0 0 5103 4 0 0 20 0 1 0 280281755 63840256 12742 33554432000 134512640 137138936 4290540000 4289559792 134542128 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15586 12742 184 642 0 14942 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62344
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 29775
/proc/meminfo: memFree=28391336/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=62740 CPUtime=102.27 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15106 0 0 0 10220 7 0 0 20 0 1 0 280281755 64245760 12915 33554432000 134512640 137138936 4290540000 4289559792 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15685 12915 184 642 0 15041 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62740
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 29775
/proc/meminfo: memFree=28389888/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=63004 CPUtime=162.24 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15189 0 0 0 16216 8 0 0 20 0 1 0 280281755 64516096 12998 33554432000 134512640 137138936 4290540000 4289559780 136297747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 15751 12998 184 642 0 15107 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 63004
[startup+222.306 s]
/proc/loadavg: 2.12 2.03 1.95 3/175 29889
/proc/meminfo: memFree=28363772/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=74232 CPUtime=222.24 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 1255743 0 0 0 22035 189 0 0 20 0 1 0 280281755 76013568 15788 33554432000 134512640 137138936 4290540000 4290538580 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 18558 15788 192 642 0 17914 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 74232
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/175 29889
/proc/meminfo: memFree=28257788/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=97016 CPUtime=282.23 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 2923199 0 0 0 27799 424 0 0 20 0 1 0 280281755 99344384 21484 33554432000 134512640 137138936 4290540000 4290538752 134575390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 24254 21484 192 642 0 23610 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 97016
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/175 29890
/proc/meminfo: memFree=28166924/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=124576 CPUtime=342.22 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 4723868 0 0 0 33544 678 0 0 20 0 1 0 280281755 127565824 28393 33554432000 134512640 137138936 4290540000 4290538712 136504259 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 31144 28393 192 642 0 30500 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 124576
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/175 29890
/proc/meminfo: memFree=28089132/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=162544 CPUtime=402.2 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 6142464 0 0 0 39335 885 0 0 20 0 1 0 280281755 166445056 37869 33554432000 134512640 137138936 4290540000 4290539104 134543407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 40636 37869 192 642 0 39992 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 162544
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/175 29890
/proc/meminfo: memFree=28022696/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=195100 CPUtime=462.16 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 7627307 0 0 0 45109 1107 0 0 20 0 1 0 280281755 199782400 46032 33554432000 134512640 137138936 4290540000 4290539116 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 48775 46032 192 642 0 48131 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 195100
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29890
/proc/meminfo: memFree=27956964/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=230456 CPUtime=522.15 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 8788139 0 0 0 50925 1290 0 0 20 0 1 0 280281755 235986944 54858 33554432000 134512640 137138936 4290540000 4290538928 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 57614 54858 192 642 0 56970 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 230456
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29890
/proc/meminfo: memFree=27915300/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=260376 CPUtime=582.14 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 9762030 0 0 0 56778 1436 0 0 20 0 1 0 280281755 266625024 62349 33554432000 134512640 137138936 4290540000 4290538928 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 65094 62349 192 642 0 64450 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 260376
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29893
/proc/meminfo: memFree=27891532/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=284348 CPUtime=642.13 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 10736338 0 0 0 62627 1586 0 0 20 0 1 0 280281755 291172352 68337 33554432000 134512640 137138936 4290540000 4290538664 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 71087 68337 192 642 0 70443 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 284348
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29894
/proc/meminfo: memFree=27870308/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=305784 CPUtime=702.13 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 11519605 0 0 0 68498 1715 0 0 20 0 1 0 280281755 313122816 73684 33554432000 134512640 137138936 4290540000 4290538928 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 76446 73684 192 642 0 75802 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 305784
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29894
/proc/meminfo: memFree=27848608/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=327208 CPUtime=762.12 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 12237447 0 0 0 74379 1833 0 0 20 0 1 0 280281755 335060992 79046 33554432000 134512640 137138936 4290540000 4290538928 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 81802 79046 192 642 0 81158 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 327208
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29894
/proc/meminfo: memFree=27828272/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=347732 CPUtime=822.08 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 12976372 0 0 0 80255 1953 0 0 20 0 1 0 280281755 356077568 84180 33554432000 134512640 137138936 4290540000 4290538928 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 86933 84180 192 642 0 86289 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 347732
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29894
/proc/meminfo: memFree=27808212/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=368100 CPUtime=882.04 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 13693684 0 0 0 86133 2071 0 0 20 0 1 0 280281755 376934400 89286 33554432000 134512640 137138936 4290540000 4290538752 134575368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 92025 89286 192 642 0 91381 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 368100
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29894
/proc/meminfo: memFree=27784208/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=387316 CPUtime=942.01 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14554489 0 0 0 91994 2207 0 0 20 0 1 0 280281755 396611584 94086 33554432000 134512640 137138936 4290540000 4290538928 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 96829 94086 192 642 0 96185 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 387316
Solver just ended. Dumping a history of the last processes samples
[startup+972.8 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27741800/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=399636 CPUtime=972.51 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 14946033 0 0 0 94980 2271 0 0 20 0 1 0 280281755 409227264 97150 33554432000 134512640 137138936 4290540000 4290538928 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 99909 97150 192 642 0 99265 0
Current children cumulated CPU time (s) 972.51
Current children cumulated vsize (KiB) 399636
[startup+985.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27736964/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=404404 CPUtime=985.31 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15111879 0 0 0 96234 2297 0 0 20 0 1 0 280281755 414109696 98356 33554432000 134512640 137138936 4290540000 4290538664 136574033 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101101 98356 192 642 0 100457 0
Current children cumulated CPU time (s) 985.31
Current children cumulated vsize (KiB) 404404
[startup+992 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27735228/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=406128 CPUtime=991.71 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15207663 0 0 0 96858 2313 0 0 20 0 1 0 280281755 415875072 98780 33554432000 134512640 137138936 4290540000 4290538928 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101532 98780 192 642 0 100888 0
Current children cumulated CPU time (s) 991.71
Current children cumulated vsize (KiB) 406128
[startup+995.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27734608/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=406392 CPUtime=994.91 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15243568 0 0 0 97173 2318 0 0 20 0 1 0 280281755 416145408 98845 33554432000 134512640 137138936 4290540000 4290538752 134578220 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101598 98845 192 642 0 100954 0
Current children cumulated CPU time (s) 994.91
Current children cumulated vsize (KiB) 406392
[startup+998.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27734608/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=407300 CPUtime=998.11 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15293701 0 0 0 97486 2325 0 0 20 0 1 0 280281755 417075200 99058 33554432000 134512640 137138936 4290540000 4290538752 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101825 99058 192 642 0 101181 0
Current children cumulated CPU time (s) 998.11
Current children cumulated vsize (KiB) 407300
[startup+999.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27734608/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=407300 CPUtime=998.9 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15303479 0 0 0 97564 2326 0 0 20 0 1 0 280281755 417075200 99076 33554432000 134512640 137138936 4290540000 4290538752 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101825 99076 192 642 0 101181 0
Current children cumulated CPU time (s) 998.9
Current children cumulated vsize (KiB) 407300
[startup+1000.01 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27734484/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=407432 CPUtime=999.71 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15318672 0 0 0 97643 2328 0 0 20 0 1 0 280281755 417210368 99070 33554432000 134512640 137138936 4290540000 4290538752 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101858 99088 192 642 0 101214 0
Current children cumulated CPU time (s) 999.71
Current children cumulated vsize (KiB) 407432
[startup+1000.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27734484/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=407432 CPUtime=1000.1 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15323931 0 0 0 97681 2329 0 0 20 0 1 0 280281755 417210368 99049 33554432000 134512640 137138936 4290540000 4290538752 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101858 99070 192 642 0 101214 0
Current children cumulated CPU time (s) 1000.1
Current children cumulated vsize (KiB) 407432
[startup+1000.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29895
/proc/meminfo: memFree=27734484/32873852 swapFree=6848/6848
[pid=29747] ppid=29745 vsize=406792 CPUtime=1000.21 cores=0,2,4,6
/proc/29747/stat : 29747 (bsolo) R 29745 29747 26585 0 -1 4202496 15324787 0 0 0 97691 2330 0 0 20 0 1 0 280281755 416555008 98944 33554432000 134512640 137138936 4290540000 4290539116 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29747/statm: 101698 98944 192 642 0 101054 0
Current children cumulated CPU time (s) 1000.21
Current children cumulated vsize (KiB) 406792
Child status: 0
Real time (s): 1000.56
CPU time (s): 1000.28
CPU user time (s): 976.97
CPU system time (s): 23.3095
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 407432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 976.969
system time used= 23.3095
maximum resident set size= 396416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15325747
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= 173
involuntary context switches= 1083
runsolver used 2.56061 second user time and 5.95509 second system time
The end