1343.02/671.22 c Benchmark name : HOME/instance-1781577-1244871584.cnf
1343.02/671.22 c Thread Num : 16
1343.02/671.22 c restarts : 14
1343.02/671.22 c conflicts : 43021
1343.02/671.22 c decisions : 302401 ( 452 / sec )
1343.02/671.22 c propagations : 55679566 ( 83310 / sec )
1343.02/671.22 c inspects : 191316696 ( 286255 / sec )
1343.02/671.22 c conflict literals : 1406224 ( 42.27 % deleted )
1343.02/671.22 c cpu time : 668.34
1343.02/671.22 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781577-1244871584/watcher-1781577-1244871584 -o /tmp/evaluation-result-1781577-1244871584/solver-1781577-1244871584 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781577-1244871584.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: 8.94 5.00 4.28 2/184 14715
/proc/meminfo: memFree=19123964/36427776 swapFree=4456/7900
[pid=14715] ppid=14713 vsize=6288 CPUtime=0
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 4 0 646464815 6438912 960 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 1572 964 63 164 0 1407 0
[pid=14715/tid=14716] ppid=14713 vsize=6288 CPUtime=0
/proc/14715/task/14716/stat : 14716 (satake) S 14713 14715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 646464815 6438912 1134 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=6288 CPUtime=0
/proc/14715/task/14717/stat : 14717 (satake) R 14713 14715 27791 0 -1 4202560 1061 0 0 0 0 0 0 0 20 0 4 0 646464815 6438912 1138 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=6288 CPUtime=0
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 646464815 6438912 1140 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[startup+0.047332 s]
/proc/loadavg: 8.94 5.00 4.28 2/184 14715
/proc/meminfo: memFree=19123964/36427776 swapFree=4456/7900
[pid=14715] ppid=14713 vsize=17640 CPUtime=0.17
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 2553 0 0 0 7 10 0 0 20 0 17 0 646464815 18063360 2510 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 4410 2512 63 164 0 4245 0
[pid=14715/tid=14716] ppid=14713 vsize=17640 CPUtime=0
/proc/14715/task/14716/stat : 14716 (satake) S 14713 14715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646464815 18063360 2512 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=17640 CPUtime=0.02
/proc/14715/task/14717/stat : 14717 (satake) R 14713 14715 27791 0 -1 4202560 1437 0 0 0 0 2 0 0 20 0 17 0 646464815 18063360 2514 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=17640 CPUtime=0
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 97 0 0 0 0 0 0 0 20 0 17 0 646464815 18063360 2516 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 17640
[startup+0.103151 s]
/proc/loadavg: 8.94 5.00 4.28 2/184 14715
/proc/meminfo: memFree=19123964/36427776 swapFree=4456/7900
[pid=14715] ppid=14713 vsize=30864 CPUtime=0.66
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 5022 0 0 0 10 56 0 0 20 0 17 0 646464815 31604736 4979 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 7716 4980 63 164 0 7551 0
[pid=14715/tid=14716] ppid=14713 vsize=30864 CPUtime=0
/proc/14715/task/14716/stat : 14716 (satake) S 14713 14715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646464815 31604736 4980 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=30864 CPUtime=0.06
/proc/14715/task/14717/stat : 14717 (satake) R 14713 14715 27791 0 -1 4202560 1545 0 0 0 0 6 0 0 20 0 17 0 646464815 31604736 4980 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=30864 CPUtime=0.04
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 247 0 0 0 0 4 0 0 20 0 17 0 646464815 31604736 4980 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 30864
[startup+0.30353 s]
/proc/loadavg: 8.94 5.00 4.28 2/184 14715
/proc/meminfo: memFree=19123964/36427776 swapFree=4456/7900
[pid=14715] ppid=14713 vsize=97064 CPUtime=2.53
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 15039 0 0 0 13 240 0 0 20 0 17 0 646464815 99393536 14996 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 24266 14999 63 164 0 24101 0
[pid=14715/tid=14716] ppid=14713 vsize=97064 CPUtime=0
/proc/14715/task/14716/stat : 14716 (satake) S 14713 14715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646464815 99393536 15000 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=97064 CPUtime=0.22
/proc/14715/task/14717/stat : 14717 (satake) R 14713 14715 27791 0 -1 4202560 2011 0 0 0 4 18 0 0 20 0 17 0 646464815 99393536 15000 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=97064 CPUtime=0.14
/proc/14715/task/14718/stat : 14718 (satake) D 14713 14715 27791 0 -1 4202560 725 0 0 0 0 14 0 0 20 0 17 0 646464815 99393536 15001 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 97064
[startup+0.703533 s]
/proc/loadavg: 8.94 5.00 4.28 2/184 14715
/proc/meminfo: memFree=19123964/36427776 swapFree=4456/7900
[pid=14715] ppid=14713 vsize=136300 CPUtime=4.54
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 29876 0 0 0 48 406 0 0 20 0 17 0 646464815 139571200 29833 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 34075 29834 63 164 0 33910 0
[pid=14715/tid=14716] ppid=14713 vsize=136300 CPUtime=0
/proc/14715/task/14716/stat : 14716 (satake) S 14713 14715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646464815 139571200 29837 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=136300 CPUtime=0.38
/proc/14715/task/14717/stat : 14717 (satake) D 14713 14715 27791 0 -1 4202560 2972 0 0 0 10 28 0 0 20 0 17 0 646464815 139571200 29837 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=136300 CPUtime=0.24
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 1794 0 0 0 2 22 0 0 20 0 17 0 646464815 139571200 29840 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 136300
[startup+1.50332 s]
/proc/loadavg: 8.94 5.00 4.28 10/201 14732
/proc/meminfo: memFree=18970444/36427776 swapFree=4712/163052
[pid=14715] ppid=14713 vsize=245428 CPUtime=7.92
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 51911 0 0 0 177 615 0 0 20 0 17 0 646464815 251318272 51868 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 61390 51869 63 164 0 61225 0
[pid=14715/tid=14716] ppid=14713 vsize=245560 CPUtime=0
/proc/14715/task/14716/stat : 14716 (satake) S 14713 14715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 646464815 251453440 51869 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=245560 CPUtime=0.64
/proc/14715/task/14717/stat : 14717 (satake) R 14713 14715 27791 0 -1 4202560 4628 0 0 0 26 38 0 0 20 0 17 0 646464815 251453440 51871 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=245560 CPUtime=0.44
/proc/14715/task/14718/stat : 14718 (satake) S 14713 14715 27791 0 -1 4202560 3125 0 0 0 10 34 0 0 20 0 17 0 646464815 251453440 51872 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=245560 CPUtime=0.44
/proc/14715/task/14720/stat : 14720 (satake) S 14713 14715 27791 0 -1 4202560 3108 0 0 0 8 36 0 0 20 0 17 0 646464817 251453440 51872 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=245560 CPUtime=0.42
/proc/14715/task/14721/stat : 14721 (satake) R 14713 14715 27791 0 -1 4202560 3166 0 0 0 10 32 0 0 20 0 17 0 646464817 251453440 51873 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=245560 CPUtime=0.58
/proc/14715/task/14722/stat : 14722 (satake) D 14713 14715 27791 0 -1 4202560 3621 0 0 0 12 46 0 0 20 0 17 0 646464817 251453440 51874 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=245560 CPUtime=0.42
/proc/14715/task/14723/stat : 14723 (satake) R 14713 14715 27791 0 -1 4202560 3275 0 0 0 10 32 0 0 20 0 17 0 646464817 251453440 51875 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=245560 CPUtime=0.62
/proc/14715/task/14724/stat : 14724 (satake) R 14713 14715 27791 0 -1 4202560 3796 0 0 0 16 46 0 0 20 0 17 0 646464817 251453440 51875 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=245560 CPUtime=0.38
/proc/14715/task/14725/stat : 14725 (satake) D 14713 14715 27791 0 -1 4202560 3098 0 0 0 8 30 0 0 20 0 17 0 646464817 251453440 51876 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=245560 CPUtime=0.58
/proc/14715/task/14726/stat : 14726 (satake) S 14713 14715 27791 0 -1 4202560 3472 0 0 0 4 54 0 0 20 0 17 0 646464817 251453440 51876 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=245560 CPUtime=0.58
/proc/14715/task/14727/stat : 14727 (satake) S 14713 14715 27791 0 -1 4202560 3459 0 0 0 6 52 0 0 20 0 17 0 646464817 251453440 51877 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=245560 CPUtime=0.56
/proc/14715/task/14728/stat : 14728 (satake) S 14713 14715 27791 0 -1 4202560 3277 0 0 0 12 44 0 0 20 0 17 0 646464817 251453440 51878 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=245560 CPUtime=0.38
/proc/14715/task/14729/stat : 14729 (satake) D 14713 14715 27791 0 -1 4202560 3160 0 0 0 14 24 0 0 20 0 17 0 646464817 251453440 51878 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=245560 CPUtime=0.6
/proc/14715/task/14730/stat : 14730 (satake) D 14713 14715 27791 0 -1 4202560 3548 0 0 0 14 46 0 0 20 0 17 0 646464817 251453440 51879 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=245560 CPUtime=0.56
/proc/14715/task/14731/stat : 14731 (satake) S 14713 14715 27791 0 -1 4202560 3421 0 0 0 14 42 0 0 20 0 17 0 646464817 251453440 51880 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=245560 CPUtime=0.58
/proc/14715/task/14732/stat : 14732 (satake) D 14713 14715 27791 0 -1 4202560 3632 0 0 0 8 50 0 0 20 0 17 0 646464817 251453440 51880 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 245428
[startup+3.10339 s]
/proc/loadavg: 9.02 5.09 4.31 14/201 14732
/proc/meminfo: memFree=18858384/36427776 swapFree=4568/274784
[pid=14715] ppid=14713 vsize=380976 CPUtime=16.35
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 88935 0 0 0 569 1066 0 0 20 0 17 0 646464815 390119424 80759 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 95244 80761 68 164 0 95079 0
[pid=14715/tid=14716] ppid=14713 vsize=380976 CPUtime=0.24
/proc/14715/task/14716/stat : 14716 (satake) D 14713 14715 27791 0 -1 4202560 1598 0 0 0 2 22 0 0 20 0 17 0 646464815 390119424 80762 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=380976 CPUtime=1.38
/proc/14715/task/14717/stat : 14717 (satake) D 14713 14715 27791 0 -1 4202560 5762 0 0 0 88 50 0 0 20 0 17 0 646464815 390119424 80762 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=380976 CPUtime=0.88
/proc/14715/task/14718/stat : 14718 (satake) D 14713 14715 27791 0 -1 4202560 5859 0 0 0 22 66 0 0 20 0 17 0 646464815 390119424 80762 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=380976 CPUtime=0.94
/proc/14715/task/14720/stat : 14720 (satake) R 14713 14715 27791 0 -1 4202560 5884 0 0 0 18 76 0 0 20 0 17 0 646464817 390119424 80763 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=380976 CPUtime=0.92
/proc/14715/task/14721/stat : 14721 (satake) R 14713 14715 27791 0 -1 4202560 5953 0 0 0 20 72 0 0 20 0 17 0 646464817 390119424 80765 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=380976 CPUtime=1.2
/proc/14715/task/14722/stat : 14722 (satake) S 14713 14715 27791 0 -1 4202560 5843 0 0 0 44 76 0 0 20 0 17 0 646464817 390119424 80766 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=380976 CPUtime=0.9
/proc/14715/task/14723/stat : 14723 (satake) R 14713 14715 27791 0 -1 4202560 6027 0 0 0 28 62 0 0 20 0 17 0 646464817 390119424 80768 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134521046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=380976 CPUtime=1.38
/proc/14715/task/14724/stat : 14724 (satake) R 14713 14715 27791 0 -1 4202560 5761 0 0 0 66 72 0 0 20 0 17 0 646464817 390119424 80768 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=380976 CPUtime=0.84
/proc/14715/task/14725/stat : 14725 (satake) D 14713 14715 27791 0 -1 4202560 5784 0 0 0 30 54 0 0 20 0 17 0 646464817 390119424 80768 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=380976 CPUtime=1.26
/proc/14715/task/14726/stat : 14726 (satake) S 14713 14715 27791 0 -1 4202560 5791 0 0 0 42 84 0 0 20 0 17 0 646464817 390119424 80773 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=380976 CPUtime=0.94
/proc/14715/task/14727/stat : 14727 (satake) R 14713 14715 27791 0 -1 4202560 5659 0 0 0 22 72 0 0 20 0 17 0 646464817 390119424 80774 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=380976 CPUtime=1.1
/proc/14715/task/14728/stat : 14728 (satake) R 14713 14715 27791 0 -1 4202560 5804 0 0 0 32 78 0 0 20 0 17 0 646464817 390119424 80775 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=380976 CPUtime=0.8
/proc/14715/task/14729/stat : 14729 (satake) R 14713 14715 27791 0 -1 4202560 5705 0 0 0 26 54 0 0 20 0 17 0 646464817 390119424 80777 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=380976 CPUtime=1.24
/proc/14715/task/14730/stat : 14730 (satake) R 14713 14715 27791 0 -1 4202560 5764 0 0 0 48 76 0 0 20 0 17 0 646464817 390119424 80778 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134532417 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=380976 CPUtime=0.98
/proc/14715/task/14731/stat : 14731 (satake) R 14713 14715 27791 0 -1 4202560 5842 0 0 0 26 72 0 0 20 0 17 0 646464817 390119424 80779 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=380976 CPUtime=1.26
/proc/14715/task/14732/stat : 14732 (satake) R 14713 14715 27791 0 -1 4202560 5788 0 0 0 50 76 0 0 20 0 17 0 646464817 390119424 80779 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134527255 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 16.35
Current children cumulated vsize (KiB) 380976
[startup+6.30361 s]
/proc/loadavg: 9.02 5.09 4.31 4/201 14732
/proc/meminfo: memFree=18828708/36427776 swapFree=4588/298860
[pid=14715] ppid=14713 vsize=346204 CPUtime=23.07
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 90371 0 0 0 1087 1220 0 0 20 0 17 0 646464815 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 86551 72898 68 164 0 86386 0
[pid=14715/tid=14716] ppid=14713 vsize=346204 CPUtime=1.84
/proc/14715/task/14716/stat : 14716 (satake) R 14713 14715 27791 0 -1 4202560 1631 0 0 0 24 160 0 0 20 0 17 0 646464815 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=346204 CPUtime=1.7
/proc/14715/task/14717/stat : 14717 (satake) S 14713 14715 27791 0 -1 4202560 5799 0 0 0 120 50 0 0 20 0 17 0 646464815 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=346204 CPUtime=1.22
/proc/14715/task/14718/stat : 14718 (satake) S 14713 14715 27791 0 -1 4202560 5994 0 0 0 56 66 0 0 20 0 17 0 646464815 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=346204 CPUtime=1.32
/proc/14715/task/14720/stat : 14720 (satake) S 14713 14715 27791 0 -1 4202560 5929 0 0 0 56 76 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=346204 CPUtime=1.28
/proc/14715/task/14721/stat : 14721 (satake) S 14713 14715 27791 0 -1 4202560 6002 0 0 0 56 72 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=346204 CPUtime=1.44
/proc/14715/task/14722/stat : 14722 (satake) S 14713 14715 27791 0 -1 4202560 5884 0 0 0 68 76 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=346204 CPUtime=1.18
/proc/14715/task/14723/stat : 14723 (satake) S 14713 14715 27791 0 -1 4202560 6060 0 0 0 54 64 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=346204 CPUtime=1.74
/proc/14715/task/14724/stat : 14724 (satake) S 14713 14715 27791 0 -1 4202560 5795 0 0 0 102 72 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=346204 CPUtime=1.22
/proc/14715/task/14725/stat : 14725 (satake) S 14713 14715 27791 0 -1 4202560 5994 0 0 0 62 60 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=346204 CPUtime=1.66
/proc/14715/task/14726/stat : 14726 (satake) S 14713 14715 27791 0 -1 4202560 5860 0 0 0 82 84 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=346204 CPUtime=1.34
/proc/14715/task/14727/stat : 14727 (satake) S 14713 14715 27791 0 -1 4202560 5910 0 0 0 62 72 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=346204 CPUtime=1.4
/proc/14715/task/14728/stat : 14728 (satake) S 14713 14715 27791 0 -1 4202560 5851 0 0 0 62 78 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=346204 CPUtime=1.18
/proc/14715/task/14729/stat : 14729 (satake) S 14713 14715 27791 0 -1 4202560 5998 0 0 0 58 60 0 0 20 0 17 0 646464817 354512896 72898 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=14715/tid=14725] ppid=14713 vsize=691468 CPUtime=63.56
/proc/14715/task/14725/stat : 14725 (satake) S 14713 14715 27791 0 -1 4202560 11071 0 0 0 5002 1354 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=691468 CPUtime=62.93
/proc/14715/task/14726/stat : 14726 (satake) R 14713 14715 27791 0 -1 4202560 11127 0 0 0 4957 1336 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134520798 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=691468 CPUtime=67.49
/proc/14715/task/14727/stat : 14727 (satake) R 14713 14715 27791 0 -1 4202560 10951 0 0 0 5379 1370 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134527257 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=691468 CPUtime=66.9
/proc/14715/task/14728/stat : 14728 (satake) S 14713 14715 27791 0 -1 4202560 11017 0 0 0 5248 1442 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=691468 CPUtime=71.32
/proc/14715/task/14729/stat : 14729 (satake) S 14713 14715 27791 0 -1 4202560 11329 0 0 0 5568 1564 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=691468 CPUtime=70.73
/proc/14715/task/14730/stat : 14730 (satake) R 14713 14715 27791 0 -1 4202560 11520 0 0 0 5719 1354 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=691468 CPUtime=64.48
/proc/14715/task/14731/stat : 14731 (satake) R 14713 14715 27791 0 -1 4202560 11008 0 0 0 5004 1444 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=691468 CPUtime=70.39
/proc/14715/task/14732/stat : 14732 (satake) R 14713 14715 27791 0 -1 4202560 10814 0 0 0 5489 1550 0 0 20 0 17 0 646464817 708063232 157374 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1311.48
Current children cumulated vsize (KiB) 691468
[startup+668.707 s]
/proc/loadavg: 3.99 3.51 3.67 16/201 14747
/proc/meminfo: memFree=18492096/36427776 swapFree=4588/639592
[pid=14715] ppid=14713 vsize=691468 CPUtime=1326.2
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 174868 0 0 0 82399 50221 0 0 20 0 17 0 646464815 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 172867 157395 77 164 0 172702 0
[pid=14715/tid=14716] ppid=14713 vsize=691468 CPUtime=339.67
/proc/14715/task/14716/stat : 14716 (satake) R 14713 14715 27791 0 -1 4202560 8592 0 0 0 4661 29306 0 0 20 0 17 0 646464815 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14715/tid=14717] ppid=14713 vsize=691468 CPUtime=61.94
/proc/14715/task/14717/stat : 14717 (satake) R 14713 14715 27791 0 -1 4202560 10885 0 0 0 4902 1292 0 0 20 0 17 0 646464815 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14715/tid=14718] ppid=14713 vsize=691468 CPUtime=62.2
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 11021 0 0 0 4894 1326 0 0 20 0 17 0 646464815 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=691468 CPUtime=61.79
/proc/14715/task/14720/stat : 14720 (satake) R 14713 14715 27791 0 -1 4202560 11148 0 0 0 4895 1284 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=691468 CPUtime=64.1
/proc/14715/task/14721/stat : 14721 (satake) R 14713 14715 27791 0 -1 4202560 11303 0 0 0 5066 1344 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=691468 CPUtime=62.93
/proc/14715/task/14722/stat : 14722 (satake) R 14713 14715 27791 0 -1 4202560 10873 0 0 0 4897 1396 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=691468 CPUtime=61.72
/proc/14715/task/14723/stat : 14723 (satake) R 14713 14715 27791 0 -1 4202560 11177 0 0 0 4796 1376 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=691468 CPUtime=66.77
/proc/14715/task/14724/stat : 14724 (satake) R 14713 14715 27791 0 -1 4202560 10897 0 0 0 5381 1296 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=691468 CPUtime=64.17
/proc/14715/task/14725/stat : 14725 (satake) R 14713 14715 27791 0 -1 4202560 11071 0 0 0 5039 1378 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=691468 CPUtime=63.98
/proc/14715/task/14726/stat : 14726 (satake) R 14713 14715 27791 0 -1 4202560 11128 0 0 0 5036 1362 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=691468 CPUtime=68.17
/proc/14715/task/14727/stat : 14727 (satake) R 14713 14715 27791 0 -1 4202560 10951 0 0 0 5427 1390 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=691468 CPUtime=67.57
/proc/14715/task/14728/stat : 14728 (satake) R 14713 14715 27791 0 -1 4202560 11026 0 0 0 5295 1462 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=691468 CPUtime=72.1
/proc/14715/task/14729/stat : 14729 (satake) R 14713 14715 27791 0 -1 4202560 11329 0 0 0 5622 1588 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=691468 CPUtime=72.03
/proc/14715/task/14730/stat : 14730 (satake) S 14713 14715 27791 0 -1 4202560 11520 0 0 0 5827 1376 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=691468 CPUtime=65.85
/proc/14715/task/14731/stat : 14731 (satake) R 14713 14715 27791 0 -1 4202560 11009 0 0 0 5119 1466 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=691468 CPUtime=71.12
/proc/14715/task/14732/stat : 14732 (satake) R 14713 14715 27791 0 -1 4202560 10814 0 0 0 5540 1572 0 0 20 0 17 0 646464817 708063232 157395 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1326.2
Current children cumulated vsize (KiB) 691468
[startup+670.304 s]
/proc/loadavg: 3.99 3.51 3.67 4/201 14747
/proc/meminfo: memFree=18499140/36427776 swapFree=4624/630072
[pid=14715] ppid=14713 vsize=630788 CPUtime=1337.18
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 174868 0 0 0 82814 50904 0 0 20 0 15 0 646464815 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 157697 146257 77 164 0 157532 0
[pid=14715/tid=14718] ppid=14713 vsize=630788 CPUtime=62.92
/proc/14715/task/14718/stat : 14718 (satake) S 14713 14715 27791 0 -1 4202560 11021 0 0 0 4922 1370 0 0 20 0 15 0 646464815 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=630788 CPUtime=62.43
/proc/14715/task/14720/stat : 14720 (satake) R 14713 14715 27791 0 -1 4202560 11148 0 0 0 4919 1324 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=630788 CPUtime=64.82
/proc/14715/task/14721/stat : 14721 (satake) R 14713 14715 27791 0 -1 4202560 11303 0 0 0 5094 1388 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=630788 CPUtime=63.65
/proc/14715/task/14722/stat : 14722 (satake) R 14713 14715 27791 0 -1 4202560 10873 0 0 0 4927 1438 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=630788 CPUtime=62.39
/proc/14715/task/14723/stat : 14723 (satake) S 14713 14715 27791 0 -1 4202560 11177 0 0 0 4819 1420 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=630788 CPUtime=67.51
/proc/14715/task/14724/stat : 14724 (satake) R 14713 14715 27791 0 -1 4202560 10897 0 0 0 5413 1338 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=630788 CPUtime=64.86
/proc/14715/task/14725/stat : 14725 (satake) R 14713 14715 27791 0 -1 4202560 11071 0 0 0 5062 1424 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=630788 CPUtime=64.6
/proc/14715/task/14726/stat : 14726 (satake) R 14713 14715 27791 0 -1 4202560 11128 0 0 0 5056 1404 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=630788 CPUtime=68.83
/proc/14715/task/14727/stat : 14727 (satake) R 14713 14715 27791 0 -1 4202560 10951 0 0 0 5447 1436 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=630788 CPUtime=68.23
/proc/14715/task/14728/stat : 14728 (satake) S 14713 14715 27791 0 -1 4202560 11026 0 0 0 5315 1508 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=630788 CPUtime=72.74
/proc/14715/task/14729/stat : 14729 (satake) R 14713 14715 27791 0 -1 4202560 11329 0 0 0 5642 1632 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=630788 CPUtime=72.74
/proc/14715/task/14730/stat : 14730 (satake) R 14713 14715 27791 0 -1 4202560 11520 0 0 0 5856 1418 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=630788 CPUtime=66.5
/proc/14715/task/14731/stat : 14731 (satake) R 14713 14715 27791 0 -1 4202560 11009 0 0 0 5138 1512 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=630788 CPUtime=71.78
/proc/14715/task/14732/stat : 14732 (satake) R 14713 14715 27791 0 -1 4202560 10814 0 0 0 5560 1618 0 0 20 0 15 0 646464817 645926912 146257 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1337.18
Current children cumulated vsize (KiB) 630788
[startup+670.705 s]
/proc/loadavg: 3.99 3.51 3.67 4/201 14747
/proc/meminfo: memFree=18499140/36427776 swapFree=4624/630072
[pid=14715] ppid=14713 vsize=630788 CPUtime=1340.39
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 174868 0 0 0 82917 51122 0 0 20 0 15 0 646464815 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 157697 146256 77 164 0 157532 0
[pid=14715/tid=14718] ppid=14713 vsize=630788 CPUtime=63.15
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 11021 0 0 0 4931 1384 0 0 20 0 15 0 646464815 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14715/tid=14720] ppid=14713 vsize=630788 CPUtime=62.66
/proc/14715/task/14720/stat : 14720 (satake) R 14713 14715 27791 0 -1 4202560 11148 0 0 0 4926 1340 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=630788 CPUtime=65.04
/proc/14715/task/14721/stat : 14721 (satake) R 14713 14715 27791 0 -1 4202560 11303 0 0 0 5104 1400 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=630788 CPUtime=63.89
/proc/14715/task/14722/stat : 14722 (satake) R 14713 14715 27791 0 -1 4202560 10873 0 0 0 4933 1456 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14723] ppid=14713 vsize=630788 CPUtime=62.6
/proc/14715/task/14723/stat : 14723 (satake) S 14713 14715 27791 0 -1 4202560 11177 0 0 0 4828 1432 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=14715/tid=14724] ppid=14713 vsize=630788 CPUtime=67.76
/proc/14715/task/14724/stat : 14724 (satake) R 14713 14715 27791 0 -1 4202560 10897 0 0 0 5422 1354 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14715/tid=14725] ppid=14713 vsize=630788 CPUtime=65.08
/proc/14715/task/14725/stat : 14725 (satake) R 14713 14715 27791 0 -1 4202560 11071 0 0 0 5070 1438 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=630788 CPUtime=64.84
/proc/14715/task/14726/stat : 14726 (satake) R 14713 14715 27791 0 -1 4202560 11128 0 0 0 5064 1420 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=630788 CPUtime=69.05
/proc/14715/task/14727/stat : 14727 (satake) R 14713 14715 27791 0 -1 4202560 10951 0 0 0 5453 1452 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=630788 CPUtime=68.47
/proc/14715/task/14728/stat : 14728 (satake) R 14713 14715 27791 0 -1 4202560 11026 0 0 0 5321 1526 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14729] ppid=14713 vsize=630788 CPUtime=72.97
/proc/14715/task/14729/stat : 14729 (satake) S 14713 14715 27791 0 -1 4202560 11329 0 0 0 5649 1648 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=630788 CPUtime=72.98
/proc/14715/task/14730/stat : 14730 (satake) S 14713 14715 27791 0 -1 4202560 11520 0 0 0 5862 1436 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=630788 CPUtime=66.74
/proc/14715/task/14731/stat : 14731 (satake) S 14713 14715 27791 0 -1 4202560 11009 0 0 0 5144 1530 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14715/tid=14732] ppid=14713 vsize=630788 CPUtime=72.01
/proc/14715/task/14732/stat : 14732 (satake) S 14713 14715 27791 0 -1 4202560 10814 0 0 0 5567 1634 0 0 20 0 15 0 646464817 645926912 146256 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1340.39
Current children cumulated vsize (KiB) 630788
[startup+671.101 s]
/proc/loadavg: 3.99 3.51 3.67 4/199 14747
/proc/meminfo: memFree=18529536/36427776 swapFree=4624/595584
[pid=14715] ppid=14713 vsize=579932 CPUtime=1342.84
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 174868 0 0 0 83037 51247 0 0 20 0 9 0 646464815 593850368 136304 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 144215 136303 77 164 0 144050 0
[pid=14715/tid=14718] ppid=14713 vsize=576860 CPUtime=63.34
/proc/14715/task/14718/stat : 14718 (satake) R 14713 14715 27791 0 -1 4202560 11021 0 0 0 4942 1392 0 0 20 0 9 0 646464815 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14715/tid=14721] ppid=14713 vsize=576860 CPUtime=65.21
/proc/14715/task/14721/stat : 14721 (satake) R 14713 14715 27791 0 -1 4202560 11303 0 0 0 5113 1408 0 0 20 0 9 0 646464817 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14715/tid=14722] ppid=14713 vsize=576860 CPUtime=64.07
/proc/14715/task/14722/stat : 14722 (satake) S 14713 14715 27791 0 -1 4202560 10873 0 0 0 4939 1468 0 0 20 0 9 0 646464817 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14715/tid=14726] ppid=14713 vsize=576860 CPUtime=65.01
/proc/14715/task/14726/stat : 14726 (satake) R 14713 14715 27791 0 -1 4202560 11128 0 0 0 5073 1428 0 0 20 0 9 0 646464817 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14715/tid=14727] ppid=14713 vsize=576860 CPUtime=69.25
/proc/14715/task/14727/stat : 14727 (satake) R 14713 14715 27791 0 -1 4202560 10951 0 0 0 5467 1458 0 0 20 0 9 0 646464817 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14715/tid=14728] ppid=14713 vsize=576860 CPUtime=68.65
/proc/14715/task/14728/stat : 14728 (satake) S 14713 14715 27791 0 -1 4202560 11026 0 0 0 5329 1536 0 0 20 0 9 0 646464817 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14715/tid=14730] ppid=14713 vsize=576860 CPUtime=73.17
/proc/14715/task/14730/stat : 14730 (satake) R 14713 14715 27791 0 -1 4202560 11520 0 0 0 5869 1448 0 0 20 0 9 0 646464817 590704640 136303 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14715/tid=14731] ppid=14713 vsize=576860 CPUtime=66.93
/proc/14715/task/14731/stat : 14731 (satake) S 14713 14715 27791 0 -1 4202560 11009 0 0 0 5153 1540 0 0 20 0 9 0 646464817 590704640 136116 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1342.84
Current children cumulated vsize (KiB) 579932
[startup+671.202 s]
/proc/loadavg: 3.99 3.51 3.67 4/199 14747
/proc/meminfo: memFree=18529536/36427776 swapFree=4624/595584
[pid=14715] ppid=14713 vsize=328032 CPUtime=1343.02
/proc/14715/stat : 14715 (satake) S 14713 14715 27791 0 -1 4202496 174868 0 0 0 83045 51257 0 0 20 0 2 0 646464815 335904768 78269 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14715/statm: 82008 78269 77 164 0 81843 0
[pid=14715/tid=14726] ppid=14713 vsize=328032 CPUtime=65.11
/proc/14715/task/14726/stat : 14726 (satake) R 14713 14715 27791 0 -1 4202560 11128 0 0 0 5075 1436 0 0 20 0 2 0 646464817 335904768 78269 18446744073709551615 134512640 135180984 4288215152 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1343.02
Current children cumulated vsize (KiB) 328032
Child status: 16
Real time (s): 671.265
CPU time (s): 1343.08
CPU user time (s): 830.452
CPU system time (s): 512.632
CPU usage (%): 200.082
Max. virtual memory (cumulated for all children) (KiB): 691468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 830.452
system time used= 512.632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174869
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= 37606295
involuntary context switches= 307635
runsolver used 2.90018 second user time and 7.73248 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 07:39:44
IDJOB=1781577
IDBENCH=71780
IDSOLVER=631
FILE ID=xenhost3-49/1781577-1244871584
PBS_JOBID=
Free space on /tmp= 7022 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/manol-pipe-c6nidw_i.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781577-1244871584/watcher-1781577-1244871584 -o /tmp/evaluation-result-1781577-1244871584/solver-1781577-1244871584 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781577-1244871584.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 15c4413e436aecbd4fcb1d7037e18abf
RANDOM SEED= 1545051731
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: 19123964 kB
Buffers: 436024 kB
Cached: 14118484 kB
SwapCached: 0 kB
Active: 4081236 kB
Inactive: 10481176 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 5348 kB
Writeback: 0 kB
AnonPages: 7900 kB
Mapped: 3792 kB
Slab: 689716 kB
SReclaimable: 662860 kB
SUnreclaim: 26856 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7022 MiB
End job on xenhost3-49 at 2009-06-13 07:50:56