runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3372291-1305546442/watcher-3372291-1305546442 -o /tmp/evaluation-result-3372291-1305546442/solver-3372291-1305546442 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372291-1305546442.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.14 11.06 13.49 1/413 17745
/proc/meminfo: memFree=255492728/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=20948 CPUtime=0.02 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 3306 1241 0 0 2 0 0 0 23 0 1 0 666130834 21450752 3238 268435456000 4194304 4417452 140734739476160 18446744073709551615 258650652667 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 5237 3238 145 55 0 3123 0
[startup+0.0883469 s]
/proc/loadavg: 5.14 11.06 13.49 1/413 17745
/proc/meminfo: memFree=255492728/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=29636 CPUtime=0.08 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 5466 1241 0 0 7 1 0 0 23 0 1 0 666130834 30347264 5398 268435456000 4194304 4417452 140734739476160 18446744073709551615 4236830 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 7409 5398 145 55 0 5295 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29636
[startup+0.101337 s]
/proc/loadavg: 5.14 11.06 13.49 1/413 17745
/proc/meminfo: memFree=255492728/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=36672 CPUtime=0.09 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 7238 1241 0 0 8 1 0 0 23 0 1 0 666130834 37552128 7171 268435456000 4194304 4417452 140734739476160 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 9201 7195 146 55 0 7087 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36672
[startup+0.300391 s]
/proc/loadavg: 5.14 11.06 13.49 1/413 17745
/proc/meminfo: memFree=255492728/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=73040 CPUtime=0.29 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 16318 1241 0 0 26 3 0 0 24 0 1 0 666130834 74792960 16250 268435456000 4194304 4417452 140734739476160 18446744073709551615 4209666 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 18260 16250 146 55 0 16146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73040
[startup+0.700358 s]
/proc/loadavg: 5.14 11.06 13.49 1/413 17745
/proc/meminfo: memFree=255492728/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=207144 CPUtime=0.69 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 49876 1241 0 0 59 10 0 0 25 0 1 0 666130834 212115456 49808 268435456000 4194304 4417452 140734739476160 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 51786 49808 146 55 0 49672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 207144
[startup+1.50039 s]
/proc/loadavg: 5.14 11.06 13.49 2/414 17751
/proc/meminfo: memFree=255242100/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=300312 CPUtime=1.49 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 73188 1241 0 0 135 14 0 0 25 0 1 0 666130834 307519488 73100 268435456000 4194304 4417452 140734739476160 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 75078 73100 146 55 0 72964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 300312
[startup+3.10045 s]
/proc/loadavg: 5.14 11.06 13.49 2/414 17751
/proc/meminfo: memFree=255114168/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=439644 CPUtime=3.08 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 108021 1241 0 0 287 21 0 0 25 0 1 0 666130834 450195456 107933 268435456000 4194304 4417452 140734739476160 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 109911 107933 146 55 0 107797 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 439644
[startup+6.30056 s]
/proc/loadavg: 4.81 10.89 13.42 2/414 17751
/proc/meminfo: memFree=254647532/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=851168 CPUtime=6.28 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 210950 1241 0 0 588 40 0 0 25 0 1 0 666130834 871596032 210814 268435456000 4194304 4417452 140734739476160 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 212792 210814 146 55 0 210678 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 851168
[startup+12.7008 s]
/proc/loadavg: 4.51 10.73 13.36 2/414 17751
/proc/meminfo: memFree=254076108/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=1424328 CPUtime=12.69 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 354240 1241 0 0 1202 67 0 0 25 0 1 0 666130834 1458511872 354104 268435456000 4194304 4417452 140734739476160 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 356082 354104 146 55 0 353968 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1424328
[startup+25.5012 s]
/proc/loadavg: 3.73 10.25 13.16 2/414 17751
/proc/meminfo: memFree=252935168/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=2860964 CPUtime=25.48 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 709512 1241 0 0 2413 135 0 0 25 0 1 0 666130834 2929627136 709253 268435456000 4194304 4417452 140734739476160 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17745/statm: 715241 709270 146 55 0 713127 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2860964
[startup+51.102 s]
/proc/loadavg: 5.28 10.02 13.00 33/446 17785
/proc/meminfo: memFree=251380040/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=4581860 CPUtime=136.53 cores=0-31
/proc/17745/stat : 17745 (plingeling) S 17743 17745 17719 0 -1 4202496 1253139 1241 0 0 12794 859 0 0 18 0 33 0 666130834 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/17745/statm: 1145465 1006223 170 55 0 1143351 0
[pid=17745/tid=17754] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17754/stat : 17754 (plingeling) R 17743 17745 17719 0 -1 4202560 11273 1241 0 0 257 20 0 0 22 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247538 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17745/tid=17755] ppid=17743 vsize=4581860 CPUtime=2.79 cores=0-31
/proc/17745/task/17755/stat : 17755 (plingeling) R 17743 17745 17719 0 -1 4202560 11079 1241 0 0 261 18 0 0 22 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17745/tid=17756] ppid=17743 vsize=4581860 CPUtime=2.75 cores=0-31
/proc/17745/task/17756/stat : 17756 (plingeling) R 17743 17745 17719 0 -1 4202560 11273 1241 0 0 248 27 0 0 21 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4290636 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17745/tid=17757] ppid=17743 vsize=4581860 CPUtime=2.69 cores=0-31
/proc/17745/task/17757/stat : 17757 (plingeling) R 17743 17745 17719 0 -1 4202560 7349 1241 0 0 254 15 0 0 25 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4365538 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17745/tid=17758] ppid=17743 vsize=4581860 CPUtime=2.78 cores=0-31
/proc/17745/task/17758/stat : 17758 (plingeling) R 17743 17745 17719 0 -1 4202560 11176 1241 0 0 260 18 0 0 22 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247538 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17745/tid=17759] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17759/stat : 17759 (plingeling) R 17743 17745 17719 0 -1 4202560 11191 1241 0 0 268 9 0 0 20 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4305879 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17745/tid=17760] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17760/stat : 17760 (plingeling) R 17743 17745 17719 0 -1 4202560 11271 1241 0 0 259 18 0 0 21 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247535 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17745/tid=17761] ppid=17743 vsize=4581860 CPUtime=2.72 cores=0-31
/proc/17745/task/17761/stat : 17761 (plingeling) R 17743 17745 17719 0 -1 4202560 11144 1241 0 0 249 23 0 0 21 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4292303 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17745/tid=17762] ppid=17743 vsize=4581860 CPUtime=2.78 cores=0-31
/proc/17745/task/17762/stat : 17762 (plingeling) R 17743 17745 17719 0 -1 4202560 10949 1241 0 0 260 18 0 0 22 0 33 0 666135652 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247538 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17745/tid=17763] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17763/stat : 17763 (plingeling) R 17743 17745 17719 0 -1 4202560 11140 1241 0 0 262 15 0 0 20 0 33 0 666135653 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4291957 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17745/tid=17764] ppid=17743 vsize=4581860 CPUtime=2.75 cores=0-31
/proc/17745/task/17764/stat : 17764 (plingeling) R 17743 17745 17719 0 -1 4202560 11175 1241 0 0 249 26 0 0 21 0 33 0 666135653 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4294258 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17745/tid=17765] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17765/stat : 17765 (plingeling) R 17743 17745 17719 0 -1 4202560 11210 1241 0 0 258 19 0 0 22 0 33 0 666135653 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247535 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17745/tid=17766] ppid=17743 vsize=4581860 CPUtime=2.65 cores=0-31
/proc/17745/task/17766/stat : 17766 (plingeling) R 17743 17745 17719 0 -1 4202560 11047 1241 0 0 247 18 0 0 25 0 33 0 666135654 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17745/tid=17767] ppid=17743 vsize=4581860 CPUtime=2.73 cores=0-31
/proc/17745/task/17767/stat : 17767 (plingeling) R 17743 17745 17719 0 -1 4202560 11109 1241 0 0 254 19 0 0 25 0 33 0 666135654 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17745/tid=17768] ppid=17743 vsize=4581860 CPUtime=2.75 cores=0-31
/proc/17745/task/17768/stat : 17768 (plingeling) R 17743 17745 17719 0 -1 4202560 11177 1241 0 0 249 26 0 0 21 0 33 0 666135655 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17745/tid=17769] ppid=17743 vsize=4581860 CPUtime=2.74 cores=0-31
/proc/17745/task/17769/stat : 17769 (plingeling) R 17743 17745 17719 0 -1 4202560 11047 1241 0 0 248 26 0 0 25 0 33 0 666135655 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281513 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17745/tid=17770] ppid=17743 vsize=4581860 CPUtime=2.73 cores=0-31
/proc/17745/task/17770/stat : 17770 (plingeling) R 17743 17745 17719 0 -1 4202560 11048 1241 0 0 247 26 0 0 21 0 33 0 666135655 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17745/tid=17771] ppid=17743 vsize=4581860 CPUtime=2.78 cores=0-31
/proc/17745/task/17771/stat : 17771 (plingeling) R 17743 17745 17719 0 -1 4202560 11206 1241 0 0 253 25 0 0 22 0 33 0 666135655 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4292040 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17745/tid=17772] ppid=17743 vsize=4581860 CPUtime=2.78 cores=0-31
/proc/17745/task/17772/stat : 17772 (plingeling) R 17743 17745 17719 0 -1 4202560 11206 1241 0 0 252 26 0 0 22 0 33 0 666135656 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4290625 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17745/tid=17773] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17773/stat : 17773 (plingeling) R 17743 17745 17719 0 -1 4202560 11274 1241 0 0 252 25 0 0 22 0 33 0 666135656 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4292549 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17745/tid=17774] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17774/stat : 17774 (plingeling) R 17743 17745 17719 0 -1 4202560 11208 1241 0 0 258 19 0 0 22 0 33 0 666135656 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247538 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17745/tid=17775] ppid=17743 vsize=4581860 CPUtime=2.79 cores=0-31
/proc/17745/task/17775/stat : 17775 (plingeling) R 17743 17745 17719 0 -1 4202560 11206 1241 0 0 257 22 0 0 20 0 33 0 666135656 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4292122 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17745/tid=17776] ppid=17743 vsize=4581860 CPUtime=2.79 cores=0-31
/proc/17745/task/17776/stat : 17776 (plingeling) R 17743 17745 17719 0 -1 4202560 11205 1241 0 0 255 24 0 0 25 0 33 0 666135657 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4290633 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17745/tid=17777] ppid=17743 vsize=4581860 CPUtime=2.75 cores=0-31
/proc/17745/task/17777/stat : 17777 (plingeling) R 17743 17745 17719 0 -1 4202560 11270 1241 0 0 255 20 0 0 22 0 33 0 666135657 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4291024 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17745/tid=17778] ppid=17743 vsize=4581860 CPUtime=2.74 cores=0-31
/proc/17745/task/17778/stat : 17778 (plingeling) R 17743 17745 17719 0 -1 4202560 11144 1241 0 0 247 27 0 0 25 0 33 0 666135657 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4292095 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17745/tid=17779] ppid=17743 vsize=4581860 CPUtime=2.52 cores=0-31
/proc/17745/task/17779/stat : 17779 (plingeling) R 17743 17745 17719 0 -1 4202560 8674 1241 0 0 250 2 0 0 25 0 33 0 666135658 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17745/tid=17780] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17780/stat : 17780 (plingeling) R 17743 17745 17719 0 -1 4202560 11174 1241 0 0 249 28 0 0 21 0 33 0 666135658 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4291506 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17745/tid=17781] ppid=17743 vsize=4581860 CPUtime=2.74 cores=0-31
/proc/17745/task/17781/stat : 17781 (plingeling) R 17743 17745 17719 0 -1 4202560 11269 1241 0 0 248 26 0 0 25 0 33 0 666135658 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17745/tid=17782] ppid=17743 vsize=4581860 CPUtime=2.76 cores=0-31
/proc/17745/task/17782/stat : 17782 (plingeling) R 17743 17745 17719 0 -1 4202560 11205 1241 0 0 249 27 0 0 21 0 33 0 666135658 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17745/tid=17783] ppid=17743 vsize=4581860 CPUtime=2.77 cores=0-31
/proc/17745/task/17783/stat : 17783 (plingeling) R 17743 17745 17719 0 -1 4202560 11048 1241 0 0 259 18 0 0 21 0 33 0 666135658 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4247538 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17745/tid=17784] ppid=17743 vsize=4581860 CPUtime=2.8 cores=0-31
/proc/17745/task/17784/stat : 17784 (plingeling) R 17743 17745 17719 0 -1 4202560 11208 1241 0 0 261 19 0 0 22 0 33 0 666135658 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17745/tid=17785] ppid=17743 vsize=4581860 CPUtime=2.78 cores=0-31
/proc/17745/task/17785/stat : 17785 (plingeling) R 17743 17745 17719 0 -1 4202560 11207 1241 0 0 261 17 0 0 22 0 33 0 666135659 4691824640 1006223 268435456000 4194304 4417452 140734739476160 18446744073709551615 4292295 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 136.53
Current children cumulated vsize (KiB) 4581860
[startup+102.323 s]
/proc/loadavg: 20.53 13.44 14.01 33/446 17785
/proc/meminfo: memFree=251341760/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=4847488 CPUtime=1770.42 cores=0-31
/proc/17745/stat : 17745 (plingeling) S 17743 17745 17719 0 -1 4202496 1956462 1241 0 0 175927 1115 0 0 18 0 33 0 666130834 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/17745/statm: 1211872 1033886 175 55 0 1209758 0
[pid=17745/tid=17754] ppid=17743 vsize=4847488 CPUtime=53.96 cores=0-31
/proc/17745/task/17754/stat : 17754 (plingeling) R 17743 17745 17719 0 -1 4202560 13461 1241 0 0 5375 21 0 0 25 0 33 0 666135652 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17745/tid=17755] ppid=17743 vsize=4847488 CPUtime=53.86 cores=0-31
/proc/17745/task/17755/stat : 17755 (plingeling) R 17743 17745 17719 0 -1 4202560 35427 1241 0 0 5360 26 0 0 25 0 33 0 666135652 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346480 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17745/tid=17756] ppid=17743 vsize=4847488 CPUtime=53.92 cores=0-31
/proc/17745/task/17756/stat : 17756 (plingeling) R 17743 17745 17719 0 -1 4202560 39266 1241 0 0 5357 35 0 0 25 0 33 0 666135652 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17745/tid=17757] ppid=17743 vsize=4847488 CPUtime=53.9 cores=0-31
/proc/17745/task/17757/stat : 17757 (plingeling) R 17743 17745 17719 0 -1 4202560 7861 1241 0 0 5373 17 0 0 25 0 33 0 666135652 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 4232648 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17745/tid=17758] ppid=17743 vsize=4847488 CPUtime=53.94 cores=0-31
/proc/17745/task/17758/stat : 17758 (plingeling) R 17743 17745 17719 0 -1 4202560 37488 1241 0 0 5365 29 0 0 25 0 33 0 666135652 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17745/tid=17759] ppid=17743 vsize=4847488 CPUtime=53.95 cores=0-31
/proc/17745/task/17759/stat : 17759 (plingeling) R 17743 17745 17719 0 -1 4202560 36393 1241 0 0 5375 20 0 0 25 0 33 0 666135652 4963827712 1033886 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346290 0 0 4096 17442 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/17745/task/17758/stat : 17758 (plingeling) R 17743 17745 17719 0 -1 4202560 37776 1241 0 0 27749 30 0 0 25 0 33 0 666135652 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17745/tid=17759] ppid=17743 vsize=4749904 CPUtime=277.88 cores=0-31
/proc/17745/task/17759/stat : 17759 (plingeling) R 17743 17745 17719 0 -1 4202560 36949 1241 0 0 27767 21 0 0 25 0 33 0 666135652 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17745/tid=17760] ppid=17743 vsize=4749904 CPUtime=277.89 cores=0-31
/proc/17745/task/17760/stat : 17760 (plingeling) R 17743 17745 17719 0 -1 4202560 17029 1241 0 0 27769 20 0 0 25 0 33 0 666135652 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17745/tid=17761] ppid=17743 vsize=4749904 CPUtime=277.8 cores=0-31
/proc/17745/task/17761/stat : 17761 (plingeling) R 17743 17745 17719 0 -1 4202560 29837 1241 0 0 27749 31 0 0 25 0 33 0 666135652 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17745/tid=17762] ppid=17743 vsize=4749904 CPUtime=277.48 cores=0-31
/proc/17745/task/17762/stat : 17762 (plingeling) R 17743 17745 17719 0 -1 4202560 36520 1241 0 0 27715 33 0 0 25 0 33 0 666135652 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17745/tid=17763] ppid=17743 vsize=4749904 CPUtime=276.52 cores=0-31
/proc/17745/task/17763/stat : 17763 (plingeling) R 17743 17745 17719 0 -1 4202560 47887 1241 0 0 27624 28 0 0 25 0 33 0 666135653 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17745/tid=17764] ppid=17743 vsize=4749904 CPUtime=277.85 cores=0-31
/proc/17745/task/17764/stat : 17764 (plingeling) R 17743 17745 17719 0 -1 4202560 36310 1241 0 0 27752 33 0 0 25 0 33 0 666135653 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17745/tid=17765] ppid=17743 vsize=4749904 CPUtime=277.81 cores=0-31
/proc/17745/task/17765/stat : 17765 (plingeling) R 17743 17745 17719 0 -1 4202560 44703 1241 0 0 27745 36 0 0 25 0 33 0 666135653 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17745/tid=17766] ppid=17743 vsize=4749904 CPUtime=277.19 cores=0-31
/proc/17745/task/17766/stat : 17766 (plingeling) R 17743 17745 17719 0 -1 4202560 23722 1241 0 0 27695 24 0 0 25 0 33 0 666135654 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4237617 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17745/tid=17767] ppid=17743 vsize=4749904 CPUtime=277.79 cores=0-31
/proc/17745/task/17767/stat : 17767 (plingeling) R 17743 17745 17719 0 -1 4202560 27879 1241 0 0 27754 25 0 0 25 0 33 0 666135654 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17745/tid=17768] ppid=17743 vsize=4749904 CPUtime=277.81 cores=0-31
/proc/17745/task/17768/stat : 17768 (plingeling) R 17743 17745 17719 0 -1 4202560 22618 1241 0 0 27751 30 0 0 25 0 33 0 666135655 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17745/tid=17769] ppid=17743 vsize=4749904 CPUtime=277.59 cores=0-31
/proc/17745/task/17769/stat : 17769 (plingeling) R 17743 17745 17719 0 -1 4202560 45925 1241 0 0 27723 36 0 0 25 0 33 0 666135655 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17745/tid=17770] ppid=17743 vsize=4749904 CPUtime=277.7 cores=0-31
/proc/17745/task/17770/stat : 17770 (plingeling) R 17743 17745 17719 0 -1 4202560 50116 1241 0 0 27732 38 0 0 25 0 33 0 666135655 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17745/tid=17771] ppid=17743 vsize=4749904 CPUtime=277.87 cores=0-31
/proc/17745/task/17771/stat : 17771 (plingeling) R 17743 17745 17719 0 -1 4202560 13090 1241 0 0 27761 26 0 0 25 0 33 0 666135655 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4336717 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17745/tid=17772] ppid=17743 vsize=4749904 CPUtime=277.88 cores=0-31
/proc/17745/task/17772/stat : 17772 (plingeling) R 17743 17745 17719 0 -1 4202560 25348 1241 0 0 27758 30 0 0 25 0 33 0 666135656 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17745/tid=17773] ppid=17743 vsize=4749904 CPUtime=277.72 cores=0-31
/proc/17745/task/17773/stat : 17773 (plingeling) R 17743 17745 17719 0 -1 4202560 45768 1241 0 0 27734 38 0 0 25 0 33 0 666135656 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4253336 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17745/tid=17774] ppid=17743 vsize=4749904 CPUtime=277.73 cores=0-31
/proc/17745/task/17774/stat : 17774 (plingeling) R 17743 17745 17719 0 -1 4202560 34201 1241 0 0 27741 32 0 0 25 0 33 0 666135656 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17745/tid=17775] ppid=17743 vsize=4749904 CPUtime=277.88 cores=0-31
/proc/17745/task/17775/stat : 17775 (plingeling) R 17743 17745 17719 0 -1 4202560 23892 1241 0 0 27762 26 0 0 25 0 33 0 666135656 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17745/tid=17776] ppid=17743 vsize=4749904 CPUtime=277.85 cores=0-31
/proc/17745/task/17776/stat : 17776 (plingeling) R 17743 17745 17719 0 -1 4202560 36162 1241 0 0 27753 32 0 0 25 0 33 0 666135657 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17745/tid=17777] ppid=17743 vsize=4749904 CPUtime=277.6 cores=0-31
/proc/17745/task/17777/stat : 17777 (plingeling) R 17743 17745 17719 0 -1 4202560 48454 1241 0 0 27726 34 0 0 25 0 33 0 666135657 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17745/tid=17778] ppid=17743 vsize=4749904 CPUtime=277.76 cores=0-31
/proc/17745/task/17778/stat : 17778 (plingeling) R 17743 17745 17719 0 -1 4202560 37219 1241 0 0 27740 36 0 0 25 0 33 0 666135657 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17745/tid=17779] ppid=17743 vsize=4749904 CPUtime=277.57 cores=0-31
/proc/17745/task/17779/stat : 17779 (plingeling) R 17743 17745 17719 0 -1 4202560 21348 1241 0 0 27749 8 0 0 25 0 33 0 666135658 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17745/tid=17780] ppid=17743 vsize=4749904 CPUtime=277.84 cores=0-31
/proc/17745/task/17780/stat : 17780 (plingeling) R 17743 17745 17719 0 -1 4202560 34027 1241 0 0 27751 33 0 0 25 0 33 0 666135658 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17745/tid=17781] ppid=17743 vsize=4749904 CPUtime=277.68 cores=0-31
/proc/17745/task/17781/stat : 17781 (plingeling) R 17743 17745 17719 0 -1 4202560 52225 1241 0 0 27730 38 0 0 25 0 33 0 666135658 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17745/tid=17782] ppid=17743 vsize=4749904 CPUtime=277.73 cores=0-31
/proc/17745/task/17782/stat : 17782 (plingeling) R 17743 17745 17719 0 -1 4202560 38966 1241 0 0 27735 38 0 0 25 0 33 0 666135658 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17745/tid=17783] ppid=17743 vsize=4749904 CPUtime=277.81 cores=0-31
/proc/17745/task/17783/stat : 17783 (plingeling) R 17743 17745 17719 0 -1 4202560 32636 1241 0 0 27752 29 0 0 25 0 33 0 666135658 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17745/tid=17784] ppid=17743 vsize=4749904 CPUtime=274.15 cores=0-31
/proc/17745/task/17784/stat : 17784 (plingeling) R 17743 17745 17719 0 -1 4202560 30101 1241 0 0 27391 24 0 0 25 0 33 0 666135658 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17745/tid=17785] ppid=17743 vsize=4749904 CPUtime=275.3 cores=0-31
/proc/17745/task/17785/stat : 17785 (plingeling) R 17743 17745 17719 0 -1 4202560 38105 1241 0 0 27504 26 0 0 25 0 33 0 666135659 4863901696 1008548 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 8929.34
Current children cumulated vsize (KiB) 4749904
[startup+327.902 s]
/proc/loadavg: 31.84 23.30 17.89 33/446 17791
/proc/meminfo: memFree=251459644/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=4749656 CPUtime=8980.48 cores=0-31
/proc/17745/stat : 17745 (plingeling) S 17743 17745 17719 0 -1 4202496 1969157 1241 0 0 896921 1127 0 0 18 0 33 0 666130834 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/17745/statm: 1187414 1008486 175 55 0 1185300 0
[pid=17745/tid=17754] ppid=17743 vsize=4749656 CPUtime=279.49 cores=0-31
/proc/17745/task/17754/stat : 17754 (plingeling) R 17743 17745 17719 0 -1 4202560 13753 1241 0 0 27928 21 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4270998 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17745/tid=17755] ppid=17743 vsize=4749656 CPUtime=279.39 cores=0-31
/proc/17745/task/17755/stat : 17755 (plingeling) R 17743 17745 17719 0 -1 4202560 35937 1241 0 0 27913 26 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281633 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17745/tid=17756] ppid=17743 vsize=4749656 CPUtime=279.45 cores=0-31
/proc/17745/task/17756/stat : 17756 (plingeling) R 17743 17745 17719 0 -1 4202560 39792 1241 0 0 27909 36 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4265418 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17745/tid=17757] ppid=17743 vsize=4749656 CPUtime=279.43 cores=0-31
/proc/17745/task/17757/stat : 17757 (plingeling) R 17743 17745 17719 0 -1 4202560 8885 1241 0 0 27926 17 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17745/tid=17758] ppid=17743 vsize=4749656 CPUtime=279.39 cores=0-31
/proc/17745/task/17758/stat : 17758 (plingeling) R 17743 17745 17719 0 -1 4202560 37776 1241 0 0 27909 30 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4278026 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17745/tid=17759] ppid=17743 vsize=4749656 CPUtime=279.48 cores=0-31
/proc/17745/task/17759/stat : 17759 (plingeling) R 17743 17745 17719 0 -1 4202560 36949 1241 0 0 27927 21 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17745/tid=17760] ppid=17743 vsize=4749656 CPUtime=279.49 cores=0-31
/proc/17745/task/17760/stat : 17760 (plingeling) R 17743 17745 17719 0 -1 4202560 17029 1241 0 0 27929 20 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17745/tid=17761] ppid=17743 vsize=4749656 CPUtime=279.4 cores=0-31
/proc/17745/task/17761/stat : 17761 (plingeling) R 17743 17745 17719 0 -1 4202560 29837 1241 0 0 27909 31 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17745/tid=17762] ppid=17743 vsize=4749656 CPUtime=279.08 cores=0-31
/proc/17745/task/17762/stat : 17762 (plingeling) R 17743 17745 17719 0 -1 4202560 36520 1241 0 0 27875 33 0 0 25 0 33 0 666135652 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17745/tid=17763] ppid=17743 vsize=4749656 CPUtime=278.12 cores=0-31
/proc/17745/task/17763/stat : 17763 (plingeling) R 17743 17745 17719 0 -1 4202560 47887 1241 0 0 27784 28 0 0 25 0 33 0 666135653 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17745/tid=17764] ppid=17743 vsize=4749656 CPUtime=279.45 cores=0-31
/proc/17745/task/17764/stat : 17764 (plingeling) R 17743 17745 17719 0 -1 4202560 36310 1241 0 0 27912 33 0 0 25 0 33 0 666135653 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17745/tid=17765] ppid=17743 vsize=4749656 CPUtime=279.41 cores=0-31
/proc/17745/task/17765/stat : 17765 (plingeling) R 17743 17745 17719 0 -1 4202560 44703 1241 0 0 27905 36 0 0 25 0 33 0 666135653 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17745/tid=17766] ppid=17743 vsize=4749656 CPUtime=278.79 cores=0-31
/proc/17745/task/17766/stat : 17766 (plingeling) R 17743 17745 17719 0 -1 4202560 23722 1241 0 0 27855 24 0 0 25 0 33 0 666135654 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17745/tid=17767] ppid=17743 vsize=4749656 CPUtime=279.39 cores=0-31
/proc/17745/task/17767/stat : 17767 (plingeling) R 17743 17745 17719 0 -1 4202560 27879 1241 0 0 27914 25 0 0 25 0 33 0 666135654 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17745/tid=17768] ppid=17743 vsize=4749656 CPUtime=279.41 cores=0-31
/proc/17745/task/17768/stat : 17768 (plingeling) R 17743 17745 17719 0 -1 4202560 22618 1241 0 0 27911 30 0 0 25 0 33 0 666135655 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17745/tid=17769] ppid=17743 vsize=4749656 CPUtime=279.19 cores=0-31
/proc/17745/task/17769/stat : 17769 (plingeling) R 17743 17745 17719 0 -1 4202560 45925 1241 0 0 27883 36 0 0 25 0 33 0 666135655 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346639 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17745/tid=17770] ppid=17743 vsize=4749656 CPUtime=279.3 cores=0-31
/proc/17745/task/17770/stat : 17770 (plingeling) R 17743 17745 17719 0 -1 4202560 50116 1241 0 0 27892 38 0 0 25 0 33 0 666135655 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17745/tid=17771] ppid=17743 vsize=4749656 CPUtime=279.47 cores=0-31
/proc/17745/task/17771/stat : 17771 (plingeling) R 17743 17745 17719 0 -1 4202560 13090 1241 0 0 27921 26 0 0 25 0 33 0 666135655 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17745/tid=17772] ppid=17743 vsize=4749656 CPUtime=279.48 cores=0-31
/proc/17745/task/17772/stat : 17772 (plingeling) R 17743 17745 17719 0 -1 4202560 25348 1241 0 0 27918 30 0 0 25 0 33 0 666135656 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17745/tid=17773] ppid=17743 vsize=4749656 CPUtime=279.32 cores=0-31
/proc/17745/task/17773/stat : 17773 (plingeling) R 17743 17745 17719 0 -1 4202560 45768 1241 0 0 27894 38 0 0 25 0 33 0 666135656 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4319712 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17745/tid=17774] ppid=17743 vsize=4749656 CPUtime=279.33 cores=0-31
/proc/17745/task/17774/stat : 17774 (plingeling) R 17743 17745 17719 0 -1 4202560 34201 1241 0 0 27901 32 0 0 25 0 33 0 666135656 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17745/tid=17775] ppid=17743 vsize=4749656 CPUtime=279.48 cores=0-31
/proc/17745/task/17775/stat : 17775 (plingeling) R 17743 17745 17719 0 -1 4202560 23892 1241 0 0 27922 26 0 0 25 0 33 0 666135656 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17745/tid=17776] ppid=17743 vsize=4749656 CPUtime=279.45 cores=0-31
/proc/17745/task/17776/stat : 17776 (plingeling) R 17743 17745 17719 0 -1 4202560 36162 1241 0 0 27913 32 0 0 25 0 33 0 666135657 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346468 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17745/tid=17777] ppid=17743 vsize=4749656 CPUtime=279.2 cores=0-31
/proc/17745/task/17777/stat : 17777 (plingeling) R 17743 17745 17719 0 -1 4202560 48454 1241 0 0 27886 34 0 0 25 0 33 0 666135657 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17745/tid=17778] ppid=17743 vsize=4749656 CPUtime=279.36 cores=0-31
/proc/17745/task/17778/stat : 17778 (plingeling) R 17743 17745 17719 0 -1 4202560 37219 1241 0 0 27900 36 0 0 25 0 33 0 666135657 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4265433 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17745/tid=17779] ppid=17743 vsize=4749656 CPUtime=279.17 cores=0-31
/proc/17745/task/17779/stat : 17779 (plingeling) R 17743 17745 17719 0 -1 4202560 21348 1241 0 0 27909 8 0 0 25 0 33 0 666135658 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17745/tid=17780] ppid=17743 vsize=4749656 CPUtime=279.44 cores=0-31
/proc/17745/task/17780/stat : 17780 (plingeling) R 17743 17745 17719 0 -1 4202560 34027 1241 0 0 27911 33 0 0 25 0 33 0 666135658 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17745/tid=17781] ppid=17743 vsize=4749656 CPUtime=279.28 cores=0-31
/proc/17745/task/17781/stat : 17781 (plingeling) R 17743 17745 17719 0 -1 4202560 52225 1241 0 0 27890 38 0 0 25 0 33 0 666135658 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4258329 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17745/tid=17782] ppid=17743 vsize=4749656 CPUtime=279.33 cores=0-31
/proc/17745/task/17782/stat : 17782 (plingeling) R 17743 17745 17719 0 -1 4202560 38966 1241 0 0 27895 38 0 0 25 0 33 0 666135658 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17745/tid=17783] ppid=17743 vsize=4749656 CPUtime=279.41 cores=0-31
/proc/17745/task/17783/stat : 17783 (plingeling) R 17743 17745 17719 0 -1 4202560 32636 1241 0 0 27912 29 0 0 25 0 33 0 666135658 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17745/tid=17784] ppid=17743 vsize=4749656 CPUtime=275.75 cores=0-31
/proc/17745/task/17784/stat : 17784 (plingeling) R 17743 17745 17719 0 -1 4202560 30101 1241 0 0 27551 24 0 0 25 0 33 0 666135658 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17745/tid=17785] ppid=17743 vsize=4749656 CPUtime=276.84 cores=0-31
/proc/17745/task/17785/stat : 17785 (plingeling) R 17743 17745 17719 0 -1 4202560 38105 1241 0 0 27658 26 0 0 25 0 33 0 666135659 4863647744 1008486 268435456000 4194304 4417452 140734739476160 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 8980.48
Current children cumulated vsize (KiB) 4749656
[startup+329.501 s]
/proc/loadavg: 31.85 23.45 17.96 33/446 17791
/proc/meminfo: memFree=251492160/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=4478928 CPUtime=9024.18 cores=0-31
/proc/17745/stat : 17745 (plingeling) S 17743 17745 17719 0 -1 4202496 1969196 1241 0 0 901290 1128 0 0 15 0 2 0 666130834 4586422272 991871 268435456000 4194304 4417452 140734739476160 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/17745/statm: 1119732 991871 176 55 0 1117618 0
[pid=17745/tid=17777] ppid=17743 vsize=4478928 CPUtime=280.79 cores=0-31
/proc/17745/task/17777/stat : 17777 (plingeling) R 17743 17745 17719 0 -1 4202560 48454 1241 0 0 28045 34 0 0 25 0 2 0 666135657 4586422272 991871 268435456000 4194304 4417452 140734739476160 18446744073709551615 4330513 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 9024.18
Current children cumulated vsize (KiB) 4478928
[startup+329.901 s]
/proc/loadavg: 31.85 23.45 17.96 2/415 17791
/proc/meminfo: memFree=251525532/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=4478928 CPUtime=9024.61 cores=0-31
/proc/17745/stat : 17745 (plingeling) S 17743 17745 17719 0 -1 4202496 1969196 1241 0 0 901333 1128 0 0 15 0 2 0 666130834 4586422272 991871 268435456000 4194304 4417452 140734739476160 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/17745/statm: 1119732 991871 176 55 0 1117618 0
[pid=17745/tid=17777] ppid=17743 vsize=4478928 CPUtime=281.23 cores=0-31
/proc/17745/task/17777/stat : 17777 (plingeling) R 17743 17745 17719 0 -1 4202560 48454 1241 0 0 28089 34 0 0 25 0 2 0 666135657 4586422272 991871 268435456000 4194304 4417452 140734739476160 18446744073709551615 4252431 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 9024.61
Current children cumulated vsize (KiB) 4478928
[startup+330.101 s]
/proc/loadavg: 31.85 23.45 17.96 2/415 17791
/proc/meminfo: memFree=251525532/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=2655500 CPUtime=9024.78 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 1969196 1241 0 0 901340 1138 0 0 15 0 1 0 666130834 2719232000 557005 268435456000 4194304 4417452 140734739476160 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/17745/statm: 663875 556725 176 55 0 661761 0
Current children cumulated CPU time (s) 9024.78
Current children cumulated vsize (KiB) 2655500
[startup+330.201 s]
/proc/loadavg: 31.85 23.45 17.96 2/415 17791
/proc/meminfo: memFree=251525532/264257624 swapFree=67111528/67111528
[pid=17745] ppid=17743 vsize=1168032 CPUtime=9024.88 cores=0-31
/proc/17745/stat : 17745 (plingeling) R 17743 17745 17719 0 -1 4202496 1969196 1241 0 0 901340 1148 0 0 16 0 1 0 666130834 1196064768 202544 268435456000 4194304 4417452 140734739476160 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/17745/statm: 292008 202032 176 55 0 289894 0
Current children cumulated CPU time (s) 9024.88
Current children cumulated vsize (KiB) 1168032
Child status: 20
Real time (s): 330.275
CPU time (s): 9024.97
CPU user time (s): 9013.41
CPU system time (s): 11.5632
CPU usage (%): 2732.56
Max. virtual memory (cumulated for all children) (KiB): 5205080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9013.41
system time used= 11.5632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1970441
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= 7612
involuntary context switches= 22523
runsolver used 1.85072 second user time and 7.82881 second system time
The end
Begin job on node200 at 2011-05-16 13:47:24
IDJOB=3372291
IDBENCH=70961
IDSOLVER=1852
FILE ID=node200/3372291-1305546442
RUNJOBID= node200-1305546442-17733
PBS_JOBID= 13285543
Free space on /tmp= 62004 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372291-1305546442/watcher-3372291-1305546442 -o /tmp/evaluation-result-3372291-1305546442/solver-3372291-1305546442 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372291-1305546442.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED=1699911586
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255493124 kB
Buffers: 444176 kB
Cached: 7911136 kB
SwapCached: 0 kB
Active: 7437004 kB
Inactive: 987212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255493124 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 49632 kB
Writeback: 0 kB
AnonPages: 69068 kB
Mapped: 14876 kB
Slab: 254856 kB
PageTables: 4340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62004 MiB
End job on node200 at 2011-05-16 13:52:55