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-3372396-1305572679/watcher-3372396-1305572679 -o /tmp/evaluation-result-3372396-1305572679/solver-3372396-1305572679 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372396-1305572679.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: 13.39 26.80 30.14 1/413 21002
/proc/meminfo: memFree=255513428/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=42968 CPUtime=0.02 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 8466 1241 0 0 1 1 0 0 20 0 1 0 668754352 43999232 8397 268435456000 4194304 4417452 140734631730336 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 10742 8412 138 55 0 8628 0
[startup+0.0709949 s]
/proc/loadavg: 13.39 26.80 30.14 1/413 21002
/proc/meminfo: memFree=255513428/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=77960 CPUtime=0.06 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 17548 1241 0 0 3 3 0 0 21 0 1 0 668754352 79831040 17479 268435456000 4194304 4417452 140734631730336 18446744073709551615 4264934 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 19490 17479 145 55 0 17376 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 77960
[startup+0.100989 s]
/proc/loadavg: 13.39 26.80 30.14 1/413 21002
/proc/meminfo: memFree=255513428/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=82208 CPUtime=0.08 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 18617 1241 0 0 5 3 0 0 21 0 1 0 668754352 84180992 18548 268435456000 4194304 4417452 140734631730336 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 20552 18548 145 55 0 18438 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 82208
[startup+0.301044 s]
/proc/loadavg: 13.39 26.80 30.14 1/413 21002
/proc/meminfo: memFree=255513428/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=109836 CPUtime=0.28 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 25541 1241 0 0 24 4 0 0 21 0 1 0 668754352 112472064 25472 268435456000 4194304 4417452 140734631730336 18446744073709551615 4231389 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 27459 25472 146 55 0 25345 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 109836
[startup+0.701017 s]
/proc/loadavg: 13.39 26.80 30.14 1/413 21002
/proc/meminfo: memFree=255513428/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=140984 CPUtime=0.69 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 33312 1241 0 0 63 6 0 0 22 0 1 0 668754352 144367616 33243 268435456000 4194304 4417452 140734631730336 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 35246 33243 146 55 0 33132 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140984
[startup+1.50104 s]
/proc/loadavg: 13.39 26.80 30.14 2/414 21008
/proc/meminfo: memFree=255316996/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=204220 CPUtime=1.49 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 49145 1241 0 0 140 9 0 0 25 0 1 0 668754352 209121280 49076 268435456000 4194304 4417452 140734631730336 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 51055 49076 146 55 0 48941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204220
[startup+3.10109 s]
/proc/loadavg: 13.39 26.80 30.14 2/414 21008
/proc/meminfo: memFree=255189976/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=408604 CPUtime=3.09 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 99340 1241 0 0 289 20 0 0 25 0 1 0 668754352 418410496 99271 268435456000 4194304 4417452 140734631730336 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21002/statm: 102151 99288 146 55 0 100037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 408604
[startup+6.30108 s]
/proc/loadavg: 12.40 26.37 29.98 2/414 21008
/proc/meminfo: memFree=254937616/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=1169316 CPUtime=23.49 cores=0-31
/proc/21002/stat : 21002 (plingeling) S 21000 21002 20910 0 -1 4202496 225838 1241 0 0 2161 188 0 0 19 0 33 0 668754352 1197379584 164230 268435456000 4194304 4417452 140734631730336 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/21002/statm: 292329 164230 170 55 0 290215 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 1169316
[startup+12.7023 s]
/proc/loadavg: 13.97 26.46 29.99 33/446 21040
/proc/meminfo: memFree=254633536/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=1395016 CPUtime=222.14 cores=0-31
/proc/21002/stat : 21002 (plingeling) S 21000 21002 20910 0 -1 4202496 504281 1241 0 0 21863 351 0 0 19 0 33 0 668754352 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/21002/statm: 348754 215621 175 55 0 346640 0
[pid=21002/tid=21009] ppid=21000 vsize=1395016 CPUtime=6.78 cores=0-31
/proc/21002/task/21009/stat : 21009 (plingeling) R 21000 21002 20910 0 -1 4202560 14898 1241 0 0 663 15 0 0 22 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21002/tid=21010] ppid=21000 vsize=1395016 CPUtime=6.79 cores=0-31
/proc/21002/task/21010/stat : 21010 (plingeling) R 21000 21002 20910 0 -1 4202560 9616 1241 0 0 666 13 0 0 25 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21002/tid=21011] ppid=21000 vsize=1395016 CPUtime=6.82 cores=0-31
/proc/21002/task/21011/stat : 21011 (plingeling) R 21000 21002 20910 0 -1 4202560 12956 1241 0 0 673 9 0 0 25 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21002/tid=21012] ppid=21000 vsize=1395016 CPUtime=6.94 cores=0-31
/proc/21002/task/21012/stat : 21012 (plingeling) R 21000 21002 20910 0 -1 4202560 1678 1241 0 0 691 3 0 0 25 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21002/tid=21013] ppid=21000 vsize=1395016 CPUtime=6.77 cores=0-31
/proc/21002/task/21013/stat : 21013 (plingeling) R 21000 21002 20910 0 -1 4202560 15983 1241 0 0 662 15 0 0 25 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4331053 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21002/tid=21014] ppid=21000 vsize=1395016 CPUtime=6.84 cores=0-31
/proc/21002/task/21014/stat : 21014 (plingeling) R 21000 21002 20910 0 -1 4202560 12079 1241 0 0 669 15 0 0 25 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4240317 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21002/tid=21015] ppid=21000 vsize=1395016 CPUtime=6.74 cores=0-31
/proc/21002/task/21015/stat : 21015 (plingeling) R 21000 21002 20910 0 -1 4202560 3848 1241 0 0 669 5 0 0 22 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21002/tid=21016] ppid=21000 vsize=1395016 CPUtime=6.91 cores=0-31
/proc/21002/task/21016/stat : 21016 (plingeling) R 21000 21002 20910 0 -1 4202560 10715 1241 0 0 683 8 0 0 25 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4254328 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21002/tid=21017] ppid=21000 vsize=1395016 CPUtime=6.91 cores=0-31
/proc/21002/task/21017/stat : 21017 (plingeling) R 21000 21002 20910 0 -1 4202560 18632 1241 0 0 679 12 0 0 22 0 33 0 668754918 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4253830 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21002/tid=21018] ppid=21000 vsize=1395016 CPUtime=6.8 cores=0-31
/proc/21002/task/21018/stat : 21018 (plingeling) R 21000 21002 20910 0 -1 4202560 17852 1241 0 0 668 12 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330484 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21002/tid=21019] ppid=21000 vsize=1395016 CPUtime=6.85 cores=0-31
/proc/21002/task/21019/stat : 21019 (plingeling) R 21000 21002 20910 0 -1 4202560 9234 1241 0 0 679 6 0 0 23 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21002/tid=21020] ppid=21000 vsize=1395016 CPUtime=6.73 cores=0-31
/proc/21002/task/21020/stat : 21020 (plingeling) R 21000 21002 20910 0 -1 4202560 9106 1241 0 0 664 9 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4331344 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21002/tid=21021] ppid=21000 vsize=1395016 CPUtime=6.78 cores=0-31
/proc/21002/task/21021/stat : 21021 (plingeling) R 21000 21002 20910 0 -1 4202560 9022 1241 0 0 664 14 0 0 23 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4240037 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21002/tid=21022] ppid=21000 vsize=1395016 CPUtime=6.83 cores=0-31
/proc/21002/task/21022/stat : 21022 (plingeling) R 21000 21002 20910 0 -1 4202560 12390 1241 0 0 671 12 0 0 22 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4240345 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21002/tid=21023] ppid=21000 vsize=1395016 CPUtime=6.61 cores=0-31
/proc/21002/task/21023/stat : 21023 (plingeling) R 21000 21002 20910 0 -1 4202560 8118 1241 0 0 657 4 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4236935 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21002/tid=21024] ppid=21000 vsize=1395016 CPUtime=6.72 cores=0-31
/proc/21002/task/21024/stat : 21024 (plingeling) R 21000 21002 20910 0 -1 4202560 7994 1241 0 0 662 10 0 0 23 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4233477 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21002/tid=21025] ppid=21000 vsize=1395016 CPUtime=6.68 cores=0-31
/proc/21002/task/21025/stat : 21025 (plingeling) R 21000 21002 20910 0 -1 4202560 8977 1241 0 0 657 11 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21002/tid=21026] ppid=21000 vsize=1395016 CPUtime=6.7 cores=0-31
/proc/21002/task/21026/stat : 21026 (plingeling) R 21000 21002 20910 0 -1 4202560 7599 1241 0 0 662 8 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21002/tid=21027] ppid=21000 vsize=1395016 CPUtime=6.68 cores=0-31
/proc/21002/task/21027/stat : 21027 (plingeling) R 21000 21002 20910 0 -1 4202560 14867 1241 0 0 662 6 0 0 24 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21002/tid=21028] ppid=21000 vsize=1395016 CPUtime=6.76 cores=0-31
/proc/21002/task/21028/stat : 21028 (plingeling) R 21000 21002 20910 0 -1 4202560 15418 1241 0 0 661 15 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4239971 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21002/tid=21029] ppid=21000 vsize=1395016 CPUtime=6.63 cores=0-31
/proc/21002/task/21029/stat : 21029 (plingeling) R 21000 21002 20910 0 -1 4202560 16626 1241 0 0 650 13 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4240360 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21002/tid=21030] ppid=21000 vsize=1395016 CPUtime=6.69 cores=0-31
/proc/21002/task/21030/stat : 21030 (plingeling) R 21000 21002 20910 0 -1 4202560 15268 1241 0 0 655 14 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4256889 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21002/tid=21031] ppid=21000 vsize=1395016 CPUtime=6.89 cores=0-31
/proc/21002/task/21031/stat : 21031 (plingeling) R 21000 21002 20910 0 -1 4202560 5747 1241 0 0 682 7 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21002/tid=21032] ppid=21000 vsize=1395016 CPUtime=6.84 cores=0-31
/proc/21002/task/21032/stat : 21032 (plingeling) R 21000 21002 20910 0 -1 4202560 9757 1241 0 0 671 13 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4254706 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21002/tid=21033] ppid=21000 vsize=1395016 CPUtime=6.7 cores=0-31
/proc/21002/task/21033/stat : 21033 (plingeling) R 21000 21002 20910 0 -1 4202560 12512 1241 0 0 660 10 0 0 25 0 33 0 668754919 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21002/tid=21034] ppid=21000 vsize=1395016 CPUtime=6.73 cores=0-31
/proc/21002/task/21034/stat : 21034 (plingeling) R 21000 21002 20910 0 -1 4202560 14617 1241 0 0 665 8 0 0 23 0 33 0 668754920 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330958 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21002/tid=21035] ppid=21000 vsize=1395016 CPUtime=6.74 cores=0-31
/proc/21002/task/21035/stat : 21035 (plingeling) R 21000 21002 20910 0 -1 4202560 7037 1241 0 0 672 2 0 0 23 0 33 0 668754926 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21002/tid=21036] ppid=21000 vsize=1395016 CPUtime=6.65 cores=0-31
/proc/21002/task/21036/stat : 21036 (plingeling) R 21000 21002 20910 0 -1 4202560 17159 1241 0 0 656 9 0 0 25 0 33 0 668754927 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4331403 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21002/tid=21037] ppid=21000 vsize=1395016 CPUtime=6.55 cores=0-31
/proc/21002/task/21037/stat : 21037 (plingeling) R 21000 21002 20910 0 -1 4202560 13476 1241 0 0 649 6 0 0 25 0 33 0 668754927 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21002/tid=21038] ppid=21000 vsize=1395016 CPUtime=6.65 cores=0-31
/proc/21002/task/21038/stat : 21038 (plingeling) R 21000 21002 20910 0 -1 4202560 14756 1241 0 0 654 11 0 0 25 0 33 0 668754928 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4253925 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21002/tid=21039] ppid=21000 vsize=1395016 CPUtime=6.76 cores=0-31
/proc/21002/task/21039/stat : 21039 (plingeling) R 21000 21002 20910 0 -1 4202560 4895 1241 0 0 672 4 0 0 25 0 33 0 668754928 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21002/tid=21040] ppid=21000 vsize=1395016 CPUtime=6.69 cores=0-31
/proc/21002/task/21040/stat : 21040 (plingeling) R 21000 21002 20910 0 -1 4202560 7431 1241 0 0 664 5 0 0 24 0 33 0 668754928 1428496384 215621 268435456000 4194304 4417452 140734631730336 18446744073709551615 4240047 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 1395016
[startup+25.5018 s]
/proc/loadavg: 18.03 26.75 30.03 33/446 21040
/proc/meminfo: memFree=254487340/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=1519284 CPUtime=631.19 cores=0-31
/proc/21002/stat : 21002 (plingeling) S 21000 21002 20910 0 -1 4202496 547913 1241 0 0 62725 394 0 0 19 0 33 0 668754352 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/21002/statm: 379821 254986 175 55 0 377707 0
[pid=21002/tid=21009] ppid=21000 vsize=1519284 CPUtime=19.57 cores=0-31
/proc/21002/task/21009/stat : 21009 (plingeling) R 21000 21002 20910 0 -1 4202560 16155 1241 0 0 1942 15 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252606 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21002/tid=21010] ppid=21000 vsize=1519284 CPUtime=19.59 cores=0-31
/proc/21002/task/21010/stat : 21010 (plingeling) R 21000 21002 20910 0 -1 4202560 11384 1241 0 0 1945 14 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4272422 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21002/tid=21011] ppid=21000 vsize=1519284 CPUtime=19.61 cores=0-31
/proc/21002/task/21011/stat : 21011 (plingeling) R 21000 21002 20910 0 -1 4202560 14139 1241 0 0 1952 9 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21002/tid=21012] ppid=21000 vsize=1519284 CPUtime=19.73 cores=0-31
/proc/21002/task/21012/stat : 21012 (plingeling) R 21000 21002 20910 0 -1 4202560 3726 1241 0 0 1970 3 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21002/tid=21013] ppid=21000 vsize=1519284 CPUtime=19.56 cores=0-31
/proc/21002/task/21013/stat : 21013 (plingeling) R 21000 21002 20910 0 -1 4202560 18624 1241 0 0 1939 17 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4258253 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21002/tid=21014] ppid=21000 vsize=1519284 CPUtime=19.64 cores=0-31
/proc/21002/task/21014/stat : 21014 (plingeling) R 21000 21002 20910 0 -1 4202560 12805 1241 0 0 1948 16 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21002/tid=21015] ppid=21000 vsize=1519284 CPUtime=19.54 cores=0-31
/proc/21002/task/21015/stat : 21015 (plingeling) R 21000 21002 20910 0 -1 4202560 3897 1241 0 0 1949 5 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21002/tid=21016] ppid=21000 vsize=1519284 CPUtime=19.71 cores=0-31
/proc/21002/task/21016/stat : 21016 (plingeling) R 21000 21002 20910 0 -1 4202560 11944 1241 0 0 1961 10 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21002/tid=21017] ppid=21000 vsize=1519284 CPUtime=19.7 cores=0-31
/proc/21002/task/21017/stat : 21017 (plingeling) R 21000 21002 20910 0 -1 4202560 20892 1241 0 0 1956 14 0 0 25 0 33 0 668754918 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 258650618542 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21002/tid=21018] ppid=21000 vsize=1519284 CPUtime=19.6 cores=0-31
/proc/21002/task/21018/stat : 21018 (plingeling) R 21000 21002 20910 0 -1 4202560 18729 1241 0 0 1947 13 0 0 25 0 33 0 668754919 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252879 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21002/tid=21019] ppid=21000 vsize=1519284 CPUtime=19.64 cores=0-31
/proc/21002/task/21019/stat : 21019 (plingeling) R 21000 21002 20910 0 -1 4202560 11819 1241 0 0 1953 11 0 0 25 0 33 0 668754919 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21002/tid=21020] ppid=21000 vsize=1519284 CPUtime=19.53 cores=0-31
/proc/21002/task/21020/stat : 21020 (plingeling) R 21000 21002 20910 0 -1 4202560 10843 1241 0 0 1942 11 0 0 25 0 33 0 668754919 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252499 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21002/tid=21021] ppid=21000 vsize=1519284 CPUtime=19.58 cores=0-31
/proc/21002/task/21021/stat : 21021 (plingeling) R 21000 21002 20910 0 -1 4202560 11541 1241 0 0 1942 16 0 0 25 0 33 0 668754919 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21002/tid=21022] ppid=21000 vsize=1519284 CPUtime=19.62 cores=0-31
/proc/21002/task/21022/stat : 21022 (plingeling) R 21000 21002 20910 0 -1 4202560 12627 1241 0 0 1950 12 0 0 25 0 33 0 668754919 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21002/tid=21023] ppid=21000 vsize=1519284 CPUtime=19.4 cores=0-31
/proc/21002/task/21023/stat : 21023 (plingeling) R 21000 21002 20910 0 -1 4202560 11837 1241 0 0 1931 9 0 0 25 0 33 0 668754919 1555746816 254986 268435456000 4194304 4417452 140734631730336 18446744073709551615 4352405 0 0 4096 17442 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=21002/tid=21018] ppid=21000 vsize=1316060 CPUtime=40.39 cores=0-31
/proc/21002/task/21018/stat : 21018 (plingeling) R 21000 21002 20910 0 -1 4202560 18764 1241 0 0 4026 13 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21002/tid=21019] ppid=21000 vsize=1316060 CPUtime=40.44 cores=0-31
/proc/21002/task/21019/stat : 21019 (plingeling) R 21000 21002 20910 0 -1 4202560 12185 1241 0 0 4032 12 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21002/tid=21020] ppid=21000 vsize=1316060 CPUtime=40.32 cores=0-31
/proc/21002/task/21020/stat : 21020 (plingeling) R 21000 21002 20910 0 -1 4202560 10878 1241 0 0 4021 11 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4353531 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21002/tid=21021] ppid=21000 vsize=1316060 CPUtime=40.37 cores=0-31
/proc/21002/task/21021/stat : 21021 (plingeling) R 21000 21002 20910 0 -1 4202560 11576 1241 0 0 4021 16 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330484 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21002/tid=21022] ppid=21000 vsize=1316060 CPUtime=40.4 cores=0-31
/proc/21002/task/21022/stat : 21022 (plingeling) R 21000 21002 20910 0 -1 4202560 12663 1241 0 0 4028 12 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21002/tid=21023] ppid=21000 vsize=1316060 CPUtime=40.19 cores=0-31
/proc/21002/task/21023/stat : 21023 (plingeling) R 21000 21002 20910 0 -1 4202560 11880 1241 0 0 4010 9 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4330605 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21002/tid=21024] ppid=21000 vsize=1316060 CPUtime=40.31 cores=0-31
/proc/21002/task/21024/stat : 21024 (plingeling) R 21000 21002 20910 0 -1 4202560 9779 1241 0 0 4018 13 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21002/tid=21025] ppid=21000 vsize=1316060 CPUtime=40.28 cores=0-31
/proc/21002/task/21025/stat : 21025 (plingeling) R 21000 21002 20910 0 -1 4202560 10242 1241 0 0 4015 13 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21002/tid=21026] ppid=21000 vsize=1316060 CPUtime=40.29 cores=0-31
/proc/21002/task/21026/stat : 21026 (plingeling) R 21000 21002 20910 0 -1 4202560 8320 1241 0 0 4020 9 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21002/tid=21027] ppid=21000 vsize=1316060 CPUtime=40.27 cores=0-31
/proc/21002/task/21027/stat : 21027 (plingeling) R 21000 21002 20910 0 -1 4202560 17008 1241 0 0 4021 6 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4233481 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21002/tid=21028] ppid=21000 vsize=1316060 CPUtime=40.35 cores=0-31
/proc/21002/task/21028/stat : 21028 (plingeling) R 21000 21002 20910 0 -1 4202560 16175 1241 0 0 4019 16 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21002/tid=21029] ppid=21000 vsize=1316060 CPUtime=40.21 cores=0-31
/proc/21002/task/21029/stat : 21029 (plingeling) R 21000 21002 20910 0 -1 4202560 17382 1241 0 0 4006 15 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4253230 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21002/tid=21030] ppid=21000 vsize=1316060 CPUtime=39.32 cores=0-31
/proc/21002/task/21030/stat : 21030 (plingeling) R 21000 21002 20910 0 -1 4202560 16028 1241 0 0 3917 15 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21002/tid=21031] ppid=21000 vsize=1316060 CPUtime=40.47 cores=0-31
/proc/21002/task/21031/stat : 21031 (plingeling) R 21000 21002 20910 0 -1 4202560 8825 1241 0 0 4040 7 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4273667 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21002/tid=21032] ppid=21000 vsize=1316060 CPUtime=40.43 cores=0-31
/proc/21002/task/21032/stat : 21032 (plingeling) R 21000 21002 20910 0 -1 4202560 12308 1241 0 0 4027 16 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21002/tid=21033] ppid=21000 vsize=1316060 CPUtime=40.27 cores=0-31
/proc/21002/task/21033/stat : 21033 (plingeling) R 21000 21002 20910 0 -1 4202560 13270 1241 0 0 4015 12 0 0 25 0 33 0 668754919 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21002/tid=21034] ppid=21000 vsize=1316060 CPUtime=40.32 cores=0-31
/proc/21002/task/21034/stat : 21034 (plingeling) R 21000 21002 20910 0 -1 4202560 15369 1241 0 0 4022 10 0 0 25 0 33 0 668754920 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4264950 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21002/tid=21035] ppid=21000 vsize=1316060 CPUtime=40.31 cores=0-31
/proc/21002/task/21035/stat : 21035 (plingeling) R 21000 21002 20910 0 -1 4202560 9583 1241 0 0 4024 7 0 0 25 0 33 0 668754926 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4346555 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21002/tid=21036] ppid=21000 vsize=1316060 CPUtime=40.22 cores=0-31
/proc/21002/task/21036/stat : 21036 (plingeling) R 21000 21002 20910 0 -1 4202560 17915 1241 0 0 4012 10 0 0 24 0 33 0 668754927 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21002/tid=21037] ppid=21000 vsize=1316060 CPUtime=40.13 cores=0-31
/proc/21002/task/21037/stat : 21037 (plingeling) R 21000 21002 20910 0 -1 4202560 14231 1241 0 0 4005 8 0 0 25 0 33 0 668754927 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21002/tid=21038] ppid=21000 vsize=1316060 CPUtime=40.24 cores=0-31
/proc/21002/task/21038/stat : 21038 (plingeling) R 21000 21002 20910 0 -1 4202560 14797 1241 0 0 4013 11 0 0 25 0 33 0 668754928 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21002/tid=21039] ppid=21000 vsize=1316060 CPUtime=40.35 cores=0-31
/proc/21002/task/21039/stat : 21039 (plingeling) R 21000 21002 20910 0 -1 4202560 8488 1241 0 0 4030 5 0 0 25 0 33 0 668754928 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252240 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21002/tid=21040] ppid=21000 vsize=1316060 CPUtime=40.29 cores=0-31
/proc/21002/task/21040/stat : 21040 (plingeling) R 21000 21002 20910 0 -1 4202560 8155 1241 0 0 4023 6 0 0 25 0 33 0 668754928 1347645440 203076 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 1295.97
Current children cumulated vsize (KiB) 1316060
[startup+47.1015 s]
/proc/loadavg: 22.00 27.09 30.07 33/446 21040
/proc/meminfo: memFree=254697568/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=1327248 CPUtime=1321.55 cores=0-31
/proc/21002/stat : 21002 (plingeling) S 21000 21002 20910 0 -1 4202496 560603 1241 0 0 131747 408 0 0 19 0 33 0 668754352 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/21002/statm: 331812 205608 175 55 0 329698 0
[pid=21002/tid=21009] ppid=21000 vsize=1327248 CPUtime=41.17 cores=0-31
/proc/21002/task/21009/stat : 21009 (plingeling) R 21000 21002 20910 0 -1 4202560 16190 1241 0 0 4102 15 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21002/tid=21010] ppid=21000 vsize=1327248 CPUtime=41.18 cores=0-31
/proc/21002/task/21010/stat : 21010 (plingeling) R 21000 21002 20910 0 -1 4202560 11419 1241 0 0 4104 14 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21002/tid=21011] ppid=21000 vsize=1327248 CPUtime=41.21 cores=0-31
/proc/21002/task/21011/stat : 21011 (plingeling) R 21000 21002 20910 0 -1 4202560 16541 1241 0 0 4111 10 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21002/tid=21012] ppid=21000 vsize=1327248 CPUtime=41.33 cores=0-31
/proc/21002/task/21012/stat : 21012 (plingeling) R 21000 21002 20910 0 -1 4202560 3726 1241 0 0 4130 3 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21002/tid=21013] ppid=21000 vsize=1327248 CPUtime=41.15 cores=0-31
/proc/21002/task/21013/stat : 21013 (plingeling) R 21000 21002 20910 0 -1 4202560 18659 1241 0 0 4098 17 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4257128 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21002/tid=21014] ppid=21000 vsize=1327248 CPUtime=41.23 cores=0-31
/proc/21002/task/21014/stat : 21014 (plingeling) R 21000 21002 20910 0 -1 4202560 12841 1241 0 0 4107 16 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21002/tid=21015] ppid=21000 vsize=1327248 CPUtime=41.13 cores=0-31
/proc/21002/task/21015/stat : 21015 (plingeling) R 21000 21002 20910 0 -1 4202560 6301 1241 0 0 4107 6 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21002/tid=21016] ppid=21000 vsize=1327248 CPUtime=41.3 cores=0-31
/proc/21002/task/21016/stat : 21016 (plingeling) R 21000 21002 20910 0 -1 4202560 11980 1241 0 0 4120 10 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21002/tid=21017] ppid=21000 vsize=1327248 CPUtime=41.29 cores=0-31
/proc/21002/task/21017/stat : 21017 (plingeling) R 21000 21002 20910 0 -1 4202560 20928 1241 0 0 4115 14 0 0 25 0 33 0 668754918 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21002/tid=21018] ppid=21000 vsize=1327248 CPUtime=41.19 cores=0-31
/proc/21002/task/21018/stat : 21018 (plingeling) R 21000 21002 20910 0 -1 4202560 18764 1241 0 0 4106 13 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4265425 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21002/tid=21019] ppid=21000 vsize=1327248 CPUtime=41.24 cores=0-31
/proc/21002/task/21019/stat : 21019 (plingeling) R 21000 21002 20910 0 -1 4202560 12185 1241 0 0 4112 12 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21002/tid=21020] ppid=21000 vsize=1327248 CPUtime=41.12 cores=0-31
/proc/21002/task/21020/stat : 21020 (plingeling) R 21000 21002 20910 0 -1 4202560 10878 1241 0 0 4101 11 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21002/tid=21021] ppid=21000 vsize=1327248 CPUtime=41.17 cores=0-31
/proc/21002/task/21021/stat : 21021 (plingeling) R 21000 21002 20910 0 -1 4202560 11576 1241 0 0 4101 16 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21002/tid=21022] ppid=21000 vsize=1327248 CPUtime=41.2 cores=0-31
/proc/21002/task/21022/stat : 21022 (plingeling) R 21000 21002 20910 0 -1 4202560 12663 1241 0 0 4108 12 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21002/tid=21023] ppid=21000 vsize=1327248 CPUtime=40.99 cores=0-31
/proc/21002/task/21023/stat : 21023 (plingeling) R 21000 21002 20910 0 -1 4202560 12180 1241 0 0 4090 9 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4229856 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21002/tid=21024] ppid=21000 vsize=1327248 CPUtime=41.11 cores=0-31
/proc/21002/task/21024/stat : 21024 (plingeling) R 21000 21002 20910 0 -1 4202560 9779 1241 0 0 4098 13 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4354440 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21002/tid=21025] ppid=21000 vsize=1327248 CPUtime=41.08 cores=0-31
/proc/21002/task/21025/stat : 21025 (plingeling) R 21000 21002 20910 0 -1 4202560 10242 1241 0 0 4095 13 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4290662 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21002/tid=21026] ppid=21000 vsize=1327248 CPUtime=41.09 cores=0-31
/proc/21002/task/21026/stat : 21026 (plingeling) R 21000 21002 20910 0 -1 4202560 8320 1241 0 0 4100 9 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4232644 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21002/tid=21027] ppid=21000 vsize=1327248 CPUtime=41.07 cores=0-31
/proc/21002/task/21027/stat : 21027 (plingeling) R 21000 21002 20910 0 -1 4202560 17014 1241 0 0 4101 6 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4257746 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21002/tid=21028] ppid=21000 vsize=1327248 CPUtime=41.15 cores=0-31
/proc/21002/task/21028/stat : 21028 (plingeling) R 21000 21002 20910 0 -1 4202560 16175 1241 0 0 4099 16 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4320426 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21002/tid=21029] ppid=21000 vsize=1327248 CPUtime=41.01 cores=0-31
/proc/21002/task/21029/stat : 21029 (plingeling) R 21000 21002 20910 0 -1 4202560 17382 1241 0 0 4086 15 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4258641 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21002/tid=21030] ppid=21000 vsize=1327248 CPUtime=40.11 cores=0-31
/proc/21002/task/21030/stat : 21030 (plingeling) R 21000 21002 20910 0 -1 4202560 16028 1241 0 0 3996 15 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4265399 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21002/tid=21031] ppid=21000 vsize=1327248 CPUtime=41.26 cores=0-31
/proc/21002/task/21031/stat : 21031 (plingeling) R 21000 21002 20910 0 -1 4202560 9817 1241 0 0 4119 7 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4257622 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21002/tid=21032] ppid=21000 vsize=1327248 CPUtime=41.23 cores=0-31
/proc/21002/task/21032/stat : 21032 (plingeling) R 21000 21002 20910 0 -1 4202560 12308 1241 0 0 4107 16 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21002/tid=21033] ppid=21000 vsize=1327248 CPUtime=41.07 cores=0-31
/proc/21002/task/21033/stat : 21033 (plingeling) R 21000 21002 20910 0 -1 4202560 13270 1241 0 0 4095 12 0 0 25 0 33 0 668754919 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21002/tid=21034] ppid=21000 vsize=1327248 CPUtime=41.12 cores=0-31
/proc/21002/task/21034/stat : 21034 (plingeling) R 21000 21002 20910 0 -1 4202560 15369 1241 0 0 4102 10 0 0 25 0 33 0 668754920 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4367624 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21002/tid=21035] ppid=21000 vsize=1327248 CPUtime=41.11 cores=0-31
/proc/21002/task/21035/stat : 21035 (plingeling) R 21000 21002 20910 0 -1 4202560 10100 1241 0 0 4104 7 0 0 25 0 33 0 668754926 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4253336 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21002/tid=21036] ppid=21000 vsize=1327248 CPUtime=41.02 cores=0-31
/proc/21002/task/21036/stat : 21036 (plingeling) R 21000 21002 20910 0 -1 4202560 17915 1241 0 0 4092 10 0 0 25 0 33 0 668754927 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4232629 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21002/tid=21037] ppid=21000 vsize=1327248 CPUtime=40.93 cores=0-31
/proc/21002/task/21037/stat : 21037 (plingeling) R 21000 21002 20910 0 -1 4202560 14231 1241 0 0 4085 8 0 0 25 0 33 0 668754927 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4353761 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21002/tid=21038] ppid=21000 vsize=1327248 CPUtime=41.04 cores=0-31
/proc/21002/task/21038/stat : 21038 (plingeling) R 21000 21002 20910 0 -1 4202560 14797 1241 0 0 4093 11 0 0 25 0 33 0 668754928 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4236590 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21002/tid=21039] ppid=21000 vsize=1327248 CPUtime=41.15 cores=0-31
/proc/21002/task/21039/stat : 21039 (plingeling) R 21000 21002 20910 0 -1 4202560 8852 1241 0 0 4110 5 0 0 25 0 33 0 668754928 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252855 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21002/tid=21040] ppid=21000 vsize=1327248 CPUtime=41.09 cores=0-31
/proc/21002/task/21040/stat : 21040 (plingeling) R 21000 21002 20910 0 -1 4202560 8155 1241 0 0 4103 6 0 0 25 0 33 0 668754928 1359101952 205608 268435456000 4194304 4417452 140734631730336 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 1321.55
Current children cumulated vsize (KiB) 1327248
[startup+47.9006 s]
/proc/loadavg: 22.00 27.09 30.07 33/446 21040
/proc/meminfo: memFree=254688268/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=1320196 CPUtime=1341.46 cores=0-31
/proc/21002/stat : 21002 (plingeling) S 21000 21002 20910 0 -1 4202496 561026 1241 0 0 133737 409 0 0 18 0 9 0 668754352 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/21002/statm: 330049 203847 176 55 0 327935 0
[pid=21002/tid=21011] ppid=21000 vsize=1320196 CPUtime=42.01 cores=0-31
/proc/21002/task/21011/stat : 21011 (plingeling) R 21000 21002 20910 0 -1 4202560 16541 1241 0 0 4191 10 0 0 25 0 9 0 668754918 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21002/tid=21015] ppid=21000 vsize=1320196 CPUtime=41.93 cores=0-31
/proc/21002/task/21015/stat : 21015 (plingeling) R 21000 21002 20910 0 -1 4202560 6301 1241 0 0 4187 6 0 0 25 0 9 0 668754918 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4319660 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21002/tid=21021] ppid=21000 vsize=1320196 CPUtime=41.97 cores=0-31
/proc/21002/task/21021/stat : 21021 (plingeling) R 21000 21002 20910 0 -1 4202560 11788 1241 0 0 4181 16 0 0 25 0 9 0 668754919 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4319682 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21002/tid=21023] ppid=21000 vsize=1320196 CPUtime=41.79 cores=0-31
/proc/21002/task/21023/stat : 21023 (plingeling) R 21000 21002 20910 0 -1 4202560 12180 1241 0 0 4170 9 0 0 25 0 9 0 668754919 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252879 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21002/tid=21025] ppid=21000 vsize=1320196 CPUtime=41.87 cores=0-31
/proc/21002/task/21025/stat : 21025 (plingeling) R 21000 21002 20910 0 -1 4202560 10242 1241 0 0 4174 13 0 0 25 0 9 0 668754919 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4253043 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21002/tid=21029] ppid=21000 vsize=1320196 CPUtime=41.81 cores=0-31
/proc/21002/task/21029/stat : 21029 (plingeling) R 21000 21002 20910 0 -1 4202560 17591 1241 0 0 4166 15 0 0 25 0 9 0 668754919 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4257078 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21002/tid=21037] ppid=21000 vsize=1320196 CPUtime=41.73 cores=0-31
/proc/21002/task/21037/stat : 21037 (plingeling) R 21000 21002 20910 0 -1 4202560 14231 1241 0 0 4165 8 0 0 25 0 9 0 668754927 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4273667 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21002/tid=21040] ppid=21000 vsize=1320196 CPUtime=41.89 cores=0-31
/proc/21002/task/21040/stat : 21040 (plingeling) R 21000 21002 20910 0 -1 4202560 8155 1241 0 0 4183 6 0 0 25 0 9 0 668754928 1351880704 203847 268435456000 4194304 4417452 140734631730336 18446744073709551615 4319231 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 1341.46
Current children cumulated vsize (KiB) 1320196
[startup+48.1007 s]
/proc/loadavg: 22.00 27.09 30.07 33/446 21040
/proc/meminfo: memFree=254688268/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=1289352 CPUtime=1342.28 cores=0-31
/proc/21002/stat : 21002 (plingeling) S 21000 21002 20910 0 -1 4202496 561026 1241 0 0 133819 409 0 0 15 0 4 0 668754352 1320296448 203633 268435456000 4194304 4417452 140734631730336 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/21002/statm: 322338 203633 176 55 0 320224 0
[pid=21002/tid=21015] ppid=21000 vsize=1289352 CPUtime=42.13 cores=0-31
/proc/21002/task/21015/stat : 21015 (plingeling) R 21000 21002 20910 0 -1 4202560 6301 1241 0 0 4207 6 0 0 25 0 4 0 668754918 1320296448 203633 268435456000 4194304 4417452 140734631730336 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21002/tid=21023] ppid=21000 vsize=1289352 CPUtime=41.99 cores=0-31
/proc/21002/task/21023/stat : 21023 (plingeling) R 21000 21002 20910 0 -1 4202560 12180 1241 0 0 4190 9 0 0 25 0 4 0 668754919 1320296448 203633 268435456000 4194304 4417452 140734631730336 18446744073709551615 4273687 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21002/tid=21037] ppid=21000 vsize=1289352 CPUtime=41.93 cores=0-31
/proc/21002/task/21037/stat : 21037 (plingeling) R 21000 21002 20910 0 -1 4202560 14231 1241 0 0 4185 8 0 0 25 0 4 0 668754927 1320296448 203633 268435456000 4194304 4417452 140734631730336 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1342.28
Current children cumulated vsize (KiB) 1289352
[startup+48.2007 s]
/proc/loadavg: 22.00 27.09 30.07 33/446 21040
/proc/meminfo: memFree=254688268/264257624 swapFree=67111528/67111528
[pid=21002] ppid=21000 vsize=947344 CPUtime=1342.46 cores=0-31
/proc/21002/stat : 21002 (plingeling) R 21000 21002 20910 0 -1 4202496 561026 1241 0 0 133836 410 0 0 15 0 1 0 668754352 970080256 181903 268435456000 4194304 4417452 140734631730336 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 29 0 0 0
/proc/21002/statm: 236836 181391 176 55 0 234722 0
Current children cumulated CPU time (s) 1342.46
Current children cumulated vsize (KiB) 947344
Child status: 20
Real time (s): 48.2823
CPU time (s): 1342.56
CPU user time (s): 1338.37
CPU system time (s): 4.18836
CPU usage (%): 2780.64
Max. virtual memory (cumulated for all children) (KiB): 1527476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1338.37
system time used= 4.18836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562271
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= 4713
involuntary context switches= 3126
runsolver used 0.291955 second user time and 1.12183 second system time
The end
Begin job on node200 at 2011-05-16 21:04:39
IDJOB=3372396
IDBENCH=82357
IDSOLVER=1852
FILE ID=node200/3372396-1305572679
RUNJOBID= node200-1305572633-20924
PBS_JOBID= 13285553
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-11.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372396-1305572679/watcher-3372396-1305572679 -o /tmp/evaluation-result-3372396-1305572679/solver-3372396-1305572679 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372396-1305572679.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 06568f445121c7d3cc3b96042d85c719
RANDOM SEED=646527672
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: 255513708 kB
Buffers: 446072 kB
Cached: 7875920 kB
SwapCached: 0 kB
Active: 7396700 kB
Inactive: 994344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255513708 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6012 kB
Writeback: 0 kB
AnonPages: 68920 kB
Mapped: 14468 kB
Slab: 251996 kB
PageTables: 4300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192832 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= 62044 MiB
End job on node200 at 2011-05-16 21:05:28