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-3372216-1305484848/watcher-3372216-1305484848 -o /tmp/evaluation-result-3372216-1305484848/solver-3372216-1305484848 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372216-1305484848.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: 28.65 29.42 29.50 1/413 13464
/proc/meminfo: memFree=255546200/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=13360 CPUtime=0.03 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 1406 1242 0 0 2 0 0 1 21 0 1 0 659971248 13680640 1336 268435456000 4194304 4417452 140736398836768 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 3340 1336 145 55 0 1226 0
[startup+0.124284 s]
/proc/loadavg: 28.65 29.42 29.50 1/413 13464
/proc/meminfo: memFree=255546200/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=21004 CPUtime=0.11 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 3309 1242 0 0 10 0 0 1 21 0 1 0 659971248 21508096 3239 268435456000 4194304 4417452 140736398836768 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 5251 3239 145 55 0 3137 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21004
[startup+0.201315 s]
/proc/loadavg: 28.65 29.42 29.50 1/413 13464
/proc/meminfo: memFree=255546200/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=29216 CPUtime=0.19 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 5387 1242 0 0 17 1 0 1 22 0 1 0 659971248 29917184 5317 268435456000 4194304 4417452 140736398836768 18446744073709551615 4320765 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 7304 5317 146 55 0 5190 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29216
[startup+0.301284 s]
/proc/loadavg: 28.65 29.42 29.50 1/413 13464
/proc/meminfo: memFree=255546200/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=38572 CPUtime=0.29 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 7718 1242 0 0 27 1 0 1 22 0 1 0 659971248 39497728 7648 268435456000 4194304 4417452 140736398836768 18446744073709551615 4209644 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 9643 7648 146 55 0 7529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38572
[startup+0.7003 s]
/proc/loadavg: 28.65 29.42 29.50 1/413 13464
/proc/meminfo: memFree=255546200/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=65552 CPUtime=0.69 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 14447 1242 0 0 65 3 0 1 24 0 1 0 659971248 67125248 14377 268435456000 4194304 4417452 140736398836768 18446744073709551615 4232651 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 16388 14377 146 55 0 14274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65552
[startup+1.50033 s]
/proc/loadavg: 28.65 29.42 29.50 2/414 13470
/proc/meminfo: memFree=255433832/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=152736 CPUtime=1.5 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 36275 1242 0 0 141 8 0 1 25 0 1 0 659971248 156401664 36205 268435456000 4194304 4417452 140736398836768 18446744073709551615 4260005 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 38184 36205 146 55 0 36070 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 152736
[startup+3.10043 s]
/proc/loadavg: 26.43 28.95 29.35 2/414 13470
/proc/meminfo: memFree=255326136/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=293628 CPUtime=3.09 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 71498 1242 0 0 294 14 0 1 25 0 1 0 659971248 300675072 71428 268435456000 4194304 4417452 140736398836768 18446744073709551615 4259008 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 73407 71428 146 55 0 71293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 293628
[startup+6.30053 s]
/proc/loadavg: 26.43 28.95 29.35 2/414 13470
/proc/meminfo: memFree=254980932/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=574644 CPUtime=6.29 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 141752 1242 0 0 600 28 0 1 25 0 1 0 659971248 588435456 141682 268435456000 4194304 4417452 140736398836768 18446744073709551615 4274322 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13464/statm: 143661 141682 146 55 0 141547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 574644
[startup+12.7016 s]
/proc/loadavg: 24.40 28.49 29.19 33/446 13502
/proc/meminfo: memFree=254570924/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=1495556 CPUtime=84.73 cores=0-31
/proc/13464/stat : 13464 (plingeling) S 13462 13464 13374 0 -1 4202496 433913 1242 0 0 8177 295 0 1 19 0 33 0 659971248 1531449344 242712 268435456000 4194304 4417452 140736398836768 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/13464/statm: 373889 242734 170 55 0 371775 0
[pid=13464/tid=13471] ppid=13462 vsize=1495556 CPUtime=2.36 cores=0-31
/proc/13464/task/13471/stat : 13471 (plingeling) R 13462 13464 13374 0 -1 4202560 4249 1242 0 0 229 6 0 1 21 0 33 0 659972279 1531449344 242744 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13464/tid=13472] ppid=13462 vsize=1495556 CPUtime=2.37 cores=0-31
/proc/13464/task/13472/stat : 13472 (plingeling) R 13462 13464 13374 0 -1 4202560 6731 1242 0 0 230 6 0 1 25 0 33 0 659972279 1531449344 242752 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275911 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13464/tid=13473] ppid=13462 vsize=1495556 CPUtime=2.37 cores=0-31
/proc/13464/task/13473/stat : 13473 (plingeling) R 13462 13464 13374 0 -1 4202560 4207 1242 0 0 230 6 0 1 21 0 33 0 659972279 1531449344 242762 268435456000 4194304 4417452 140736398836768 18446744073709551615 4265937 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13464/tid=13474] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13474/stat : 13474 (plingeling) R 13462 13464 13374 0 -1 4202560 4133 1242 0 0 229 4 0 1 21 0 33 0 659972279 1531449344 242772 268435456000 4194304 4417452 140736398836768 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13464/tid=13475] ppid=13462 vsize=1495556 CPUtime=2.36 cores=0-31
/proc/13464/task/13475/stat : 13475 (plingeling) R 13462 13464 13374 0 -1 4202560 5419 1242 0 0 232 3 0 1 25 0 33 0 659972279 1531449344 242783 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13464/tid=13476] ppid=13462 vsize=1495556 CPUtime=2.31 cores=0-31
/proc/13464/task/13476/stat : 13476 (plingeling) R 13462 13464 13374 0 -1 4202560 7410 1242 0 0 225 5 0 1 25 0 33 0 659972279 1531449344 242791 268435456000 4194304 4417452 140736398836768 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13464/tid=13477] ppid=13462 vsize=1495556 CPUtime=2.35 cores=0-31
/proc/13464/task/13477/stat : 13477 (plingeling) R 13462 13464 13374 0 -1 4202560 4207 1242 0 0 228 6 0 1 25 0 33 0 659972279 1531449344 242801 268435456000 4194304 4417452 140736398836768 18446744073709551615 4234302 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13464/tid=13478] ppid=13462 vsize=1495556 CPUtime=2.32 cores=0-31
/proc/13464/task/13478/stat : 13478 (plingeling) R 13462 13464 13374 0 -1 4202560 6007 1242 0 0 225 6 0 1 21 0 33 0 659972279 1531449344 242811 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13464/tid=13479] ppid=13462 vsize=1495556 CPUtime=2.29 cores=0-31
/proc/13464/task/13479/stat : 13479 (plingeling) R 13462 13464 13374 0 -1 4202560 4245 1242 0 0 221 7 0 1 21 0 33 0 659972279 1531449344 242820 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275909 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13464/tid=13480] ppid=13462 vsize=1495556 CPUtime=2.36 cores=0-31
/proc/13464/task/13480/stat : 13480 (plingeling) R 13462 13464 13374 0 -1 4202560 4207 1242 0 0 228 7 0 1 25 0 33 0 659972279 1531449344 242829 268435456000 4194304 4417452 140736398836768 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13464/tid=13481] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13481/stat : 13481 (plingeling) R 13462 13464 13374 0 -1 4202560 9589 1242 0 0 222 11 0 1 21 0 33 0 659972280 1531449344 242839 268435456000 4194304 4417452 140736398836768 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13464/tid=13482] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13482/stat : 13482 (plingeling) R 13462 13464 13374 0 -1 4202560 6161 1242 0 0 225 8 0 1 21 0 33 0 659972280 1531449344 242848 268435456000 4194304 4417452 140736398836768 18446744073709551615 4276050 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13464/tid=13483] ppid=13462 vsize=1495556 CPUtime=2.35 cores=0-31
/proc/13464/task/13483/stat : 13483 (plingeling) R 13462 13464 13374 0 -1 4202560 4058 1242 0 0 228 6 0 1 25 0 33 0 659972280 1531449344 242858 268435456000 4194304 4417452 140736398836768 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13464/tid=13484] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13484/stat : 13484 (plingeling) R 13462 13464 13374 0 -1 4202560 10491 1242 0 0 222 11 0 1 21 0 33 0 659972280 1531449344 242868 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13464/tid=13485] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13485/stat : 13485 (plingeling) R 13462 13464 13374 0 -1 4202560 8422 1242 0 0 223 10 0 1 21 0 33 0 659972280 1531449344 242877 268435456000 4194304 4417452 140736398836768 18446744073709551615 4325000 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13464/tid=13486] ppid=13462 vsize=1495556 CPUtime=2.35 cores=0-31
/proc/13464/task/13486/stat : 13486 (plingeling) R 13462 13464 13374 0 -1 4202560 7202 1242 0 0 226 8 0 1 25 0 33 0 659972280 1531449344 242887 268435456000 4194304 4417452 140736398836768 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13464/tid=13487] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13487/stat : 13487 (plingeling) R 13462 13464 13374 0 -1 4202560 12282 1242 0 0 221 12 0 1 25 0 33 0 659972280 1531449344 242897 268435456000 4194304 4417452 140736398836768 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13464/tid=13488] ppid=13462 vsize=1495556 CPUtime=2.33 cores=0-31
/proc/13464/task/13488/stat : 13488 (plingeling) R 13462 13464 13374 0 -1 4202560 5152 1242 0 0 223 9 0 1 21 0 33 0 659972280 1531449344 242907 268435456000 4194304 4417452 140736398836768 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13464/tid=13489] ppid=13462 vsize=1495556 CPUtime=2.26 cores=0-31
/proc/13464/task/13489/stat : 13489 (plingeling) R 13462 13464 13374 0 -1 4202560 8088 1242 0 0 215 10 0 1 21 0 33 0 659972280 1531449344 242915 268435456000 4194304 4417452 140736398836768 18446744073709551615 4276043 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13464/tid=13490] ppid=13462 vsize=1495556 CPUtime=2.34 cores=0-31
/proc/13464/task/13490/stat : 13490 (plingeling) R 13462 13464 13374 0 -1 4202560 10495 1242 0 0 223 10 0 1 21 0 33 0 659972281 1531449344 242925 268435456000 4194304 4417452 140736398836768 18446744073709551615 258650649918 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13464/tid=13491] ppid=13462 vsize=1495556 CPUtime=2.33 cores=0-31
/proc/13464/task/13491/stat : 13491 (plingeling) R 13462 13464 13374 0 -1 4202560 10239 1242 0 0 221 11 0 1 21 0 33 0 659972281 1531449344 242935 268435456000 4194304 4417452 140736398836768 18446744073709551615 4295572 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13464/tid=13492] ppid=13462 vsize=1495556 CPUtime=2.32 cores=0-31
/proc/13464/task/13492/stat : 13492 (plingeling) R 13462 13464 13374 0 -1 4202560 5829 1242 0 0 226 5 0 1 21 0 33 0 659972281 1531449344 242943 268435456000 4194304 4417452 140736398836768 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13464/tid=13493] ppid=13462 vsize=1495556 CPUtime=2.31 cores=0-31
/proc/13464/task/13493/stat : 13493 (plingeling) R 13462 13464 13374 0 -1 4202560 5076 1242 0 0 223 7 0 1 25 0 33 0 659972281 1531449344 242954 268435456000 4194304 4417452 140736398836768 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13464/tid=13494] ppid=13462 vsize=1495556 CPUtime=2.33 cores=0-31
/proc/13464/task/13494/stat : 13494 (plingeling) R 13462 13464 13374 0 -1 4202560 6931 1242 0 0 226 6 0 1 21 0 33 0 659972281 1531449344 242964 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13464/tid=13495] ppid=13462 vsize=1495556 CPUtime=2.29 cores=0-31
/proc/13464/task/13495/stat : 13495 (plingeling) R 13462 13464 13374 0 -1 4202560 4245 1242 0 0 222 6 0 1 21 0 33 0 659972281 1531449344 242973 268435456000 4194304 4417452 140736398836768 18446744073709551615 4264478 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13464/tid=13496] ppid=13462 vsize=1495556 CPUtime=2.27 cores=0-31
/proc/13464/task/13496/stat : 13496 (plingeling) R 13462 13464 13374 0 -1 4202560 4356 1242 0 0 222 4 0 1 25 0 33 0 659972281 1531449344 242982 268435456000 4194304 4417452 140736398836768 18446744073709551615 4276068 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13464/tid=13497] ppid=13462 vsize=1495556 CPUtime=2.31 cores=0-31
/proc/13464/task/13497/stat : 13497 (plingeling) R 13462 13464 13374 0 -1 4202560 6198 1242 0 0 223 7 0 1 25 0 33 0 659972281 1531449344 242992 268435456000 4194304 4417452 140736398836768 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13464/tid=13498] ppid=13462 vsize=1495556 CPUtime=2.33 cores=0-31
/proc/13464/task/13498/stat : 13498 (plingeling) R 13462 13464 13374 0 -1 4202560 11959 1242 0 0 223 9 0 1 21 0 33 0 659972281 1531449344 243000 268435456000 4194304 4417452 140736398836768 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13464/tid=13499] ppid=13462 vsize=1495556 CPUtime=2.32 cores=0-31
/proc/13464/task/13499/stat : 13499 (plingeling) R 13462 13464 13374 0 -1 4202560 4957 1242 0 0 223 8 0 1 25 0 33 0 659972281 1531449344 243010 268435456000 4194304 4417452 140736398836768 18446744073709551615 4277034 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13464/tid=13500] ppid=13462 vsize=1495556 CPUtime=2.3 cores=0-31
/proc/13464/task/13500/stat : 13500 (plingeling) R 13462 13464 13374 0 -1 4202560 11089 1242 0 0 222 7 0 1 25 0 33 0 659972281 1531449344 243020 268435456000 4194304 4417452 140736398836768 18446744073709551615 4276039 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13464/tid=13501] ppid=13462 vsize=1495556 CPUtime=2.3 cores=0-31
/proc/13464/task/13501/stat : 13501 (plingeling) R 13462 13464 13374 0 -1 4202560 4959 1242 0 0 223 6 0 1 25 0 33 0 659972284 1531449344 243030 268435456000 4194304 4417452 140736398836768 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13464/tid=13502] ppid=13462 vsize=1495556 CPUtime=2.23 cores=0-31
/proc/13464/task/13502/stat : 13502 (plingeling) R 13462 13464 13374 0 -1 4202560 8817 1242 0 0 217 5 0 1 25 0 33 0 659972285 1531449344 243038 268435456000 4194304 4417452 140736398836768 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 84.73
Current children cumulated vsize (KiB) 1495556
[startup+25.502 s]
/proc/loadavg: 26.08 28.66 29.24 33/446 13502
/proc/meminfo: memFree=253262080/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=2930520 CPUtime=476.97 cores=0-31
/proc/13464/stat : 13464 (plingeling) S 13462 13464 13374 0 -1 4202496 888606 1242 0 0 46875 821 0 1 19 0 33 0 659971248 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/13464/statm: 732630 574004 175 55 0 730516 0
[pid=13464/tid=13471] ppid=13462 vsize=2930520 CPUtime=14.11 cores=0-31
/proc/13464/task/13471/stat : 13471 (plingeling) R 13462 13464 13374 0 -1 4202560 19731 1242 0 0 1379 31 0 1 21 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13464/tid=13472] ppid=13462 vsize=2930520 CPUtime=14.77 cores=0-31
/proc/13464/task/13472/stat : 13472 (plingeling) R 13462 13464 13374 0 -1 4202560 27895 1242 0 0 1445 31 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13464/tid=13473] ppid=13462 vsize=2930520 CPUtime=15.02 cores=0-31
/proc/13464/task/13473/stat : 13473 (plingeling) R 13462 13464 13374 0 -1 4202560 10952 1242 0 0 1491 10 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4249880 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13464/tid=13474] ppid=13462 vsize=2930520 CPUtime=15.09 cores=0-31
/proc/13464/task/13474/stat : 13474 (plingeling) R 13462 13464 13374 0 -1 4202560 4134 1242 0 0 1504 4 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4232685 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13464/tid=13475] ppid=13462 vsize=2930520 CPUtime=14.83 cores=0-31
/proc/13464/task/13475/stat : 13475 (plingeling) R 13462 13464 13374 0 -1 4202560 21483 1242 0 0 1464 18 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13464/tid=13476] ppid=13462 vsize=2930520 CPUtime=14.09 cores=0-31
/proc/13464/task/13476/stat : 13476 (plingeling) R 13462 13464 13374 0 -1 4202560 23567 1242 0 0 1372 36 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4258247 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13464/tid=13477] ppid=13462 vsize=2930520 CPUtime=15.03 cores=0-31
/proc/13464/task/13477/stat : 13477 (plingeling) R 13462 13464 13374 0 -1 4202560 16440 1242 0 0 1484 18 0 1 19 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4377257 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13464/tid=13478] ppid=13462 vsize=2930520 CPUtime=14.57 cores=0-31
/proc/13464/task/13478/stat : 13478 (plingeling) R 13462 13464 13374 0 -1 4202560 23572 1242 0 0 1426 30 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4248897 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13464/tid=13479] ppid=13462 vsize=2930520 CPUtime=14.21 cores=0-31
/proc/13464/task/13479/stat : 13479 (plingeling) R 13462 13464 13374 0 -1 4202560 16883 1242 0 0 1401 19 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13464/tid=13480] ppid=13462 vsize=2930520 CPUtime=14.7 cores=0-31
/proc/13464/task/13480/stat : 13480 (plingeling) R 13462 13464 13374 0 -1 4202560 17022 1242 0 0 1445 24 0 1 25 0 33 0 659972279 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4250072 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13464/tid=13481] ppid=13462 vsize=2930520 CPUtime=15.11 cores=0-31
/proc/13464/task/13481/stat : 13481 (plingeling) R 13462 13464 13374 0 -1 4202560 18129 1242 0 0 1490 20 0 1 25 0 33 0 659972280 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4377567 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13464/tid=13482] ppid=13462 vsize=2930520 CPUtime=14.52 cores=0-31
/proc/13464/task/13482/stat : 13482 (plingeling) R 13462 13464 13374 0 -1 4202560 25555 1242 0 0 1423 28 0 1 25 0 33 0 659972280 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4258161 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13464/tid=13483] ppid=13462 vsize=2930520 CPUtime=14.45 cores=0-31
/proc/13464/task/13483/stat : 13483 (plingeling) R 13462 13464 13374 0 -1 4202560 21474 1242 0 0 1419 25 0 1 25 0 33 0 659972280 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13464/tid=13484] ppid=13462 vsize=2930520 CPUtime=14.49 cores=0-31
/proc/13464/task/13484/stat : 13484 (plingeling) R 13462 13464 13374 0 -1 4202560 26353 1242 0 0 1419 29 0 1 25 0 33 0 659972280 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4250365 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13464/tid=13485] ppid=13462 vsize=2930520 CPUtime=14.84 cores=0-31
/proc/13464/task/13485/stat : 13485 (plingeling) R 13462 13464 13374 0 -1 4202560 23352 1242 0 0 1467 16 0 1 25 0 33 0 659972280 3000852480 574004 268435456000 4194304 4417452 140736398836768 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 19 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=244486012/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=11649248 CPUtime=67303.7 cores=0-31
/proc/13464/stat : 13464 (plingeling) S 13462 13464 13374 0 -1 4202496 14983363 1242 0 0 6713814 16551 0 1 19 0 33 0 659971248 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/13464/statm: 2912312 2780566 175 55 0 2910198 0
[pid=13464/tid=13471] ppid=13462 vsize=11649248 CPUtime=2103.5 cores=0-31
/proc/13464/task/13471/stat : 13471 (plingeling) R 13462 13464 13374 0 -1 4202560 653866 1242 0 0 209552 797 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4250765 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13464/tid=13472] ppid=13462 vsize=11649248 CPUtime=2104.67 cores=0-31
/proc/13464/task/13472/stat : 13472 (plingeling) R 13462 13464 13374 0 -1 4202560 446722 1242 0 0 209923 543 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357248 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13464/tid=13473] ppid=13462 vsize=11649248 CPUtime=2105.13 cores=0-31
/proc/13464/task/13473/stat : 13473 (plingeling) R 13462 13464 13374 0 -1 4202560 469161 1242 0 0 209920 592 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13464/tid=13474] ppid=13462 vsize=11649248 CPUtime=2107.39 cores=0-31
/proc/13464/task/13474/stat : 13474 (plingeling) R 13462 13464 13374 0 -1 4202560 146183 1242 0 0 210495 243 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357265 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13464/tid=13475] ppid=13462 vsize=11649248 CPUtime=2100.54 cores=0-31
/proc/13464/task/13475/stat : 13475 (plingeling) R 13462 13464 13374 0 -1 4202560 372224 1242 0 0 209619 434 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13464/tid=13476] ppid=13462 vsize=11649248 CPUtime=2105.73 cores=0-31
/proc/13464/task/13476/stat : 13476 (plingeling) R 13462 13464 13374 0 -1 4202560 405271 1242 0 0 210232 340 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13464/tid=13477] ppid=13462 vsize=11649248 CPUtime=2103.61 cores=0-31
/proc/13464/task/13477/stat : 13477 (plingeling) R 13462 13464 13374 0 -1 4202560 576752 1242 0 0 209670 690 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13464/tid=13478] ppid=13462 vsize=11649248 CPUtime=2105.29 cores=0-31
/proc/13464/task/13478/stat : 13478 (plingeling) R 13462 13464 13374 0 -1 4202560 371201 1242 0 0 209925 603 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13464/tid=13479] ppid=13462 vsize=11649248 CPUtime=2099.98 cores=0-31
/proc/13464/task/13479/stat : 13479 (plingeling) R 13462 13464 13374 0 -1 4202560 604172 1242 0 0 209489 508 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13464/tid=13480] ppid=13462 vsize=11649248 CPUtime=2103.88 cores=0-31
/proc/13464/task/13480/stat : 13480 (plingeling) R 13462 13464 13374 0 -1 4202560 498867 1242 0 0 209803 584 0 1 25 0 33 0 659972279 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13464/tid=13481] ppid=13462 vsize=11649248 CPUtime=2097.94 cores=0-31
/proc/13464/task/13481/stat : 13481 (plingeling) R 13462 13464 13374 0 -1 4202560 434106 1242 0 0 209294 499 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4250599 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13464/tid=13482] ppid=13462 vsize=11649248 CPUtime=2102.35 cores=0-31
/proc/13464/task/13482/stat : 13482 (plingeling) R 13462 13464 13374 0 -1 4202560 421119 1242 0 0 209734 500 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13464/tid=13483] ppid=13462 vsize=11649248 CPUtime=2101.92 cores=0-31
/proc/13464/task/13483/stat : 13483 (plingeling) R 13462 13464 13374 0 -1 4202560 493818 1242 0 0 209679 512 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13464/tid=13484] ppid=13462 vsize=11649248 CPUtime=2104.9 cores=0-31
/proc/13464/task/13484/stat : 13484 (plingeling) R 13462 13464 13374 0 -1 4202560 414770 1242 0 0 209918 571 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13464/tid=13485] ppid=13462 vsize=11649248 CPUtime=2102.85 cores=0-31
/proc/13464/task/13485/stat : 13485 (plingeling) R 13462 13464 13374 0 -1 4202560 604546 1242 0 0 209748 536 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13464/tid=13486] ppid=13462 vsize=11649248 CPUtime=2102.76 cores=0-31
/proc/13464/task/13486/stat : 13486 (plingeling) R 13462 13464 13374 0 -1 4202560 509122 1242 0 0 209687 588 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13464/tid=13487] ppid=13462 vsize=11649248 CPUtime=2099.59 cores=0-31
/proc/13464/task/13487/stat : 13487 (plingeling) R 13462 13464 13374 0 -1 4202560 461836 1242 0 0 209286 672 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13464/tid=13488] ppid=13462 vsize=11649248 CPUtime=2103.63 cores=0-31
/proc/13464/task/13488/stat : 13488 (plingeling) R 13462 13464 13374 0 -1 4202560 517918 1242 0 0 209828 534 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13464/tid=13489] ppid=13462 vsize=11649248 CPUtime=2094.26 cores=0-31
/proc/13464/task/13489/stat : 13489 (plingeling) R 13462 13464 13374 0 -1 4202560 433213 1242 0 0 208937 488 0 1 25 0 33 0 659972280 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13464/tid=13490] ppid=13462 vsize=11649248 CPUtime=2102.92 cores=0-31
/proc/13464/task/13490/stat : 13490 (plingeling) R 13462 13464 13374 0 -1 4202560 481985 1242 0 0 209953 338 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4251071 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13464/tid=13491] ppid=13462 vsize=11649248 CPUtime=2092.19 cores=0-31
/proc/13464/task/13491/stat : 13491 (plingeling) R 13462 13464 13374 0 -1 4202560 504463 1242 0 0 208704 514 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13464/tid=13492] ppid=13462 vsize=11649248 CPUtime=2104.36 cores=0-31
/proc/13464/task/13492/stat : 13492 (plingeling) R 13462 13464 13374 0 -1 4202560 486116 1242 0 0 209871 564 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13464/tid=13493] ppid=13462 vsize=11649248 CPUtime=2100.19 cores=0-31
/proc/13464/task/13493/stat : 13493 (plingeling) R 13462 13464 13374 0 -1 4202560 338846 1242 0 0 209676 342 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4250640 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13464/tid=13494] ppid=13462 vsize=11649248 CPUtime=2104.69 cores=0-31
/proc/13464/task/13494/stat : 13494 (plingeling) R 13462 13464 13374 0 -1 4202560 473327 1242 0 0 209790 678 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13464/tid=13495] ppid=13462 vsize=11649248 CPUtime=2104.99 cores=0-31
/proc/13464/task/13495/stat : 13495 (plingeling) R 13462 13464 13374 0 -1 4202560 415140 1242 0 0 210066 432 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4358118 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13464/tid=13496] ppid=13462 vsize=11649248 CPUtime=2104.68 cores=0-31
/proc/13464/task/13496/stat : 13496 (plingeling) R 13462 13464 13374 0 -1 4202560 408866 1242 0 0 209904 563 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13464/tid=13497] ppid=13462 vsize=11649248 CPUtime=2104.52 cores=0-31
/proc/13464/task/13497/stat : 13497 (plingeling) R 13462 13464 13374 0 -1 4202560 505154 1242 0 0 209983 468 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13464/tid=13498] ppid=13462 vsize=11649248 CPUtime=2104.38 cores=0-31
/proc/13464/task/13498/stat : 13498 (plingeling) R 13462 13464 13374 0 -1 4202560 560554 1242 0 0 209923 514 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4251071 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13464/tid=13499] ppid=13462 vsize=11649248 CPUtime=2105.61 cores=0-31
/proc/13464/task/13499/stat : 13499 (plingeling) R 13462 13464 13374 0 -1 4202560 439389 1242 0 0 209938 622 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13464/tid=13500] ppid=13462 vsize=11649248 CPUtime=2102.69 cores=0-31
/proc/13464/task/13500/stat : 13500 (plingeling) R 13462 13464 13374 0 -1 4202560 513820 1242 0 0 209740 528 0 1 25 0 33 0 659972281 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13464/tid=13501] ppid=13462 vsize=11649248 CPUtime=2106.14 cores=0-31
/proc/13464/task/13501/stat : 13501 (plingeling) R 13462 13464 13374 0 -1 4202560 392421 1242 0 0 210202 411 0 1 25 0 33 0 659972284 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13464/tid=13502] ppid=13462 vsize=11649248 CPUtime=2106.06 cores=0-31
/proc/13464/task/13502/stat : 13502 (plingeling) R 13462 13464 13374 0 -1 4202560 411698 1242 0 0 210322 283 0 1 25 0 33 0 659972285 11928829952 2780566 268435456000 4194304 4417452 140736398836768 18446744073709551615 4306326 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 67303.7
Current children cumulated vsize (KiB) 11649248
[startup+2121.6 s]
/proc/loadavg: 32.08 32.08 31.76 33/446 13567
/proc/meminfo: memFree=244465412/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=11617276 CPUtime=67405.9 cores=0-31
/proc/13464/stat : 13464 (plingeling) S 13462 13464 13374 0 -1 4202496 15035930 1242 0 0 6724030 16563 0 1 19 0 33 0 659971248 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/13464/statm: 2904319 2772511 175 55 0 2902205 0
[pid=13464/tid=13471] ppid=13462 vsize=11617276 CPUtime=2106.7 cores=0-31
/proc/13464/task/13471/stat : 13471 (plingeling) R 13462 13464 13374 0 -1 4202560 653866 1242 0 0 209872 797 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4348456 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13464/tid=13472] ppid=13462 vsize=11617276 CPUtime=2107.87 cores=0-31
/proc/13464/task/13472/stat : 13472 (plingeling) R 13462 13464 13374 0 -1 4202560 446722 1242 0 0 210243 543 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357204 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13464/tid=13473] ppid=13462 vsize=11617276 CPUtime=2108.33 cores=0-31
/proc/13464/task/13473/stat : 13473 (plingeling) R 13462 13464 13374 0 -1 4202560 469161 1242 0 0 210240 592 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13464/tid=13474] ppid=13462 vsize=11617276 CPUtime=2110.59 cores=0-31
/proc/13464/task/13474/stat : 13474 (plingeling) R 13462 13464 13374 0 -1 4202560 146183 1242 0 0 210815 243 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13464/tid=13475] ppid=13462 vsize=11617276 CPUtime=2103.74 cores=0-31
/proc/13464/task/13475/stat : 13475 (plingeling) R 13462 13464 13374 0 -1 4202560 372224 1242 0 0 209939 434 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4358080 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13464/tid=13476] ppid=13462 vsize=11617276 CPUtime=2108.92 cores=0-31
/proc/13464/task/13476/stat : 13476 (plingeling) R 13462 13464 13374 0 -1 4202560 405271 1242 0 0 210551 340 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357204 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13464/tid=13477] ppid=13462 vsize=11617276 CPUtime=2106.72 cores=0-31
/proc/13464/task/13477/stat : 13477 (plingeling) R 13462 13464 13374 0 -1 4202560 576752 1242 0 0 209981 690 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13464/tid=13478] ppid=13462 vsize=11617276 CPUtime=2108.49 cores=0-31
/proc/13464/task/13478/stat : 13478 (plingeling) R 13462 13464 13374 0 -1 4202560 371201 1242 0 0 210245 603 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357219 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13464/tid=13479] ppid=13462 vsize=11617276 CPUtime=2103.18 cores=0-31
/proc/13464/task/13479/stat : 13479 (plingeling) R 13462 13464 13374 0 -1 4202560 604172 1242 0 0 209809 508 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13464/tid=13480] ppid=13462 vsize=11617276 CPUtime=2107.08 cores=0-31
/proc/13464/task/13480/stat : 13480 (plingeling) R 13462 13464 13374 0 -1 4202560 498867 1242 0 0 210123 584 0 1 25 0 33 0 659972279 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13464/tid=13481] ppid=13462 vsize=11617276 CPUtime=2101.14 cores=0-31
/proc/13464/task/13481/stat : 13481 (plingeling) R 13462 13464 13374 0 -1 4202560 434106 1242 0 0 209614 499 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13464/tid=13482] ppid=13462 vsize=11617276 CPUtime=2105.55 cores=0-31
/proc/13464/task/13482/stat : 13482 (plingeling) R 13462 13464 13374 0 -1 4202560 421119 1242 0 0 210054 500 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13464/tid=13483] ppid=13462 vsize=11617276 CPUtime=2105.12 cores=0-31
/proc/13464/task/13483/stat : 13483 (plingeling) R 13462 13464 13374 0 -1 4202560 493818 1242 0 0 209999 512 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4263027 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13464/tid=13484] ppid=13462 vsize=11617276 CPUtime=2108.1 cores=0-31
/proc/13464/task/13484/stat : 13484 (plingeling) R 13462 13464 13374 0 -1 4202560 414770 1242 0 0 210238 571 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357219 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13464/tid=13485] ppid=13462 vsize=11617276 CPUtime=2106.04 cores=0-31
/proc/13464/task/13485/stat : 13485 (plingeling) R 13462 13464 13374 0 -1 4202560 604546 1242 0 0 210067 536 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4354481 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13464/tid=13486] ppid=13462 vsize=11617276 CPUtime=2105.96 cores=0-31
/proc/13464/task/13486/stat : 13486 (plingeling) R 13462 13464 13374 0 -1 4202560 509122 1242 0 0 210007 588 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13464/tid=13487] ppid=13462 vsize=11617276 CPUtime=2102.79 cores=0-31
/proc/13464/task/13487/stat : 13487 (plingeling) R 13462 13464 13374 0 -1 4202560 493718 1242 0 0 209598 680 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4358080 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13464/tid=13488] ppid=13462 vsize=11617276 CPUtime=2106.83 cores=0-31
/proc/13464/task/13488/stat : 13488 (plingeling) R 13462 13464 13374 0 -1 4202560 522014 1242 0 0 210147 535 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4356894 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13464/tid=13489] ppid=13462 vsize=11617276 CPUtime=2097.46 cores=0-31
/proc/13464/task/13489/stat : 13489 (plingeling) R 13462 13464 13374 0 -1 4202560 433213 1242 0 0 209257 488 0 1 25 0 33 0 659972280 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13464/tid=13490] ppid=13462 vsize=11617276 CPUtime=2106.12 cores=0-31
/proc/13464/task/13490/stat : 13490 (plingeling) R 13462 13464 13374 0 -1 4202560 481985 1242 0 0 210273 338 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13464/tid=13491] ppid=13462 vsize=11617276 CPUtime=2095.39 cores=0-31
/proc/13464/task/13491/stat : 13491 (plingeling) R 13462 13464 13374 0 -1 4202560 504463 1242 0 0 209024 514 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13464/tid=13492] ppid=13462 vsize=11617276 CPUtime=2107.56 cores=0-31
/proc/13464/task/13492/stat : 13492 (plingeling) R 13462 13464 13374 0 -1 4202560 486116 1242 0 0 210191 564 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13464/tid=13493] ppid=13462 vsize=11617276 CPUtime=2103.39 cores=0-31
/proc/13464/task/13493/stat : 13493 (plingeling) R 13462 13464 13374 0 -1 4202560 355435 1242 0 0 209992 346 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13464/tid=13494] ppid=13462 vsize=11617276 CPUtime=2107.89 cores=0-31
/proc/13464/task/13494/stat : 13494 (plingeling) R 13462 13464 13374 0 -1 4202560 473327 1242 0 0 210110 678 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13464/tid=13495] ppid=13462 vsize=11617276 CPUtime=2108.19 cores=0-31
/proc/13464/task/13495/stat : 13495 (plingeling) R 13462 13464 13374 0 -1 4202560 415140 1242 0 0 210386 432 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13464/tid=13496] ppid=13462 vsize=11617276 CPUtime=2107.88 cores=0-31
/proc/13464/task/13496/stat : 13496 (plingeling) R 13462 13464 13374 0 -1 4202560 408866 1242 0 0 210224 563 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13464/tid=13497] ppid=13462 vsize=11617276 CPUtime=2107.72 cores=0-31
/proc/13464/task/13497/stat : 13497 (plingeling) R 13462 13464 13374 0 -1 4202560 505154 1242 0 0 210303 468 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4357229 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13464/tid=13498] ppid=13462 vsize=11617276 CPUtime=2107.58 cores=0-31
/proc/13464/task/13498/stat : 13498 (plingeling) R 13462 13464 13374 0 -1 4202560 560554 1242 0 0 210243 514 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13464/tid=13499] ppid=13462 vsize=11617276 CPUtime=2108.81 cores=0-31
/proc/13464/task/13499/stat : 13499 (plingeling) R 13462 13464 13374 0 -1 4202560 439389 1242 0 0 210258 622 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13464/tid=13500] ppid=13462 vsize=11617276 CPUtime=2105.89 cores=0-31
/proc/13464/task/13500/stat : 13500 (plingeling) R 13462 13464 13374 0 -1 4202560 513820 1242 0 0 210060 528 0 1 25 0 33 0 659972281 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13464/tid=13501] ppid=13462 vsize=11617276 CPUtime=2109.34 cores=0-31
/proc/13464/task/13501/stat : 13501 (plingeling) R 13462 13464 13374 0 -1 4202560 392421 1242 0 0 210522 411 0 1 25 0 33 0 659972284 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4251156 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13464/tid=13502] ppid=13462 vsize=11617276 CPUtime=2109.26 cores=0-31
/proc/13464/task/13502/stat : 13502 (plingeling) R 13462 13464 13374 0 -1 4202560 411698 1242 0 0 210642 283 0 1 25 0 33 0 659972285 11896090624 2772511 268435456000 4194304 4417452 140736398836768 18446744073709551615 4310182 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 67405.9
Current children cumulated vsize (KiB) 11617276
[startup+2122.4 s]
/proc/loadavg: 32.08 32.08 31.76 33/446 13567
/proc/meminfo: memFree=244465768/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=10016256 CPUtime=67418.4 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202496 15035942 1242 0 0 6725258 16577 0 1 16 0 1 0 659971248 10256646144 2459241 268435456000 4194304 4417452 140736398836768 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 23 0 0 0
/proc/13464/statm: 2504064 2458791 176 55 0 2501950 0
Current children cumulated CPU time (s) 67418.4
Current children cumulated vsize (KiB) 10016256
[startup+2123.2 s]
/proc/loadavg: 29.60 31.57 31.59 2/414 13567
/proc/meminfo: memFree=251293216/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=0 CPUtime=67419.2 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202500 15035946 1242 0 0 6725259 16656 0 1 16 0 1 0 659971248 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/13464/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 67419.2
Current children cumulated vsize (KiB) 0
[startup+2123.4 s]
/proc/loadavg: 29.60 31.57 31.59 2/414 13567
/proc/meminfo: memFree=251293216/264257624 swapFree=67111528/67111528
[pid=13464] ppid=13462 vsize=0 CPUtime=67419.4 cores=0-31
/proc/13464/stat : 13464 (plingeling) R 13462 13464 13374 0 -1 4202500 15035946 1242 0 0 6725259 16676 0 1 17 0 1 0 659971248 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/13464/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 67419.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2123.49
CPU time (s): 67419.5
CPU user time (s): 67252.6
CPU system time (s): 166.871
CPU usage (%): 3174.93
Max. virtual memory (cumulated for all children) (KiB): 12001796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67252.6
system time used= 166.871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15037188
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= 7599
involuntary context switches= 169713
runsolver used 11.2973 second user time and 48.6506 second system time
The end
Begin job on node200 at 2011-05-15 20:40:48
IDJOB=3372216
IDBENCH=70760
IDSOLVER=1852
FILE ID=node200/3372216-1305484848
RUNJOBID= node200-1305484823-13388
PBS_JOBID= 13285526
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372216-1305484848/watcher-3372216-1305484848 -o /tmp/evaluation-result-3372216-1305484848/solver-3372216-1305484848 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372216-1305484848.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=1333762381
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: 255546348 kB
Buffers: 441932 kB
Cached: 7843076 kB
SwapCached: 0 kB
Active: 7391332 kB
Inactive: 962892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255546348 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8064 kB
Writeback: 0 kB
AnonPages: 69000 kB
Mapped: 14536 kB
Slab: 250864 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 202028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-15 21:16:12