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-3372405-1305577795/watcher-3372405-1305577795 -o /tmp/evaluation-result-3372405-1305577795/solver-3372405-1305577795 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372405-1305577795.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: 25.08 30.63 31.60 1/413 21368
/proc/meminfo: memFree=255367140/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=24540 CPUtime=0.03 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 4204 1241 0 0 2 0 0 1 23 0 1 0 669266625 25128960 4135 268435456000 4194304 4417452 140735983742672 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 6135 4135 141 55 0 4021 0
[startup+0.101509 s]
/proc/loadavg: 25.08 30.63 31.60 1/413 21368
/proc/meminfo: memFree=255367140/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=36864 CPUtime=0.09 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 7281 1241 0 0 7 1 0 1 23 0 1 0 669266625 37748736 7212 268435456000 4194304 4417452 140735983742672 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 9216 7212 145 55 0 7102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36864
[startup+0.200521 s]
/proc/loadavg: 25.08 30.63 31.60 1/413 21368
/proc/meminfo: memFree=255367140/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=44004 CPUtime=0.2 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 9066 1241 0 0 17 2 0 1 23 0 1 0 669266625 45060096 8997 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232654 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 11001 8997 145 55 0 8887 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 44004
[startup+0.300521 s]
/proc/loadavg: 25.08 30.63 31.60 1/413 21368
/proc/meminfo: memFree=255367140/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=58680 CPUtime=0.29 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 12743 1241 0 0 26 2 0 1 24 0 1 0 669266625 60088320 12674 268435456000 4194304 4417452 140735983742672 18446744073709551615 4227779 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 14670 12674 145 55 0 12556 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58680
[startup+0.700553 s]
/proc/loadavg: 25.08 30.63 31.60 1/413 21368
/proc/meminfo: memFree=255367140/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=64160 CPUtime=0.69 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 14114 1241 0 0 66 2 0 1 25 0 1 0 669266625 65699840 14045 268435456000 4194304 4417452 140735983742672 18446744073709551615 4227779 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 16040 14045 146 55 0 13926 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64160
[startup+1.50056 s]
/proc/loadavg: 25.08 30.63 31.60 2/414 21374
/proc/meminfo: memFree=255301796/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=116516 CPUtime=1.49 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 27219 1241 0 0 143 5 0 1 25 0 1 0 669266625 119312384 27150 268435456000 4194304 4417452 140735983742672 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 29129 27150 146 55 0 27015 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116516
[startup+3.10065 s]
/proc/loadavg: 23.15 30.14 31.43 2/414 21374
/proc/meminfo: memFree=255253436/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=205348 CPUtime=3.09 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 49444 1241 0 0 298 10 0 1 25 0 1 0 669266625 210276352 49342 268435456000 4194304 4417452 140735983742672 18446744073709551615 4231256 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 51337 49342 146 55 0 49223 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 205348
[startup+6.30077 s]
/proc/loadavg: 23.15 30.14 31.43 2/414 21374
/proc/meminfo: memFree=255092888/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=347760 CPUtime=6.3 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 85080 1241 0 0 611 18 0 1 25 0 1 0 669266625 356106240 84961 268435456000 4194304 4417452 140735983742672 18446744073709551615 4262095 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 86940 84961 146 55 0 84826 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 347760
[startup+12.701 s]
/proc/loadavg: 19.75 29.18 31.11 2/414 21374
/proc/meminfo: memFree=254734160/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=900152 CPUtime=12.69 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 223178 1241 0 0 1223 45 0 1 25 0 1 0 669266625 921755648 223059 268435456000 4194304 4417452 140735983742672 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 225038 223059 146 55 0 222924 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 900152
[startup+25.5014 s]
/proc/loadavg: 16.86 28.25 30.78 2/414 21374
/proc/meminfo: memFree=253605064/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=1772712 CPUtime=25.49 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 441334 1241 0 0 2459 89 0 1 25 0 1 0 669266625 1815257088 441199 268435456000 4194304 4417452 140735983742672 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 443178 441199 146 55 0 441064 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1772712
[startup+51.1013 s]
/proc/loadavg: 11.45 26.06 29.99 2/414 21376
/proc/meminfo: memFree=252490484/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=3017896 CPUtime=51.08 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 752630 1241 0 0 4950 157 0 1 25 0 1 0 669266625 3090325504 752495 268435456000 4194304 4417452 140735983742672 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 754474 752495 146 55 0 752360 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3017896
[startup+102.301 s]
/proc/loadavg: 5.17 21.84 28.32 2/414 21376
/proc/meminfo: memFree=249657544/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=5713752 CPUtime=102.3 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202496 1426690 1241 0 0 9933 296 0 1 25 0 1 0 669266625 5850882048 1426459 268435456000 4194304 4417452 140735983742672 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21368/statm: 1428438 1426459 146 55 0 1426324 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 5713752
[startup+162.302 s]
/proc/loadavg: 21.10 23.24 28.38 33/446 21410
/proc/meminfo: memFree=249502828/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=6245148 CPUtime=1704.48 cores=0-31
/proc/21368/stat : 21368 (plingeling) S 21366 21368 21342 0 -1 4202496 2841673 1241 0 0 168588 1859 0 1 18 0 33 0 669266625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/21368/statm: 1561287 1461232 175 55 0 1559173 0
[pid=21368/tid=21377] ppid=21366 vsize=6245148 CPUtime=50.35 cores=0-31
/proc/21368/task/21377/stat : 21377 (plingeling) R 21366 21368 21342 0 -1 4202560 34610 1241 0 0 5020 14 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21368/tid=21378] ppid=21366 vsize=6245148 CPUtime=49.31 cores=0-31
/proc/21368/task/21378/stat : 21378 (plingeling) R 21366 21368 21342 0 -1 4202560 56759 1241 0 0 4855 75 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21368/tid=21379] ppid=21366 vsize=6245148 CPUtime=49.64 cores=0-31
/proc/21368/task/21379/stat : 21379 (plingeling) R 21366 21368 21342 0 -1 4202560 46700 1241 0 0 4922 41 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21368/tid=21380] ppid=21366 vsize=6245148 CPUtime=51.36 cores=0-31
/proc/21368/task/21380/stat : 21380 (plingeling) R 21366 21368 21342 0 -1 4202560 7333 1241 0 0 5118 17 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21368/tid=21381] ppid=21366 vsize=6245148 CPUtime=49.61 cores=0-31
/proc/21368/task/21381/stat : 21381 (plingeling) R 21366 21368 21342 0 -1 4202560 50179 1241 0 0 4895 65 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21368/tid=21382] ppid=21366 vsize=6245148 CPUtime=50.48 cores=0-31
/proc/21368/task/21382/stat : 21382 (plingeling) R 21366 21368 21342 0 -1 4202560 31700 1241 0 0 5002 45 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21368/tid=21383] ppid=21366 vsize=6245148 CPUtime=49.47 cores=0-31
/proc/21368/task/21383/stat : 21383 (plingeling) R 21366 21368 21342 0 -1 4202560 36702 1241 0 0 4897 49 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232683 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21368/tid=21384] ppid=21366 vsize=6245148 CPUtime=49.51 cores=0-31
/proc/21368/task/21384/stat : 21384 (plingeling) R 21366 21368 21342 0 -1 4202560 50645 1241 0 0 4896 54 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232580 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21368/tid=21385] ppid=21366 vsize=6245148 CPUtime=50.74 cores=0-31
/proc/21368/task/21385/stat : 21385 (plingeling) R 21366 21368 21342 0 -1 4202560 27468 1241 0 0 5036 37 0 1 25 0 33 0 669277625 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21368/tid=21386] ppid=21366 vsize=6245148 CPUtime=49.68 cores=0-31
/proc/21368/task/21386/stat : 21386 (plingeling) R 21366 21368 21342 0 -1 4202560 50215 1241 0 0 4915 52 0 1 25 0 33 0 669277626 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21368/tid=21387] ppid=21366 vsize=6245148 CPUtime=50.35 cores=0-31
/proc/21368/task/21387/stat : 21387 (plingeling) R 21366 21368 21342 0 -1 4202560 30464 1241 0 0 5000 34 0 1 25 0 33 0 669277626 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21368/tid=21388] ppid=21366 vsize=6245148 CPUtime=49.21 cores=0-31
/proc/21368/task/21388/stat : 21388 (plingeling) R 21366 21368 21342 0 -1 4202560 53442 1241 0 0 4857 63 0 1 25 0 33 0 669277627 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21368/tid=21389] ppid=21366 vsize=6245148 CPUtime=49.02 cores=0-31
/proc/21368/task/21389/stat : 21389 (plingeling) R 21366 21368 21342 0 -1 4202560 50539 1241 0 0 4853 48 0 1 25 0 33 0 669277627 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21368/tid=21390] ppid=21366 vsize=6245148 CPUtime=49.82 cores=0-31
/proc/21368/task/21390/stat : 21390 (plingeling) R 21366 21368 21342 0 -1 4202560 29458 1241 0 0 4955 26 0 1 25 0 33 0 669277627 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21368/tid=21391] ppid=21366 vsize=6245148 CPUtime=50.12 cores=0-31
/proc/21368/task/21391/stat : 21391 (plingeling) R 21366 21368 21342 0 -1 4202560 48829 1241 0 0 4957 54 0 1 25 0 33 0 669277627 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21368/tid=21392] ppid=21366 vsize=6245148 CPUtime=50.39 cores=0-31
/proc/21368/task/21392/stat : 21392 (plingeling) R 21366 21368 21342 0 -1 4202560 47348 1241 0 0 5001 37 0 1 25 0 33 0 669277628 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21368/tid=21393] ppid=21366 vsize=6245148 CPUtime=49.94 cores=0-31
/proc/21368/task/21393/stat : 21393 (plingeling) R 21366 21368 21342 0 -1 4202560 33156 1241 0 0 4956 37 0 1 25 0 33 0 669277628 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21368/tid=21394] ppid=21366 vsize=6245148 CPUtime=50.41 cores=0-31
/proc/21368/task/21394/stat : 21394 (plingeling) R 21366 21368 21342 0 -1 4202560 10992 1241 0 0 5033 7 0 1 25 0 33 0 669277628 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236670 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21368/tid=21395] ppid=21366 vsize=6245148 CPUtime=50.01 cores=0-31
/proc/21368/task/21395/stat : 21395 (plingeling) R 21366 21368 21342 0 -1 4202560 61926 1241 0 0 4923 77 0 1 25 0 33 0 669277628 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21368/tid=21396] ppid=21366 vsize=6245148 CPUtime=49.76 cores=0-31
/proc/21368/task/21396/stat : 21396 (plingeling) R 21366 21368 21342 0 -1 4202560 49956 1241 0 0 4897 78 0 1 25 0 33 0 669277628 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21368/tid=21397] ppid=21366 vsize=6245148 CPUtime=50.28 cores=0-31
/proc/21368/task/21397/stat : 21397 (plingeling) R 21366 21368 21342 0 -1 4202560 49478 1241 0 0 4980 47 0 1 25 0 33 0 669277629 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21368/tid=21398] ppid=21366 vsize=6245148 CPUtime=49.4 cores=0-31
/proc/21368/task/21398/stat : 21398 (plingeling) R 21366 21368 21342 0 -1 4202560 49064 1241 0 0 4912 27 0 1 25 0 33 0 669277629 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21368/tid=21399] ppid=21366 vsize=6245148 CPUtime=49.22 cores=0-31
/proc/21368/task/21399/stat : 21399 (plingeling) R 21366 21368 21342 0 -1 4202560 50554 1241 0 0 4887 34 0 1 25 0 33 0 669277629 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281686 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21368/tid=21400] ppid=21366 vsize=6245148 CPUtime=50.1 cores=0-31
/proc/21368/task/21400/stat : 21400 (plingeling) R 21366 21368 21342 0 -1 4202560 44181 1241 0 0 4978 31 0 1 25 0 33 0 669277629 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21368/tid=21401] ppid=21366 vsize=6245148 CPUtime=49.71 cores=0-31
/proc/21368/task/21401/stat : 21401 (plingeling) R 21366 21368 21342 0 -1 4202560 46786 1241 0 0 4917 53 0 1 25 0 33 0 669277629 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21368/tid=21402] ppid=21366 vsize=6245148 CPUtime=49.12 cores=0-31
/proc/21368/task/21402/stat : 21402 (plingeling) R 21366 21368 21342 0 -1 4202560 48246 1241 0 0 4863 48 0 1 25 0 33 0 669277630 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21368/tid=21403] ppid=21366 vsize=6245148 CPUtime=50.03 cores=0-31
/proc/21368/task/21403/stat : 21403 (plingeling) R 21366 21368 21342 0 -1 4202560 58222 1241 0 0 4934 68 0 1 25 0 33 0 669277630 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4265399 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21368/tid=21404] ppid=21366 vsize=6245148 CPUtime=49.17 cores=0-31
/proc/21368/task/21404/stat : 21404 (plingeling) R 21366 21368 21342 0 -1 4202560 54628 1241 0 0 4851 65 0 1 25 0 33 0 669277630 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21368/tid=21405] ppid=21366 vsize=6245148 CPUtime=49.2 cores=0-31
/proc/21368/task/21405/stat : 21405 (plingeling) R 21366 21368 21342 0 -1 4202560 43564 1241 0 0 4886 33 0 1 25 0 33 0 669277631 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21368/tid=21406] ppid=21366 vsize=6245148 CPUtime=49.87 cores=0-31
/proc/21368/task/21406/stat : 21406 (plingeling) R 21366 21368 21342 0 -1 4202560 53513 1241 0 0 4911 75 0 1 25 0 33 0 669277631 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21368/tid=21407] ppid=21366 vsize=6245148 CPUtime=50.08 cores=0-31
/proc/21368/task/21407/stat : 21407 (plingeling) R 21366 21368 21342 0 -1 4202560 50710 1241 0 0 4933 74 0 1 25 0 33 0 669277631 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21368/tid=21408] ppid=21366 vsize=6245148 CPUtime=49.11 cores=0-31
/proc/21368/task/21408/stat : 21408 (plingeling) R 21366 21368 21342 0 -1 4202560 57576 1241 0 0 4833 77 0 1 25 0 33 0 669277632 6395031552 1461232 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 1704.48
Current children cumulated vsize (KiB) 6245148
################
# More data... #
################
/proc/21368/task/21402/stat : 21402 (plingeling) R 21366 21368 21342 0 -1 4202560 48246 1241 0 0 12954 48 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21368/tid=21403] ppid=21366 vsize=6439704 CPUtime=130.93 cores=0-31
/proc/21368/task/21403/stat : 21403 (plingeling) R 21366 21368 21342 0 -1 4202560 58222 1241 0 0 13024 68 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21368/tid=21404] ppid=21366 vsize=6439704 CPUtime=130.09 cores=0-31
/proc/21368/task/21404/stat : 21404 (plingeling) R 21366 21368 21342 0 -1 4202560 56262 1241 0 0 12942 66 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21368/tid=21405] ppid=21366 vsize=6439704 CPUtime=127.71 cores=0-31
/proc/21368/task/21405/stat : 21405 (plingeling) R 21366 21368 21342 0 -1 4202560 43564 1241 0 0 12737 33 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21368/tid=21406] ppid=21366 vsize=6439704 CPUtime=130.78 cores=0-31
/proc/21368/task/21406/stat : 21406 (plingeling) R 21366 21368 21342 0 -1 4202560 53513 1241 0 0 13002 75 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21368/tid=21407] ppid=21366 vsize=6439704 CPUtime=130.99 cores=0-31
/proc/21368/task/21407/stat : 21407 (plingeling) R 21366 21368 21342 0 -1 4202560 50710 1241 0 0 13024 74 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21368/tid=21408] ppid=21366 vsize=6439704 CPUtime=130.02 cores=0-31
/proc/21368/task/21408/stat : 21408 (plingeling) R 21366 21368 21342 0 -1 4202560 58866 1241 0 0 12924 77 0 1 25 0 33 0 669277632 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 4290.94
Current children cumulated vsize (KiB) 6439704
[startup+244.002 s]
/proc/loadavg: 29.13 25.30 28.68 33/446 21412
/proc/meminfo: memFree=249454636/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=6439704 CPUtime=4315.85 cores=0-31
/proc/21368/stat : 21368 (plingeling) S 21366 21368 21342 0 -1 4202496 2856920 1241 0 0 429719 1865 0 1 18 0 33 0 669266625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/21368/statm: 1609926 1475372 175 55 0 1607812 0
[pid=21368/tid=21377] ppid=21366 vsize=6439704 CPUtime=132.04 cores=0-31
/proc/21368/task/21377/stat : 21377 (plingeling) R 21366 21368 21342 0 -1 4202560 34610 1241 0 0 13189 14 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4353508 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21368/tid=21378] ppid=21366 vsize=6439704 CPUtime=130.99 cores=0-31
/proc/21368/task/21378/stat : 21378 (plingeling) R 21366 21368 21342 0 -1 4202560 58857 1241 0 0 13023 75 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21368/tid=21379] ppid=21366 vsize=6439704 CPUtime=131.31 cores=0-31
/proc/21368/task/21379/stat : 21379 (plingeling) R 21366 21368 21342 0 -1 4202560 46700 1241 0 0 13088 42 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21368/tid=21380] ppid=21366 vsize=6439704 CPUtime=133.04 cores=0-31
/proc/21368/task/21380/stat : 21380 (plingeling) R 21366 21368 21342 0 -1 4202560 7333 1241 0 0 13286 17 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21368/tid=21381] ppid=21366 vsize=6439704 CPUtime=131.29 cores=0-31
/proc/21368/task/21381/stat : 21381 (plingeling) R 21366 21368 21342 0 -1 4202560 50179 1241 0 0 13063 65 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21368/tid=21382] ppid=21366 vsize=6439704 CPUtime=132.16 cores=0-31
/proc/21368/task/21382/stat : 21382 (plingeling) R 21366 21368 21342 0 -1 4202560 31700 1241 0 0 13170 45 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21368/tid=21383] ppid=21366 vsize=6439704 CPUtime=131.16 cores=0-31
/proc/21368/task/21383/stat : 21383 (plingeling) R 21366 21368 21342 0 -1 4202560 38299 1241 0 0 13065 50 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4354492 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21368/tid=21384] ppid=21366 vsize=6439704 CPUtime=131.2 cores=0-31
/proc/21368/task/21384/stat : 21384 (plingeling) R 21366 21368 21342 0 -1 4202560 50645 1241 0 0 13065 54 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21368/tid=21385] ppid=21366 vsize=6439704 CPUtime=132.43 cores=0-31
/proc/21368/task/21385/stat : 21385 (plingeling) R 21366 21368 21342 0 -1 4202560 29898 1241 0 0 13204 38 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21368/tid=21386] ppid=21366 vsize=6439704 CPUtime=131.37 cores=0-31
/proc/21368/task/21386/stat : 21386 (plingeling) R 21366 21368 21342 0 -1 4202560 50215 1241 0 0 13084 52 0 1 25 0 33 0 669277626 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21368/tid=21387] ppid=21366 vsize=6439704 CPUtime=132.04 cores=0-31
/proc/21368/task/21387/stat : 21387 (plingeling) R 21366 21368 21342 0 -1 4202560 32370 1241 0 0 13168 35 0 1 25 0 33 0 669277626 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232783 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21368/tid=21388] ppid=21366 vsize=6439704 CPUtime=130.89 cores=0-31
/proc/21368/task/21388/stat : 21388 (plingeling) R 21366 21368 21342 0 -1 4202560 53442 1241 0 0 13025 63 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21368/tid=21389] ppid=21366 vsize=6439704 CPUtime=130.67 cores=0-31
/proc/21368/task/21389/stat : 21389 (plingeling) R 21366 21368 21342 0 -1 4202560 50539 1241 0 0 13018 48 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21368/tid=21390] ppid=21366 vsize=6439704 CPUtime=131.43 cores=0-31
/proc/21368/task/21390/stat : 21390 (plingeling) R 21366 21368 21342 0 -1 4202560 31065 1241 0 0 13116 26 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21368/tid=21391] ppid=21366 vsize=6439704 CPUtime=131.8 cores=0-31
/proc/21368/task/21391/stat : 21391 (plingeling) R 21366 21368 21342 0 -1 4202560 48829 1241 0 0 13125 54 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21368/tid=21392] ppid=21366 vsize=6439704 CPUtime=132.08 cores=0-31
/proc/21368/task/21392/stat : 21392 (plingeling) R 21366 21368 21342 0 -1 4202560 47348 1241 0 0 13170 37 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4262413 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21368/tid=21393] ppid=21366 vsize=6439704 CPUtime=131.63 cores=0-31
/proc/21368/task/21393/stat : 21393 (plingeling) R 21366 21368 21342 0 -1 4202560 33156 1241 0 0 13125 37 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21368/tid=21394] ppid=21366 vsize=6439704 CPUtime=132.09 cores=0-31
/proc/21368/task/21394/stat : 21394 (plingeling) R 21366 21368 21342 0 -1 4202560 13677 1241 0 0 13201 7 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21368/tid=21395] ppid=21366 vsize=6439704 CPUtime=131.7 cores=0-31
/proc/21368/task/21395/stat : 21395 (plingeling) R 21366 21368 21342 0 -1 4202560 61926 1241 0 0 13092 77 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21368/tid=21396] ppid=21366 vsize=6439704 CPUtime=131.44 cores=0-31
/proc/21368/task/21396/stat : 21396 (plingeling) R 21366 21368 21342 0 -1 4202560 49956 1241 0 0 13065 78 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21368/tid=21397] ppid=21366 vsize=6439704 CPUtime=131.96 cores=0-31
/proc/21368/task/21397/stat : 21397 (plingeling) R 21366 21368 21342 0 -1 4202560 49478 1241 0 0 13148 47 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232808 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21368/tid=21398] ppid=21366 vsize=6439704 CPUtime=131.09 cores=0-31
/proc/21368/task/21398/stat : 21398 (plingeling) R 21366 21368 21342 0 -1 4202560 49064 1241 0 0 13080 28 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21368/tid=21399] ppid=21366 vsize=6439704 CPUtime=130.91 cores=0-31
/proc/21368/task/21399/stat : 21399 (plingeling) R 21366 21368 21342 0 -1 4202560 50554 1241 0 0 13056 34 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4250437 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21368/tid=21400] ppid=21366 vsize=6439704 CPUtime=131.78 cores=0-31
/proc/21368/task/21400/stat : 21400 (plingeling) R 21366 21368 21342 0 -1 4202560 44181 1241 0 0 13146 31 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21368/tid=21401] ppid=21366 vsize=6439704 CPUtime=131.39 cores=0-31
/proc/21368/task/21401/stat : 21401 (plingeling) R 21366 21368 21342 0 -1 4202560 46786 1241 0 0 13085 53 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4250786 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21368/tid=21402] ppid=21366 vsize=6439704 CPUtime=130.81 cores=0-31
/proc/21368/task/21402/stat : 21402 (plingeling) R 21366 21368 21342 0 -1 4202560 48246 1241 0 0 13032 48 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21368/tid=21403] ppid=21366 vsize=6439704 CPUtime=131.71 cores=0-31
/proc/21368/task/21403/stat : 21403 (plingeling) R 21366 21368 21342 0 -1 4202560 58222 1241 0 0 13102 68 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4237221 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21368/tid=21404] ppid=21366 vsize=6439704 CPUtime=130.86 cores=0-31
/proc/21368/task/21404/stat : 21404 (plingeling) R 21366 21368 21342 0 -1 4202560 56262 1241 0 0 13019 66 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21368/tid=21405] ppid=21366 vsize=6439704 CPUtime=128.48 cores=0-31
/proc/21368/task/21405/stat : 21405 (plingeling) R 21366 21368 21342 0 -1 4202560 43564 1241 0 0 12814 33 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21368/tid=21406] ppid=21366 vsize=6439704 CPUtime=131.56 cores=0-31
/proc/21368/task/21406/stat : 21406 (plingeling) R 21366 21368 21342 0 -1 4202560 53513 1241 0 0 13080 75 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21368/tid=21407] ppid=21366 vsize=6439704 CPUtime=131.77 cores=0-31
/proc/21368/task/21407/stat : 21407 (plingeling) R 21366 21368 21342 0 -1 4202560 50710 1241 0 0 13102 74 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21368/tid=21408] ppid=21366 vsize=6439704 CPUtime=130.8 cores=0-31
/proc/21368/task/21408/stat : 21408 (plingeling) R 21366 21368 21342 0 -1 4202560 58866 1241 0 0 13002 77 0 1 25 0 33 0 669277632 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236895 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 4315.85
Current children cumulated vsize (KiB) 6439704
[startup+244.402 s]
/proc/loadavg: 29.13 25.30 28.68 33/446 21412
/proc/meminfo: memFree=249454636/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=6439704 CPUtime=4328.62 cores=0-31
/proc/21368/stat : 21368 (plingeling) S 21366 21368 21342 0 -1 4202496 2856920 1241 0 0 430996 1865 0 1 18 0 33 0 669266625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/21368/statm: 1609926 1475372 175 55 0 1607812 0
[pid=21368/tid=21377] ppid=21366 vsize=6439704 CPUtime=132.44 cores=0-31
/proc/21368/task/21377/stat : 21377 (plingeling) R 21366 21368 21342 0 -1 4202560 34610 1241 0 0 13229 14 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21368/tid=21378] ppid=21366 vsize=6439704 CPUtime=131.39 cores=0-31
/proc/21368/task/21378/stat : 21378 (plingeling) R 21366 21368 21342 0 -1 4202560 58857 1241 0 0 13063 75 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21368/tid=21379] ppid=21366 vsize=6439704 CPUtime=131.71 cores=0-31
/proc/21368/task/21379/stat : 21379 (plingeling) R 21366 21368 21342 0 -1 4202560 46700 1241 0 0 13128 42 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4250651 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21368/tid=21380] ppid=21366 vsize=6439704 CPUtime=133.44 cores=0-31
/proc/21368/task/21380/stat : 21380 (plingeling) R 21366 21368 21342 0 -1 4202560 7333 1241 0 0 13326 17 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21368/tid=21381] ppid=21366 vsize=6439704 CPUtime=131.69 cores=0-31
/proc/21368/task/21381/stat : 21381 (plingeling) R 21366 21368 21342 0 -1 4202560 50179 1241 0 0 13103 65 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21368/tid=21382] ppid=21366 vsize=6439704 CPUtime=132.56 cores=0-31
/proc/21368/task/21382/stat : 21382 (plingeling) R 21366 21368 21342 0 -1 4202560 31700 1241 0 0 13210 45 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21368/tid=21383] ppid=21366 vsize=6439704 CPUtime=131.56 cores=0-31
/proc/21368/task/21383/stat : 21383 (plingeling) R 21366 21368 21342 0 -1 4202560 38299 1241 0 0 13105 50 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4353636 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21368/tid=21384] ppid=21366 vsize=6439704 CPUtime=131.6 cores=0-31
/proc/21368/task/21384/stat : 21384 (plingeling) R 21366 21368 21342 0 -1 4202560 50645 1241 0 0 13105 54 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21368/tid=21385] ppid=21366 vsize=6439704 CPUtime=132.83 cores=0-31
/proc/21368/task/21385/stat : 21385 (plingeling) R 21366 21368 21342 0 -1 4202560 29898 1241 0 0 13244 38 0 1 25 0 33 0 669277625 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21368/tid=21386] ppid=21366 vsize=6439704 CPUtime=131.77 cores=0-31
/proc/21368/task/21386/stat : 21386 (plingeling) R 21366 21368 21342 0 -1 4202560 50215 1241 0 0 13124 52 0 1 25 0 33 0 669277626 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21368/tid=21387] ppid=21366 vsize=6439704 CPUtime=132.44 cores=0-31
/proc/21368/task/21387/stat : 21387 (plingeling) R 21366 21368 21342 0 -1 4202560 32370 1241 0 0 13208 35 0 1 25 0 33 0 669277626 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21368/tid=21388] ppid=21366 vsize=6439704 CPUtime=131.29 cores=0-31
/proc/21368/task/21388/stat : 21388 (plingeling) R 21366 21368 21342 0 -1 4202560 53442 1241 0 0 13065 63 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21368/tid=21389] ppid=21366 vsize=6439704 CPUtime=131.07 cores=0-31
/proc/21368/task/21389/stat : 21389 (plingeling) R 21366 21368 21342 0 -1 4202560 50539 1241 0 0 13058 48 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21368/tid=21390] ppid=21366 vsize=6439704 CPUtime=131.83 cores=0-31
/proc/21368/task/21390/stat : 21390 (plingeling) R 21366 21368 21342 0 -1 4202560 31065 1241 0 0 13156 26 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4232559 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21368/tid=21391] ppid=21366 vsize=6439704 CPUtime=132.2 cores=0-31
/proc/21368/task/21391/stat : 21391 (plingeling) R 21366 21368 21342 0 -1 4202560 48829 1241 0 0 13165 54 0 1 25 0 33 0 669277627 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21368/tid=21392] ppid=21366 vsize=6439704 CPUtime=132.48 cores=0-31
/proc/21368/task/21392/stat : 21392 (plingeling) R 21366 21368 21342 0 -1 4202560 47348 1241 0 0 13210 37 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21368/tid=21393] ppid=21366 vsize=6439704 CPUtime=132.03 cores=0-31
/proc/21368/task/21393/stat : 21393 (plingeling) R 21366 21368 21342 0 -1 4202560 33156 1241 0 0 13165 37 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21368/tid=21394] ppid=21366 vsize=6439704 CPUtime=132.49 cores=0-31
/proc/21368/task/21394/stat : 21394 (plingeling) R 21366 21368 21342 0 -1 4202560 13677 1241 0 0 13241 7 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21368/tid=21395] ppid=21366 vsize=6439704 CPUtime=132.1 cores=0-31
/proc/21368/task/21395/stat : 21395 (plingeling) R 21366 21368 21342 0 -1 4202560 61926 1241 0 0 13132 77 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21368/tid=21396] ppid=21366 vsize=6439704 CPUtime=131.84 cores=0-31
/proc/21368/task/21396/stat : 21396 (plingeling) R 21366 21368 21342 0 -1 4202560 49956 1241 0 0 13105 78 0 1 25 0 33 0 669277628 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21368/tid=21397] ppid=21366 vsize=6439704 CPUtime=132.36 cores=0-31
/proc/21368/task/21397/stat : 21397 (plingeling) R 21366 21368 21342 0 -1 4202560 49478 1241 0 0 13188 47 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21368/tid=21398] ppid=21366 vsize=6439704 CPUtime=131.49 cores=0-31
/proc/21368/task/21398/stat : 21398 (plingeling) R 21366 21368 21342 0 -1 4202560 49064 1241 0 0 13120 28 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21368/tid=21399] ppid=21366 vsize=6439704 CPUtime=131.31 cores=0-31
/proc/21368/task/21399/stat : 21399 (plingeling) R 21366 21368 21342 0 -1 4202560 50554 1241 0 0 13096 34 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21368/tid=21400] ppid=21366 vsize=6439704 CPUtime=132.18 cores=0-31
/proc/21368/task/21400/stat : 21400 (plingeling) R 21366 21368 21342 0 -1 4202560 44181 1241 0 0 13186 31 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4352385 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21368/tid=21401] ppid=21366 vsize=6439704 CPUtime=131.79 cores=0-31
/proc/21368/task/21401/stat : 21401 (plingeling) R 21366 21368 21342 0 -1 4202560 46786 1241 0 0 13125 53 0 1 25 0 33 0 669277629 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21368/tid=21402] ppid=21366 vsize=6439704 CPUtime=131.21 cores=0-31
/proc/21368/task/21402/stat : 21402 (plingeling) R 21366 21368 21342 0 -1 4202560 48246 1241 0 0 13072 48 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21368/tid=21403] ppid=21366 vsize=6439704 CPUtime=132.11 cores=0-31
/proc/21368/task/21403/stat : 21403 (plingeling) R 21366 21368 21342 0 -1 4202560 58222 1241 0 0 13142 68 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21368/tid=21404] ppid=21366 vsize=6439704 CPUtime=131.26 cores=0-31
/proc/21368/task/21404/stat : 21404 (plingeling) R 21366 21368 21342 0 -1 4202560 56262 1241 0 0 13059 66 0 1 25 0 33 0 669277630 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21368/tid=21405] ppid=21366 vsize=6439704 CPUtime=128.85 cores=0-31
/proc/21368/task/21405/stat : 21405 (plingeling) R 21366 21368 21342 0 -1 4202560 43564 1241 0 0 12851 33 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21368/tid=21406] ppid=21366 vsize=6439704 CPUtime=131.96 cores=0-31
/proc/21368/task/21406/stat : 21406 (plingeling) R 21366 21368 21342 0 -1 4202560 53513 1241 0 0 13120 75 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4282041 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21368/tid=21407] ppid=21366 vsize=6439704 CPUtime=132.17 cores=0-31
/proc/21368/task/21407/stat : 21407 (plingeling) R 21366 21368 21342 0 -1 4202560 50710 1241 0 0 13142 74 0 1 25 0 33 0 669277631 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4236835 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21368/tid=21408] ppid=21366 vsize=6439704 CPUtime=131.2 cores=0-31
/proc/21368/task/21408/stat : 21408 (plingeling) R 21366 21368 21342 0 -1 4202560 58866 1241 0 0 13042 77 0 1 25 0 33 0 669277632 6594256896 1475372 268435456000 4194304 4417452 140735983742672 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 4328.62
Current children cumulated vsize (KiB) 6439704
[startup+244.801 s]
/proc/loadavg: 29.13 25.30 28.68 33/446 21412
/proc/meminfo: memFree=249454636/264257624 swapFree=67111528/67111528
[pid=21368] ppid=21366 vsize=0 CPUtime=4329.65 cores=0-31
/proc/21368/stat : 21368 (plingeling) R 21366 21368 21342 0 -1 4202500 2856925 1241 0 0 431063 1901 0 1 17 0 1 0 669266625 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/21368/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4329.65
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 244.806
CPU time (s): 4329.66
CPU user time (s): 4310.63
CPU system time (s): 19.0271
CPU usage (%): 1768.61
Max. virtual memory (cumulated for all children) (KiB): 7502432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4310.63
system time used= 19.0271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2858166
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= 9293
involuntary context switches= 11489
runsolver used 1.49877 second user time and 5.81811 second system time
The end
Begin job on node200 at 2011-05-16 22:30:02
IDJOB=3372405
IDBENCH=82364
IDSOLVER=1852
FILE ID=node200/3372405-1305577795
RUNJOBID= node200-1305577795-21356
PBS_JOBID= 13285555
Free space on /tmp= 61884 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372405-1305577795/watcher-3372405-1305577795 -o /tmp/evaluation-result-3372405-1305577795/solver-3372405-1305577795 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372405-1305577795.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2a2f6fb35277c8ead36f65de8bb36dbb
RANDOM SEED=153657214
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: 255367676 kB
Buffers: 446416 kB
Cached: 8041828 kB
SwapCached: 0 kB
Active: 7562148 kB
Inactive: 994824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255367676 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 171728 kB
Writeback: 0 kB
AnonPages: 68856 kB
Mapped: 14480 kB
Slab: 253316 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 179188 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= 61884 MiB
End job on node200 at 2011-05-16 22:34:07