188.78/124.56 c Benchmark name : HOME/instance-1781352-1244864080.cnf
188.78/124.56 c Thread Num : 16
188.78/124.56 c restarts : 11
188.78/124.56 c conflicts : 13179
188.78/124.56 c decisions : 51298 ( 414 / sec )
188.78/124.56 c propagations : 6089471 ( 49161 / sec )
188.78/124.56 c inspects : 38566494 ( 311353 / sec )
188.78/124.56 c conflict literals : 731863 ( 44.18 % deleted )
188.78/124.56 c cpu time : 123.87
188.78/124.56 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781352-1244864080/watcher-1781352-1244864080 -o /tmp/evaluation-result-1781352-1244864080/solver-1781352-1244864080 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781352-1244864080.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: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=6860 CPUtime=0
/proc/13645/stat : 13645 (satake) D 13643 13645 27791 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 15 0 645714399 7024640 383 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 1715 383 63 164 0 1550 0
[pid=13645/tid=13646] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 421 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 424 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 425 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 426 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 427 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=7520 CPUtime=0
/proc/13645/task/13651/stat : 13651 (satake) D 13643 13645 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 16 0 645714400 7700480 432 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 433 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13653/stat : 13653 (satake) D 13643 13645 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 433 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13654/stat : 13654 (satake) D 13643 13645 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 434 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 440 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 645714400 7704576 440 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 645714400 7704576 441 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645714400 7704576 441 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 645714400 7704576 441 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13660/stat : 13660 (satake) R 13643 13645 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 645714401 7704576 442 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=7524 CPUtime=0
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 645714401 7704576 444 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[startup+0.094995 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=44708 CPUtime=0.48
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 8585 0 0 0 0 48 0 0 20 0 17 0 645714399 45780992 8543 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 11177 8544 63 164 0 11012 0
[pid=13645/tid=13646] ppid=13643 vsize=44708 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 45780992 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=44708 CPUtime=0.02
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 468 0 0 0 0 2 0 0 20 0 17 0 645714400 45780992 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=43408 CPUtime=0.02
/proc/13645/task/13648/stat : 13648 (satake) D 13643 13645 27791 0 -1 4202560 514 0 0 0 0 2 0 0 20 0 17 0 645714400 44449792 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 717 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8544 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13650/stat : 13650 (satake) D 13643 13645 27791 0 -1 4202560 311 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8545 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13651/stat : 13651 (satake) R 13643 13645 27791 0 -1 4202560 805 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8546 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13652/stat : 13652 (satake) D 13643 13645 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8546 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 723 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8550 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 719 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8551 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=43408 CPUtime=0.04
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 714 0 0 0 0 4 0 0 20 0 17 0 645714400 44449792 8552 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8554 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=43408 CPUtime=0.06
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 753 0 0 0 0 6 0 0 20 0 17 0 645714400 44449792 8562 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=43408 CPUtime=0
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 17 0 645714400 44449792 8569 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=42108 CPUtime=0.04
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 710 0 0 0 0 4 0 0 20 0 17 0 645714400 43118592 8571 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=42108 CPUtime=0.04
/proc/13645/task/13660/stat : 13660 (satake) R 13643 13645 27791 0 -1 4202560 723 0 0 0 0 4 0 0 20 0 17 0 645714401 43118592 8573 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=42108 CPUtime=0.04
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 722 0 0 0 0 4 0 0 20 0 17 0 645714401 43118592 8575 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 44708
[startup+0.102864 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=46336 CPUtime=0.53
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 8975 0 0 0 0 53 0 0 20 0 17 0 645714399 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 11584 8932 63 164 0 11419 0
[pid=13645/tid=13646] ppid=13643 vsize=46336 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=46336 CPUtime=0.02
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 535 0 0 0 0 2 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=46336 CPUtime=0.02
/proc/13645/task/13648/stat : 13648 (satake) D 13643 13645 27791 0 -1 4202560 550 0 0 0 0 2 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13649/stat : 13649 (satake) D 13643 13645 27791 0 -1 4202560 724 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=46336 CPUtime=0
/proc/13645/task/13650/stat : 13650 (satake) D 13643 13645 27791 0 -1 4202560 375 0 0 0 0 0 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=46336 CPUtime=0.06
/proc/13645/task/13651/stat : 13651 (satake) D 13643 13645 27791 0 -1 4202560 818 0 0 0 0 6 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=46336 CPUtime=0
/proc/13645/task/13652/stat : 13652 (satake) D 13643 13645 27791 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 727 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13654/stat : 13654 (satake) D 13643 13645 27791 0 -1 4202560 723 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=46336 CPUtime=0.04
/proc/13645/task/13655/stat : 13655 (satake) D 13643 13645 27791 0 -1 4202560 722 0 0 0 0 4 0 0 20 0 17 0 645714400 47448064 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=50436 CPUtime=0
/proc/13645/task/13656/stat : 13656 (satake) D 13643 13645 27791 0 -1 4202560 291 0 0 0 0 0 0 0 20 0 17 0 645714400 51646464 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=48384 CPUtime=0.06
/proc/13645/task/13657/stat : 13657 (satake) D 13643 13645 27791 0 -1 4202560 757 0 0 0 0 6 0 0 20 0 17 0 645714400 49545216 8932 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=48384 CPUtime=0
/proc/13645/task/13658/stat : 13658 (satake) D 13643 13645 27791 0 -1 4202560 224 0 0 0 0 0 0 0 20 0 17 0 645714400 49545216 8938 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=48384 CPUtime=0.04
/proc/13645/task/13659/stat : 13659 (satake) D 13643 13645 27791 0 -1 4202560 720 0 0 0 0 4 0 0 20 0 17 0 645714400 49545216 8938 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=48384 CPUtime=0.06
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 729 0 0 0 0 6 0 0 20 0 17 0 645714401 49545216 8938 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=48384 CPUtime=0.04
/proc/13645/task/13661/stat : 13661 (satake) D 13643 13645 27791 0 -1 4202560 731 0 0 0 0 4 0 0 20 0 17 0 645714401 49545216 8939 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 46336
[startup+0.302873 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=72052 CPUtime=1.36
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 15606 0 0 0 26 110 0 0 20 0 17 0 645714399 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 18013 15563 63 164 0 17848 0
[pid=13645/tid=13646] ppid=13643 vsize=72052 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13647/stat : 13647 (satake) S 13643 13645 27791 0 -1 4202560 1013 0 0 0 2 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13648/stat : 13648 (satake) S 13643 13645 27791 0 -1 4202560 978 0 0 0 4 4 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 1008 0 0 0 0 8 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=72052 CPUtime=0.06
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 1035 0 0 0 2 4 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 1199 0 0 0 4 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 1393 0 0 0 2 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 975 0 0 0 2 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13654/stat : 13654 (satake) S 13643 13645 27791 0 -1 4202560 1035 0 0 0 0 10 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=72052 CPUtime=0.08
/proc/13645/task/13655/stat : 13655 (satake) S 13643 13645 27791 0 -1 4202560 950 0 0 0 0 8 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=72052 CPUtime=0.06
/proc/13645/task/13656/stat : 13656 (satake) S 13643 13645 27791 0 -1 4202560 901 0 0 0 0 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=72052 CPUtime=0.12
/proc/13645/task/13657/stat : 13657 (satake) S 13643 13645 27791 0 -1 4202560 1058 0 0 0 2 10 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=72052 CPUtime=0.06
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 940 0 0 0 0 6 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13659/stat : 13659 (satake) S 13643 13645 27791 0 -1 4202560 1000 0 0 0 0 10 0 0 20 0 17 0 645714400 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 954 0 0 0 2 8 0 0 20 0 17 0 645714401 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=72052 CPUtime=0.1
/proc/13645/task/13661/stat : 13661 (satake) S 13643 13645 27791 0 -1 4202560 1037 0 0 0 2 8 0 0 20 0 17 0 645714401 73781248 15563 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 72052
[startup+0.703781 s]
/proc/loadavg: 2.03 2.22 2.77 2/184 13645
/proc/meminfo: memFree=19123784/36427776 swapFree=2988/7708
[pid=13645] ppid=13643 vsize=111944 CPUtime=3.25
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 25204 0 0 0 138 187 0 0 20 0 17 0 645714399 114630656 25161 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 27986 25166 63 164 0 27821 0
[pid=13645/tid=13646] ppid=13643 vsize=111944 CPUtime=0
/proc/13645/task/13646/stat : 13646 (satake) S 13643 13645 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645714400 114630656 25166 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=111944 CPUtime=0.18
/proc/13645/task/13647/stat : 13647 (satake) S 13643 13645 27791 0 -1 4202560 1545 0 0 0 10 8 0 0 20 0 17 0 645714400 114630656 25166 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=111944 CPUtime=0.18
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 1503 0 0 0 8 10 0 0 20 0 17 0 645714400 114630656 25168 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=111944 CPUtime=0.2
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 1550 0 0 0 6 14 0 0 20 0 17 0 645714400 114630656 25168 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=111944 CPUtime=0.2
/proc/13645/task/13650/stat : 13650 (satake) D 13643 13645 27791 0 -1 4202560 1783 0 0 0 10 10 0 0 20 0 17 0 645714400 114630656 25169 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=111944 CPUtime=0.22
/proc/13645/task/13651/stat : 13651 (satake) R 13643 13645 27791 0 -1 4202560 1882 0 0 0 12 10 0 0 20 0 17 0 645714400 114630656 25172 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=111944 CPUtime=0.24
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 2289 0 0 0 10 14 0 0 20 0 17 0 645714400 114630656 25172 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=111944 CPUtime=0.2
/proc/13645/task/13653/stat : 13653 (satake) R 13643 13645 27791 0 -1 4202560 1536 0 0 0 10 10 0 0 20 0 17 0 645714400 114630656 25174 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=111944 CPUtime=0.22
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 1705 0 0 0 6 16 0 0 20 0 17 0 645714400 114630656 25175 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=111944 CPUtime=0.2
################
# More data... #
################
/proc/13645/task/13648/stat : 13648 (satake) S 13643 13645 27791 0 -1 4202560 3823 0 0 0 556 260 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=190496 CPUtime=7.52
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 490 262 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=190496 CPUtime=6.92
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 3571 0 0 0 498 194 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=190496 CPUtime=6.96
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 3645 0 0 0 494 202 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=190496 CPUtime=7.9
/proc/13645/task/13652/stat : 13652 (satake) S 13643 13645 27791 0 -1 4202560 3439 0 0 0 538 252 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=190496 CPUtime=8.06
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 3583 0 0 0 556 250 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=190496 CPUtime=7.8
/proc/13645/task/13654/stat : 13654 (satake) S 13643 13645 27791 0 -1 4202560 3586 0 0 0 522 258 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=190496 CPUtime=8.6
/proc/13645/task/13655/stat : 13655 (satake) S 13643 13645 27791 0 -1 4202560 3577 0 0 0 554 306 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=190496 CPUtime=8.92
/proc/13645/task/13656/stat : 13656 (satake) S 13643 13645 27791 0 -1 4202560 3896 0 0 0 614 278 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=190496 CPUtime=9.18
/proc/13645/task/13657/stat : 13657 (satake) S 13643 13645 27791 0 -1 4202560 3554 0 0 0 626 292 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=190496 CPUtime=8.78
/proc/13645/task/13658/stat : 13658 (satake) S 13643 13645 27791 0 -1 4202560 3875 0 0 0 578 300 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=190496 CPUtime=9.06
/proc/13645/task/13659/stat : 13659 (satake) S 13643 13645 27791 0 -1 4202560 3469 0 0 0 600 306 0 0 20 0 17 0 645714400 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=190496 CPUtime=8.96
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 3588 0 0 0 566 330 0 0 20 0 17 0 645714401 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=190496 CPUtime=8.6
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 3475 0 0 0 578 282 0 0 20 0 17 0 645714401 195067904 44888 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 181.6
Current children cumulated vsize (KiB) 190496
[startup+123.105 s]
/proc/loadavg: 2.11 2.19 2.69 2/201 13667
/proc/meminfo: memFree=18945912/36427776 swapFree=4588/189280
[pid=13645] ppid=13643 vsize=190496 CPUtime=183.71
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55444 0 0 0 9071 9300 0 0 20 0 17 0 645714399 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 47624 44901 68 164 0 47459 0
[pid=13645/tid=13646] ppid=13643 vsize=190496 CPUtime=60.31
/proc/13645/task/13646/stat : 13646 (satake) R 13643 13645 27791 0 -1 4202560 1099 0 0 0 738 5293 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=190496 CPUtime=6.58
/proc/13645/task/13647/stat : 13647 (satake) S 13643 13645 27791 0 -1 4202560 3530 0 0 0 490 168 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=190496 CPUtime=8.24
/proc/13645/task/13648/stat : 13648 (satake) S 13643 13645 27791 0 -1 4202560 3823 0 0 0 560 264 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=190496 CPUtime=7.58
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 492 266 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=190496 CPUtime=6.98
/proc/13645/task/13650/stat : 13650 (satake) S 13643 13645 27791 0 -1 4202560 3578 0 0 0 500 198 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=190496 CPUtime=7
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 3646 0 0 0 498 202 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=190496 CPUtime=7.98
/proc/13645/task/13652/stat : 13652 (satake) S 13643 13645 27791 0 -1 4202560 3440 0 0 0 542 256 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=190496 CPUtime=8.14
/proc/13645/task/13653/stat : 13653 (satake) S 13643 13645 27791 0 -1 4202560 3583 0 0 0 558 256 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=190496 CPUtime=7.88
/proc/13645/task/13654/stat : 13654 (satake) S 13643 13645 27791 0 -1 4202560 3586 0 0 0 522 266 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=190496 CPUtime=8.72
/proc/13645/task/13655/stat : 13655 (satake) S 13643 13645 27791 0 -1 4202560 3578 0 0 0 558 314 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=190496 CPUtime=8.92
/proc/13645/task/13656/stat : 13656 (satake) S 13643 13645 27791 0 -1 4202560 3896 0 0 0 614 278 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=190496 CPUtime=9.26
/proc/13645/task/13657/stat : 13657 (satake) D 13643 13645 27791 0 -1 4202560 3554 0 0 0 628 298 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=190496 CPUtime=8.88
/proc/13645/task/13658/stat : 13658 (satake) S 13643 13645 27791 0 -1 4202560 3876 0 0 0 584 304 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=190496 CPUtime=9.16
/proc/13645/task/13659/stat : 13659 (satake) S 13643 13645 27791 0 -1 4202560 3469 0 0 0 604 312 0 0 20 0 17 0 645714400 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=190496 CPUtime=9.26
/proc/13645/task/13660/stat : 13660 (satake) S 13643 13645 27791 0 -1 4202560 3590 0 0 0 590 336 0 0 20 0 17 0 645714401 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=190496 CPUtime=8.66
/proc/13645/task/13661/stat : 13661 (satake) S 13643 13645 27791 0 -1 4202560 3475 0 0 0 584 282 0 0 20 0 17 0 645714401 195067904 44901 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 183.71
Current children cumulated vsize (KiB) 190496
[startup+123.907 s]
/proc/loadavg: 2.11 2.19 2.69 2/201 13667
/proc/meminfo: memFree=18945912/36427776 swapFree=4588/189280
[pid=13645] ppid=13643 vsize=190496 CPUtime=184.72
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55456 0 0 0 9102 9370 0 0 20 0 17 0 645714399 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 47624 44913 77 164 0 47459 0
[pid=13645/tid=13646] ppid=13643 vsize=190496 CPUtime=60.64
/proc/13645/task/13646/stat : 13646 (satake) R 13643 13645 27791 0 -1 4202560 1100 0 0 0 744 5320 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134672154 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=190496 CPUtime=6.62
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 3530 0 0 0 490 172 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=190496 CPUtime=8.28
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 3823 0 0 0 562 266 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=190496 CPUtime=7.6
/proc/13645/task/13649/stat : 13649 (satake) R 13643 13645 27791 0 -1 4202560 3598 0 0 0 492 268 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=190496 CPUtime=7
/proc/13645/task/13650/stat : 13650 (satake) R 13643 13645 27791 0 -1 4202560 3578 0 0 0 502 198 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=190496 CPUtime=7.04
/proc/13645/task/13651/stat : 13651 (satake) R 13643 13645 27791 0 -1 4202560 3646 0 0 0 498 206 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=190496 CPUtime=8
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 3449 0 0 0 544 256 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=190496 CPUtime=8.14
/proc/13645/task/13653/stat : 13653 (satake) R 13643 13645 27791 0 -1 4202560 3583 0 0 0 558 256 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=190496 CPUtime=7.9
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 3586 0 0 0 522 268 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=190496 CPUtime=8.82
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 3579 0 0 0 562 320 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=190496 CPUtime=9.02
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 3896 0 0 0 618 284 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=190496 CPUtime=9.32
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 3554 0 0 0 632 300 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=190496 CPUtime=8.98
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 3876 0 0 0 588 310 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=190496 CPUtime=9.2
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 3469 0 0 0 604 316 0 0 20 0 17 0 645714400 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13660] ppid=13643 vsize=190496 CPUtime=9.28
/proc/13645/task/13660/stat : 13660 (satake) R 13643 13645 27791 0 -1 4202560 3590 0 0 0 592 336 0 0 20 0 17 0 645714401 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=190496 CPUtime=8.8
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 3476 0 0 0 588 292 0 0 20 0 17 0 645714401 195067904 44913 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 184.72
Current children cumulated vsize (KiB) 190496
[startup+124.316 s]
/proc/loadavg: 2.10 2.19 2.69 15/200 13667
/proc/meminfo: memFree=18946924/36427776 swapFree=4588/184588
[pid=13645] ppid=13643 vsize=181320 CPUtime=187.89
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55456 0 0 0 9187 9602 0 0 20 0 16 0 645714399 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 45330 42813 77 164 0 45165 0
[pid=13645/tid=13646] ppid=13643 vsize=181320 CPUtime=60.81
/proc/13645/task/13646/stat : 13646 (satake) R 13643 13645 27791 0 -1 4202560 1100 0 0 0 752 5329 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13647] ppid=13643 vsize=181320 CPUtime=6.76
/proc/13645/task/13647/stat : 13647 (satake) R 13643 13645 27791 0 -1 4202560 3530 0 0 0 496 180 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13648] ppid=13643 vsize=181320 CPUtime=8.52
/proc/13645/task/13648/stat : 13648 (satake) R 13643 13645 27791 0 -1 4202560 3823 0 0 0 566 286 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13645/tid=13649] ppid=13643 vsize=181320 CPUtime=7.72
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 498 274 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13650] ppid=13643 vsize=181320 CPUtime=7.18
/proc/13645/task/13650/stat : 13650 (satake) R 13643 13645 27791 0 -1 4202560 3578 0 0 0 506 212 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13645/tid=13651] ppid=13643 vsize=181320 CPUtime=7.2
/proc/13645/task/13651/stat : 13651 (satake) S 13643 13645 27791 0 -1 4202560 3646 0 0 0 504 216 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13652] ppid=13643 vsize=181320 CPUtime=8.26
/proc/13645/task/13652/stat : 13652 (satake) R 13643 13645 27791 0 -1 4202560 3449 0 0 0 550 276 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13645/tid=13653] ppid=13643 vsize=181320 CPUtime=8.32
/proc/13645/task/13653/stat : 13653 (satake) R 13643 13645 27791 0 -1 4202560 3583 0 0 0 564 268 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13654] ppid=13643 vsize=181320 CPUtime=8.14
/proc/13645/task/13654/stat : 13654 (satake) R 13643 13645 27791 0 -1 4202560 3586 0 0 0 526 288 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=181320 CPUtime=9.06
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 3579 0 0 0 568 338 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=181320 CPUtime=9.16
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 3896 0 0 0 622 294 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13657] ppid=13643 vsize=181320 CPUtime=9.58
/proc/13645/task/13657/stat : 13657 (satake) R 13643 13645 27791 0 -1 4202560 3554 0 0 0 640 318 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=181320 CPUtime=9.16
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 3876 0 0 0 592 324 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=181320 CPUtime=9.38
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 3469 0 0 0 606 332 0 0 20 0 16 0 645714400 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13645/tid=13661] ppid=13643 vsize=181320 CPUtime=9.04
/proc/13645/task/13661/stat : 13661 (satake) R 13643 13645 27791 0 -1 4202560 3476 0 0 0 594 310 0 0 20 0 16 0 645714401 185671680 42813 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 187.89
Current children cumulated vsize (KiB) 181320
[startup+124.501 s]
/proc/loadavg: 2.10 2.19 2.69 15/200 13667
/proc/meminfo: memFree=18946924/36427776 swapFree=4588/184588
[pid=13645] ppid=13643 vsize=170636 CPUtime=188.78
/proc/13645/stat : 13645 (satake) S 13643 13645 27791 0 -1 4202496 55456 0 0 0 9221 9657 0 0 20 0 6 0 645714399 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13645/statm: 42659 40243 77 164 0 42494 0
[pid=13645/tid=13649] ppid=13643 vsize=170636 CPUtime=7.8
/proc/13645/task/13649/stat : 13649 (satake) S 13643 13645 27791 0 -1 4202560 3598 0 0 0 500 280 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13645/tid=13655] ppid=13643 vsize=170636 CPUtime=9.16
/proc/13645/task/13655/stat : 13655 (satake) R 13643 13645 27791 0 -1 4202560 3579 0 0 0 574 342 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13645/tid=13656] ppid=13643 vsize=170636 CPUtime=9.22
/proc/13645/task/13656/stat : 13656 (satake) R 13643 13645 27791 0 -1 4202560 3896 0 0 0 626 296 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13645/tid=13658] ppid=13643 vsize=170636 CPUtime=9.22
/proc/13645/task/13658/stat : 13658 (satake) R 13643 13645 27791 0 -1 4202560 3876 0 0 0 592 330 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13645/tid=13659] ppid=13643 vsize=170636 CPUtime=9.42
/proc/13645/task/13659/stat : 13659 (satake) R 13643 13645 27791 0 -1 4202560 3469 0 0 0 608 334 0 0 20 0 6 0 645714400 174731264 40243 18446744073709551615 134512640 135180984 4286885680 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 188.78
Current children cumulated vsize (KiB) 170636
Child status: 16
Real time (s): 124.575
CPU time (s): 188.916
CPU user time (s): 92.2458
CPU system time (s): 96.67
CPU usage (%): 151.648
Max. virtual memory (cumulated for all children) (KiB): 190496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.2458
system time used= 96.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55457
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= 7440452
involuntary context switches= 597058
runsolver used 0.536033 second user time and 1.44409 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 05:34:40
IDJOB=1781352
IDBENCH=71731
IDSOLVER=631
FILE ID=xenhost3-49/1781352-1244864080
PBS_JOBID=
Free space on /tmp= 7024 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/velev-live-uns-2.0-ebuf.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781352-1244864080/watcher-1781352-1244864080 -o /tmp/evaluation-result-1781352-1244864080/solver-1781352-1244864080 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781352-1244864080.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 67de5cf23f11aa400b48f4451ee5f362
RANDOM SEED= 301038061
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: 19123784 kB
Buffers: 435904 kB
Cached: 14115988 kB
SwapCached: 0 kB
Active: 4080660 kB
Inactive: 10478948 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 3344 kB
Writeback: 0 kB
AnonPages: 7708 kB
Mapped: 2988 kB
Slab: 689660 kB
SReclaimable: 662776 kB
SUnreclaim: 26884 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-13 05:36:45