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-3372306-1305547089/watcher-3372306-1305547089 -o /tmp/evaluation-result-3372306-1305547089/solver-3372306-1305547089 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372306-1305547089.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: 20.86 23.04 19.32 1/413 18105
/proc/meminfo: memFree=255502308/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=32280 CPUtime=0.02 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 6073 1244 0 0 1 1 0 0 21 0 1 0 666195461 33054720 6003 268435456000 4194304 4417452 140737007457056 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 8070 6019 145 55 0 5956 0
[startup+0.058022 s]
/proc/loadavg: 20.86 23.04 19.32 1/413 18105
/proc/meminfo: memFree=255502308/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=51976 CPUtime=0.04 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 11015 1244 0 0 3 1 0 0 21 0 1 0 666195461 53223424 10945 268435456000 4194304 4417452 140737007457056 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 12994 10966 145 55 0 10880 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 51976
[startup+0.100991 s]
/proc/loadavg: 20.86 23.04 19.32 1/413 18105
/proc/meminfo: memFree=255502308/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=86712 CPUtime=0.09 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 19284 1244 0 0 6 3 0 0 21 0 1 0 666195461 88793088 19214 268435456000 4194304 4417452 140737007457056 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 21678 19233 145 55 0 19564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86712
[startup+0.301005 s]
/proc/loadavg: 20.86 23.04 19.32 1/413 18105
/proc/meminfo: memFree=255502308/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=166448 CPUtime=0.28 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 39669 1244 0 0 21 7 0 0 22 0 1 0 666195461 170442752 39599 268435456000 4194304 4417452 140737007457056 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 41612 39599 145 55 0 39498 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 166448
[startup+0.701015 s]
/proc/loadavg: 20.86 23.04 19.32 1/413 18105
/proc/meminfo: memFree=255502308/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=209524 CPUtime=0.69 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 50470 1244 0 0 59 10 0 0 23 0 1 0 666195461 214552576 50400 268435456000 4194304 4417452 140737007457056 18446744073709551615 4231431 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 52381 50400 145 55 0 50267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 209524
[startup+1.50105 s]
/proc/loadavg: 20.86 23.04 19.32 2/414 18111
/proc/meminfo: memFree=255271164/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=330252 CPUtime=1.49 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 80620 1244 0 0 133 16 0 0 25 0 1 0 666195461 338178048 80550 268435456000 4194304 4417452 140737007457056 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 82563 80550 145 55 0 80449 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 330252
[startup+3.10111 s]
/proc/loadavg: 20.86 23.04 19.32 2/414 18111
/proc/meminfo: memFree=255180136/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=447296 CPUtime=3.08 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 109897 1244 0 0 286 22 0 0 25 0 1 0 666195461 458031104 109827 268435456000 4194304 4417452 140737007457056 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 111824 109827 145 55 0 109710 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 447296
[startup+6.30121 s]
/proc/loadavg: 19.27 22.68 19.22 2/414 18111
/proc/meminfo: memFree=254998404/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=525684 CPUtime=6.29 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 129495 1244 0 0 602 27 0 0 25 0 1 0 666195461 538300416 129425 268435456000 4194304 4417452 140737007457056 18446744073709551615 4323407 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 131421 129425 146 55 0 129307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 525684
[startup+12.7004 s]
/proc/loadavg: 17.81 22.32 19.12 2/414 18111
/proc/meminfo: memFree=254312176/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=1203832 CPUtime=12.69 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 299049 1244 0 0 1210 59 0 0 25 0 1 0 666195461 1232723968 298978 268435456000 4194304 4417452 140737007457056 18446744073709551615 4320672 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18105/statm: 300958 298978 146 55 0 298844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1203832
[startup+25.5018 s]
/proc/loadavg: 18.85 22.29 19.16 33/446 18143
/proc/meminfo: memFree=254535668/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=1334532 CPUtime=326.68 cores=0-31
/proc/18105/stat : 18105 (plingeling) S 18103 18105 17813 0 -1 4202496 499680 1244 0 0 32420 248 0 0 18 0 33 0 666195461 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/18105/statm: 333633 222969 175 55 0 331519 0
[pid=18105/tid=18112] ppid=18103 vsize=1334532 CPUtime=9.79 cores=0-31
/proc/18105/task/18112/stat : 18112 (plingeling) R 18103 18105 17813 0 -1 4202560 7272 1244 0 0 974 5 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18105/tid=18113] ppid=18103 vsize=1334532 CPUtime=9.8 cores=0-31
/proc/18105/task/18113/stat : 18113 (plingeling) R 18103 18105 17813 0 -1 4202560 7317 1244 0 0 975 5 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364791 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18105/tid=18114] ppid=18103 vsize=1334532 CPUtime=9.75 cores=0-31
/proc/18105/task/18114/stat : 18114 (plingeling) R 18103 18105 17813 0 -1 4202560 5967 1244 0 0 968 7 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237214 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18105/tid=18115] ppid=18103 vsize=1334532 CPUtime=9.5 cores=0-31
/proc/18105/task/18115/stat : 18115 (plingeling) R 18103 18105 17813 0 -1 4202560 2946 1244 0 0 945 5 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18105/tid=18116] ppid=18103 vsize=1334532 CPUtime=9.76 cores=0-31
/proc/18105/task/18116/stat : 18116 (plingeling) R 18103 18105 17813 0 -1 4202560 4563 1244 0 0 971 5 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18105/tid=18117] ppid=18103 vsize=1334532 CPUtime=9.77 cores=0-31
/proc/18105/task/18117/stat : 18117 (plingeling) R 18103 18105 17813 0 -1 4202560 6327 1244 0 0 970 7 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18105/tid=18118] ppid=18103 vsize=1334532 CPUtime=9.71 cores=0-31
/proc/18105/task/18118/stat : 18118 (plingeling) R 18103 18105 17813 0 -1 4202560 5767 1244 0 0 968 3 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18105/tid=18119] ppid=18103 vsize=1334532 CPUtime=9.72 cores=0-31
/proc/18105/task/18119/stat : 18119 (plingeling) R 18103 18105 17813 0 -1 4202560 6127 1244 0 0 965 7 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18105/tid=18120] ppid=18103 vsize=1334532 CPUtime=9.65 cores=0-31
/proc/18105/task/18120/stat : 18120 (plingeling) R 18103 18105 17813 0 -1 4202560 4549 1244 0 0 963 2 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18105/tid=18121] ppid=18103 vsize=1334532 CPUtime=9.69 cores=0-31
/proc/18105/task/18121/stat : 18121 (plingeling) R 18103 18105 17813 0 -1 4202560 5215 1244 0 0 964 5 0 0 25 0 33 0 666197024 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18105/tid=18122] ppid=18103 vsize=1334532 CPUtime=9.75 cores=0-31
/proc/18105/task/18122/stat : 18122 (plingeling) R 18103 18105 17813 0 -1 4202560 6659 1244 0 0 968 7 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236891 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18105/tid=18123] ppid=18103 vsize=1334532 CPUtime=9.76 cores=0-31
/proc/18105/task/18123/stat : 18123 (plingeling) R 18103 18105 17813 0 -1 4202560 7185 1244 0 0 968 8 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18105/tid=18124] ppid=18103 vsize=1334532 CPUtime=9.74 cores=0-31
/proc/18105/task/18124/stat : 18124 (plingeling) R 18103 18105 17813 0 -1 4202560 7430 1244 0 0 967 7 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18105/tid=18125] ppid=18103 vsize=1334532 CPUtime=9.65 cores=0-31
/proc/18105/task/18125/stat : 18125 (plingeling) R 18103 18105 17813 0 -1 4202560 5139 1244 0 0 963 2 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18105/tid=18126] ppid=18103 vsize=1334532 CPUtime=9.78 cores=0-31
/proc/18105/task/18126/stat : 18126 (plingeling) R 18103 18105 17813 0 -1 4202560 4983 1244 0 0 972 6 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18105/tid=18127] ppid=18103 vsize=1334532 CPUtime=9.78 cores=0-31
/proc/18105/task/18127/stat : 18127 (plingeling) R 18103 18105 17813 0 -1 4202560 5468 1244 0 0 972 6 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18105/tid=18128] ppid=18103 vsize=1334532 CPUtime=9.73 cores=0-31
/proc/18105/task/18128/stat : 18128 (plingeling) R 18103 18105 17813 0 -1 4202560 6268 1244 0 0 966 7 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18105/tid=18129] ppid=18103 vsize=1334532 CPUtime=9.73 cores=0-31
/proc/18105/task/18129/stat : 18129 (plingeling) R 18103 18105 17813 0 -1 4202560 4971 1244 0 0 968 5 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18105/tid=18130] ppid=18103 vsize=1334532 CPUtime=9.66 cores=0-31
/proc/18105/task/18130/stat : 18130 (plingeling) R 18103 18105 17813 0 -1 4202560 7685 1244 0 0 960 6 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18105/tid=18131] ppid=18103 vsize=1334532 CPUtime=9.66 cores=0-31
/proc/18105/task/18131/stat : 18131 (plingeling) R 18103 18105 17813 0 -1 4202560 5521 1244 0 0 960 6 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18105/tid=18132] ppid=18103 vsize=1334532 CPUtime=9.71 cores=0-31
/proc/18105/task/18132/stat : 18132 (plingeling) R 18103 18105 17813 0 -1 4202560 8459 1244 0 0 964 7 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18105/tid=18133] ppid=18103 vsize=1334532 CPUtime=9.78 cores=0-31
/proc/18105/task/18133/stat : 18133 (plingeling) R 18103 18105 17813 0 -1 4202560 6543 1244 0 0 972 6 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18105/tid=18134] ppid=18103 vsize=1334532 CPUtime=9.65 cores=0-31
/proc/18105/task/18134/stat : 18134 (plingeling) R 18103 18105 17813 0 -1 4202560 5387 1244 0 0 963 2 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364607 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18105/tid=18135] ppid=18103 vsize=1334532 CPUtime=9.75 cores=0-31
/proc/18105/task/18135/stat : 18135 (plingeling) R 18103 18105 17813 0 -1 4202560 6322 1244 0 0 968 7 0 0 25 0 33 0 666197025 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18105/tid=18136] ppid=18103 vsize=1334532 CPUtime=9.74 cores=0-31
/proc/18105/task/18136/stat : 18136 (plingeling) R 18103 18105 17813 0 -1 4202560 7008 1244 0 0 969 5 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18105/tid=18137] ppid=18103 vsize=1334532 CPUtime=9.72 cores=0-31
/proc/18105/task/18137/stat : 18137 (plingeling) R 18103 18105 17813 0 -1 4202560 5761 1244 0 0 968 4 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18105/tid=18138] ppid=18103 vsize=1334532 CPUtime=9.63 cores=0-31
/proc/18105/task/18138/stat : 18138 (plingeling) R 18103 18105 17813 0 -1 4202560 9104 1244 0 0 960 3 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18105/tid=18139] ppid=18103 vsize=1334532 CPUtime=9.72 cores=0-31
/proc/18105/task/18139/stat : 18139 (plingeling) R 18103 18105 17813 0 -1 4202560 9263 1244 0 0 967 5 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364666 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18105/tid=18140] ppid=18103 vsize=1334532 CPUtime=9.52 cores=0-31
/proc/18105/task/18140/stat : 18140 (plingeling) R 18103 18105 17813 0 -1 4202560 5818 1244 0 0 948 4 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237015 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18105/tid=18141] ppid=18103 vsize=1334532 CPUtime=9.73 cores=0-31
/proc/18105/task/18141/stat : 18141 (plingeling) R 18103 18105 17813 0 -1 4202560 5969 1244 0 0 967 6 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281853 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18105/tid=18142] ppid=18103 vsize=1334532 CPUtime=9.7 cores=0-31
/proc/18105/task/18142/stat : 18142 (plingeling) R 18103 18105 17813 0 -1 4202560 7288 1244 0 0 966 4 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18105/tid=18143] ppid=18103 vsize=1334532 CPUtime=9.71 cores=0-31
/proc/18105/task/18143/stat : 18143 (plingeling) R 18103 18105 17813 0 -1 4202560 4554 1244 0 0 965 6 0 0 25 0 33 0 666197026 1366560768 222969 268435456000 4194304 4417452 140737007457056 18446744073709551615 4363772 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 326.68
Current children cumulated vsize (KiB) 1334532
Solver just ended. Dumping a history of the last processes samples
[startup+31.922 s]
/proc/loadavg: 19.90 22.45 19.23 33/446 18143
/proc/meminfo: memFree=254625628/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=1326340 CPUtime=531.9 cores=0-31
/proc/18105/stat : 18105 (plingeling) S 18103 18105 17813 0 -1 4202496 499680 1244 0 0 52942 248 0 0 18 0 33 0 666195461 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/18105/statm: 331585 220921 175 55 0 329471 0
[pid=18105/tid=18112] ppid=18103 vsize=1326340 CPUtime=16.21 cores=0-31
/proc/18105/task/18112/stat : 18112 (plingeling) R 18103 18105 17813 0 -1 4202560 7272 1244 0 0 1616 5 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18105/tid=18113] ppid=18103 vsize=1326340 CPUtime=16.22 cores=0-31
/proc/18105/task/18113/stat : 18113 (plingeling) R 18103 18105 17813 0 -1 4202560 7317 1244 0 0 1617 5 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18105/tid=18114] ppid=18103 vsize=1326340 CPUtime=16.17 cores=0-31
/proc/18105/task/18114/stat : 18114 (plingeling) R 18103 18105 17813 0 -1 4202560 5967 1244 0 0 1610 7 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18105/tid=18115] ppid=18103 vsize=1326340 CPUtime=15.73 cores=0-31
/proc/18105/task/18115/stat : 18115 (plingeling) R 18103 18105 17813 0 -1 4202560 2946 1244 0 0 1568 5 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18105/tid=18116] ppid=18103 vsize=1326340 CPUtime=16.18 cores=0-31
/proc/18105/task/18116/stat : 18116 (plingeling) R 18103 18105 17813 0 -1 4202560 4563 1244 0 0 1613 5 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18105/tid=18117] ppid=18103 vsize=1326340 CPUtime=16.19 cores=0-31
/proc/18105/task/18117/stat : 18117 (plingeling) R 18103 18105 17813 0 -1 4202560 6327 1244 0 0 1612 7 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4232609 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18105/tid=18118] ppid=18103 vsize=1326340 CPUtime=16.13 cores=0-31
/proc/18105/task/18118/stat : 18118 (plingeling) R 18103 18105 17813 0 -1 4202560 5767 1244 0 0 1610 3 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18105/tid=18119] ppid=18103 vsize=1326340 CPUtime=16.14 cores=0-31
/proc/18105/task/18119/stat : 18119 (plingeling) R 18103 18105 17813 0 -1 4202560 6127 1244 0 0 1607 7 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4353477 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18105/tid=18120] ppid=18103 vsize=1326340 CPUtime=16.07 cores=0-31
/proc/18105/task/18120/stat : 18120 (plingeling) R 18103 18105 17813 0 -1 4202560 4549 1244 0 0 1605 2 0 0 25 0 33 0 666197024 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18105/tid=18121] ppid=18103 vsize=1326340 CPUtime=16.11 cores=0-31
################
# More data... #
################
/proc/18105/task/18137/stat : 18137 (plingeling) R 18103 18105 17813 0 -1 4202560 5761 1244 0 0 1768 4 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281694 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18105/tid=18138] ppid=18103 vsize=1326340 CPUtime=17.62 cores=0-31
/proc/18105/task/18138/stat : 18138 (plingeling) R 18103 18105 17813 0 -1 4202560 9104 1244 0 0 1759 3 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18105/tid=18139] ppid=18103 vsize=1326340 CPUtime=17.72 cores=0-31
/proc/18105/task/18139/stat : 18139 (plingeling) R 18103 18105 17813 0 -1 4202560 9263 1244 0 0 1767 5 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18105/tid=18140] ppid=18103 vsize=1326340 CPUtime=17.52 cores=0-31
/proc/18105/task/18140/stat : 18140 (plingeling) R 18103 18105 17813 0 -1 4202560 5818 1244 0 0 1748 4 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18105/tid=18141] ppid=18103 vsize=1326340 CPUtime=17.73 cores=0-31
/proc/18105/task/18141/stat : 18141 (plingeling) R 18103 18105 17813 0 -1 4202560 5969 1244 0 0 1767 6 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18105/tid=18142] ppid=18103 vsize=1326340 CPUtime=17.7 cores=0-31
/proc/18105/task/18142/stat : 18142 (plingeling) R 18103 18105 17813 0 -1 4202560 7288 1244 0 0 1766 4 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236675 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18105/tid=18143] ppid=18103 vsize=1326340 CPUtime=17.71 cores=0-31
/proc/18105/task/18143/stat : 18143 (plingeling) R 18103 18105 17813 0 -1 4202560 4554 1244 0 0 1765 6 0 0 25 0 33 0 666197026 1358172160 220921 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (KiB) 1326340
[startup+35.1021 s]
/proc/loadavg: 20.87 22.61 19.30 33/446 18143
/proc/meminfo: memFree=254624436/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=1329968 CPUtime=634.18 cores=0-31
/proc/18105/stat : 18105 (plingeling) S 18103 18105 17813 0 -1 4202496 500562 1244 0 0 63170 248 0 0 18 0 33 0 666195461 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/18105/statm: 332492 221796 175 55 0 330378 0
[pid=18105/tid=18112] ppid=18103 vsize=1329968 CPUtime=19.41 cores=0-31
/proc/18105/task/18112/stat : 18112 (plingeling) R 18103 18105 17813 0 -1 4202560 7272 1244 0 0 1936 5 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18105/tid=18113] ppid=18103 vsize=1329968 CPUtime=19.42 cores=0-31
/proc/18105/task/18113/stat : 18113 (plingeling) R 18103 18105 17813 0 -1 4202560 7317 1244 0 0 1937 5 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18105/tid=18114] ppid=18103 vsize=1329968 CPUtime=19.37 cores=0-31
/proc/18105/task/18114/stat : 18114 (plingeling) R 18103 18105 17813 0 -1 4202560 5967 1244 0 0 1930 7 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18105/tid=18115] ppid=18103 vsize=1329968 CPUtime=18.84 cores=0-31
/proc/18105/task/18115/stat : 18115 (plingeling) R 18103 18105 17813 0 -1 4202560 2946 1244 0 0 1879 5 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18105/tid=18116] ppid=18103 vsize=1329968 CPUtime=19.38 cores=0-31
/proc/18105/task/18116/stat : 18116 (plingeling) R 18103 18105 17813 0 -1 4202560 4563 1244 0 0 1933 5 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18105/tid=18117] ppid=18103 vsize=1329968 CPUtime=19.39 cores=0-31
/proc/18105/task/18117/stat : 18117 (plingeling) R 18103 18105 17813 0 -1 4202560 6327 1244 0 0 1932 7 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18105/tid=18118] ppid=18103 vsize=1329968 CPUtime=19.33 cores=0-31
/proc/18105/task/18118/stat : 18118 (plingeling) R 18103 18105 17813 0 -1 4202560 6001 1244 0 0 1930 3 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4358080 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18105/tid=18119] ppid=18103 vsize=1329968 CPUtime=19.34 cores=0-31
/proc/18105/task/18119/stat : 18119 (plingeling) R 18103 18105 17813 0 -1 4202560 6154 1244 0 0 1927 7 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18105/tid=18120] ppid=18103 vsize=1329968 CPUtime=19.27 cores=0-31
/proc/18105/task/18120/stat : 18120 (plingeling) R 18103 18105 17813 0 -1 4202560 4549 1244 0 0 1925 2 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18105/tid=18121] ppid=18103 vsize=1329968 CPUtime=19.31 cores=0-31
/proc/18105/task/18121/stat : 18121 (plingeling) R 18103 18105 17813 0 -1 4202560 5215 1244 0 0 1926 5 0 0 25 0 33 0 666197024 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18105/tid=18122] ppid=18103 vsize=1329968 CPUtime=19.37 cores=0-31
/proc/18105/task/18122/stat : 18122 (plingeling) R 18103 18105 17813 0 -1 4202560 6659 1244 0 0 1930 7 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18105/tid=18123] ppid=18103 vsize=1329968 CPUtime=19.38 cores=0-31
/proc/18105/task/18123/stat : 18123 (plingeling) R 18103 18105 17813 0 -1 4202560 7185 1244 0 0 1930 8 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18105/tid=18124] ppid=18103 vsize=1329968 CPUtime=19.36 cores=0-31
/proc/18105/task/18124/stat : 18124 (plingeling) R 18103 18105 17813 0 -1 4202560 7733 1244 0 0 1929 7 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18105/tid=18125] ppid=18103 vsize=1329968 CPUtime=19.27 cores=0-31
/proc/18105/task/18125/stat : 18125 (plingeling) R 18103 18105 17813 0 -1 4202560 5139 1244 0 0 1925 2 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18105/tid=18126] ppid=18103 vsize=1329968 CPUtime=19.4 cores=0-31
/proc/18105/task/18126/stat : 18126 (plingeling) R 18103 18105 17813 0 -1 4202560 4983 1244 0 0 1934 6 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18105/tid=18127] ppid=18103 vsize=1329968 CPUtime=19.4 cores=0-31
/proc/18105/task/18127/stat : 18127 (plingeling) R 18103 18105 17813 0 -1 4202560 5747 1244 0 0 1934 6 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18105/tid=18128] ppid=18103 vsize=1329968 CPUtime=19.35 cores=0-31
/proc/18105/task/18128/stat : 18128 (plingeling) R 18103 18105 17813 0 -1 4202560 6268 1244 0 0 1928 7 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18105/tid=18129] ppid=18103 vsize=1329968 CPUtime=19.35 cores=0-31
/proc/18105/task/18129/stat : 18129 (plingeling) R 18103 18105 17813 0 -1 4202560 4971 1244 0 0 1930 5 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18105/tid=18130] ppid=18103 vsize=1329968 CPUtime=19.28 cores=0-31
/proc/18105/task/18130/stat : 18130 (plingeling) R 18103 18105 17813 0 -1 4202560 7685 1244 0 0 1922 6 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18105/tid=18131] ppid=18103 vsize=1329968 CPUtime=19.27 cores=0-31
/proc/18105/task/18131/stat : 18131 (plingeling) R 18103 18105 17813 0 -1 4202560 5548 1244 0 0 1921 6 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236861 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18105/tid=18132] ppid=18103 vsize=1329968 CPUtime=19.33 cores=0-31
/proc/18105/task/18132/stat : 18132 (plingeling) R 18103 18105 17813 0 -1 4202560 8459 1244 0 0 1926 7 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18105/tid=18133] ppid=18103 vsize=1329968 CPUtime=19.4 cores=0-31
/proc/18105/task/18133/stat : 18133 (plingeling) R 18103 18105 17813 0 -1 4202560 6543 1244 0 0 1934 6 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18105/tid=18134] ppid=18103 vsize=1329968 CPUtime=19.27 cores=0-31
/proc/18105/task/18134/stat : 18134 (plingeling) R 18103 18105 17813 0 -1 4202560 5387 1244 0 0 1925 2 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18105/tid=18135] ppid=18103 vsize=1329968 CPUtime=19.37 cores=0-31
/proc/18105/task/18135/stat : 18135 (plingeling) R 18103 18105 17813 0 -1 4202560 6322 1244 0 0 1930 7 0 0 25 0 33 0 666197025 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18105/tid=18136] ppid=18103 vsize=1329968 CPUtime=19.36 cores=0-31
/proc/18105/task/18136/stat : 18136 (plingeling) R 18103 18105 17813 0 -1 4202560 7008 1244 0 0 1931 5 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18105/tid=18137] ppid=18103 vsize=1329968 CPUtime=19.34 cores=0-31
/proc/18105/task/18137/stat : 18137 (plingeling) R 18103 18105 17813 0 -1 4202560 5761 1244 0 0 1930 4 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4232615 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18105/tid=18138] ppid=18103 vsize=1329968 CPUtime=19.24 cores=0-31
/proc/18105/task/18138/stat : 18138 (plingeling) R 18103 18105 17813 0 -1 4202560 9104 1244 0 0 1921 3 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18105/tid=18139] ppid=18103 vsize=1329968 CPUtime=19.34 cores=0-31
/proc/18105/task/18139/stat : 18139 (plingeling) R 18103 18105 17813 0 -1 4202560 9263 1244 0 0 1929 5 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18105/tid=18140] ppid=18103 vsize=1329968 CPUtime=19.14 cores=0-31
/proc/18105/task/18140/stat : 18140 (plingeling) R 18103 18105 17813 0 -1 4202560 5818 1244 0 0 1910 4 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18105/tid=18141] ppid=18103 vsize=1329968 CPUtime=19.35 cores=0-31
/proc/18105/task/18141/stat : 18141 (plingeling) R 18103 18105 17813 0 -1 4202560 5969 1244 0 0 1929 6 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18105/tid=18142] ppid=18103 vsize=1329968 CPUtime=19.32 cores=0-31
/proc/18105/task/18142/stat : 18142 (plingeling) R 18103 18105 17813 0 -1 4202560 7288 1244 0 0 1928 4 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18105/tid=18143] ppid=18103 vsize=1329968 CPUtime=19.33 cores=0-31
/proc/18105/task/18143/stat : 18143 (plingeling) R 18103 18105 17813 0 -1 4202560 4566 1244 0 0 1927 6 0 0 25 0 33 0 666197026 1361887232 221796 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 634.18
Current children cumulated vsize (KiB) 1329968
[startup+35.5021 s]
/proc/loadavg: 20.87 22.61 19.30 33/446 18143
/proc/meminfo: memFree=254624436/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=1330060 CPUtime=646.34 cores=0-31
/proc/18105/stat : 18105 (plingeling) S 18103 18105 17813 0 -1 4202496 500589 1244 0 0 64386 248 0 0 18 0 33 0 666195461 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/18105/statm: 332515 221819 175 55 0 330401 0
[pid=18105/tid=18112] ppid=18103 vsize=1330060 CPUtime=19.79 cores=0-31
/proc/18105/task/18112/stat : 18112 (plingeling) R 18103 18105 17813 0 -1 4202560 7272 1244 0 0 1974 5 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18105/tid=18113] ppid=18103 vsize=1330060 CPUtime=19.8 cores=0-31
/proc/18105/task/18113/stat : 18113 (plingeling) R 18103 18105 17813 0 -1 4202560 7317 1244 0 0 1975 5 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18105/tid=18114] ppid=18103 vsize=1330060 CPUtime=19.75 cores=0-31
/proc/18105/task/18114/stat : 18114 (plingeling) R 18103 18105 17813 0 -1 4202560 5967 1244 0 0 1968 7 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18105/tid=18115] ppid=18103 vsize=1330060 CPUtime=19.21 cores=0-31
/proc/18105/task/18115/stat : 18115 (plingeling) R 18103 18105 17813 0 -1 4202560 2946 1244 0 0 1916 5 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18105/tid=18116] ppid=18103 vsize=1330060 CPUtime=19.76 cores=0-31
/proc/18105/task/18116/stat : 18116 (plingeling) R 18103 18105 17813 0 -1 4202560 4563 1244 0 0 1971 5 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4236975 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18105/tid=18117] ppid=18103 vsize=1330060 CPUtime=19.77 cores=0-31
/proc/18105/task/18117/stat : 18117 (plingeling) R 18103 18105 17813 0 -1 4202560 6327 1244 0 0 1970 7 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18105/tid=18118] ppid=18103 vsize=1330060 CPUtime=19.71 cores=0-31
/proc/18105/task/18118/stat : 18118 (plingeling) R 18103 18105 17813 0 -1 4202560 6001 1244 0 0 1968 3 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18105/tid=18119] ppid=18103 vsize=1330060 CPUtime=19.72 cores=0-31
/proc/18105/task/18119/stat : 18119 (plingeling) R 18103 18105 17813 0 -1 4202560 6154 1244 0 0 1965 7 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18105/tid=18120] ppid=18103 vsize=1330060 CPUtime=19.65 cores=0-31
/proc/18105/task/18120/stat : 18120 (plingeling) R 18103 18105 17813 0 -1 4202560 4549 1244 0 0 1963 2 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18105/tid=18121] ppid=18103 vsize=1330060 CPUtime=19.69 cores=0-31
/proc/18105/task/18121/stat : 18121 (plingeling) R 18103 18105 17813 0 -1 4202560 5215 1244 0 0 1964 5 0 0 25 0 33 0 666197024 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18105/tid=18122] ppid=18103 vsize=1330060 CPUtime=19.75 cores=0-31
/proc/18105/task/18122/stat : 18122 (plingeling) R 18103 18105 17813 0 -1 4202560 6659 1244 0 0 1968 7 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18105/tid=18123] ppid=18103 vsize=1330060 CPUtime=19.76 cores=0-31
/proc/18105/task/18123/stat : 18123 (plingeling) R 18103 18105 17813 0 -1 4202560 7185 1244 0 0 1968 8 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18105/tid=18124] ppid=18103 vsize=1330060 CPUtime=19.74 cores=0-31
/proc/18105/task/18124/stat : 18124 (plingeling) R 18103 18105 17813 0 -1 4202560 7733 1244 0 0 1967 7 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18105/tid=18125] ppid=18103 vsize=1330060 CPUtime=19.65 cores=0-31
/proc/18105/task/18125/stat : 18125 (plingeling) R 18103 18105 17813 0 -1 4202560 5139 1244 0 0 1963 2 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4366616 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18105/tid=18126] ppid=18103 vsize=1330060 CPUtime=19.78 cores=0-31
/proc/18105/task/18126/stat : 18126 (plingeling) R 18103 18105 17813 0 -1 4202560 4983 1244 0 0 1972 6 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18105/tid=18127] ppid=18103 vsize=1330060 CPUtime=19.78 cores=0-31
/proc/18105/task/18127/stat : 18127 (plingeling) R 18103 18105 17813 0 -1 4202560 5747 1244 0 0 1972 6 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18105/tid=18128] ppid=18103 vsize=1330060 CPUtime=19.72 cores=0-31
/proc/18105/task/18128/stat : 18128 (plingeling) R 18103 18105 17813 0 -1 4202560 6295 1244 0 0 1965 7 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4276659 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18105/tid=18129] ppid=18103 vsize=1330060 CPUtime=19.73 cores=0-31
/proc/18105/task/18129/stat : 18129 (plingeling) R 18103 18105 17813 0 -1 4202560 4971 1244 0 0 1968 5 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18105/tid=18130] ppid=18103 vsize=1330060 CPUtime=19.66 cores=0-31
/proc/18105/task/18130/stat : 18130 (plingeling) R 18103 18105 17813 0 -1 4202560 7685 1244 0 0 1960 6 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4354517 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18105/tid=18131] ppid=18103 vsize=1330060 CPUtime=19.65 cores=0-31
/proc/18105/task/18131/stat : 18131 (plingeling) R 18103 18105 17813 0 -1 4202560 5548 1244 0 0 1959 6 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18105/tid=18132] ppid=18103 vsize=1330060 CPUtime=19.71 cores=0-31
/proc/18105/task/18132/stat : 18132 (plingeling) R 18103 18105 17813 0 -1 4202560 8459 1244 0 0 1964 7 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18105/tid=18133] ppid=18103 vsize=1330060 CPUtime=19.78 cores=0-31
/proc/18105/task/18133/stat : 18133 (plingeling) R 18103 18105 17813 0 -1 4202560 6543 1244 0 0 1972 6 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18105/tid=18134] ppid=18103 vsize=1330060 CPUtime=19.65 cores=0-31
/proc/18105/task/18134/stat : 18134 (plingeling) R 18103 18105 17813 0 -1 4202560 5387 1244 0 0 1963 2 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18105/tid=18135] ppid=18103 vsize=1330060 CPUtime=19.75 cores=0-31
/proc/18105/task/18135/stat : 18135 (plingeling) R 18103 18105 17813 0 -1 4202560 6322 1244 0 0 1968 7 0 0 25 0 33 0 666197025 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18105/tid=18136] ppid=18103 vsize=1330060 CPUtime=19.74 cores=0-31
/proc/18105/task/18136/stat : 18136 (plingeling) R 18103 18105 17813 0 -1 4202560 7008 1244 0 0 1969 5 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18105/tid=18137] ppid=18103 vsize=1330060 CPUtime=19.72 cores=0-31
/proc/18105/task/18137/stat : 18137 (plingeling) R 18103 18105 17813 0 -1 4202560 5761 1244 0 0 1968 4 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18105/tid=18138] ppid=18103 vsize=1330060 CPUtime=19.62 cores=0-31
/proc/18105/task/18138/stat : 18138 (plingeling) R 18103 18105 17813 0 -1 4202560 9104 1244 0 0 1959 3 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18105/tid=18139] ppid=18103 vsize=1330060 CPUtime=19.72 cores=0-31
/proc/18105/task/18139/stat : 18139 (plingeling) R 18103 18105 17813 0 -1 4202560 9263 1244 0 0 1967 5 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18105/tid=18140] ppid=18103 vsize=1330060 CPUtime=19.52 cores=0-31
/proc/18105/task/18140/stat : 18140 (plingeling) R 18103 18105 17813 0 -1 4202560 5818 1244 0 0 1948 4 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364474 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18105/tid=18141] ppid=18103 vsize=1330060 CPUtime=19.73 cores=0-31
/proc/18105/task/18141/stat : 18141 (plingeling) R 18103 18105 17813 0 -1 4202560 5969 1244 0 0 1967 6 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4366548 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18105/tid=18142] ppid=18103 vsize=1330060 CPUtime=19.7 cores=0-31
/proc/18105/task/18142/stat : 18142 (plingeling) R 18103 18105 17813 0 -1 4202560 7288 1244 0 0 1966 4 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18105/tid=18143] ppid=18103 vsize=1330060 CPUtime=19.71 cores=0-31
/proc/18105/task/18143/stat : 18143 (plingeling) R 18103 18105 17813 0 -1 4202560 4566 1244 0 0 1965 6 0 0 25 0 33 0 666197026 1361981440 221819 268435456000 4194304 4417452 140737007457056 18446744073709551615 4320914 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 646.34
Current children cumulated vsize (KiB) 1330060
[startup+35.9013 s]
/proc/loadavg: 20.87 22.61 19.30 33/446 18143
/proc/meminfo: memFree=254624436/264257624 swapFree=67111528/67111528
[pid=18105] ppid=18103 vsize=608888 CPUtime=655.92 cores=0-31
/proc/18105/stat : 18105 (plingeling) R 18103 18105 17813 0 -1 4202496 500641 1244 0 0 65341 251 0 0 17 0 1 0 666195461 623501312 109011 268435456000 4194304 4417452 140737007457056 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 8 0 0 0
/proc/18105/statm: 151197 108680 176 55 0 149083 0
Current children cumulated CPU time (s) 655.92
Current children cumulated vsize (KiB) 608888
Child status: 20
Real time (s): 35.9406
CPU time (s): 655.987
CPU user time (s): 653.423
CPU system time (s): 2.56461
CPU usage (%): 1825.2
Max. virtual memory (cumulated for all children) (KiB): 1693300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 653.423
system time used= 2.56461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501889
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= 4489
involuntary context switches= 1800
runsolver used 0.234964 second user time and 0.837872 second system time
The end
Begin job on node200 at 2011-05-16 13:58:11
IDJOB=3372306
IDBENCH=71019
IDSOLVER=1852
FILE ID=node200/3372306-1305547089
RUNJOBID= node200-1305546782-17827
PBS_JOBID= 13285544
Free space on /tmp= 62036 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372306-1305547089/watcher-3372306-1305547089 -o /tmp/evaluation-result-3372306-1305547089/solver-3372306-1305547089 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372306-1305547089.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED=1943782119
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: 255502340 kB
Buffers: 444372 kB
Cached: 7877692 kB
SwapCached: 0 kB
Active: 7402956 kB
Inactive: 988072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255502340 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 15000 kB
Writeback: 0 kB
AnonPages: 69580 kB
Mapped: 14524 kB
Slab: 251596 kB
PageTables: 4428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 212828 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-16 13:58:47