0.00/0.00 c Parsing...
0.49/0.58 c ==============================================================================
0.49/0.58 c | | ORIGINAL | LEARNT | |
0.49/0.58 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.49/0.58 c ==============================================================================
0.49/0.58 c | 0 | 711049 2091629 | 213314 0 0 nan | 0.000 % |
2.59/2.68 c | 0 | 700461 2138957 | -- 0 -- -- | -- | -10530/47459
2.59/2.68 c ==============================================================================
2.59/2.68 c Result : #vars: 21173 #clauses: 700461 #literals: 2138957
2.59/2.68 c CPU time: 2.58361 s
2.59/2.68 c ==============================================================================
1080.73/544.36 c This is ManySAT 1.1 : 4 thread(s) on 2 core(s).
1080.73/544.36 c ============================[ Problem Statistics ]=============================
1080.73/544.36 c | |
1080.73/544.36 c threadId : 0
1080.73/544.36 c restarts : 2651
1080.73/544.36 c conflicts : 571324 (531 /sec)
1080.73/544.36 c decisions : 3629518 (1.02 % random) (3374 /sec)
1080.73/544.36 c propagations : 390153655 (362719 /sec)
1080.73/544.36 c conflict literals : 40180035 (47.89 % deleted)
1080.73/544.36 c Memory used : 582.72 MB
1080.73/544.36 c CPU time : 1075.64 s
1080.73/544.36
1080.73/544.36 c --->m=4, e=8, aimd=1, HOME/30122_many.cnf time: 268.909 conflicts: 571324
1080.83/544.45 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775376-1241294462/watcher-1775376-1241294462 -o /tmp/evaluation-result-1775376-1241294462/solver-1775376-1241294462 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1775376-1241294462.cnf aimd 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.55 3.94 3.91 2/64 30122
/proc/meminfo: memFree=1874808/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=1244 CPUtime=0
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 157474882 1273856 195 1992294400 134512640 135034092 4294956112 18446744073709551615 134673244 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 311 195 51 127 0 181 0
[startup+0.04635 s]
/proc/loadavg: 3.55 3.94 3.91 2/64 30122
/proc/meminfo: memFree=1874808/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=3840 CPUtime=0.03
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 861 0 0 0 3 0 0 0 18 0 1 0 157474882 3932160 845 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 960 847 51 127 0 830 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9196
[startup+0.10136 s]
/proc/loadavg: 3.55 3.94 3.91 2/64 30122
/proc/meminfo: memFree=1874808/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=8056 CPUtime=0.09
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 1794 0 0 0 8 1 0 0 18 0 1 0 157474882 8249344 1778 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 2014 1778 51 127 0 1884 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13412
[startup+0.301397 s]
/proc/loadavg: 3.55 3.94 3.91 2/64 30122
/proc/meminfo: memFree=1874808/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=21012 CPUtime=0.29
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 5040 0 0 0 26 3 0 0 19 0 1 0 157474882 21516288 5024 1992294400 134512640 135034092 4294956112 18446744073709551615 134673244 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 5253 5025 51 127 0 5123 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26368
[startup+0.701473 s]
/proc/loadavg: 3.55 3.94 3.91 2/64 30122
/proc/meminfo: memFree=1874808/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=53768 CPUtime=0.69
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 13760 0 0 0 62 7 0 0 23 0 1 0 157474882 55058432 12456 1992294400 134512640 135034092 4294956112 18446744073709551615 134675816 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 13442 12456 68 127 0 13312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59124
[startup+1.50162 s]
/proc/loadavg: 3.55 3.94 3.91 2/66 30124
/proc/meminfo: memFree=1822888/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=67080 CPUtime=1.49
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 15520 0 0 0 141 8 0 0 25 0 1 0 157474882 68689920 14216 1992294400 134512640 135034092 4294956112 18446744073709551615 134582735 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 16770 14216 68 127 0 16640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72436
[startup+3.10193 s]
/proc/loadavg: 3.55 3.94 3.91 2/66 30124
/proc/meminfo: memFree=1816936/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=0
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157474882 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30122/statm: 1339 235 195 169 0 50 0
[pid=30123] ppid=30122 vsize=58096 CPUtime=3.08
/proc/30123/stat : 30123 (SatElite) R 30122 30122 30079 0 -1 4194304 16897 0 0 0 297 11 0 0 25 0 1 0 157474882 59490304 12903 1992294400 134512640 135034092 4294956112 18446744073709551615 134691101 0 0 4096 3 0 0 0 17 1 0 0
/proc/30123/statm: 14524 12903 68 127 0 14394 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63452
[startup+6.30154 s]
/proc/loadavg: 3.35 3.89 3.90 5/69 30128
/proc/meminfo: memFree=1703312/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=199672 CPUtime=3.93
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 40104 0 0 0 371 22 0 0 17 0 4 0 157475238 204464128 40090 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 49918 40090 83 193 0 49722 0
[pid=30125/tid=30126] ppid=30122 vsize=199672 CPUtime=0.64
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 553 0 0 0 64 0 0 0 17 0 4 0 157475391 204464128 40090 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30127] ppid=30122 vsize=199672 CPUtime=0.63
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 527 0 0 0 63 0 0 0 17 0 4 0 157475391 204464128 40090 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=199672 CPUtime=0.56
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 475 0 0 0 55 1 0 0 17 0 4 0 157475391 204464128 40090 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 205028
[startup+12.7018 s]
/proc/loadavg: 3.48 3.91 3.90 5/69 30128
/proc/meminfo: memFree=1687192/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=213896 CPUtime=16.69
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 43532 0 0 0 1642 27 0 0 16 0 4 0 157475238 219029504 43518 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 53474 43518 83 193 0 53278 0
[pid=30125/tid=30126] ppid=30122 vsize=213896 CPUtime=3.88
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 1164 0 0 0 387 1 0 0 16 0 4 0 157475391 219029504 43518 1992294400 134512640 135305190 4294956160 18446744073709551615 134528820 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=213896 CPUtime=3.34
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 2024 0 0 0 332 2 0 0 18 0 4 0 157475391 219029504 43518 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30128] ppid=30122 vsize=213896 CPUtime=3.94
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 920 0 0 0 393 1 0 0 17 0 4 0 157475391 219029504 43518 1992294400 134512640 135305190 4294956160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.23
Current children cumulated vsize (KiB) 219252
[startup+25.5012 s]
/proc/loadavg: 3.59 3.91 3.91 5/69 30128
/proc/meminfo: memFree=1661016/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=239364 CPUtime=42.23
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 49990 0 0 0 4190 33 0 0 17 0 4 0 157475238 245108736 49976 1992294400 134512640 135305190 4294956160 18446744073709551615 134528413 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 59841 49976 83 193 0 59645 0
[pid=30125/tid=30126] ppid=30122 vsize=239364 CPUtime=13.17
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 3178 0 0 0 1314 3 0 0 17 0 4 0 157475391 245108736 49976 1992294400 134512640 135305190 4294956160 18446744073709551615 134541969 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=239364 CPUtime=6.84
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 4039 0 0 0 680 4 0 0 18 0 4 0 157475391 245108736 49976 1992294400 134512640 135305190 4294956160 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=239364 CPUtime=9.21
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 1544 0 0 0 919 2 0 0 18 0 4 0 157475391 245108736 49976 1992294400 134512640 135305190 4294956160 18446744073709551615 134528332 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 45.77
Current children cumulated vsize (KiB) 244720
[startup+51.102 s]
/proc/loadavg: 3.73 3.92 3.91 5/69 30128
/proc/meminfo: memFree=1618264/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=282164 CPUtime=93.28
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 60517 0 0 0 9281 47 0 0 17 0 4 0 157475238 288935936 60503 1992294400 134512640 135305190 4294956160 18446744073709551615 134528242 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 70541 60503 83 193 0 70345 0
[pid=30125/tid=30126] ppid=30122 vsize=282164 CPUtime=26.89
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 5154 0 0 0 2683 6 0 0 18 0 4 0 157475391 288935936 60503 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30127] ppid=30122 vsize=282164 CPUtime=17.86
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 8686 0 0 0 1777 9 0 0 17 0 4 0 157475391 288935936 60503 1992294400 134512640 135305190 4294956160 18446744073709551615 134565634 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=282164 CPUtime=19.87
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 2623 0 0 0 1983 4 0 0 17 0 4 0 157475391 288935936 60503 1992294400 134512640 135305190 4294956160 18446744073709551615 134528277 0 0 4096 3 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.82
Current children cumulated vsize (KiB) 287520
[startup+102.306 s]
/proc/loadavg: 3.88 3.93 3.91 5/69 30128
/proc/meminfo: memFree=1561240/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=339228 CPUtime=195.45
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 74761 0 0 0 19479 66 0 0 17 0 4 0 157475238 347369472 74747 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 84807 74747 83 193 0 84611 0
[pid=30125/tid=30126] ppid=30122 vsize=339228 CPUtime=50.38
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 6897 0 0 0 5029 9 0 0 19 0 4 0 157475391 347369472 74747 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30127] ppid=30122 vsize=339228 CPUtime=38.94
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 16055 0 0 0 3877 17 0 0 19 0 4 0 157475391 347369472 74747 1992294400 134512640 135305190 4294956160 18446744073709551615 134551953 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30128] ppid=30122 vsize=339228 CPUtime=47.95
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 4825 0 0 0 4788 7 0 0 18 0 4 0 157475391 347369472 74747 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.99
Current children cumulated vsize (KiB) 344584
[startup+162.303 s]
/proc/loadavg: 3.95 3.94 3.91 5/69 30128
/proc/meminfo: memFree=1497752/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=403672 CPUtime=315.18
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 90790 0 0 0 31432 86 0 0 17 0 4 0 157475238 413360128 90776 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 100918 90776 83 193 0 100722 0
[pid=30125/tid=30126] ppid=30122 vsize=403672 CPUtime=73.07
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 8048 0 0 0 7296 11 0 0 18 0 4 0 157475391 413360128 90776 1992294400 134512640 135305190 4294956160 18446744073709551615 134542050 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=403672 CPUtime=63.43
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 25288 0 0 0 6317 26 0 0 23 0 4 0 157475391 413360128 90776 1992294400 134512640 135305190 4294956160 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=403672 CPUtime=79.96
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 6904 0 0 0 7985 11 0 0 17 0 4 0 157475391 413360128 90776 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 318.72
################
# More data... #
################
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=584408 CPUtime=913.81
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 135593 0 0 0 91226 155 0 0 17 0 4 0 157475238 598433792 135579 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 146102 135579 83 193 0 145906 0
[pid=30125/tid=30126] ppid=30122 vsize=584408 CPUtime=218.28
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 14571 0 0 0 21806 22 0 0 16 0 4 0 157475391 598433792 135579 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=584408 CPUtime=165.11
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 42818 0 0 0 16462 49 0 0 18 0 4 0 157475391 598433792 135579 1992294400 134512640 135305190 4294956160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=584408 CPUtime=252.54
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 17865 0 0 0 25225 29 0 0 17 0 4 0 157475391 598433792 135579 1992294400 134512640 135305190 4294956160 18446744073709551615 134529062 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 917.35
Current children cumulated vsize (KiB) 589764
[startup+522.303 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1309400/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=593128 CPUtime=1033.55
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 137563 0 0 0 103196 159 0 0 17 0 4 0 157475238 607363072 137549 1992294400 134512640 135305190 4294956160 18446744073709551615 134528189 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 148282 137549 83 193 0 148086 0
[pid=30125/tid=30126] ppid=30122 vsize=593128 CPUtime=246.35
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 14977 0 0 0 24612 23 0 0 25 0 4 0 157475391 607363072 137549 1992294400 134512640 135305190 4294956160 18446744073709551615 134551697 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=593128 CPUtime=182.81
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43353 0 0 0 18231 50 0 0 19 0 4 0 157475391 607363072 137549 1992294400 134512640 135305190 4294956160 18446744073709551615 134554578 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30128] ppid=30122 vsize=593128 CPUtime=293.29
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18582 0 0 0 29299 30 0 0 18 0 4 0 157475391 607363072 137549 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1037.09
Current children cumulated vsize (KiB) 598484
Solver just ended. Dumping a history of the last processes samples
[startup+524.705 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1309144/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=593236 CPUtime=1038.34
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 137624 0 0 0 103675 159 0 0 19 0 4 0 157475238 607473664 137610 1992294400 134512640 135305190 4294956160 18446744073709551615 134528800 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 148309 137610 83 193 0 148113 0
[pid=30125/tid=30126] ppid=30122 vsize=593236 CPUtime=246.83
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 14978 0 0 0 24660 23 0 0 25 0 4 0 157475391 607473664 137610 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=593236 CPUtime=183.82
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43362 0 0 0 18332 50 0 0 20 0 4 0 157475391 607473664 137610 1992294400 134512640 135305190 4294956160 18446744073709551615 134528379 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30128] ppid=30122 vsize=593236 CPUtime=294.67
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18618 0 0 0 29437 30 0 0 20 0 4 0 157475391 607473664 137610 1992294400 134512640 135305190 4294956160 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.88
Current children cumulated vsize (KiB) 598592
[startup+537.503 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1307288/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=595284 CPUtime=1063.88
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 138105 0 0 0 106227 161 0 0 19 0 4 0 157475238 609570816 138091 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 148821 138091 83 193 0 148625 0
[pid=30125/tid=30126] ppid=30122 vsize=595284 CPUtime=251.75
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 15024 0 0 0 25152 23 0 0 18 0 4 0 157475391 609570816 138091 1992294400 134512640 135305190 4294956160 18446744073709551615 134530595 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=595284 CPUtime=190.58
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43519 0 0 0 19007 51 0 0 18 0 4 0 157475391 609570816 138091 1992294400 134512640 135305190 4294956160 18446744073709551615 134528866 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=595284 CPUtime=300.77
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18799 0 0 0 30047 30 0 0 25 0 4 0 157475391 609570816 138091 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1067.42
Current children cumulated vsize (KiB) 600640
[startup+540.701 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1306968/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=595284 CPUtime=1070.26
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 138199 0 0 0 106865 161 0 0 24 0 4 0 157475238 609570816 138185 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 148821 138185 83 193 0 148625 0
[pid=30125/tid=30126] ppid=30122 vsize=595284 CPUtime=254.42
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 15054 0 0 0 25418 24 0 0 19 0 4 0 157475391 609570816 138185 1992294400 134512640 135305190 4294956160 18446744073709551615 134528837 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=595284 CPUtime=191.11
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43537 0 0 0 19060 51 0 0 19 0 4 0 157475391 609570816 138185 1992294400 134512640 135305190 4294956160 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=595284 CPUtime=302.62
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18822 0 0 0 30231 31 0 0 17 0 4 0 157475391 609570816 138185 1992294400 134512640 135305190 4294956160 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1073.8
Current children cumulated vsize (KiB) 600640
[startup+542.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1306712/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=596488 CPUtime=1073.46
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 138237 0 0 0 107185 161 0 0 17 0 4 0 157475238 610803712 138223 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 149122 138223 83 193 0 148926 0
[pid=30125/tid=30126] ppid=30122 vsize=596488 CPUtime=255.23
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 15063 0 0 0 25499 24 0 0 19 0 4 0 157475391 610803712 138223 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=596488 CPUtime=191.91
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43554 0 0 0 19140 51 0 0 21 0 4 0 157475391 610803712 138223 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=596488 CPUtime=303.67
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18826 0 0 0 30336 31 0 0 19 0 4 0 157475391 610803712 138223 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1077
Current children cumulated vsize (KiB) 601844
[startup+543.103 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1306712/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=596488 CPUtime=1075.05
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 138267 0 0 0 107344 161 0 0 18 0 4 0 157475238 610803712 138253 1992294400 134512640 135305190 4294956160 18446744073709551615 134528503 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/30125/statm: 149122 138253 83 193 0 148926 0
[pid=30125/tid=30126] ppid=30122 vsize=596488 CPUtime=255.66
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 15078 0 0 0 25542 24 0 0 20 0 4 0 157475391 610803712 138253 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=596488 CPUtime=192.28
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43556 0 0 0 19177 51 0 0 19 0 4 0 157475391 610803712 138253 1992294400 134512640 135305190 4294956160 18446744073709551615 134552302 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30122 vsize=596488 CPUtime=303.67
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18826 0 0 0 30336 31 0 0 19 0 4 0 157475391 610803712 138253 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1078.59
Current children cumulated vsize (KiB) 601844
[startup+543.901 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1306456/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=596704 CPUtime=1076.65
/proc/30125/stat : 30125 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194304 138305 0 0 0 107503 162 0 0 17 0 4 0 157475238 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 149176 138291 83 193 0 148980 0
[pid=30125/tid=30126] ppid=30122 vsize=596704 CPUtime=256.1
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 15079 0 0 0 25586 24 0 0 16 0 4 0 157475391 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134529379 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=596704 CPUtime=192.74
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 43556 0 0 0 19223 51 0 0 16 0 4 0 157475391 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30128] ppid=30122 vsize=596704 CPUtime=303.67
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 18826 0 0 0 30336 31 0 0 18 0 4 0 157475391 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1080.19
Current children cumulated vsize (KiB) 602060
[startup+544.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/69 30128
/proc/meminfo: memFree=1306456/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=596704 CPUtime=1077.19
/proc/30125/stat : 30125 (manysat1.1_stat) S 30122 30122 30079 0 -1 4194304 138305 0 0 0 107557 162 0 0 17 0 4 0 157475238 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134657474 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 149176 138291 83 193 0 148980 0
[pid=30125/tid=30126] ppid=30122 vsize=596704 CPUtime=256.44
/proc/30125/task/30126/stat : 30126 (manysat1.1_stat) R 30122 30122 30079 0 -1 4194368 15079 0 0 0 25620 24 0 0 17 0 4 0 157475391 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134529138 0 0 4096 3 0 0 0 -1 1 0 0
[pid=30125/tid=30127] ppid=30122 vsize=596704 CPUtime=192.88
/proc/30125/task/30127/stat : 30127 (manysat1.1_stat) S 30122 30122 30079 0 -1 4194368 43556 0 0 0 19237 51 0 0 17 0 4 0 157475391 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134657474 0 0 4096 3 0 0 0 -1 0 0 0
[pid=30125/tid=30128] ppid=30122 vsize=596704 CPUtime=303.68
/proc/30125/task/30128/stat : 30128 (manysat1.1_stat) S 30122 30122 30079 0 -1 4194368 18826 0 0 0 30337 31 0 0 15 0 4 0 157475391 611024896 138291 1992294400 134512640 135305190 4294956160 18446744073709551615 134657474 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1080.73
Current children cumulated vsize (KiB) 602060
[startup+544.401 s]
/proc/loadavg: 3.99 3.97 3.91 2/67 30128
/proc/meminfo: memFree=1571160/2055920 swapFree=4181168/4192956
[pid=30122] ppid=30120 vsize=5356 CPUtime=3.54
/proc/30122/stat : 30122 (manysat.sh) S 30120 30122 30079 0 -1 4194304 313 16900 0 0 0 0 340 14 16 0 1 0 157474882 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30122/statm: 1339 238 195 169 0 50 0
[pid=30125] ppid=30122 vsize=0 CPUtime=1077.29
/proc/30125/stat : 30125 (manysat1.1_stat) Z 30122 30122 30079 0 -1 4194316 138320 0 0 0 107563 166 0 0 15 0 2 0 157475238 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1080.83
Current children cumulated vsize (KiB) 5356
Child status: 20
Real time (s): 544.465
CPU time (s): 1080.92
CPU user time (s): 1079.05
CPU system time (s): 1.87371
CPU usage (%): 198.529
Max. virtual memory (cumulated for all children) (KiB): 602060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1079.04
system time used= 1.87371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155687
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= 5986
involuntary context switches= 23650
runsolver used 0.510922 second user time and 1.48077 second system time
The end
Begin job on node37 at 2009-05-02 22:01:03
IDJOB=1775376
IDBENCH=71743
IDSOLVER=612
FILE ID=node37/1775376-1241294462
PBS_JOBID= 9225153
Free space on /tmp= 66532 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775376-1241294462/watcher-1775376-1241294462 -o /tmp/evaluation-result-1775376-1241294462/solver-1775376-1241294462 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1775376-1241294462.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=1875613251
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1875352 kB
Buffers: 36852 kB
Cached: 65252 kB
SwapCached: 5608 kB
Active: 30460 kB
Inactive: 79444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1875352 kB
SwapTotal: 4192956 kB
SwapFree: 4181168 kB
Dirty: 14800 kB
Writeback: 0 kB
Mapped: 13468 kB
Slab: 56828 kB
Committed_AS: 818820 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66532 MiB
End job on node37 at 2009-05-02 22:10:08