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-3372207-1305484412/watcher-3372207-1305484412 -o /tmp/evaluation-result-3372207-1305484412/solver-3372207-1305484412 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372207-1305484412.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: 27.11 29.67 29.90 1/413 13238
/proc/meminfo: memFree=255565136/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=17696 CPUtime=0.02 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 2469 1243 0 0 2 0 0 0 23 0 1 0 659927723 18120704 2399 268435456000 4194304 4417452 140735281656432 18446744073709551615 258650652667 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 4424 2419 145 55 0 2310 0
[startup+0.0766681 s]
/proc/loadavg: 27.11 29.67 29.90 1/413 13238
/proc/meminfo: memFree=255565136/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=26500 CPUtime=0.06 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 4716 1243 0 0 6 0 0 0 23 0 1 0 659927723 27136000 4646 268435456000 4194304 4417452 140735281656432 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 6625 4646 145 55 0 4511 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26500
[startup+0.10067 s]
/proc/loadavg: 27.11 29.67 29.90 1/413 13238
/proc/meminfo: memFree=255565136/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=30756 CPUtime=0.08 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 5781 1243 0 0 8 0 0 0 23 0 1 0 659927723 31494144 5711 268435456000 4194304 4417452 140735281656432 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 7689 5711 146 55 0 5575 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30756
[startup+0.300678 s]
/proc/loadavg: 27.11 29.67 29.90 1/413 13238
/proc/meminfo: memFree=255565136/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=48680 CPUtime=0.28 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 10230 1243 0 0 27 1 0 0 25 0 1 0 659927723 49848320 10160 268435456000 4194304 4417452 140735281656432 18446744073709551615 4262099 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 12170 10160 146 55 0 10056 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48680
[startup+0.700694 s]
/proc/loadavg: 27.11 29.67 29.90 1/413 13238
/proc/meminfo: memFree=255565136/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=84228 CPUtime=0.68 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 19149 1243 0 0 65 3 0 0 25 0 1 0 659927723 86249472 19079 268435456000 4194304 4417452 140735281656432 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 21057 19079 146 55 0 18943 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84228
[startup+1.50072 s]
/proc/loadavg: 27.11 29.67 29.90 2/414 13244
/proc/meminfo: memFree=255451660/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=155276 CPUtime=1.48 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 36911 1243 0 0 141 7 0 0 25 0 1 0 659927723 159002624 36841 268435456000 4194304 4417452 140735281656432 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 38819 36841 146 55 0 36705 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 155276
[startup+3.10079 s]
/proc/loadavg: 27.11 29.67 29.90 2/414 13244
/proc/meminfo: memFree=255342788/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=294812 CPUtime=3.08 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 71808 1243 0 0 294 14 0 0 25 0 1 0 659927723 301887488 71725 268435456000 4194304 4417452 140735281656432 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 73703 71725 146 55 0 71589 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 294812
[startup+6.30089 s]
/proc/loadavg: 25.02 29.19 29.74 2/414 13244
/proc/meminfo: memFree=254996080/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=575968 CPUtime=6.28 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 142097 1243 0 0 599 29 0 0 25 0 1 0 659927723 589791232 142014 268435456000 4194304 4417452 140735281656432 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 143992 142014 146 55 0 141878 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 575968
[startup+12.7011 s]
/proc/loadavg: 23.09 28.73 29.59 2/414 13244
/proc/meminfo: memFree=254433556/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=1138660 CPUtime=12.69 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 282787 1243 0 0 1214 55 0 0 25 0 1 0 659927723 1165987840 282687 268435456000 4194304 4417452 140735281656432 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13238/statm: 284665 282687 146 55 0 282551 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1138660
[startup+25.5024 s]
/proc/loadavg: 20.68 27.88 29.29 33/446 13276
/proc/meminfo: memFree=253460764/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=2706920 CPUtime=193.39 cores=0-31
/proc/13238/stat : 13238 (plingeling) S 13236 13238 13212 0 -1 4202496 855626 1243 0 0 18743 596 0 0 18 0 33 0 659927723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/13238/statm: 676730 540098 171 55 0 674616 0
[pid=13238/tid=13245] ppid=13236 vsize=2706920 CPUtime=5.46 cores=0-31
/proc/13238/task/13245/stat : 13245 (plingeling) R 13236 13238 13212 0 -1 4202560 10862 1243 0 0 533 13 0 0 25 0 33 0 659929722 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275724 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13238/tid=13246] ppid=13236 vsize=2706920 CPUtime=5.46 cores=0-31
/proc/13238/task/13246/stat : 13246 (plingeling) R 13236 13238 13212 0 -1 4202560 14978 1243 0 0 532 14 0 0 25 0 33 0 659929722 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275990 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13238/tid=13247] ppid=13236 vsize=2706920 CPUtime=5.47 cores=0-31
/proc/13238/task/13247/stat : 13247 (plingeling) R 13236 13238 13212 0 -1 4202560 8489 1243 0 0 535 12 0 0 25 0 33 0 659929723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13238/tid=13248] ppid=13236 vsize=2706920 CPUtime=5.47 cores=0-31
/proc/13238/task/13248/stat : 13248 (plingeling) R 13236 13238 13212 0 -1 4202560 5249 1243 0 0 544 3 0 0 25 0 33 0 659929723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13238/tid=13249] ppid=13236 vsize=2706920 CPUtime=5.43 cores=0-31
/proc/13238/task/13249/stat : 13249 (plingeling) R 13236 13238 13212 0 -1 4202560 10514 1243 0 0 530 13 0 0 25 0 33 0 659929723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4260021 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13238/tid=13250] ppid=13236 vsize=2706920 CPUtime=5.43 cores=0-31
/proc/13238/task/13250/stat : 13250 (plingeling) R 13236 13238 13212 0 -1 4202560 12146 1243 0 0 529 14 0 0 25 0 33 0 659929723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13238/tid=13251] ppid=13236 vsize=2706920 CPUtime=5.46 cores=0-31
/proc/13238/task/13251/stat : 13251 (plingeling) R 13236 13238 13212 0 -1 4202560 10811 1243 0 0 533 13 0 0 25 0 33 0 659929723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4261260 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13238/tid=13252] ppid=13236 vsize=2706920 CPUtime=5.45 cores=0-31
/proc/13238/task/13252/stat : 13252 (plingeling) R 13236 13238 13212 0 -1 4202560 12654 1243 0 0 531 14 0 0 25 0 33 0 659929723 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13238/tid=13253] ppid=13236 vsize=2706920 CPUtime=5.44 cores=0-31
/proc/13238/task/13253/stat : 13253 (plingeling) R 13236 13238 13212 0 -1 4202560 17759 1243 0 0 523 21 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13238/tid=13254] ppid=13236 vsize=2706920 CPUtime=5.43 cores=0-31
/proc/13238/task/13254/stat : 13254 (plingeling) R 13236 13238 13212 0 -1 4202560 16209 1243 0 0 524 19 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4264232 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13238/tid=13255] ppid=13236 vsize=2706920 CPUtime=5.44 cores=0-31
/proc/13238/task/13255/stat : 13255 (plingeling) R 13236 13238 13212 0 -1 4202560 16164 1243 0 0 524 20 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4266901 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13238/tid=13256] ppid=13236 vsize=2706920 CPUtime=5.43 cores=0-31
/proc/13238/task/13256/stat : 13256 (plingeling) R 13236 13238 13212 0 -1 4202560 16134 1243 0 0 524 19 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275920 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13238/tid=13257] ppid=13236 vsize=2706920 CPUtime=5.41 cores=0-31
/proc/13238/task/13257/stat : 13257 (plingeling) R 13236 13238 13212 0 -1 4202560 10866 1243 0 0 528 13 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13238/tid=13258] ppid=13236 vsize=2706920 CPUtime=5.44 cores=0-31
/proc/13238/task/13258/stat : 13258 (plingeling) R 13236 13238 13212 0 -1 4202560 10331 1243 0 0 529 15 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13238/tid=13259] ppid=13236 vsize=2706920 CPUtime=5.42 cores=0-31
/proc/13238/task/13259/stat : 13259 (plingeling) R 13236 13238 13212 0 -1 4202560 8557 1243 0 0 530 12 0 0 25 0 33 0 659929724 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4317553 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13238/tid=13260] ppid=13236 vsize=2706920 CPUtime=5.43 cores=0-31
/proc/13238/task/13260/stat : 13260 (plingeling) R 13236 13238 13212 0 -1 4202560 16127 1243 0 0 525 18 0 0 25 0 33 0 659929725 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4270973 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13238/tid=13261] ppid=13236 vsize=2706920 CPUtime=5.42 cores=0-31
/proc/13238/task/13261/stat : 13261 (plingeling) R 13236 13238 13212 0 -1 4202560 12599 1243 0 0 521 21 0 0 25 0 33 0 659929725 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13238/tid=13262] ppid=13236 vsize=2706920 CPUtime=5.42 cores=0-31
/proc/13238/task/13262/stat : 13262 (plingeling) R 13236 13238 13212 0 -1 4202560 16167 1243 0 0 522 20 0 0 25 0 33 0 659929725 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13238/tid=13263] ppid=13236 vsize=2706920 CPUtime=5.41 cores=0-31
/proc/13238/task/13263/stat : 13263 (plingeling) R 13236 13238 13212 0 -1 4202560 14677 1243 0 0 521 20 0 0 25 0 33 0 659929725 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13238/tid=13264] ppid=13236 vsize=2706920 CPUtime=5.24 cores=0-31
/proc/13238/task/13264/stat : 13264 (plingeling) R 13236 13238 13212 0 -1 4202560 14934 1243 0 0 506 18 0 0 25 0 33 0 659929726 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13238/tid=13265] ppid=13236 vsize=2706920 CPUtime=5.41 cores=0-31
/proc/13238/task/13265/stat : 13265 (plingeling) R 13236 13238 13212 0 -1 4202560 16750 1243 0 0 527 14 0 0 25 0 33 0 659929726 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13238/tid=13266] ppid=13236 vsize=2706920 CPUtime=5.42 cores=0-31
/proc/13238/task/13266/stat : 13266 (plingeling) R 13236 13238 13212 0 -1 4202560 14951 1243 0 0 526 16 0 0 25 0 33 0 659929726 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4301771 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13238/tid=13267] ppid=13236 vsize=2706920 CPUtime=5.34 cores=0-31
/proc/13238/task/13267/stat : 13267 (plingeling) R 13236 13238 13212 0 -1 4202560 15434 1243 0 0 518 16 0 0 25 0 33 0 659929726 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 258650653239 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13238/tid=13268] ppid=13236 vsize=2706920 CPUtime=5.41 cores=0-31
/proc/13238/task/13268/stat : 13268 (plingeling) R 13236 13238 13212 0 -1 4202560 16933 1243 0 0 521 20 0 0 25 0 33 0 659929726 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4232473 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13238/tid=13269] ppid=13236 vsize=2706920 CPUtime=5.41 cores=0-31
/proc/13238/task/13269/stat : 13269 (plingeling) R 13236 13238 13212 0 -1 4202560 15045 1243 0 0 520 21 0 0 25 0 33 0 659929726 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275628 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13238/tid=13270] ppid=13236 vsize=2706920 CPUtime=5.41 cores=0-31
/proc/13238/task/13270/stat : 13270 (plingeling) R 13236 13238 13212 0 -1 4202560 12599 1243 0 0 522 19 0 0 25 0 33 0 659929727 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4232523 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13238/tid=13271] ppid=13236 vsize=2706920 CPUtime=5.39 cores=0-31
/proc/13238/task/13271/stat : 13271 (plingeling) R 13236 13238 13212 0 -1 4202560 16239 1243 0 0 519 20 0 0 25 0 33 0 659929727 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4274358 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13238/tid=13272] ppid=13236 vsize=2706920 CPUtime=5.39 cores=0-31
/proc/13238/task/13272/stat : 13272 (plingeling) R 13236 13238 13212 0 -1 4202560 8597 1243 0 0 531 8 0 0 25 0 33 0 659929728 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4275986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13238/tid=13273] ppid=13236 vsize=2706920 CPUtime=5.38 cores=0-31
/proc/13238/task/13273/stat : 13273 (plingeling) R 13236 13238 13212 0 -1 4202560 13773 1243 0 0 521 17 0 0 25 0 33 0 659929728 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4232464 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13238/tid=13274] ppid=13236 vsize=2706920 CPUtime=5.34 cores=0-31
/proc/13238/task/13274/stat : 13274 (plingeling) R 13236 13238 13212 0 -1 4202560 12982 1243 0 0 522 12 0 0 25 0 33 0 659929728 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13238/tid=13275] ppid=13236 vsize=2706920 CPUtime=5.32 cores=0-31
/proc/13238/task/13275/stat : 13275 (plingeling) R 13236 13238 13212 0 -1 4202560 14962 1243 0 0 522 10 0 0 25 0 33 0 659929729 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4261296 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13238/tid=13276] ppid=13236 vsize=2706920 CPUtime=5.32 cores=0-31
/proc/13238/task/13276/stat : 13276 (plingeling) R 13236 13238 13212 0 -1 4202560 8535 1243 0 0 519 13 0 0 25 0 33 0 659929735 2771886080 540098 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 193.39
Current children cumulated vsize (KiB) 2706920
[startup+51.1023 s]
/proc/loadavg: 24.66 28.24 29.38 33/446 13278
/proc/meminfo: memFree=252871980/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=3087088 CPUtime=1000.46 cores=0-31
/proc/13238/stat : 13238 (plingeling) S 13236 13238 13212 0 -1 4202496 1166296 1243 0 0 99126 920 0 0 18 0 33 0 659927723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/13238/statm: 771772 661346 175 55 0 769658 0
[pid=13238/tid=13245] ppid=13236 vsize=3087088 CPUtime=30.75 cores=0-31
/proc/13238/task/13245/stat : 13245 (plingeling) R 13236 13238 13212 0 -1 4202560 24284 1243 0 0 3051 24 0 0 25 0 33 0 659929722 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13238/tid=13246] ppid=13236 vsize=3087088 CPUtime=30.53 cores=0-31
/proc/13238/task/13246/stat : 13246 (plingeling) R 13236 13238 13212 0 -1 4202560 23207 1243 0 0 3025 28 0 0 25 0 33 0 659929722 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13238/tid=13247] ppid=13236 vsize=3087088 CPUtime=30.05 cores=0-31
/proc/13238/task/13247/stat : 13247 (plingeling) R 13236 13238 13212 0 -1 4202560 18798 1243 0 0 2986 19 0 0 25 0 33 0 659929723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13238/tid=13248] ppid=13236 vsize=3087088 CPUtime=31.05 cores=0-31
/proc/13238/task/13248/stat : 13248 (plingeling) R 13236 13238 13212 0 -1 4202560 5260 1243 0 0 3102 3 0 0 25 0 33 0 659929723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13238/tid=13249] ppid=13236 vsize=3087088 CPUtime=31 cores=0-31
/proc/13238/task/13249/stat : 13249 (plingeling) R 13236 13238 13212 0 -1 4202560 25886 1243 0 0 3075 25 0 0 25 0 33 0 659929723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4233483 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13238/tid=13250] ppid=13236 vsize=3087088 CPUtime=30.76 cores=0-31
/proc/13238/task/13250/stat : 13250 (plingeling) R 13236 13238 13212 0 -1 4202560 18537 1243 0 0 3050 26 0 0 25 0 33 0 659929723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13238/tid=13251] ppid=13236 vsize=3087088 CPUtime=30.57 cores=0-31
/proc/13238/task/13251/stat : 13251 (plingeling) R 13236 13238 13212 0 -1 4202560 23510 1243 0 0 3023 34 0 0 25 0 33 0 659929723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13238/tid=13252] ppid=13236 vsize=3087088 CPUtime=30.78 cores=0-31
/proc/13238/task/13252/stat : 13252 (plingeling) R 13236 13238 13212 0 -1 4202560 16786 1243 0 0 3051 27 0 0 25 0 33 0 659929723 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364607 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13238/tid=13253] ppid=13236 vsize=3087088 CPUtime=30.82 cores=0-31
/proc/13238/task/13253/stat : 13253 (plingeling) R 13236 13238 13212 0 -1 4202560 27012 1243 0 0 3051 31 0 0 25 0 33 0 659929724 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4287401 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13238/tid=13254] ppid=13236 vsize=3087088 CPUtime=30.83 cores=0-31
/proc/13238/task/13254/stat : 13254 (plingeling) R 13236 13238 13212 0 -1 4202560 26551 1243 0 0 3062 21 0 0 25 0 33 0 659929724 3161178112 661346 268435456000 4194304 4417452 140735281656432 18446744073709551615 4237841 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13238/tid=13255] ppid=13236 vsize=3087088 CPUtime=30.8 cores=0-31
################
# More data... #
################
[pid=13238/tid=13275] ppid=13236 vsize=2921984 CPUtime=52.84 cores=0-31
/proc/13238/task/13275/stat : 13275 (plingeling) R 13236 13238 13212 0 -1 4202560 22577 1243 0 0 5256 28 0 0 25 0 33 0 659929729 2992111616 615392 268435456000 4194304 4417452 140735281656432 18446744073709551615 4357737 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13238/tid=13276] ppid=13236 vsize=2921984 CPUtime=52.78 cores=0-31
/proc/13238/task/13276/stat : 13276 (plingeling) R 13236 13238 13212 0 -1 4202560 19860 1243 0 0 5255 23 0 0 25 0 33 0 659929735 2992111616 615392 268435456000 4194304 4417452 140735281656432 18446744073709551615 4366146 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1716.39
Current children cumulated vsize (KiB) 2921984
[startup+75.1022 s]
/proc/loadavg: 27.16 28.54 29.44 33/446 13278
/proc/meminfo: memFree=253090080/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=2914188 CPUtime=1767.52 cores=0-31
/proc/13238/stat : 13238 (plingeling) S 13236 13238 13212 0 -1 4202496 1172097 1243 0 0 175827 925 0 0 18 0 33 0 659927723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/13238/statm: 728547 613443 175 55 0 726433 0
[pid=13238/tid=13245] ppid=13236 vsize=2914188 CPUtime=54.75 cores=0-31
/proc/13238/task/13245/stat : 13245 (plingeling) R 13236 13238 13212 0 -1 4202560 24328 1243 0 0 5451 24 0 0 25 0 33 0 659929722 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364474 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13238/tid=13246] ppid=13236 vsize=2914188 CPUtime=54.52 cores=0-31
/proc/13238/task/13246/stat : 13246 (plingeling) R 13236 13238 13212 0 -1 4202560 23231 1243 0 0 5424 28 0 0 25 0 33 0 659929722 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13238/tid=13247] ppid=13236 vsize=2914188 CPUtime=53.41 cores=0-31
/proc/13238/task/13247/stat : 13247 (plingeling) R 13236 13238 13212 0 -1 4202560 18899 1243 0 0 5322 19 0 0 25 0 33 0 659929723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13238/tid=13248] ppid=13236 vsize=2914188 CPUtime=55.04 cores=0-31
/proc/13238/task/13248/stat : 13248 (plingeling) R 13236 13238 13212 0 -1 4202560 9356 1243 0 0 5500 4 0 0 25 0 33 0 659929723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13238/tid=13249] ppid=13236 vsize=2914188 CPUtime=54.98 cores=0-31
/proc/13238/task/13249/stat : 13249 (plingeling) R 13236 13238 13212 0 -1 4202560 25930 1243 0 0 5473 25 0 0 25 0 33 0 659929723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13238/tid=13250] ppid=13236 vsize=2914188 CPUtime=54.75 cores=0-31
/proc/13238/task/13250/stat : 13250 (plingeling) R 13236 13238 13212 0 -1 4202560 18561 1243 0 0 5449 26 0 0 25 0 33 0 659929723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 18446744073699066043 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13238/tid=13251] ppid=13236 vsize=2914188 CPUtime=54.56 cores=0-31
/proc/13238/task/13251/stat : 13251 (plingeling) R 13236 13238 13212 0 -1 4202560 23610 1243 0 0 5422 34 0 0 25 0 33 0 659929723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13238/tid=13252] ppid=13236 vsize=2914188 CPUtime=54.77 cores=0-31
/proc/13238/task/13252/stat : 13252 (plingeling) R 13236 13238 13212 0 -1 4202560 16810 1243 0 0 5450 27 0 0 25 0 33 0 659929723 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13238/tid=13253] ppid=13236 vsize=2914188 CPUtime=54.8 cores=0-31
/proc/13238/task/13253/stat : 13253 (plingeling) R 13236 13238 13212 0 -1 4202560 27055 1243 0 0 5449 31 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277485 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13238/tid=13254] ppid=13236 vsize=2914188 CPUtime=54.82 cores=0-31
/proc/13238/task/13254/stat : 13254 (plingeling) R 13236 13238 13212 0 -1 4202560 26575 1243 0 0 5461 21 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 18446744073699065873 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13238/tid=13255] ppid=13236 vsize=2914188 CPUtime=54.79 cores=0-31
/proc/13238/task/13255/stat : 13255 (plingeling) R 13236 13238 13212 0 -1 4202560 35691 1243 0 0 5446 33 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4264403 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13238/tid=13256] ppid=13236 vsize=2914188 CPUtime=54.67 cores=0-31
/proc/13238/task/13256/stat : 13256 (plingeling) R 13236 13238 13212 0 -1 4202560 24405 1243 0 0 5438 29 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13238/tid=13257] ppid=13236 vsize=2914188 CPUtime=54.49 cores=0-31
/proc/13238/task/13257/stat : 13257 (plingeling) R 13236 13238 13212 0 -1 4202560 15041 1243 0 0 5424 25 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13238/tid=13258] ppid=13236 vsize=2914188 CPUtime=54.24 cores=0-31
/proc/13238/task/13258/stat : 13258 (plingeling) R 13236 13238 13212 0 -1 4202560 33256 1243 0 0 5403 21 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4365799 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13238/tid=13259] ppid=13236 vsize=2914188 CPUtime=54.98 cores=0-31
/proc/13238/task/13259/stat : 13259 (plingeling) R 13236 13238 13212 0 -1 4202560 19092 1243 0 0 5472 26 0 0 25 0 33 0 659929724 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13238/tid=13260] ppid=13236 vsize=2914188 CPUtime=54.5 cores=0-31
/proc/13238/task/13260/stat : 13260 (plingeling) R 13236 13238 13212 0 -1 4202560 22326 1243 0 0 5417 33 0 0 25 0 33 0 659929725 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277428 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13238/tid=13261] ppid=13236 vsize=2914188 CPUtime=54.63 cores=0-31
/proc/13238/task/13261/stat : 13261 (plingeling) R 13236 13238 13212 0 -1 4202560 20870 1243 0 0 5436 27 0 0 25 0 33 0 659929725 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13238/tid=13262] ppid=13236 vsize=2914188 CPUtime=54.96 cores=0-31
/proc/13238/task/13262/stat : 13262 (plingeling) R 13236 13238 13212 0 -1 4202560 28518 1243 0 0 5473 23 0 0 25 0 33 0 659929725 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4269682 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13238/tid=13263] ppid=13236 vsize=2914188 CPUtime=54.91 cores=0-31
/proc/13238/task/13263/stat : 13263 (plingeling) R 13236 13238 13212 0 -1 4202560 23700 1243 0 0 5461 30 0 0 25 0 33 0 659929725 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13238/tid=13264] ppid=13236 vsize=2914188 CPUtime=54.4 cores=0-31
/proc/13238/task/13264/stat : 13264 (plingeling) R 13236 13238 13212 0 -1 4202560 21688 1243 0 0 5419 21 0 0 25 0 33 0 659929726 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13238/tid=13265] ppid=13236 vsize=2914188 CPUtime=54.63 cores=0-31
/proc/13238/task/13265/stat : 13265 (plingeling) R 13236 13238 13212 0 -1 4202560 32294 1243 0 0 5435 28 0 0 25 0 33 0 659929726 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13238/tid=13266] ppid=13236 vsize=2914188 CPUtime=54.76 cores=0-31
/proc/13238/task/13266/stat : 13266 (plingeling) R 13236 13238 13212 0 -1 4202560 28067 1243 0 0 5445 31 0 0 25 0 33 0 659929726 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13238/tid=13267] ppid=13236 vsize=2914188 CPUtime=54.57 cores=0-31
/proc/13238/task/13267/stat : 13267 (plingeling) R 13236 13238 13212 0 -1 4202560 21720 1243 0 0 5426 31 0 0 25 0 33 0 659929726 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236630 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13238/tid=13268] ppid=13236 vsize=2914188 CPUtime=54.64 cores=0-31
/proc/13238/task/13268/stat : 13268 (plingeling) R 13236 13238 13212 0 -1 4202560 28982 1243 0 0 5428 36 0 0 25 0 33 0 659929726 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13238/tid=13269] ppid=13236 vsize=2914188 CPUtime=54.48 cores=0-31
/proc/13238/task/13269/stat : 13269 (plingeling) R 13236 13238 13212 0 -1 4202560 31611 1243 0 0 5412 36 0 0 25 0 33 0 659929726 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4276028 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13238/tid=13270] ppid=13236 vsize=2914188 CPUtime=54.55 cores=0-31
/proc/13238/task/13270/stat : 13270 (plingeling) R 13236 13238 13212 0 -1 4202560 16758 1243 0 0 5428 27 0 0 25 0 33 0 659929727 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4366149 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13238/tid=13271] ppid=13236 vsize=2914188 CPUtime=54.3 cores=0-31
/proc/13238/task/13271/stat : 13271 (plingeling) R 13236 13238 13212 0 -1 4202560 20508 1243 0 0 5400 30 0 0 25 0 33 0 659929727 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13238/tid=13272] ppid=13236 vsize=2914188 CPUtime=54.66 cores=0-31
/proc/13238/task/13272/stat : 13272 (plingeling) R 13236 13238 13212 0 -1 4202560 16867 1243 0 0 5455 11 0 0 25 0 33 0 659929728 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13238/tid=13273] ppid=13236 vsize=2914188 CPUtime=54.76 cores=0-31
/proc/13238/task/13273/stat : 13273 (plingeling) R 13236 13238 13212 0 -1 4202560 21062 1243 0 0 5449 27 0 0 25 0 33 0 659929728 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4353533 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13238/tid=13274] ppid=13236 vsize=2914188 CPUtime=54.1 cores=0-31
/proc/13238/task/13274/stat : 13274 (plingeling) R 13236 13238 13212 0 -1 4202560 20233 1243 0 0 5397 13 0 0 25 0 33 0 659929728 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13238/tid=13275] ppid=13236 vsize=2914188 CPUtime=54.44 cores=0-31
/proc/13238/task/13275/stat : 13275 (plingeling) R 13236 13238 13212 0 -1 4202560 22577 1243 0 0 5416 28 0 0 25 0 33 0 659929729 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4281683 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13238/tid=13276] ppid=13236 vsize=2914188 CPUtime=54.38 cores=0-31
/proc/13238/task/13276/stat : 13276 (plingeling) R 13236 13238 13212 0 -1 4202560 19877 1243 0 0 5415 23 0 0 25 0 33 0 659929735 2984128512 613443 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1767.52
Current children cumulated vsize (KiB) 2914188
[startup+76.7022 s]
/proc/loadavg: 27.16 28.54 29.44 33/446 13278
/proc/meminfo: memFree=253114772/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=2840996 CPUtime=1818.66 cores=0-31
/proc/13238/stat : 13238 (plingeling) S 13236 13238 13212 0 -1 4202496 1172561 1243 0 0 180940 926 0 0 18 0 33 0 659927723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/13238/statm: 710249 595145 175 55 0 708135 0
[pid=13238/tid=13245] ppid=13236 vsize=2840996 CPUtime=56.35 cores=0-31
/proc/13238/task/13245/stat : 13245 (plingeling) R 13236 13238 13212 0 -1 4202560 24328 1243 0 0 5611 24 0 0 25 0 33 0 659929722 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4302036 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13238/tid=13246] ppid=13236 vsize=2840996 CPUtime=56.12 cores=0-31
/proc/13238/task/13246/stat : 13246 (plingeling) R 13236 13238 13212 0 -1 4202560 23251 1243 0 0 5584 28 0 0 25 0 33 0 659929722 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13238/tid=13247] ppid=13236 vsize=2840996 CPUtime=55.01 cores=0-31
/proc/13238/task/13247/stat : 13247 (plingeling) R 13236 13238 13212 0 -1 4202560 18970 1243 0 0 5482 19 0 0 25 0 33 0 659929723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13238/tid=13248] ppid=13236 vsize=2840996 CPUtime=56.64 cores=0-31
/proc/13238/task/13248/stat : 13248 (plingeling) R 13236 13238 13212 0 -1 4202560 9356 1243 0 0 5660 4 0 0 25 0 33 0 659929723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13238/tid=13249] ppid=13236 vsize=2840996 CPUtime=56.58 cores=0-31
/proc/13238/task/13249/stat : 13249 (plingeling) R 13236 13238 13212 0 -1 4202560 25930 1243 0 0 5633 25 0 0 25 0 33 0 659929723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13238/tid=13250] ppid=13236 vsize=2840996 CPUtime=56.35 cores=0-31
/proc/13238/task/13250/stat : 13250 (plingeling) R 13236 13238 13212 0 -1 4202560 18580 1243 0 0 5609 26 0 0 25 0 33 0 659929723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13238/tid=13251] ppid=13236 vsize=2840996 CPUtime=56.16 cores=0-31
/proc/13238/task/13251/stat : 13251 (plingeling) R 13236 13238 13212 0 -1 4202560 23680 1243 0 0 5582 34 0 0 25 0 33 0 659929723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4300593 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13238/tid=13252] ppid=13236 vsize=2840996 CPUtime=56.37 cores=0-31
/proc/13238/task/13252/stat : 13252 (plingeling) R 13236 13238 13212 0 -1 4202560 16829 1243 0 0 5610 27 0 0 25 0 33 0 659929723 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13238/tid=13253] ppid=13236 vsize=2840996 CPUtime=56.4 cores=0-31
/proc/13238/task/13253/stat : 13253 (plingeling) R 13236 13238 13212 0 -1 4202560 27055 1243 0 0 5609 31 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4265511 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13238/tid=13254] ppid=13236 vsize=2840996 CPUtime=56.42 cores=0-31
/proc/13238/task/13254/stat : 13254 (plingeling) R 13236 13238 13212 0 -1 4202560 26594 1243 0 0 5621 21 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13238/tid=13255] ppid=13236 vsize=2840996 CPUtime=56.39 cores=0-31
/proc/13238/task/13255/stat : 13255 (plingeling) R 13236 13238 13212 0 -1 4202560 35691 1243 0 0 5606 33 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13238/tid=13256] ppid=13236 vsize=2840996 CPUtime=56.27 cores=0-31
/proc/13238/task/13256/stat : 13256 (plingeling) R 13236 13238 13212 0 -1 4202560 24405 1243 0 0 5598 29 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13238/tid=13257] ppid=13236 vsize=2840996 CPUtime=56.08 cores=0-31
/proc/13238/task/13257/stat : 13257 (plingeling) R 13236 13238 13212 0 -1 4202560 15041 1243 0 0 5583 25 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13238/tid=13258] ppid=13236 vsize=2840996 CPUtime=55.84 cores=0-31
/proc/13238/task/13258/stat : 13258 (plingeling) R 13236 13238 13212 0 -1 4202560 33256 1243 0 0 5563 21 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13238/tid=13259] ppid=13236 vsize=2840996 CPUtime=56.58 cores=0-31
/proc/13238/task/13259/stat : 13259 (plingeling) R 13236 13238 13212 0 -1 4202560 19092 1243 0 0 5632 26 0 0 25 0 33 0 659929724 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13238/tid=13260] ppid=13236 vsize=2840996 CPUtime=56.1 cores=0-31
/proc/13238/task/13260/stat : 13260 (plingeling) R 13236 13238 13212 0 -1 4202560 22326 1243 0 0 5577 33 0 0 25 0 33 0 659929725 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13238/tid=13261] ppid=13236 vsize=2840996 CPUtime=56.23 cores=0-31
/proc/13238/task/13261/stat : 13261 (plingeling) R 13236 13238 13212 0 -1 4202560 20870 1243 0 0 5596 27 0 0 25 0 33 0 659929725 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13238/tid=13262] ppid=13236 vsize=2840996 CPUtime=56.56 cores=0-31
/proc/13238/task/13262/stat : 13262 (plingeling) R 13236 13238 13212 0 -1 4202560 28518 1243 0 0 5633 23 0 0 25 0 33 0 659929725 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13238/tid=13263] ppid=13236 vsize=2840996 CPUtime=56.51 cores=0-31
/proc/13238/task/13263/stat : 13263 (plingeling) R 13236 13238 13212 0 -1 4202560 23770 1243 0 0 5621 30 0 0 25 0 33 0 659929725 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277684 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13238/tid=13264] ppid=13236 vsize=2840996 CPUtime=56 cores=0-31
/proc/13238/task/13264/stat : 13264 (plingeling) R 13236 13238 13212 0 -1 4202560 21688 1243 0 0 5579 21 0 0 25 0 33 0 659929726 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13238/tid=13265] ppid=13236 vsize=2840996 CPUtime=56.23 cores=0-31
/proc/13238/task/13265/stat : 13265 (plingeling) R 13236 13238 13212 0 -1 4202560 32294 1243 0 0 5595 28 0 0 25 0 33 0 659929726 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13238/tid=13266] ppid=13236 vsize=2840996 CPUtime=56.36 cores=0-31
/proc/13238/task/13266/stat : 13266 (plingeling) R 13236 13238 13212 0 -1 4202560 28087 1243 0 0 5605 31 0 0 25 0 33 0 659929726 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13238/tid=13267] ppid=13236 vsize=2840996 CPUtime=56.17 cores=0-31
/proc/13238/task/13267/stat : 13267 (plingeling) R 13236 13238 13212 0 -1 4202560 21785 1243 0 0 5586 31 0 0 25 0 33 0 659929726 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4264478 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13238/tid=13268] ppid=13236 vsize=2840996 CPUtime=56.24 cores=0-31
/proc/13238/task/13268/stat : 13268 (plingeling) R 13236 13238 13212 0 -1 4202560 28982 1243 0 0 5588 36 0 0 25 0 33 0 659929726 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13238/tid=13269] ppid=13236 vsize=2840996 CPUtime=56.08 cores=0-31
/proc/13238/task/13269/stat : 13269 (plingeling) R 13236 13238 13212 0 -1 4202560 31611 1243 0 0 5572 36 0 0 25 0 33 0 659929726 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13238/tid=13270] ppid=13236 vsize=2840996 CPUtime=56.11 cores=0-31
/proc/13238/task/13270/stat : 13270 (plingeling) R 13236 13238 13212 0 -1 4202560 16778 1243 0 0 5584 27 0 0 25 0 33 0 659929727 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13238/tid=13271] ppid=13236 vsize=2840996 CPUtime=55.9 cores=0-31
/proc/13238/task/13271/stat : 13271 (plingeling) R 13236 13238 13212 0 -1 4202560 20508 1243 0 0 5560 30 0 0 25 0 33 0 659929727 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13238/tid=13272] ppid=13236 vsize=2840996 CPUtime=56.26 cores=0-31
/proc/13238/task/13272/stat : 13272 (plingeling) R 13236 13238 13212 0 -1 4202560 16867 1243 0 0 5615 11 0 0 25 0 33 0 659929728 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13238/tid=13273] ppid=13236 vsize=2840996 CPUtime=56.36 cores=0-31
/proc/13238/task/13273/stat : 13273 (plingeling) R 13236 13238 13212 0 -1 4202560 21062 1243 0 0 5609 27 0 0 25 0 33 0 659929728 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4365999 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13238/tid=13274] ppid=13236 vsize=2840996 CPUtime=55.7 cores=0-31
/proc/13238/task/13274/stat : 13274 (plingeling) R 13236 13238 13212 0 -1 4202560 20233 1243 0 0 5557 13 0 0 25 0 33 0 659929728 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13238/tid=13275] ppid=13236 vsize=2840996 CPUtime=56.04 cores=0-31
/proc/13238/task/13275/stat : 13275 (plingeling) R 13236 13238 13212 0 -1 4202560 22648 1243 0 0 5576 28 0 0 25 0 33 0 659929729 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13238/tid=13276] ppid=13236 vsize=2840996 CPUtime=55.98 cores=0-31
/proc/13238/task/13276/stat : 13276 (plingeling) R 13236 13238 13212 0 -1 4202560 19877 1243 0 0 5575 23 0 0 25 0 33 0 659929735 2909179904 595145 268435456000 4194304 4417452 140735281656432 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1818.66
Current children cumulated vsize (KiB) 2840996
[startup+77.1014 s]
/proc/loadavg: 27.16 28.54 29.44 4/417 13278
/proc/meminfo: memFree=253162828/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=2113812 CPUtime=1821.2 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202496 1172581 1243 0 0 181188 932 0 0 16 0 1 0 659927723 2164543488 475591 268435456000 4194304 4417452 140735281656432 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 25 0 0 0
/proc/13238/statm: 528453 475442 176 55 0 526339 0
Current children cumulated CPU time (s) 1821.2
Current children cumulated vsize (KiB) 2113812
[startup+77.3004 s]
/proc/loadavg: 27.16 28.54 29.44 4/417 13278
/proc/meminfo: memFree=253162828/264257624 swapFree=67111528/67111528
[pid=13238] ppid=13236 vsize=0 CPUtime=1821.4 cores=0-31
/proc/13238/stat : 13238 (plingeling) R 13236 13238 13212 0 -1 4202500 1172585 1243 0 0 181188 952 0 0 16 0 1 0 659927723 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 25 0 0 0
/proc/13238/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1821.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 77.3456
CPU time (s): 1821.47
CPU user time (s): 1811.89
CPU system time (s): 9.57554
CPU usage (%): 2354.97
Max. virtual memory (cumulated for all children) (KiB): 3602892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1811.89
system time used= 9.57554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1173828
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= 4940
involuntary context switches= 4413
runsolver used 0.489925 second user time and 1.79373 second system time
The end
Begin job on node200 at 2011-05-15 20:33:33
IDJOB=3372207
IDBENCH=69619
IDSOLVER=1852
FILE ID=node200/3372207-1305484412
RUNJOBID= node200-1305484412-13226
PBS_JOBID= 13285525
Free space on /tmp= 62036 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372207-1305484412/watcher-3372207-1305484412 -o /tmp/evaluation-result-3372207-1305484412/solver-3372207-1305484412 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372207-1305484412.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1079358518
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: 255565416 kB
Buffers: 441816 kB
Cached: 7851384 kB
SwapCached: 0 kB
Active: 7399844 kB
Inactive: 962308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255565416 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16732 kB
Writeback: 0 kB
AnonPages: 69192 kB
Mapped: 14392 kB
Slab: 250772 kB
PageTables: 3944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187324 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= 62036 MiB
End job on node200 at 2011-05-15 20:34:51