runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3299592-1304093891/watcher-3299592-1304093891 -o /tmp/evaluation-result-3299592-1304093891/solver-3299592-1304093891 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299592-1304093891.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.75 7.68 7.60 6/180 26588
/proc/meminfo: memFree=30881728/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=21312 CPUtime=0 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 617 0 0 0 0 0 0 0 25 0 1 0 520986152 21823488 546 33554432000 4194304 4964704 140736874855184 18446744073709551615 239476694784 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26588/statm: 5328 547 385 189 0 202 0
[startup+0.0111441 s]
/proc/loadavg: 6.75 7.68 7.60 6/180 26588
/proc/meminfo: memFree=30881728/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=21580 CPUtime=0 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 704 0 0 0 0 0 0 0 25 0 1 0 520986152 22097920 632 33554432000 4194304 4964704 140736874855184 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/26588/statm: 5395 632 398 189 0 269 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 21580
[startup+0.147097 s]
/proc/loadavg: 6.75 7.68 7.60 6/180 26588
/proc/meminfo: memFree=30881728/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=168916 CPUtime=0.8 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 1438 0 0 0 80 0 0 0 25 0 4 0 520986152 172969984 1357 33554432000 4194304 4964704 140736874855184 18446744073709551615 239476800031 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 42328 1539 458 189 0 36677 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 168916
[startup+0.815478 s]
/proc/loadavg: 6.75 7.68 7.60 6/180 26588
/proc/meminfo: memFree=30881728/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=170104 CPUtime=3.25 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 2214 0 0 0 325 0 0 0 25 0 4 0 520986152 174186496 2133 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670179 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 42526 2133 458 189 0 36875 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 170104
[startup+0.933962 s]
/proc/loadavg: 6.75 7.68 7.60 6/180 26588
/proc/meminfo: memFree=30881728/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=170224 CPUtime=3.65 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 2343 0 0 0 365 0 0 0 25 0 4 0 520986152 174309376 2262 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 42556 2262 458 189 0 36905 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 170224
[startup+1.50085 s]
/proc/loadavg: 6.75 7.68 7.60 6/180 26588
/proc/meminfo: memFree=30881728/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=171568 CPUtime=5.92 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 3166 0 0 0 592 0 0 0 25 0 4 0 520986152 175685632 3049 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670291 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 42892 3049 458 189 0 37241 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 171568
[startup+3.10055 s]
/proc/loadavg: 6.75 7.68 7.60 9/184 26592
/proc/meminfo: memFree=30867692/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=172240 CPUtime=12.31 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 3783 0 0 0 1231 0 0 0 25 0 4 0 520986152 176373760 3666 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 43060 3666 460 189 0 37409 0
[pid=26588/tid=26590] ppid=26586 vsize=172240 CPUtime=3.07 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 741 0 0 0 307 0 0 0 25 0 4 0 520986154 176373760 3666 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=172240 CPUtime=3.07 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 1236 0 0 0 307 0 0 0 25 0 4 0 520986154 176373760 3666 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=172240 CPUtime=3.06 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 549 0 0 0 306 0 0 0 25 0 4 0 520986154 176373760 3666 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 172240
[startup+6.30094 s]
/proc/loadavg: 6.85 7.69 7.60 9/184 26592
/proc/meminfo: memFree=30862348/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=173452 CPUtime=25.09 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 4686 0 0 0 2508 1 0 0 25 0 4 0 520986152 177614848 4569 33554432000 4194304 4964704 140736874855184 18446744073709551615 4673213 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 43363 4569 460 189 0 37712 0
[pid=26588/tid=26590] ppid=26586 vsize=173452 CPUtime=6.27 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 1123 0 0 0 627 0 0 0 25 0 4 0 520986154 177614848 4569 33554432000 4194304 4964704 140736874855184 18446744073709551615 239476392586 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=173452 CPUtime=6.27 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 1598 0 0 0 627 0 0 0 25 0 4 0 520986154 177614848 4569 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=173452 CPUtime=6.25 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 629 0 0 0 625 0 0 0 25 0 4 0 520986154 177614848 4569 33554432000 4194304 4964704 140736874855184 18446744073709551615 4668618 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 173452
[startup+12.7067 s]
/proc/loadavg: 6.94 7.69 7.61 9/184 26592
/proc/meminfo: memFree=30856864/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=174364 CPUtime=50.68 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 5429 0 0 0 5067 1 0 0 25 0 4 0 520986152 178548736 5312 33554432000 4194304 4964704 140736874855184 18446744073709551615 4364621 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 43591 5312 460 189 0 37940 0
[pid=26588/tid=26590] ppid=26586 vsize=174364 CPUtime=12.67 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 1406 0 0 0 1267 0 0 0 25 0 4 0 520986154 178548736 5312 33554432000 4194304 4964704 140736874855184 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=174364 CPUtime=12.67 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 1914 0 0 0 1267 0 0 0 25 0 4 0 520986154 178548736 5312 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=174364 CPUtime=12.62 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 694 0 0 0 1262 0 0 0 25 0 4 0 520986154 178548736 5312 33554432000 4194304 4964704 140736874855184 18446744073709551615 4668686 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 174364
[startup+25.5003 s]
/proc/loadavg: 7.18 7.71 7.61 9/184 26593
/proc/meminfo: memFree=30849784/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=175732 CPUtime=101.8 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 6323 0 0 0 10178 2 0 0 25 0 4 0 520986152 179949568 6206 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 43933 6206 460 189 0 38282 0
[pid=26588/tid=26590] ppid=26586 vsize=175732 CPUtime=25.47 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 1756 0 0 0 2547 0 0 0 25 0 4 0 520986154 179949568 6206 33554432000 4194304 4964704 140736874855184 18446744073709551615 4321057 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=175732 CPUtime=25.46 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 2267 0 0 0 2546 0 0 0 25 0 4 0 520986154 179949568 6206 33554432000 4194304 4964704 140736874855184 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=175732 CPUtime=25.35 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 805 0 0 0 2535 0 0 0 25 0 4 0 520986154 179949568 6206 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 175732
[startup+51.1004 s]
/proc/loadavg: 7.60 7.76 7.63 9/184 26593
/proc/meminfo: memFree=30837976/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=177456 CPUtime=204.08 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 7424 0 0 0 20405 3 0 0 25 0 4 0 520986152 181714944 7307 33554432000 4194304 4964704 140736874855184 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 44364 7307 460 189 0 38713 0
[pid=26588/tid=26590] ppid=26586 vsize=177456 CPUtime=51.06 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 2277 0 0 0 5106 0 0 0 25 0 4 0 520986154 181714944 7307 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=177456 CPUtime=51.07 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 2729 0 0 0 5106 1 0 0 18 0 4 0 520986154 181714944 7307 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=177456 CPUtime=50.83 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 880 0 0 0 5083 0 0 0 25 0 4 0 520986154 181714944 7307 33554432000 4194304 4964704 140736874855184 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 177456
[startup+102.301 s]
/proc/loadavg: 7.83 7.80 7.65 9/184 26595
/proc/meminfo: memFree=30824568/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=178904 CPUtime=408.62 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 8543 0 0 0 40857 5 0 0 25 0 4 0 520986152 183197696 8426 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 44726 8426 460 189 0 39075 0
[pid=26588/tid=26590] ppid=26586 vsize=178904 CPUtime=102.06 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 2846 0 0 0 10205 1 0 0 25 0 4 0 520986154 183197696 8426 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=178904 CPUtime=102.25 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 3120 0 0 0 10224 1 0 0 25 0 4 0 520986154 183197696 8426 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=178904 CPUtime=102 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 955 0 0 0 10199 1 0 0 25 0 4 0 520986154 183197696 8426 33554432000 4194304 4964704 140736874855184 18446744073709551615 4653249 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 178904
[startup+162.306 s]
/proc/loadavg: 8.04 7.86 7.68 9/184 26596
/proc/meminfo: memFree=30807444/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245396 CPUtime=648.36 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10344 0 0 0 64829 7 0 0 25 0 4 0 520986152 251285504 10227 33554432000 4194304 4964704 140736874855184 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61349 10227 460 189 0 55698 0
[pid=26588/tid=26590] ppid=26586 vsize=245396 CPUtime=161.77 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3480 0 0 0 16176 1 0 0 18 0 4 0 520986154 251285504 10227 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245396 CPUtime=162.26 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 3917 0 0 0 16224 2 0 0 25 0 4 0 520986154 251285504 10227 33554432000 4194304 4964704 140736874855184 18446744073709551615 239476392570 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245396 CPUtime=162 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1193 0 0 0 16199 1 0 0 25 0 4 0 520986154 251285504 10227 33554432000 4194304 4964704 140736874855184 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.36
Current children cumulated vsize (KiB) 245396
Solver just ended. Dumping a history of the last processes samples
[startup+179.701 s]
/proc/loadavg: 8.03 7.87 7.68 9/184 26597
/proc/meminfo: memFree=30804820/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245396 CPUtime=717.86 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10569 0 0 0 71779 7 0 0 25 0 4 0 520986152 251285504 10452 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61349 10452 460 189 0 55698 0
[pid=26588/tid=26590] ppid=26586 vsize=245396 CPUtime=179.09 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3541 0 0 0 17908 1 0 0 25 0 4 0 520986154 251285504 10452 33554432000 4194304 4964704 140736874855184 18446744073709551615 4660115 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245396 CPUtime=179.65 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4065 0 0 0 17963 2 0 0 25 0 4 0 520986154 251285504 10452 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245396 CPUtime=179.39 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1195 0 0 0 17938 1 0 0 25 0 4 0 520986154 251285504 10452 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 717.86
Current children cumulated vsize (KiB) 245396
[startup+192.5 s]
/proc/loadavg: 8.02 7.87 7.69 9/184 26597
/proc/meminfo: memFree=30803448/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245396 CPUtime=768.99 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10627 0 0 0 76892 7 0 0 25 0 4 0 520986152 251285504 10510 33554432000 4194304 4964704 140736874855184 18446744073709551615 239476362171 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61349 10510 460 189 0 55698 0
[pid=26588/tid=26590] ppid=26586 vsize=245396 CPUtime=191.83 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3591 0 0 0 19182 1 0 0 25 0 4 0 520986154 251285504 10510 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245396 CPUtime=192.45 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4068 0 0 0 19243 2 0 0 25 0 4 0 520986154 251285504 10510 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245396 CPUtime=192.19 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1198 0 0 0 19218 1 0 0 25 0 4 0 520986154 251285504 10510 33554432000 4194304 4964704 140736874855184 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 768.99
Current children cumulated vsize (KiB) 245396
[startup+198.901 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26597
/proc/meminfo: memFree=30802828/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245592 CPUtime=794.57 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10654 0 0 0 79450 7 0 0 25 0 4 0 520986152 251486208 10537 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627540 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61398 10537 460 189 0 55747 0
[pid=26588/tid=26590] ppid=26586 vsize=245592 CPUtime=198.2 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3608 0 0 0 19819 1 0 0 25 0 4 0 520986154 251486208 10537 33554432000 4194304 4964704 140736874855184 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245592 CPUtime=198.85 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4070 0 0 0 19883 2 0 0 25 0 4 0 520986154 251486208 10537 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670304 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245592 CPUtime=198.59 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1204 0 0 0 19858 1 0 0 25 0 4 0 520986154 251486208 10537 33554432000 4194304 4964704 140736874855184 18446744073709551615 239476392546 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 794.57
Current children cumulated vsize (KiB) 245592
[startup+205.301 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26597
/proc/meminfo: memFree=30802188/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245592 CPUtime=820.14 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10676 0 0 0 82007 7 0 0 25 0 4 0 520986152 251486208 10559 33554432000 4194304 4964704 140736874855184 18446744073709551615 4214424 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61398 10559 460 189 0 55747 0
[pid=26588/tid=26590] ppid=26586 vsize=245592 CPUtime=204.56 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3626 0 0 0 20455 1 0 0 25 0 4 0 520986154 251486208 10559 33554432000 4194304 4964704 140736874855184 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245592 CPUtime=205.25 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4074 0 0 0 20523 2 0 0 25 0 4 0 520986154 251486208 10559 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245592 CPUtime=204.99 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1204 0 0 0 20498 1 0 0 25 0 4 0 520986154 251486208 10559 33554432000 4194304 4964704 140736874855184 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 820.14
Current children cumulated vsize (KiB) 245592
[startup+208.506 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26598
/proc/meminfo: memFree=30801940/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245592 CPUtime=832.94 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10677 0 0 0 83287 7 0 0 25 0 4 0 520986152 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61398 10560 460 189 0 55747 0
[pid=26588/tid=26590] ppid=26586 vsize=245592 CPUtime=207.76 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3626 0 0 0 20774 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245592 CPUtime=208.46 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4074 0 0 0 20844 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245592 CPUtime=208.2 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1205 0 0 0 20819 1 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4669420 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 832.94
Current children cumulated vsize (KiB) 245592
[startup+209.301 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26598
/proc/meminfo: memFree=30801940/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245592 CPUtime=836.12 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10677 0 0 0 83605 7 0 0 25 0 4 0 520986152 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61398 10560 460 189 0 55747 0
[pid=26588/tid=26590] ppid=26586 vsize=245592 CPUtime=208.56 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3626 0 0 0 20854 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627170 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245592 CPUtime=209.25 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4074 0 0 0 20923 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245592 CPUtime=208.99 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1205 0 0 0 20898 1 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 836.12
Current children cumulated vsize (KiB) 245592
[startup+210.101 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26598
/proc/meminfo: memFree=30801940/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245592 CPUtime=839.32 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10677 0 0 0 83925 7 0 0 25 0 4 0 520986152 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61398 10560 460 189 0 55747 0
[pid=26588/tid=26590] ppid=26586 vsize=245592 CPUtime=209.35 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3626 0 0 0 20933 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245592 CPUtime=210.05 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4074 0 0 0 21003 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245592 CPUtime=209.79 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1205 0 0 0 20978 1 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 839.32
Current children cumulated vsize (KiB) 245592
[startup+210.301 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26598
/proc/meminfo: memFree=30801940/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245592 CPUtime=840.12 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10677 0 0 0 84005 7 0 0 25 0 4 0 520986152 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670277 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61398 10560 460 189 0 55747 0
[pid=26588/tid=26590] ppid=26586 vsize=245592 CPUtime=209.55 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3626 0 0 0 20953 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245592 CPUtime=210.25 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4074 0 0 0 21023 2 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245592 CPUtime=209.99 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1205 0 0 0 20998 1 0 0 25 0 4 0 520986154 251486208 10560 33554432000 4194304 4964704 140736874855184 18446744073709551615 4626880 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 840.12
Current children cumulated vsize (KiB) 245592
[startup+210.401 s]
/proc/loadavg: 8.02 7.88 7.69 9/184 26598
/proc/meminfo: memFree=30801940/32950928 swapFree=67086580/67111528
[pid=26588] ppid=26586 vsize=245312 CPUtime=840.52 cores=0,2,4,6
/proc/26588/stat : 26588 (claspmt) R 26586 26588 25640 0 -1 4202496 10677 0 0 0 84045 7 0 0 25 0 4 0 520986152 251199488 10531 33554432000 4194304 4964704 140736874855184 18446744073709551615 4669429 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/26588/statm: 61328 10531 460 189 0 55677 0
[pid=26588/tid=26590] ppid=26586 vsize=245312 CPUtime=209.65 cores=0,2,4,6
/proc/26588/task/26590/stat : 26590 (claspmt) R 26586 26588 25640 0 -1 4202560 3626 0 0 0 20963 2 0 0 25 0 4 0 520986154 251199488 10531 33554432000 4194304 4964704 140736874855184 18446744073709551615 4669452 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26588/tid=26591] ppid=26586 vsize=245312 CPUtime=210.35 cores=0,2,4,6
/proc/26588/task/26591/stat : 26591 (claspmt) R 26586 26588 25640 0 -1 4202560 4074 0 0 0 21033 2 0 0 25 0 4 0 520986154 251199488 10531 33554432000 4194304 4964704 140736874855184 18446744073709551615 4627509 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=26588/tid=26592] ppid=26586 vsize=245312 CPUtime=210.09 cores=0,2,4,6
/proc/26588/task/26592/stat : 26592 (claspmt) R 26586 26588 25640 0 -1 4202560 1205 0 0 0 21008 1 0 0 25 0 4 0 520986154 251199488 10531 33554432000 4194304 4964704 140736874855184 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 840.52
Current children cumulated vsize (KiB) 245312
Child status: 20
Real time (s): 210.482
CPU time (s): 840.84
CPU user time (s): 840.759
CPU system time (s): 0.080987
CPU usage (%): 399.483
Max. virtual memory (cumulated for all children) (KiB): 245592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 840.759
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10690
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= 9316
involuntary context switches= 3834
runsolver used 0.288956 second user time and 0.706892 second system time
The end