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-3372924-1306140412/watcher-3372924-1306140412 -o /tmp/evaluation-result-3372924-1306140412/solver-3372924-1306140412 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372924-1306140412.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: 32.02 31.52 29.84 1/413 387
/proc/meminfo: memFree=255331340/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=9528 CPUtime=0 cores=0-31
/proc/387/stat : 387 (plingeling) R 385 387 361 0 -1 4202496 458 1249 0 0 0 0 0 0 22 0 1 0 725527617 9756672 388 268435456000 4194304 4417452 140733247062464 18446744073709551615 4265009 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/387/statm: 2382 388 144 55 0 268 0
[startup+0.13306 s]
/proc/loadavg: 32.02 31.52 29.84 1/413 387
/proc/meminfo: memFree=255331340/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=542620 CPUtime=2.64 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 3455 1249 0 0 261 3 0 0 20 0 33 0 725527617 555642880 3213 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 135858 3525 175 55 0 133744 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 542620
[startup+0.264536 s]
/proc/loadavg: 32.02 31.52 29.84 1/413 387
/proc/meminfo: memFree=255331340/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=550396 CPUtime=6.73 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 6481 1249 0 0 665 8 0 0 20 0 33 0 725527617 563605504 5477 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 138137 6008 175 55 0 136023 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 550396
[startup+0.347739 s]
/proc/loadavg: 32.02 31.52 29.84 1/413 387
/proc/meminfo: memFree=255331340/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=556928 CPUtime=9.25 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 9197 1249 0 0 913 12 0 0 20 0 33 0 725527617 570294272 7090 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 139232 7090 175 55 0 137118 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 556928
[startup+0.700158 s]
/proc/loadavg: 32.02 31.52 29.84 1/413 387
/proc/meminfo: memFree=255331340/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=571540 CPUtime=20.11 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 20074 1249 0 0 1982 29 0 0 20 0 33 0 725527617 585256960 10837 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 142885 10837 175 55 0 140771 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 571540
[startup+1.50218 s]
/proc/loadavg: 32.02 31.52 29.84 33/446 425
/proc/meminfo: memFree=255279924/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=594504 CPUtime=45.03 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 44467 1249 0 0 4433 70 0 0 20 0 33 0 725527617 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 148626 16428 175 55 0 146512 0
[pid=387/tid=394] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/394/stat : 394 (plingeling) R 385 387 361 0 -1 4202560 1584 1249 0 0 137 3 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4232695 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=387/tid=395] ppid=385 vsize=594504 CPUtime=1.39 cores=0-31
/proc/387/task/395/stat : 395 (plingeling) R 385 387 361 0 -1 4202560 1376 1249 0 0 137 2 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=387/tid=396] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/396/stat : 396 (plingeling) R 385 387 361 0 -1 4202560 1548 1249 0 0 138 2 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=387/tid=397] ppid=385 vsize=594504 CPUtime=1.43 cores=0-31
/proc/387/task/397/stat : 397 (plingeling) R 385 387 361 0 -1 4202560 1576 1249 0 0 140 3 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4321693 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=387/tid=398] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/398/stat : 398 (plingeling) R 385 387 361 0 -1 4202560 1408 1249 0 0 138 2 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=387/tid=399] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/399/stat : 399 (plingeling) R 385 387 361 0 -1 4202560 1382 1249 0 0 140 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=387/tid=400] ppid=385 vsize=594504 CPUtime=1.38 cores=0-31
/proc/387/task/400/stat : 400 (plingeling) D 385 387 361 0 -1 4202560 1358 1249 0 0 137 1 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 258650649903 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=387/tid=401] ppid=385 vsize=594504 CPUtime=1.41 cores=0-31
/proc/387/task/401/stat : 401 (plingeling) D 385 387 361 0 -1 4202560 1295 1249 0 0 140 1 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=387/tid=402] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/402/stat : 402 (plingeling) R 385 387 361 0 -1 4202560 1350 1249 0 0 141 1 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=387/tid=403] ppid=385 vsize=594504 CPUtime=1.41 cores=0-31
/proc/387/task/403/stat : 403 (plingeling) R 385 387 361 0 -1 4202560 1430 1249 0 0 139 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=387/tid=404] ppid=385 vsize=594504 CPUtime=1.41 cores=0-31
/proc/387/task/404/stat : 404 (plingeling) R 385 387 361 0 -1 4202560 1553 1249 0 0 139 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4353580 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=387/tid=405] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/405/stat : 405 (plingeling) R 385 387 361 0 -1 4202560 1286 1249 0 0 138 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=387/tid=406] ppid=385 vsize=594504 CPUtime=1.41 cores=0-31
/proc/387/task/406/stat : 406 (plingeling) R 385 387 361 0 -1 4202560 1168 1249 0 0 140 1 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4270256 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=387/tid=407] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/407/stat : 407 (plingeling) R 385 387 361 0 -1 4202560 1298 1249 0 0 139 1 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 18446744073699065903 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=387/tid=408] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/408/stat : 408 (plingeling) R 385 387 361 0 -1 4202560 1558 1249 0 0 140 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=387/tid=409] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/409/stat : 409 (plingeling) R 385 387 361 0 -1 4202560 1283 1249 0 0 140 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=387/tid=410] ppid=385 vsize=594504 CPUtime=1.41 cores=0-31
/proc/387/task/410/stat : 410 (plingeling) R 385 387 361 0 -1 4202560 1436 1249 0 0 139 2 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4356962 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=387/tid=411] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/411/stat : 411 (plingeling) R 385 387 361 0 -1 4202560 1385 1249 0 0 140 2 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=387/tid=412] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/412/stat : 412 (plingeling) R 385 387 361 0 -1 4202560 1506 1249 0 0 137 3 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=387/tid=413] ppid=385 vsize=594504 CPUtime=1.41 cores=0-31
/proc/387/task/413/stat : 413 (plingeling) R 385 387 361 0 -1 4202560 1449 1249 0 0 139 2 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=387/tid=414] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/414/stat : 414 (plingeling) R 385 387 361 0 -1 4202560 1293 1249 0 0 139 1 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4306294 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=387/tid=415] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/415/stat : 415 (plingeling) R 385 387 361 0 -1 4202560 1227 1249 0 0 141 1 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4306329 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=387/tid=416] ppid=385 vsize=594504 CPUtime=1.4 cores=0-31
/proc/387/task/416/stat : 416 (plingeling) R 385 387 361 0 -1 4202560 1683 1249 0 0 138 2 0 0 18 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=387/tid=417] ppid=385 vsize=594504 CPUtime=1.38 cores=0-31
/proc/387/task/417/stat : 417 (plingeling) R 385 387 361 0 -1 4202560 1200 1249 0 0 137 1 0 0 19 0 33 0 725527621 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=387/tid=418] ppid=385 vsize=594504 CPUtime=1.39 cores=0-31
/proc/387/task/418/stat : 418 (plingeling) R 385 387 361 0 -1 4202560 1840 1249 0 0 136 3 0 0 18 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4310182 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=387/tid=419] ppid=385 vsize=594504 CPUtime=1.42 cores=0-31
/proc/387/task/419/stat : 419 (plingeling) R 385 387 361 0 -1 4202560 1141 1249 0 0 140 2 0 0 25 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=387/tid=420] ppid=385 vsize=594504 CPUtime=1.38 cores=0-31
/proc/387/task/420/stat : 420 (plingeling) R 385 387 361 0 -1 4202560 1158 1249 0 0 137 1 0 0 19 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 258650649923 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=387/tid=421] ppid=385 vsize=594504 CPUtime=1.37 cores=0-31
/proc/387/task/421/stat : 421 (plingeling) R 385 387 361 0 -1 4202560 903 1249 0 0 136 1 0 0 25 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=387/tid=422] ppid=385 vsize=594504 CPUtime=1.23 cores=0-31
/proc/387/task/422/stat : 422 (plingeling) R 385 387 361 0 -1 4202560 887 1249 0 0 122 1 0 0 18 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4274768 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=387/tid=423] ppid=385 vsize=594504 CPUtime=1.39 cores=0-31
/proc/387/task/423/stat : 423 (plingeling) R 385 387 361 0 -1 4202560 1210 1249 0 0 138 1 0 0 19 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=387/tid=424] ppid=385 vsize=594504 CPUtime=1.38 cores=0-31
/proc/387/task/424/stat : 424 (plingeling) R 385 387 361 0 -1 4202560 1420 1249 0 0 137 1 0 0 18 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 18446744073699065998 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=387/tid=425] ppid=385 vsize=594504 CPUtime=1.39 cores=0-31
/proc/387/task/425/stat : 425 (plingeling) R 385 387 361 0 -1 4202560 1331 1249 0 0 136 3 0 0 18 0 33 0 725527622 608772096 16428 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 45.03
Current children cumulated vsize (KiB) 594504
[startup+3.10224 s]
/proc/loadavg: 32.01 31.52 29.85 30/446 425
/proc/meminfo: memFree=255245204/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=631812 CPUtime=93.43 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 116056 1249 0 0 9161 182 0 0 20 0 33 0 725527617 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 157953 25737 175 55 0 155839 0
[pid=387/tid=394] ppid=385 vsize=631812 CPUtime=2.92 cores=0-31
/proc/387/task/394/stat : 394 (plingeling) R 385 387 361 0 -1 4202560 3681 1249 0 0 286 6 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4356878 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=387/tid=395] ppid=385 vsize=631812 CPUtime=2.9 cores=0-31
/proc/387/task/395/stat : 395 (plingeling) R 385 387 361 0 -1 4202560 3844 1249 0 0 284 6 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=387/tid=396] ppid=385 vsize=631812 CPUtime=2.93 cores=0-31
/proc/387/task/396/stat : 396 (plingeling) R 385 387 361 0 -1 4202560 3848 1249 0 0 288 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364396 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=387/tid=397] ppid=385 vsize=631812 CPUtime=2.97 cores=0-31
/proc/387/task/397/stat : 397 (plingeling) R 385 387 361 0 -1 4202560 3114 1249 0 0 290 7 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=387/tid=398] ppid=385 vsize=631812 CPUtime=2.92 cores=0-31
/proc/387/task/398/stat : 398 (plingeling) R 385 387 361 0 -1 4202560 3795 1249 0 0 285 7 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4236343 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=387/tid=399] ppid=385 vsize=631812 CPUtime=2.94 cores=0-31
/proc/387/task/399/stat : 399 (plingeling) R 385 387 361 0 -1 4202560 3548 1249 0 0 290 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4270300 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=387/tid=400] ppid=385 vsize=631812 CPUtime=2.89 cores=0-31
/proc/387/task/400/stat : 400 (plingeling) R 385 387 361 0 -1 4202560 3904 1249 0 0 285 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=387/tid=401] ppid=385 vsize=631812 CPUtime=2.92 cores=0-31
/proc/387/task/401/stat : 401 (plingeling) R 385 387 361 0 -1 4202560 3120 1249 0 0 288 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=387/tid=402] ppid=385 vsize=631812 CPUtime=2.95 cores=0-31
/proc/387/task/402/stat : 402 (plingeling) R 385 387 361 0 -1 4202560 3597 1249 0 0 291 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=387/tid=403] ppid=385 vsize=631812 CPUtime=2.9 cores=0-31
/proc/387/task/403/stat : 403 (plingeling) R 385 387 361 0 -1 4202560 3857 1249 0 0 284 6 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=387/tid=404] ppid=385 vsize=631812 CPUtime=2.96 cores=0-31
/proc/387/task/404/stat : 404 (plingeling) R 385 387 361 0 -1 4202560 3889 1249 0 0 290 6 0 0 19 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=387/tid=405] ppid=385 vsize=631812 CPUtime=2.92 cores=0-31
/proc/387/task/405/stat : 405 (plingeling) R 385 387 361 0 -1 4202560 3316 1249 0 0 287 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4311334 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=387/tid=406] ppid=385 vsize=631812 CPUtime=2.94 cores=0-31
/proc/387/task/406/stat : 406 (plingeling) R 385 387 361 0 -1 4202560 3364 1249 0 0 289 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=387/tid=407] ppid=385 vsize=631812 CPUtime=2.89 cores=0-31
/proc/387/task/407/stat : 407 (plingeling) R 385 387 361 0 -1 4202560 3440 1249 0 0 285 4 0 0 19 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=387/tid=408] ppid=385 vsize=631812 CPUtime=2.94 cores=0-31
/proc/387/task/408/stat : 408 (plingeling) R 385 387 361 0 -1 4202560 3508 1249 0 0 287 7 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=387/tid=409] ppid=385 vsize=631812 CPUtime=2.93 cores=0-31
/proc/387/task/409/stat : 409 (plingeling) R 385 387 361 0 -1 4202560 4001 1249 0 0 288 5 0 0 19 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=387/tid=410] ppid=385 vsize=631812 CPUtime=2.93 cores=0-31
/proc/387/task/410/stat : 410 (plingeling) R 385 387 361 0 -1 4202560 4158 1249 0 0 288 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=387/tid=411] ppid=385 vsize=631812 CPUtime=2.94 cores=0-31
/proc/387/task/411/stat : 411 (plingeling) R 385 387 361 0 -1 4202560 3365 1249 0 0 290 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=387/tid=412] ppid=385 vsize=631812 CPUtime=2.91 cores=0-31
/proc/387/task/412/stat : 412 (plingeling) R 385 387 361 0 -1 4202560 3735 1249 0 0 285 6 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=387/tid=413] ppid=385 vsize=631812 CPUtime=2.93 cores=0-31
/proc/387/task/413/stat : 413 (plingeling) R 385 387 361 0 -1 4202560 3645 1249 0 0 288 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=387/tid=414] ppid=385 vsize=631812 CPUtime=2.88 cores=0-31
/proc/387/task/414/stat : 414 (plingeling) R 385 387 361 0 -1 4202560 4132 1249 0 0 283 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4357621 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=387/tid=415] ppid=385 vsize=631812 CPUtime=2.91 cores=0-31
/proc/387/task/415/stat : 415 (plingeling) R 385 387 361 0 -1 4202560 3466 1249 0 0 287 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4365162 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=387/tid=416] ppid=385 vsize=631812 CPUtime=2.93 cores=0-31
/proc/387/task/416/stat : 416 (plingeling) R 385 387 361 0 -1 4202560 3744 1249 0 0 288 5 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4250938 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=387/tid=417] ppid=385 vsize=631812 CPUtime=2.84 cores=0-31
/proc/387/task/417/stat : 417 (plingeling) R 385 387 361 0 -1 4202560 3558 1249 0 0 280 4 0 0 18 0 33 0 725527621 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=387/tid=418] ppid=385 vsize=631812 CPUtime=2.92 cores=0-31
/proc/387/task/418/stat : 418 (plingeling) R 385 387 361 0 -1 4202560 3534 1249 0 0 286 6 0 0 18 0 33 0 725527622 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=387/tid=419] ppid=385 vsize=631812 CPUtime=2.91 cores=0-31
/proc/387/task/419/stat : 419 (plingeling) R 385 387 361 0 -1 4202560 3644 1249 0 0 286 5 0 0 18 0 33 0 725527622 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=387/tid=420] ppid=385 vsize=631812 CPUtime=2.87 cores=0-31
/proc/387/task/420/stat : 420 (plingeling) R 385 387 361 0 -1 4202560 2909 1249 0 0 283 4 0 0 18 0 33 0 725527622 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=387/tid=421] ppid=385 vsize=631812 CPUtime=2.86 cores=0-31
/proc/387/task/421/stat : 421 (plingeling) R 385 387 361 0 -1 4202560 3166 1249 0 0 282 4 0 0 18 0 33 0 725527622 646975488 25737 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=387/tid=422] ppid=385 vsize=631812 CPUtime=2.73 cores=0-31
################
# More data... #
################
Current children cumulated vsize (KiB) 1435272
[startup+188.802 s]
/proc/loadavg: 32.04 31.75 30.24 33/446 429
/proc/meminfo: memFree=254400344/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=1467592 CPUtime=5969.01 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 4886732 1249 0 0 591528 5373 0 0 20 0 33 0 725527617 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 366898 235603 175 55 0 364784 0
[pid=387/tid=394] ppid=385 vsize=1467592 CPUtime=186.94 cores=0-31
/proc/387/task/394/stat : 394 (plingeling) R 385 387 361 0 -1 4202560 146734 1249 0 0 18541 153 0 0 18 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4242043 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=387/tid=395] ppid=385 vsize=1467592 CPUtime=185.78 cores=0-31
/proc/387/task/395/stat : 395 (plingeling) R 385 387 361 0 -1 4202560 165632 1249 0 0 18400 178 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=387/tid=396] ppid=385 vsize=1467592 CPUtime=186.74 cores=0-31
/proc/387/task/396/stat : 396 (plingeling) R 385 387 361 0 -1 4202560 154666 1249 0 0 18497 177 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=387/tid=397] ppid=385 vsize=1467592 CPUtime=187.73 cores=0-31
/proc/387/task/397/stat : 397 (plingeling) R 385 387 361 0 -1 4202560 84723 1249 0 0 18632 141 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=387/tid=398] ppid=385 vsize=1467592 CPUtime=186.71 cores=0-31
/proc/387/task/398/stat : 398 (plingeling) R 385 387 361 0 -1 4202560 150895 1249 0 0 18514 157 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4344131 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=387/tid=399] ppid=385 vsize=1467592 CPUtime=186.26 cores=0-31
/proc/387/task/399/stat : 399 (plingeling) R 385 387 361 0 -1 4202560 167995 1249 0 0 18469 157 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=387/tid=400] ppid=385 vsize=1467592 CPUtime=186.8 cores=0-31
/proc/387/task/400/stat : 400 (plingeling) R 385 387 361 0 -1 4202560 131173 1249 0 0 18523 157 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=387/tid=401] ppid=385 vsize=1467592 CPUtime=186.51 cores=0-31
/proc/387/task/401/stat : 401 (plingeling) R 385 387 361 0 -1 4202560 150251 1249 0 0 18456 195 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=387/tid=402] ppid=385 vsize=1467592 CPUtime=186.47 cores=0-31
/proc/387/task/402/stat : 402 (plingeling) R 385 387 361 0 -1 4202560 147558 1249 0 0 18493 154 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=387/tid=403] ppid=385 vsize=1467592 CPUtime=186.32 cores=0-31
/proc/387/task/403/stat : 403 (plingeling) R 385 387 361 0 -1 4202560 169795 1249 0 0 18471 161 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4309982 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=387/tid=404] ppid=385 vsize=1467592 CPUtime=185.83 cores=0-31
/proc/387/task/404/stat : 404 (plingeling) R 385 387 361 0 -1 4202560 173694 1249 0 0 18409 174 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4236764 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=387/tid=405] ppid=385 vsize=1467592 CPUtime=186.83 cores=0-31
/proc/387/task/405/stat : 405 (plingeling) R 385 387 361 0 -1 4202560 161332 1249 0 0 18495 188 0 0 21 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=387/tid=406] ppid=385 vsize=1467592 CPUtime=186.46 cores=0-31
/proc/387/task/406/stat : 406 (plingeling) R 385 387 361 0 -1 4202560 153999 1249 0 0 18463 183 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=387/tid=407] ppid=385 vsize=1467592 CPUtime=186.3 cores=0-31
/proc/387/task/407/stat : 407 (plingeling) R 385 387 361 0 -1 4202560 153901 1249 0 0 18458 172 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=387/tid=408] ppid=385 vsize=1467592 CPUtime=185.88 cores=0-31
/proc/387/task/408/stat : 408 (plingeling) R 385 387 361 0 -1 4202560 149737 1249 0 0 18427 161 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=387/tid=409] ppid=385 vsize=1467592 CPUtime=186.46 cores=0-31
/proc/387/task/409/stat : 409 (plingeling) R 385 387 361 0 -1 4202560 143096 1249 0 0 18484 162 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 18446744073699065903 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=387/tid=410] ppid=385 vsize=1467592 CPUtime=186.63 cores=0-31
/proc/387/task/410/stat : 410 (plingeling) R 385 387 361 0 -1 4202560 146857 1249 0 0 18467 196 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=387/tid=411] ppid=385 vsize=1467592 CPUtime=186.87 cores=0-31
/proc/387/task/411/stat : 411 (plingeling) R 385 387 361 0 -1 4202560 147552 1249 0 0 18532 155 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=387/tid=412] ppid=385 vsize=1467592 CPUtime=186.16 cores=0-31
/proc/387/task/412/stat : 412 (plingeling) R 385 387 361 0 -1 4202560 166166 1249 0 0 18467 149 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=387/tid=413] ppid=385 vsize=1467592 CPUtime=186.95 cores=0-31
/proc/387/task/413/stat : 413 (plingeling) R 385 387 361 0 -1 4202560 143616 1249 0 0 18529 166 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=387/tid=414] ppid=385 vsize=1467592 CPUtime=186.67 cores=0-31
/proc/387/task/414/stat : 414 (plingeling) R 385 387 361 0 -1 4202560 182893 1249 0 0 18500 167 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=387/tid=415] ppid=385 vsize=1467592 CPUtime=186.1 cores=0-31
/proc/387/task/415/stat : 415 (plingeling) R 385 387 361 0 -1 4202560 152187 1249 0 0 18427 183 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=387/tid=416] ppid=385 vsize=1467592 CPUtime=186.63 cores=0-31
/proc/387/task/416/stat : 416 (plingeling) R 385 387 361 0 -1 4202560 148886 1249 0 0 18492 171 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=387/tid=417] ppid=385 vsize=1467592 CPUtime=186.21 cores=0-31
/proc/387/task/417/stat : 417 (plingeling) R 385 387 361 0 -1 4202560 165828 1249 0 0 18455 166 0 0 25 0 33 0 725527621 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=387/tid=418] ppid=385 vsize=1467592 CPUtime=186.14 cores=0-31
/proc/387/task/418/stat : 418 (plingeling) R 385 387 361 0 -1 4202560 175161 1249 0 0 18449 165 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=387/tid=419] ppid=385 vsize=1467592 CPUtime=186.69 cores=0-31
/proc/387/task/419/stat : 419 (plingeling) R 385 387 361 0 -1 4202560 151292 1249 0 0 18486 183 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=387/tid=420] ppid=385 vsize=1467592 CPUtime=186.38 cores=0-31
/proc/387/task/420/stat : 420 (plingeling) R 385 387 361 0 -1 4202560 153408 1249 0 0 18475 163 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4251086 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=387/tid=421] ppid=385 vsize=1467592 CPUtime=186.42 cores=0-31
/proc/387/task/421/stat : 421 (plingeling) R 385 387 361 0 -1 4202560 130163 1249 0 0 18474 168 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=387/tid=422] ppid=385 vsize=1467592 CPUtime=186.33 cores=0-31
/proc/387/task/422/stat : 422 (plingeling) R 385 387 361 0 -1 4202560 152338 1249 0 0 18471 162 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=387/tid=423] ppid=385 vsize=1467592 CPUtime=186.8 cores=0-31
/proc/387/task/423/stat : 423 (plingeling) R 385 387 361 0 -1 4202560 149156 1249 0 0 18503 177 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=387/tid=424] ppid=385 vsize=1467592 CPUtime=186.89 cores=0-31
/proc/387/task/424/stat : 424 (plingeling) R 385 387 361 0 -1 4202560 140773 1249 0 0 18539 150 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=387/tid=425] ppid=385 vsize=1467592 CPUtime=186.77 cores=0-31
/proc/387/task/425/stat : 425 (plingeling) R 385 387 361 0 -1 4202560 174330 1249 0 0 18512 165 0 0 25 0 33 0 725527622 1502814208 235603 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5969.01
Current children cumulated vsize (KiB) 1467592
[startup+192.002 s]
/proc/loadavg: 32.04 31.75 30.25 33/446 431
/proc/meminfo: memFree=254369280/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=1491384 CPUtime=6068.53 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 4930863 1249 0 0 601443 5410 0 0 20 0 24 0 725527617 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 372846 240828 176 55 0 370732 0
[pid=387/tid=394] ppid=385 vsize=1491384 CPUtime=190.05 cores=0-31
/proc/387/task/394/stat : 394 (plingeling) R 385 387 361 0 -1 4202560 151055 1249 0 0 18851 154 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=387/tid=395] ppid=385 vsize=1491384 CPUtime=188.98 cores=0-31
/proc/387/task/395/stat : 395 (plingeling) R 385 387 361 0 -1 4202560 168408 1249 0 0 18719 179 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4353994 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=387/tid=399] ppid=385 vsize=1491384 CPUtime=189.46 cores=0-31
/proc/387/task/399/stat : 399 (plingeling) R 385 387 361 0 -1 4202560 167995 1249 0 0 18789 157 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=387/tid=400] ppid=385 vsize=1491384 CPUtime=190 cores=0-31
/proc/387/task/400/stat : 400 (plingeling) R 385 387 361 0 -1 4202560 131187 1249 0 0 18843 157 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=387/tid=402] ppid=385 vsize=1491384 CPUtime=189.67 cores=0-31
/proc/387/task/402/stat : 402 (plingeling) R 385 387 361 0 -1 4202560 147558 1249 0 0 18813 154 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=387/tid=403] ppid=385 vsize=1491384 CPUtime=189.52 cores=0-31
/proc/387/task/403/stat : 403 (plingeling) R 385 387 361 0 -1 4202560 171878 1249 0 0 18790 162 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=387/tid=406] ppid=385 vsize=1491384 CPUtime=189.66 cores=0-31
/proc/387/task/406/stat : 406 (plingeling) R 385 387 361 0 -1 4202560 155023 1249 0 0 18783 183 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=387/tid=407] ppid=385 vsize=1491384 CPUtime=189.49 cores=0-31
/proc/387/task/407/stat : 407 (plingeling) R 385 387 361 0 -1 4202560 156028 1249 0 0 18774 175 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=387/tid=408] ppid=385 vsize=1491384 CPUtime=189.08 cores=0-31
/proc/387/task/408/stat : 408 (plingeling) R 385 387 361 0 -1 4202560 150756 1249 0 0 18744 164 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=387/tid=409] ppid=385 vsize=1491384 CPUtime=189.66 cores=0-31
/proc/387/task/409/stat : 409 (plingeling) R 385 387 361 0 -1 4202560 143096 1249 0 0 18804 162 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=387/tid=410] ppid=385 vsize=1491384 CPUtime=189.73 cores=0-31
/proc/387/task/410/stat : 410 (plingeling) R 385 387 361 0 -1 4202560 148905 1249 0 0 18777 196 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=387/tid=411] ppid=385 vsize=1491384 CPUtime=190.06 cores=0-31
/proc/387/task/411/stat : 411 (plingeling) R 385 387 361 0 -1 4202560 148061 1249 0 0 18850 156 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=387/tid=412] ppid=385 vsize=1491384 CPUtime=189.37 cores=0-31
/proc/387/task/412/stat : 412 (plingeling) R 385 387 361 0 -1 4202560 166452 1249 0 0 18787 150 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=387/tid=413] ppid=385 vsize=1491384 CPUtime=190.15 cores=0-31
/proc/387/task/413/stat : 413 (plingeling) R 385 387 361 0 -1 4202560 145700 1249 0 0 18849 166 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=387/tid=414] ppid=385 vsize=1491384 CPUtime=189.88 cores=0-31
/proc/387/task/414/stat : 414 (plingeling) R 385 387 361 0 -1 4202560 184751 1249 0 0 18820 168 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=387/tid=415] ppid=385 vsize=1491384 CPUtime=189.3 cores=0-31
/proc/387/task/415/stat : 415 (plingeling) R 385 387 361 0 -1 4202560 152187 1249 0 0 18747 183 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=387/tid=416] ppid=385 vsize=1491384 CPUtime=189.84 cores=0-31
/proc/387/task/416/stat : 416 (plingeling) R 385 387 361 0 -1 4202560 151689 1249 0 0 18810 174 0 0 25 0 24 0 725527621 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=387/tid=418] ppid=385 vsize=1491384 CPUtime=189.33 cores=0-31
/proc/387/task/418/stat : 418 (plingeling) R 385 387 361 0 -1 4202560 175162 1249 0 0 18768 165 0 0 25 0 24 0 725527622 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=387/tid=419] ppid=385 vsize=1491384 CPUtime=189.89 cores=0-31
/proc/387/task/419/stat : 419 (plingeling) R 385 387 361 0 -1 4202560 152156 1249 0 0 18806 183 0 0 25 0 24 0 725527622 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=387/tid=421] ppid=385 vsize=1491384 CPUtime=189.62 cores=0-31
/proc/387/task/421/stat : 421 (plingeling) R 385 387 361 0 -1 4202560 132211 1249 0 0 18788 174 0 0 25 0 24 0 725527622 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=387/tid=422] ppid=385 vsize=1491384 CPUtime=189.52 cores=0-31
/proc/387/task/422/stat : 422 (plingeling) R 385 387 361 0 -1 4202560 153611 1249 0 0 18787 165 0 0 25 0 24 0 725527622 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=387/tid=424] ppid=385 vsize=1491384 CPUtime=190.09 cores=0-31
/proc/387/task/424/stat : 424 (plingeling) R 385 387 361 0 -1 4202560 140990 1249 0 0 18859 150 0 0 25 0 24 0 725527622 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=387/tid=425] ppid=385 vsize=1491384 CPUtime=189.97 cores=0-31
/proc/387/task/425/stat : 425 (plingeling) R 385 387 361 0 -1 4202560 175206 1249 0 0 18832 165 0 0 25 0 24 0 725527622 1527177216 240828 268435456000 4194304 4417452 140733247062464 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6068.53
Current children cumulated vsize (KiB) 1491384
[startup+193.601 s]
/proc/loadavg: 32.04 31.75 30.25 7/420 431
/proc/meminfo: memFree=254354776/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=1385764 CPUtime=6088.13 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 4938773 1249 0 0 603400 5413 0 0 15 0 7 0 725527617 1419022336 242572 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 346441 242572 176 55 0 344327 0
[pid=387/tid=408] ppid=385 vsize=1385764 CPUtime=190.7 cores=0-31
/proc/387/task/408/stat : 408 (plingeling) R 385 387 361 0 -1 4202560 150756 1249 0 0 18906 164 0 0 25 0 6 0 725527621 1419022336 242572 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=387/tid=409] ppid=385 vsize=1385764 CPUtime=191.28 cores=0-31
/proc/387/task/409/stat : 409 (plingeling) R 385 387 361 0 -1 4202560 143096 1249 0 0 18966 162 0 0 25 0 6 0 725527621 1419022336 242572 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=387/tid=410] ppid=385 vsize=1385764 CPUtime=191.35 cores=0-31
/proc/387/task/410/stat : 410 (plingeling) R 385 387 361 0 -1 4202560 150953 1249 0 0 18938 197 0 0 25 0 6 0 725527621 1419022336 242572 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=387/tid=421] ppid=385 vsize=1385764 CPUtime=191.24 cores=0-31
/proc/387/task/421/stat : 421 (plingeling) R 385 387 361 0 -1 4202560 132211 1249 0 0 18950 174 0 0 25 0 6 0 725527622 1419022336 242572 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=387/tid=424] ppid=385 vsize=1385764 CPUtime=191.71 cores=0-31
/proc/387/task/424/stat : 424 (plingeling) R 385 387 361 0 -1 4202560 140990 1249 0 0 19021 150 0 0 25 0 6 0 725527622 1419022336 242572 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 6088.13
Current children cumulated vsize (KiB) 1385764
[startup+194.401 s]
/proc/loadavg: 32.04 31.75 30.25 7/420 431
/proc/meminfo: memFree=254354776/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=1381660 CPUtime=6091.17 cores=0-31
/proc/387/stat : 387 (plingeling) S 385 387 361 0 -1 4202496 4942869 1249 0 0 603702 5415 0 0 15 0 3 0 725527617 1414819840 246664 268435456000 4194304 4417452 140733247062464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/387/statm: 345415 246664 176 55 0 343301 0
[pid=387/tid=410] ppid=385 vsize=1381660 CPUtime=192.14 cores=0-31
/proc/387/task/410/stat : 410 (plingeling) R 385 387 361 0 -1 4202560 150953 1249 0 0 19017 197 0 0 25 0 3 0 725527621 1414819840 246664 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=387/tid=421] ppid=385 vsize=1381660 CPUtime=192.02 cores=0-31
/proc/387/task/421/stat : 421 (plingeling) R 385 387 361 0 -1 4202560 134259 1249 0 0 19028 174 0 0 25 0 3 0 725527622 1414819840 246664 268435456000 4194304 4417452 140733247062464 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6091.17
Current children cumulated vsize (KiB) 1381660
[startup+194.819 s]
/proc/loadavg: 32.04 31.75 30.25 2/415 431
/proc/meminfo: memFree=254366968/264257624 swapFree=67111528/67111528
[pid=387] ppid=385 vsize=528936 CPUtime=6091.86 cores=0-31
/proc/387/stat : 387 (plingeling) R 385 387 361 0 -1 4202496 4945359 1249 0 0 603763 5423 0 0 15 0 1 0 725527617 541630464 72418 268435456000 4194304 4417452 140733247062464 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/387/statm: 132234 72418 176 55 0 130120 0
Current children cumulated CPU time (s) 6091.86
Current children cumulated vsize (KiB) 528936
Child status: 20
Real time (s): 194.851
CPU time (s): 6091.91
CPU user time (s): 6037.64
CPU system time (s): 54.2737
CPU usage (%): 3126.45
Max. virtual memory (cumulated for all children) (KiB): 1514248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6037.64
system time used= 54.2737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4946612
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= 33875
involuntary context switches= 13094
runsolver used 1.04884 second user time and 4.54131 second system time
The end
Begin job on node200 at 2011-05-23 10:46:52
IDJOB=3372924
IDBENCH=87943
IDSOLVER=1852
FILE ID=node200/3372924-1306140412
RUNJOBID= node200-1306140412-375
PBS_JOBID= 13387842
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/industrial/aloul/Homer/homer16.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372924-1306140412/watcher-3372924-1306140412 -o /tmp/evaluation-result-3372924-1306140412/solver-3372924-1306140412 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372924-1306140412.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f98b1abe53ae4846a5f9102253ed913e
RANDOM SEED=1267825471
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: 255331744 kB
Buffers: 459328 kB
Cached: 8059272 kB
SwapCached: 0 kB
Active: 7609356 kB
Inactive: 978320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255331744 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28 kB
Writeback: 0 kB
AnonPages: 70084 kB
Mapped: 13332 kB
Slab: 253804 kB
PageTables: 5124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186996 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= 62048 MiB
End job on node200 at 2011-05-23 10:50:07