264.26/205.12 c Benchmark name : HOME/instance-1776927-1244763403.cnf
264.26/205.12 c Thread Num : 16
264.26/205.12 c restarts : 10
264.26/205.12 c conflicts : 10073
264.26/205.12 c decisions : 12822 ( 63 / sec )
264.26/205.12 c propagations : 8117508 ( 39619 / sec )
264.26/205.12 c inspects : 36099068 ( 176187 / sec )
264.26/205.12 c conflict literals : 256103 ( 58.18 % deleted )
264.26/205.12 c cpu time : 204.89
264.26/205.12 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776927-1244763403/watcher-1776927-1244763403 -o /tmp/evaluation-result-1776927-1244763403/solver-1776927-1244763403 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776927-1244763403.cnf 16 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=5056 CPUtime=0
/proc/1691/stat : 1691 (satake) D 1689 1691 27791 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 11 0 635646618 5177344 215 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 1264 216 62 164 0 1099 0
[pid=1691/tid=1692] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) S 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 345 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1693/stat : 1693 (satake) R 1689 1691 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 345 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1694/stat : 1694 (satake) R 1689 1691 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1695/stat : 1695 (satake) R 1689 1691 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 346 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1698/stat : 1698 (satake) R 1689 1691 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 347 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1699/stat : 1699 (satake) R 1689 1691 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 350 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 352 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1701/stat : 1701 (satake) R 1689 1691 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 353 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1702/stat : 1702 (satake) R 1689 1691 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 635646619 8159232 354 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=7968 CPUtime=0
/proc/1691/task/1703/stat : 1703 (satake) R 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 13 0 635646620 8159232 355 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.116829 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=25496 CPUtime=0.53
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 4102 0 0 0 12 41 0 0 20 0 17 0 635646618 26107904 4041 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 6374 4046 63 164 0 6209 0
[pid=1691/tid=1692] ppid=1689 vsize=25496 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) S 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 635646619 26107904 4046 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 298 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4046 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 365 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4056 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 257 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4059 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 338 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4063 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1697/stat : 1697 (satake) R 1689 1691 27791 0 -1 4202560 284 0 0 0 4 0 0 0 20 0 17 0 635646619 26107904 4064 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1698/stat : 1698 (satake) D 1689 1691 27791 0 -1 4202560 269 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4065 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1699/stat : 1699 (satake) D 1689 1691 27791 0 -1 4202560 307 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4065 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1700/stat : 1700 (satake) D 1689 1691 27791 0 -1 4202560 312 0 0 0 0 4 0 0 20 0 17 0 635646619 26107904 4067 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=25496 CPUtime=0.04
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 248 0 0 0 4 0 0 0 20 0 17 0 635646619 26107904 4067 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=25496 CPUtime=0.02
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 173 0 0 0 2 0 0 0 20 0 17 0 635646619 26107904 4073 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=25496 CPUtime=0.02
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 292 0 0 0 0 2 0 0 20 0 17 0 635646620 26107904 4078 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 25496
[startup+0.204848 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=35032 CPUtime=0.95
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 6953 0 0 0 23 72 0 0 20 0 17 0 635646618 35872768 6803 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8758 6806 66 164 0 8593 0
[pid=1691/tid=1692] ppid=1689 vsize=35032 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) S 1689 1691 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 635646619 35872768 6809 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1693/stat : 1693 (satake) R 1689 1691 27791 0 -1 4202560 514 0 0 0 2 4 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=35032 CPUtime=0.08
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 465 0 0 0 2 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 455 0 0 0 2 4 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 448 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1697/stat : 1697 (satake) R 1689 1691 27791 0 -1 4202560 487 0 0 0 4 2 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 474 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1699/stat : 1699 (satake) D 1689 1691 27791 0 -1 4202560 519 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 491 0 0 0 0 6 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 463 0 0 0 4 2 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=35032 CPUtime=0.04
/proc/1691/task/1702/stat : 1702 (satake) D 1689 1691 27791 0 -1 4202560 369 0 0 0 2 2 0 0 20 0 17 0 635646619 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=35032 CPUtime=0.06
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 513 0 0 0 2 4 0 0 20 0 17 0 635646620 35872768 6810 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 35032
[startup+0.304837 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=32284 CPUtime=1.63
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 7691 0 0 0 85 78 0 0 20 0 17 0 635646618 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8071 6295 68 164 0 7906 0
[pid=1691/tid=1692] ppid=1689 vsize=32284 CPUtime=0
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 530 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=32284 CPUtime=0.14
/proc/1691/task/1694/stat : 1694 (satake) R 1689 1691 27791 0 -1 4202560 471 0 0 0 8 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134528278 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 465 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 454 0 0 0 4 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 493 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=32284 CPUtime=0.12
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 479 0 0 0 6 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 539 0 0 0 4 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 499 0 0 0 4 6 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 494 0 0 0 6 4 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=32284 CPUtime=0.08
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 513 0 0 0 6 2 0 0 20 0 17 0 635646619 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=32284 CPUtime=0.1
/proc/1691/task/1703/stat : 1703 (satake) D 1689 1691 27791 0 -1 4202560 525 0 0 0 6 4 0 0 20 0 17 0 635646620 33058816 6295 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 32284
[startup+0.704872 s]
/proc/loadavg: 4.38 3.12 2.66 2/184 1691
/proc/meminfo: memFree=19139000/36427776 swapFree=3704/9596
[pid=1691] ppid=1689 vsize=33308 CPUtime=2.23
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 7757 0 0 0 115 108 0 0 20 0 17 0 635646618 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8327 6361 68 164 0 8162 0
[pid=1691/tid=1692] ppid=1689 vsize=33308 CPUtime=0.18
/proc/1691/task/1692/stat : 1692 (satake) R 1689 1691 27791 0 -1 4202560 114 0 0 0 0 18 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 538 0 0 0 6 8 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 472 0 0 0 8 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=33308 CPUtime=0.1
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 465 0 0 0 6 4 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=33308 CPUtime=0.16
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 459 0 0 0 10 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=33308 CPUtime=0.12
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 498 0 0 0 8 4 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 482 0 0 0 8 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 546 0 0 0 8 6 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 508 0 0 0 6 8 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=33308 CPUtime=0.2
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 506 0 0 0 12 8 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=33308 CPUtime=0.08
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 513 0 0 0 6 2 0 0 20 0 17 0 635646619 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=33308 CPUtime=0.14
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 530 0 0 0 10 4 0 0 20 0 17 0 635646620 34107392 6361 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 33308
[startup+1.50093 s]
/proc/loadavg: 4.38 3.12 2.66 2/201 1708
/proc/meminfo: memFree=19115644/36427776 swapFree=4160/34616
[pid=1691] ppid=1689 vsize=34464 CPUtime=3.14
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 7871 0 0 0 143 171 0 0 20 0 17 0 635646618 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 8616 6475 68 164 0 8451 0
[pid=1691/tid=1692] ppid=1689 vsize=34464 CPUtime=0.6
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 122 0 0 0 2 58 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 538 0 0 0 6 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=34464 CPUtime=0.18
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 488 0 0 0 10 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 480 0 0 0 10 4 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=34464 CPUtime=0.16
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 465 0 0 0 10 6 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=34464 CPUtime=0.2
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 512 0 0 0 12 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 482 0 0 0 8 6 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 546 0 0 0 8 6 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=34464 CPUtime=0.14
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 508 0 0 0 6 8 0 0 20 0 17 0 635646619 35291136 6475 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
################
# More data... #
################
[pid=1691] ppid=1689 vsize=68700 CPUtime=259.97
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16113 0 0 0 10517 15480 0 0 20 0 17 0 635646618 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 17175 14717 68 164 0 17010 0
[pid=1691/tid=1692] ppid=1689 vsize=68700 CPUtime=98.58
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 1612 0 0 0 1226 8632 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=68700 CPUtime=9.48
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 1007 0 0 0 554 394 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=68700 CPUtime=9.86
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 941 0 0 0 544 442 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=68700 CPUtime=8.68
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 538 330 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=68700 CPUtime=10.08
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 921 0 0 0 606 402 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=68700 CPUtime=9.88
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 594 394 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=68700 CPUtime=10.34
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 931 0 0 0 610 424 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=68700 CPUtime=10.6
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 986 0 0 0 640 420 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=68700 CPUtime=11.58
/proc/1691/task/1700/stat : 1700 (satake) S 1689 1691 27791 0 -1 4202560 951 0 0 0 678 480 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=68700 CPUtime=11.98
/proc/1691/task/1701/stat : 1701 (satake) S 1689 1691 27791 0 -1 4202560 964 0 0 0 742 456 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=68700 CPUtime=10.22
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 988 0 0 0 544 478 0 0 20 0 17 0 635646619 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=68700 CPUtime=11.26
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 962 0 0 0 600 526 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=68700 CPUtime=10.44
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 680 364 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=68700 CPUtime=12.22
/proc/1691/task/1706/stat : 1706 (satake) R 1689 1691 27791 0 -1 4202560 980 0 0 0 662 560 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1707/stat : 1707 (satake) S 1689 1691 27791 0 -1 4202560 968 0 0 0 654 584 0 0 20 0 17 0 635646620 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=68700 CPUtime=12.26
/proc/1691/task/1708/stat : 1708 (satake) S 1689 1691 27791 0 -1 4202560 955 0 0 0 636 590 0 0 20 0 17 0 635646621 70348800 14717 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (KiB) 68700
[startup+204.004 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68980
[pid=1691] ppid=1689 vsize=68700 CPUtime=261.41
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16115 0 0 0 10603 15538 0 0 20 0 17 0 635646618 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 17175 14719 68 164 0 17010 0
[pid=1691/tid=1692] ppid=1689 vsize=68700 CPUtime=98.97
/proc/1691/task/1692/stat : 1692 (satake) D 1689 1691 27791 0 -1 4202560 1612 0 0 0 1236 8661 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=68700 CPUtime=9.6
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 1007 0 0 0 564 396 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=68700 CPUtime=9.98
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 941 0 0 0 552 446 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=68700 CPUtime=8.68
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 538 330 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=68700 CPUtime=10.2
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 921 0 0 0 614 406 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=68700 CPUtime=10.06
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 608 398 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=68700 CPUtime=10.44
/proc/1691/task/1698/stat : 1698 (satake) S 1689 1691 27791 0 -1 4202560 931 0 0 0 616 428 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=68700 CPUtime=10.7
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 986 0 0 0 646 424 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=68700 CPUtime=11.68
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 951 0 0 0 684 484 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=68700 CPUtime=11.98
/proc/1691/task/1701/stat : 1701 (satake) D 1689 1691 27791 0 -1 4202560 964 0 0 0 742 456 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=68700 CPUtime=10.22
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 988 0 0 0 544 478 0 0 20 0 17 0 635646619 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=68700 CPUtime=11.42
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 964 0 0 0 612 530 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=68700 CPUtime=10.44
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 680 364 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=68700 CPUtime=12.3
/proc/1691/task/1706/stat : 1706 (satake) S 1689 1691 27791 0 -1 4202560 980 0 0 0 670 560 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1707/stat : 1707 (satake) S 1689 1691 27791 0 -1 4202560 968 0 0 0 654 584 0 0 20 0 17 0 635646620 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=68700 CPUtime=12.26
/proc/1691/task/1708/stat : 1708 (satake) S 1689 1691 27791 0 -1 4202560 955 0 0 0 636 590 0 0 20 0 17 0 635646621 70348800 14719 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (KiB) 68700
[startup+204.804 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68984
[pid=1691] ppid=1689 vsize=68700 CPUtime=262.97
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16118 0 0 0 10710 15587 0 0 20 0 17 0 635646618 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 17175 14722 68 164 0 17010 0
[pid=1691/tid=1692] ppid=1689 vsize=68700 CPUtime=99.37
/proc/1691/task/1692/stat : 1692 (satake) R 1689 1691 27791 0 -1 4202560 1615 0 0 0 1242 8695 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=68700 CPUtime=9.62
/proc/1691/task/1693/stat : 1693 (satake) S 1689 1691 27791 0 -1 4202560 1007 0 0 0 566 396 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1694] ppid=1689 vsize=68700 CPUtime=10.08
/proc/1691/task/1694/stat : 1694 (satake) S 1689 1691 27791 0 -1 4202560 941 0 0 0 562 446 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=68700 CPUtime=8.74
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 544 330 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=68700 CPUtime=10.24
/proc/1691/task/1696/stat : 1696 (satake) S 1689 1691 27791 0 -1 4202560 921 0 0 0 618 406 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=68700 CPUtime=10.1
/proc/1691/task/1697/stat : 1697 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 612 398 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=68700 CPUtime=10.48
/proc/1691/task/1698/stat : 1698 (satake) R 1689 1691 27791 0 -1 4202560 931 0 0 0 620 428 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520773 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=68700 CPUtime=10.74
/proc/1691/task/1699/stat : 1699 (satake) S 1689 1691 27791 0 -1 4202560 986 0 0 0 650 424 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=68700 CPUtime=11.74
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 951 0 0 0 690 484 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=68700 CPUtime=12.1
/proc/1691/task/1701/stat : 1701 (satake) R 1689 1691 27791 0 -1 4202560 964 0 0 0 752 458 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134523816 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=68700 CPUtime=10.32
/proc/1691/task/1702/stat : 1702 (satake) S 1689 1691 27791 0 -1 4202560 988 0 0 0 552 480 0 0 20 0 17 0 635646619 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=68700 CPUtime=11.48
/proc/1691/task/1703/stat : 1703 (satake) S 1689 1691 27791 0 -1 4202560 964 0 0 0 618 530 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=68700 CPUtime=10.52
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 688 364 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1706/stat : 1706 (satake) S 1689 1691 27791 0 -1 4202560 980 0 0 0 678 560 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=68700 CPUtime=12.52
/proc/1691/task/1707/stat : 1707 (satake) R 1689 1691 27791 0 -1 4202560 968 0 0 0 666 586 0 0 20 0 17 0 635646620 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=68700 CPUtime=12.38
/proc/1691/task/1708/stat : 1708 (satake) S 1689 1691 27791 0 -1 4202560 955 0 0 0 644 594 0 0 20 0 17 0 635646621 70348800 14722 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 262.97
Current children cumulated vsize (KiB) 68700
[startup+205.003 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68984
[pid=1691] ppid=1689 vsize=67360 CPUtime=263.95
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16127 0 0 0 10747 15648 0 0 20 0 16 0 635646618 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 16840 14499 77 164 0 16675 0
[pid=1691/tid=1692] ppid=1689 vsize=67360 CPUtime=99.43
/proc/1691/task/1692/stat : 1692 (satake) R 1689 1691 27791 0 -1 4202560 1615 0 0 0 1242 8701 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1693] ppid=1689 vsize=67360 CPUtime=9.66
/proc/1691/task/1693/stat : 1693 (satake) R 1689 1691 27791 0 -1 4202560 1007 0 0 0 568 398 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1695] ppid=1689 vsize=67360 CPUtime=8.82
/proc/1691/task/1695/stat : 1695 (satake) S 1689 1691 27791 0 -1 4202560 877 0 0 0 548 334 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1691/tid=1696] ppid=1689 vsize=67360 CPUtime=10.3
/proc/1691/task/1696/stat : 1696 (satake) R 1689 1691 27791 0 -1 4202560 921 0 0 0 620 410 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1691/tid=1697] ppid=1689 vsize=67360 CPUtime=10.12
/proc/1691/task/1697/stat : 1697 (satake) R 1689 1691 27791 0 -1 4202560 971 0 0 0 612 400 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1691/tid=1698] ppid=1689 vsize=67360 CPUtime=10.56
/proc/1691/task/1698/stat : 1698 (satake) R 1689 1691 27791 0 -1 4202560 931 0 0 0 624 432 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1691/tid=1699] ppid=1689 vsize=67360 CPUtime=10.82
/proc/1691/task/1699/stat : 1699 (satake) R 1689 1691 27791 0 -1 4202560 986 0 0 0 654 428 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=1691/tid=1700] ppid=1689 vsize=67360 CPUtime=11.82
/proc/1691/task/1700/stat : 1700 (satake) R 1689 1691 27791 0 -1 4202560 951 0 0 0 694 488 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=1691/tid=1701] ppid=1689 vsize=67360 CPUtime=12.18
/proc/1691/task/1701/stat : 1701 (satake) R 1689 1691 27791 0 -1 4202560 964 0 0 0 754 464 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1691/tid=1702] ppid=1689 vsize=67360 CPUtime=10.38
/proc/1691/task/1702/stat : 1702 (satake) R 1689 1691 27791 0 -1 4202560 988 0 0 0 556 482 0 0 20 0 16 0 635646619 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1691/tid=1703] ppid=1689 vsize=67360 CPUtime=11.54
/proc/1691/task/1703/stat : 1703 (satake) R 1689 1691 27791 0 -1 4202560 973 0 0 0 620 534 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1691/tid=1705] ppid=1689 vsize=67360 CPUtime=10.58
/proc/1691/task/1705/stat : 1705 (satake) S 1689 1691 27791 0 -1 4202560 971 0 0 0 688 370 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1691/tid=1706] ppid=1689 vsize=67360 CPUtime=12.44
/proc/1691/task/1706/stat : 1706 (satake) R 1689 1691 27791 0 -1 4202560 980 0 0 0 680 564 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1691/tid=1707] ppid=1689 vsize=67360 CPUtime=12.6
/proc/1691/task/1707/stat : 1707 (satake) R 1689 1691 27791 0 -1 4202560 968 0 0 0 670 590 0 0 20 0 16 0 635646620 68976640 14499 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=1691/tid=1708] ppid=1689 vsize=67360 CPUtime=12.44
/proc/1691/task/1708/stat : 1708 (satake) R 1689 1691 27791 0 -1 4202560 955 0 0 0 646 598 0 0 20 0 16 0 635646621 68976640 14453 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 263.95
Current children cumulated vsize (KiB) 67360
[startup+205.104 s]
/proc/loadavg: 2.45 2.71 2.58 3/201 1713
/proc/meminfo: memFree=19082196/36427776 swapFree=4588/68984
[pid=1691] ppid=1689 vsize=63348 CPUtime=264.26
/proc/1691/stat : 1691 (satake) S 1689 1691 27791 0 -1 4202496 16127 0 0 0 10771 15655 0 0 20 0 2 0 635646618 64868352 13593 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1691/statm: 15837 13593 77 164 0 15672 0
[pid=1691/tid=1706] ppid=1689 vsize=63348 CPUtime=12.5
/proc/1691/task/1706/stat : 1706 (satake) R 1689 1691 27791 0 -1 4202560 980 0 0 0 686 564 0 0 20 0 2 0 635646620 64868352 13593 18446744073709551615 134512640 135180984 4290419344 18446744073709551615 134520784 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 264.26
Current children cumulated vsize (KiB) 63348
Child status: 16
Real time (s): 205.131
CPU time (s): 264.289
CPU user time (s): 107.727
CPU system time (s): 156.562
CPU usage (%): 128.839
Max. virtual memory (cumulated for all children) (KiB): 68700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.727
system time used= 156.562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16128
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= 12716239
involuntary context switches= 901502
runsolver used 0.888055 second user time and 2.29614 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 01:36:43
IDJOB=1776927
IDBENCH=69621
IDSOLVER=631
FILE ID=xenhost3-49/1776927-1244763403
PBS_JOBID=
Free space on /tmp= 7038 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/cmu-bmc-longmult15.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776927-1244763403/watcher-1776927-1244763403 -o /tmp/evaluation-result-1776927-1244763403/solver-1776927-1244763403 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776927-1244763403.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 21b49b73035bb6e7a1dd17830907ac9d
RANDOM SEED= 1177219572
Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 0
cpu cores : 1
apicid : 8
initial apicid : 8
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 0
cpu cores : 1
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 0
cpu cores : 1
apicid : 24
initial apicid : 24
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 2
cpu cores : 1
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 2
cpu cores : 1
apicid : 10
initial apicid : 10
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 2
cpu cores : 1
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 2
cpu cores : 1
apicid : 26
initial apicid : 26
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 1
cpu cores : 1
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 1
cpu cores : 1
apicid : 9
initial apicid : 9
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 1
cpu cores : 1
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 1
cpu cores : 1
apicid : 25
initial apicid : 25
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 3
cpu cores : 1
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 3
cpu cores : 1
apicid : 11
initial apicid : 11
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 3
cpu cores : 1
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 3
cpu cores : 1
apicid : 27
initial apicid : 27
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 36427776 kB
MemFree: 19138204 kB
Buffers: 433588 kB
Cached: 14102428 kB
SwapCached: 0 kB
Active: 4079856 kB
Inactive: 10465248 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1128 kB
Writeback: 0 kB
AnonPages: 9768 kB
Mapped: 3516 kB
Slab: 688144 kB
SReclaimable: 661292 kB
SUnreclaim: 26852 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-12 01:40:08