2519.20/335.98 c Benchmark name : HOME/instance-1780677-1244836624.cnf
2519.20/335.98 c Thread Num : 16
2519.20/335.98 c restarts : 13
2519.20/335.98 c conflicts : 32016
2519.20/335.98 c decisions : 285129 ( 855 / sec )
2519.20/335.98 c propagations : 130481435 ( 391077 / sec )
2519.20/335.98 c inspects : 407283314 ( 1220704 / sec )
2519.20/335.98 c conflict literals : 6240521 ( 30.35 % deleted )
2519.20/335.98 c cpu time : 333.65
2519.20/335.98 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780677-1244836624/watcher-1780677-1244836624 -o /tmp/evaluation-result-1780677-1244836624/solver-1780677-1244836624 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780677-1244836624.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: 9.99 10.06 9.10 2/184 10704
/proc/meminfo: memFree=19111692/36427776 swapFree=3664/8484
[pid=10704] ppid=10702 vsize=6288 CPUtime=0
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 4 0 642968811 6438912 965 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 1572 970 63 164 0 1407 0
[pid=10704/tid=10705] ppid=10702 vsize=6288 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 4 0 642968811 6438912 1123 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=6288 CPUtime=0
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 1049 0 0 0 0 0 0 0 20 0 4 0 642968811 6438912 1123 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=6288 CPUtime=0
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 642968811 6438912 1123 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[startup+0.105867 s]
/proc/loadavg: 9.99 10.06 9.10 2/184 10704
/proc/meminfo: memFree=19111692/36427776 swapFree=3664/8484
[pid=10704] ppid=10702 vsize=46228 CPUtime=0.83
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 7405 0 0 0 0 83 0 0 20 0 17 0 642968811 47337472 7344 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 11557 7348 63 164 0 11392 0
[pid=10704/tid=10705] ppid=10702 vsize=46228 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 47337472 7360 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=46228 CPUtime=0.08
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 1706 0 0 0 0 8 0 0 20 0 17 0 642968811 47337472 7378 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=46228 CPUtime=0.06
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 482 0 0 0 0 6 0 0 20 0 17 0 642968811 47337472 7400 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 46228
[startup+0.205918 s]
/proc/loadavg: 9.99 10.06 9.10 2/184 10704
/proc/meminfo: memFree=19111692/36427776 swapFree=3664/8484
[pid=10704] ppid=10702 vsize=121236 CPUtime=1.94
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 19384 0 0 0 0 194 0 0 20 0 17 0 642968811 124145664 19323 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 30309 19323 63 164 0 30144 0
[pid=10704/tid=10705] ppid=10702 vsize=121236 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 124145664 19323 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=121236 CPUtime=0.16
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 2789 0 0 0 0 16 0 0 20 0 17 0 642968811 124145664 19323 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=121236 CPUtime=0.14
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 1385 0 0 0 0 14 0 0 20 0 17 0 642968811 124145664 19323 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 121236
[startup+0.300723 s]
/proc/loadavg: 9.99 10.06 9.10 2/184 10704
/proc/meminfo: memFree=19111692/36427776 swapFree=3664/8484
[pid=10704] ppid=10702 vsize=186772 CPUtime=3.06
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 32860 0 0 0 0 306 0 0 20 0 17 0 642968811 191254528 32799 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 46693 32799 63 164 0 46528 0
[pid=10704/tid=10705] ppid=10702 vsize=186772 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 191254528 32799 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=186772 CPUtime=0.24
/proc/10704/task/10706/stat : 10706 (satake) D 10702 10704 27791 0 -1 4202560 3622 0 0 0 0 24 0 0 20 0 17 0 642968811 191254528 32799 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=186772 CPUtime=0.24
/proc/10704/task/10707/stat : 10707 (satake) D 10702 10704 27791 0 -1 4202560 2646 0 0 0 0 24 0 0 20 0 17 0 642968811 191254528 32799 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 186772
[startup+0.704231 s]
/proc/loadavg: 9.99 10.06 9.10 2/184 10704
/proc/meminfo: memFree=19111692/36427776 swapFree=3664/8484
[pid=10704] ppid=10702 vsize=235976 CPUtime=6.92
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 52343 0 0 0 0 692 0 0 20 0 17 0 642968811 241639424 52282 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 58994 52286 63 164 0 58829 0
[pid=10704/tid=10705] ppid=10702 vsize=235976 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 241639424 52289 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=235976 CPUtime=0.56
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 5099 0 0 0 0 56 0 0 20 0 17 0 642968811 241639424 52289 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=235976 CPUtime=0.52
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 4022 0 0 0 0 52 0 0 20 0 17 0 642968811 241639424 52289 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 235976
[startup+1.50673 s]
/proc/loadavg: 10.23 10.11 9.12 2/201 10721
/proc/meminfo: memFree=18874232/36427776 swapFree=4204/251940
[pid=10704] ppid=10702 vsize=310828 CPUtime=13.29
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 67802 0 0 0 1 1328 0 0 20 0 17 0 642968811 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 77707 67741 63 164 0 77542 0
[pid=10704/tid=10705] ppid=10702 vsize=310828 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=310828 CPUtime=1.02
/proc/10704/task/10706/stat : 10706 (satake) D 10702 10704 27791 0 -1 4202560 6061 0 0 0 0 102 0 0 20 0 17 0 642968811 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=310828 CPUtime=1
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 5084 0 0 0 0 100 0 0 20 0 17 0 642968811 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=310828 CPUtime=0.98
/proc/10704/task/10709/stat : 10709 (satake) D 10702 10704 27791 0 -1 4202560 4985 0 0 0 0 98 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10710] ppid=10702 vsize=310828 CPUtime=1.02
/proc/10704/task/10710/stat : 10710 (satake) D 10702 10704 27791 0 -1 4202560 4494 0 0 0 0 102 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=310828 CPUtime=0.98
/proc/10704/task/10711/stat : 10711 (satake) D 10702 10704 27791 0 -1 4202560 5291 0 0 0 0 98 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=310828 CPUtime=0.92
/proc/10704/task/10712/stat : 10712 (satake) D 10702 10704 27791 0 -1 4202560 4714 0 0 0 0 92 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=310828 CPUtime=0.68
/proc/10704/task/10713/stat : 10713 (satake) D 10702 10704 27791 0 -1 4202560 3338 0 0 0 0 68 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=310828 CPUtime=0.62
/proc/10704/task/10714/stat : 10714 (satake) D 10702 10704 27791 0 -1 4202560 3111 0 0 0 0 62 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=310828 CPUtime=1
/proc/10704/task/10715/stat : 10715 (satake) D 10702 10704 27791 0 -1 4202560 4503 0 0 0 0 100 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=310828 CPUtime=0.6
/proc/10704/task/10716/stat : 10716 (satake) D 10702 10704 27791 0 -1 4202560 3018 0 0 0 0 60 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10717] ppid=10702 vsize=310828 CPUtime=0.98
/proc/10704/task/10717/stat : 10717 (satake) D 10702 10704 27791 0 -1 4202560 5335 0 0 0 0 98 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=310828 CPUtime=0.96
/proc/10704/task/10718/stat : 10718 (satake) D 10702 10704 27791 0 -1 4202560 4499 0 0 0 0 96 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10704/tid=10719] ppid=10702 vsize=310828 CPUtime=0.54
/proc/10704/task/10719/stat : 10719 (satake) D 10702 10704 27791 0 -1 4202560 3064 0 0 0 0 54 0 0 20 0 17 0 642968812 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=310828 CPUtime=0.94
/proc/10704/task/10720/stat : 10720 (satake) D 10702 10704 27791 0 -1 4202560 5186 0 0 0 0 94 0 0 20 0 17 0 642968813 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10704/tid=10721] ppid=10702 vsize=310828 CPUtime=0.98
/proc/10704/task/10721/stat : 10721 (satake) D 10702 10704 27791 0 -1 4202560 4988 0 0 0 0 98 0 0 20 0 17 0 642968813 318287872 67741 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 310828
[startup+3.10507 s]
/proc/loadavg: 10.23 10.11 9.12 10/201 10721
/proc/meminfo: memFree=18802632/36427776 swapFree=4204/321528
[pid=10704] ppid=10702 vsize=428900 CPUtime=25.24
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 94017 0 0 0 6 2518 0 0 20 0 17 0 642968811 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 107225 93956 63 164 0 107060 0
[pid=10704/tid=10705] ppid=10702 vsize=428900 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=428900 CPUtime=1.8
/proc/10704/task/10706/stat : 10706 (satake) D 10702 10704 27791 0 -1 4202560 7767 0 0 0 2 178 0 0 20 0 17 0 642968811 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=428900 CPUtime=1.82
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 6798 0 0 0 0 182 0 0 20 0 17 0 642968811 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=428900 CPUtime=1.84
/proc/10704/task/10709/stat : 10709 (satake) D 10702 10704 27791 0 -1 4202560 6790 0 0 0 0 184 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10710] ppid=10702 vsize=428900 CPUtime=1.88
/proc/10704/task/10710/stat : 10710 (satake) D 10702 10704 27791 0 -1 4202560 6254 0 0 0 0 188 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=428900 CPUtime=1.82
/proc/10704/task/10711/stat : 10711 (satake) D 10702 10704 27791 0 -1 4202560 7070 0 0 0 4 178 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=428900 CPUtime=1.8
/proc/10704/task/10712/stat : 10712 (satake) D 10702 10704 27791 0 -1 4202560 6509 0 0 0 0 180 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=428900 CPUtime=1.52
/proc/10704/task/10713/stat : 10713 (satake) D 10702 10704 27791 0 -1 4202560 5143 0 0 0 0 152 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=428900 CPUtime=1.4
/proc/10704/task/10714/stat : 10714 (satake) D 10702 10704 27791 0 -1 4202560 4854 0 0 0 0 140 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=428900 CPUtime=1.86
/proc/10704/task/10715/stat : 10715 (satake) D 10702 10704 27791 0 -1 4202560 6276 0 0 0 0 186 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=428900 CPUtime=1.24
/proc/10704/task/10716/stat : 10716 (satake) D 10702 10704 27791 0 -1 4202560 4651 0 0 0 0 124 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10717] ppid=10702 vsize=428900 CPUtime=1.82
/proc/10704/task/10717/stat : 10717 (satake) D 10702 10704 27791 0 -1 4202560 7052 0 0 0 0 182 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=428900 CPUtime=1.72
/proc/10704/task/10718/stat : 10718 (satake) D 10702 10704 27791 0 -1 4202560 6215 0 0 0 0 172 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10704/tid=10719] ppid=10702 vsize=428900 CPUtime=1.1
/proc/10704/task/10719/stat : 10719 (satake) D 10702 10704 27791 0 -1 4202560 4817 0 0 0 0 110 0 0 20 0 17 0 642968812 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=428900 CPUtime=1.8
/proc/10704/task/10720/stat : 10720 (satake) D 10702 10704 27791 0 -1 4202560 6914 0 0 0 0 180 0 0 20 0 17 0 642968813 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10704/tid=10721] ppid=10702 vsize=428900 CPUtime=1.78
/proc/10704/task/10721/stat : 10721 (satake) D 10702 10704 27791 0 -1 4202560 6776 0 0 0 0 178 0 0 20 0 17 0 642968813 439193600 93956 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 428900
[startup+6.30426 s]
/proc/loadavg: 10.23 10.11 9.12 5/201 10721
/proc/meminfo: memFree=18593840/36427776 swapFree=4568/533328
[pid=10704] ppid=10702 vsize=729404 CPUtime=48.27
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 143095 0 0 0 584 4243 0 0 20 0 17 0 642968811 746909696 143034 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 182351 143034 63 164 0 182186 0
[pid=10704/tid=10705] ppid=10702 vsize=729404 CPUtime=0
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642968811 746909696 143035 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=729404 CPUtime=3.22
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 10363 0 0 0 66 256 0 0 20 0 17 0 642968811 746909696 143036 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=729404 CPUtime=3.3
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 9597 0 0 0 38 292 0 0 20 0 17 0 642968811 746909696 143037 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134513817 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=729404 CPUtime=3.38
/proc/10704/task/10709/stat : 10709 (satake) R 10702 10704 27791 0 -1 4202560 9665 0 0 0 38 300 0 0 20 0 17 0 642968812 746909696 143038 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10710] ppid=10702 vsize=729404 CPUtime=3.48
/proc/10704/task/10710/stat : 10710 (satake) S 10702 10704 27791 0 -1 4202560 9547 0 0 0 40 308 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=729404 CPUtime=3.32
/proc/10704/task/10711/stat : 10711 (satake) D 10702 10704 27791 0 -1 4202560 9877 0 0 0 46 286 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=729404 CPUtime=3.34
/proc/10704/task/10712/stat : 10712 (satake) R 10702 10704 27791 0 -1 4202560 9510 0 0 0 40 294 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=729404 CPUtime=3.08
/proc/10704/task/10713/stat : 10713 (satake) S 10702 10704 27791 0 -1 4202560 9184 0 0 0 26 282 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=729404 CPUtime=2.94
/proc/10704/task/10714/stat : 10714 (satake) S 10702 10704 27791 0 -1 4202560 9072 0 0 0 26 268 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=729404 CPUtime=3.46
/proc/10704/task/10715/stat : 10715 (satake) R 10702 10704 27791 0 -1 4202560 9576 0 0 0 38 308 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=729404 CPUtime=2.88
/proc/10704/task/10716/stat : 10716 (satake) D 10702 10704 27791 0 -1 4202560 9088 0 0 0 30 258 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10717] ppid=10702 vsize=729404 CPUtime=3.28
/proc/10704/task/10717/stat : 10717 (satake) D 10702 10704 27791 0 -1 4202560 9724 0 0 0 40 288 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=729404 CPUtime=3.26
/proc/10704/task/10718/stat : 10718 (satake) S 10702 10704 27791 0 -1 4202560 9377 0 0 0 38 288 0 0 20 0 17 0 642968812 746909696 143039 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
################
# More data... #
################
[pid=10704/tid=10719] ppid=10702 vsize=1133336 CPUtime=160.91
/proc/10704/task/10719/stat : 10719 (satake) R 10702 10704 27791 0 -1 4202560 19512 0 0 0 15645 446 0 0 20 0 17 0 642968812 1160536064 245315 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=1133336 CPUtime=152.98
/proc/10704/task/10720/stat : 10720 (satake) R 10702 10704 27791 0 -1 4202560 20583 0 0 0 14822 476 0 0 20 0 17 0 642968813 1160536064 245315 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10704/tid=10721] ppid=10702 vsize=1133336 CPUtime=151.2
/proc/10704/task/10721/stat : 10721 (satake) R 10702 10704 27791 0 -1 4202560 19871 0 0 0 14644 476 0 0 20 0 17 0 642968813 1160536064 245315 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2434.07
Current children cumulated vsize (KiB) 1133336
[startup+332.805 s]
/proc/loadavg: 11.60 9.78 9.10 13/201 10726
/proc/meminfo: memFree=18131984/36427776 swapFree=4588/991796
[pid=10704] ppid=10702 vsize=1134360 CPUtime=2499.34
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 301371 0 0 0 228955 20979 0 0 20 0 17 0 642968811 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 283590 245435 68 164 0 283425 0
[pid=10704/tid=10705] ppid=10702 vsize=1134360 CPUtime=146.11
/proc/10704/task/10705/stat : 10705 (satake) R 10702 10704 27791 0 -1 4202560 3433 0 0 0 1214 13397 0 0 20 0 17 0 642968811 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=1134360 CPUtime=152.27
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 19358 0 0 0 14739 488 0 0 20 0 17 0 642968811 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=1134360 CPUtime=152.27
/proc/10704/task/10707/stat : 10707 (satake) S 10702 10704 27791 0 -1 4202560 19970 0 0 0 14705 522 0 0 20 0 17 0 642968811 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=1134360 CPUtime=151.6
/proc/10704/task/10709/stat : 10709 (satake) R 10702 10704 27791 0 -1 4202560 19771 0 0 0 14624 536 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10710] ppid=10702 vsize=1134360 CPUtime=156.18
/proc/10704/task/10710/stat : 10710 (satake) R 10702 10704 27791 0 -1 4202560 20279 0 0 0 15108 510 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134518245 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=1134360 CPUtime=156.55
/proc/10704/task/10711/stat : 10711 (satake) R 10702 10704 27791 0 -1 4202560 20325 0 0 0 15183 472 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=1134360 CPUtime=157.01
/proc/10704/task/10712/stat : 10712 (satake) S 10702 10704 27791 0 -1 4202560 20439 0 0 0 15159 542 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=1134360 CPUtime=153.13
/proc/10704/task/10713/stat : 10713 (satake) R 10702 10704 27791 0 -1 4202560 18942 0 0 0 14803 510 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=1134360 CPUtime=160.98
/proc/10704/task/10714/stat : 10714 (satake) S 10702 10704 27791 0 -1 4202560 19189 0 0 0 15558 540 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=1134360 CPUtime=163.57
/proc/10704/task/10715/stat : 10715 (satake) R 10702 10704 27791 0 -1 4202560 20450 0 0 0 15797 560 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=1134360 CPUtime=157.01
/proc/10704/task/10716/stat : 10716 (satake) S 10702 10704 27791 0 -1 4202560 18995 0 0 0 15227 474 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10717] ppid=10702 vsize=1134360 CPUtime=155.71
/proc/10704/task/10717/stat : 10717 (satake) D 10702 10704 27791 0 -1 4202560 20081 0 0 0 15029 542 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=1134360 CPUtime=159.22
/proc/10704/task/10718/stat : 10718 (satake) S 10702 10704 27791 0 -1 4202560 20029 0 0 0 15442 480 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10704/tid=10719] ppid=10702 vsize=1134360 CPUtime=165.17
/proc/10704/task/10719/stat : 10719 (satake) R 10702 10704 27791 0 -1 4202560 19518 0 0 0 16071 446 0 0 20 0 17 0 642968812 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=1134360 CPUtime=157.1
/proc/10704/task/10720/stat : 10720 (satake) R 10702 10704 27791 0 -1 4202560 20591 0 0 0 15232 478 0 0 20 0 17 0 642968813 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134528536 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10704/tid=10721] ppid=10702 vsize=1134360 CPUtime=155.29
/proc/10704/task/10721/stat : 10721 (satake) R 10702 10704 27791 0 -1 4202560 19876 0 0 0 15051 478 0 0 20 0 17 0 642968813 1161584640 245435 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2499.34
Current children cumulated vsize (KiB) 1134360
[startup+334.403 s]
/proc/loadavg: 11.60 9.78 9.10 16/201 10726
/proc/meminfo: memFree=18132108/36427776 swapFree=4588/991552
[pid=10704] ppid=10702 vsize=1134036 CPUtime=2511.07
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 301384 0 0 0 229521 21586 0 0 20 0 17 0 642968811 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 283509 245380 77 164 0 283344 0
[pid=10704/tid=10705] ppid=10702 vsize=1134036 CPUtime=146.91
/proc/10704/task/10705/stat : 10705 (satake) S 10702 10704 27791 0 -1 4202560 3435 0 0 0 1226 13465 0 0 20 0 17 0 642968811 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10704/tid=10706] ppid=10702 vsize=1134036 CPUtime=153.21
/proc/10704/task/10706/stat : 10706 (satake) R 10702 10704 27791 0 -1 4202560 19358 0 0 0 14797 524 0 0 20 0 17 0 642968811 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=1134036 CPUtime=152.9
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 19970 0 0 0 14730 560 0 0 20 0 17 0 642968811 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=1134036 CPUtime=152.52
/proc/10704/task/10709/stat : 10709 (satake) R 10702 10704 27791 0 -1 4202560 19773 0 0 0 14678 574 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10710] ppid=10702 vsize=1134036 CPUtime=156.88
/proc/10704/task/10710/stat : 10710 (satake) R 10702 10704 27791 0 -1 4202560 20279 0 0 0 15144 544 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=1134036 CPUtime=157.31
/proc/10704/task/10711/stat : 10711 (satake) R 10702 10704 27791 0 -1 4202560 20325 0 0 0 15217 514 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=1134036 CPUtime=157.37
/proc/10704/task/10712/stat : 10712 (satake) R 10702 10704 27791 0 -1 4202560 20439 0 0 0 15173 564 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=1134036 CPUtime=153.89
/proc/10704/task/10713/stat : 10713 (satake) R 10702 10704 27791 0 -1 4202560 18942 0 0 0 14843 546 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=1134036 CPUtime=161.61
/proc/10704/task/10714/stat : 10714 (satake) R 10702 10704 27791 0 -1 4202560 19189 0 0 0 15583 578 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=1134036 CPUtime=164.24
/proc/10704/task/10715/stat : 10715 (satake) S 10702 10704 27791 0 -1 4202560 20450 0 0 0 15822 602 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=1134036 CPUtime=157.64
/proc/10704/task/10716/stat : 10716 (satake) R 10702 10704 27791 0 -1 4202560 18995 0 0 0 15254 510 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10717] ppid=10702 vsize=1134036 CPUtime=156.51
/proc/10704/task/10717/stat : 10717 (satake) R 10702 10704 27791 0 -1 4202560 20090 0 0 0 15071 580 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=1134036 CPUtime=159.86
/proc/10704/task/10718/stat : 10718 (satake) R 10702 10704 27791 0 -1 4202560 20029 0 0 0 15470 516 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10704/tid=10719] ppid=10702 vsize=1134036 CPUtime=166.07
/proc/10704/task/10719/stat : 10719 (satake) R 10702 10704 27791 0 -1 4202560 19518 0 0 0 16127 480 0 0 20 0 17 0 642968812 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=1134036 CPUtime=157.93
/proc/10704/task/10720/stat : 10720 (satake) R 10702 10704 27791 0 -1 4202560 20591 0 0 0 15281 512 0 0 20 0 17 0 642968813 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10704/tid=10721] ppid=10702 vsize=1134036 CPUtime=156.11
/proc/10704/task/10721/stat : 10721 (satake) R 10702 10704 27791 0 -1 4202560 19876 0 0 0 15095 516 0 0 20 0 17 0 642968813 1161252864 245380 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2511.07
Current children cumulated vsize (KiB) 1134036
[startup+335.205 s]
/proc/loadavg: 11.60 9.78 9.10 16/201 10726
/proc/meminfo: memFree=18132108/36427776 swapFree=4588/991552
[pid=10704] ppid=10702 vsize=1066420 CPUtime=2515.91
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 301384 0 0 0 229779 21812 0 0 20 0 16 0 642968811 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 266605 234061 77 164 0 266440 0
[pid=10704/tid=10706] ppid=10702 vsize=1066420 CPUtime=153.57
/proc/10704/task/10706/stat : 10706 (satake) S 10702 10704 27791 0 -1 4202560 19358 0 0 0 14817 540 0 0 20 0 16 0 642968811 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10704/tid=10707] ppid=10702 vsize=1066420 CPUtime=153.17
/proc/10704/task/10707/stat : 10707 (satake) R 10702 10704 27791 0 -1 4202560 19970 0 0 0 14741 576 0 0 20 0 16 0 642968811 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=1066420 CPUtime=152.67
/proc/10704/task/10709/stat : 10709 (satake) S 10702 10704 27791 0 -1 4202560 19773 0 0 0 14687 580 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10710] ppid=10702 vsize=1066420 CPUtime=157.24
/proc/10704/task/10710/stat : 10710 (satake) S 10702 10704 27791 0 -1 4202560 20279 0 0 0 15168 556 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=1066420 CPUtime=157.66
/proc/10704/task/10711/stat : 10711 (satake) R 10702 10704 27791 0 -1 4202560 20325 0 0 0 15232 534 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=1066420 CPUtime=157.54
/proc/10704/task/10712/stat : 10712 (satake) S 10702 10704 27791 0 -1 4202560 20439 0 0 0 15180 574 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=1066420 CPUtime=154.29
/proc/10704/task/10713/stat : 10713 (satake) R 10702 10704 27791 0 -1 4202560 18942 0 0 0 14863 566 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=1066420 CPUtime=161.87
/proc/10704/task/10714/stat : 10714 (satake) S 10702 10704 27791 0 -1 4202560 19189 0 0 0 15597 590 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=1066420 CPUtime=164.62
/proc/10704/task/10715/stat : 10715 (satake) R 10702 10704 27791 0 -1 4202560 20450 0 0 0 15844 618 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=1066420 CPUtime=157.97
/proc/10704/task/10716/stat : 10716 (satake) R 10702 10704 27791 0 -1 4202560 18995 0 0 0 15269 528 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134672154 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10717] ppid=10702 vsize=1066420 CPUtime=156.85
/proc/10704/task/10717/stat : 10717 (satake) S 10702 10704 27791 0 -1 4202560 20090 0 0 0 15091 594 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=1066420 CPUtime=160.14
/proc/10704/task/10718/stat : 10718 (satake) R 10702 10704 27791 0 -1 4202560 20029 0 0 0 15484 530 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10704/tid=10719] ppid=10702 vsize=1066420 CPUtime=166.37
/proc/10704/task/10719/stat : 10719 (satake) S 10702 10704 27791 0 -1 4202560 19518 0 0 0 16145 492 0 0 20 0 16 0 642968812 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=1066420 CPUtime=158.28
/proc/10704/task/10720/stat : 10720 (satake) R 10702 10704 27791 0 -1 4202560 20591 0 0 0 15300 528 0 0 20 0 16 0 642968813 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10704/tid=10721] ppid=10702 vsize=1066420 CPUtime=156.52
/proc/10704/task/10721/stat : 10721 (satake) S 10702 10704 27791 0 -1 4202560 19876 0 0 0 15122 530 0 0 20 0 16 0 642968813 1092014080 234061 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2515.91
Current children cumulated vsize (KiB) 1066420
[startup+335.616 s]
/proc/loadavg: 11.60 9.78 9.10 14/199 10726
/proc/meminfo: memFree=18191992/36427776 swapFree=4624/924176
[pid=10704] ppid=10702 vsize=979488 CPUtime=2518.28
/proc/10704/stat : 10704 (satake) S 10702 10704 27791 0 -1 4202496 301384 0 0 0 229910 21918 0 0 20 0 12 0 642968811 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 244872 220492 77 164 0 244707 0
[pid=10704/tid=10707] ppid=10702 vsize=979488 CPUtime=153.36
/proc/10704/task/10707/stat : 10707 (satake) S 10702 10704 27791 0 -1 4202560 19970 0 0 0 14754 582 0 0 20 0 12 0 642968811 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10704/tid=10709] ppid=10702 vsize=979488 CPUtime=152.83
/proc/10704/task/10709/stat : 10709 (satake) S 10702 10704 27791 0 -1 4202560 19773 0 0 0 14695 588 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10711] ppid=10702 vsize=979488 CPUtime=157.81
/proc/10704/task/10711/stat : 10711 (satake) S 10702 10704 27791 0 -1 4202560 20325 0 0 0 15239 542 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=10704/tid=10712] ppid=10702 vsize=979488 CPUtime=157.67
/proc/10704/task/10712/stat : 10712 (satake) R 10702 10704 27791 0 -1 4202560 20439 0 0 0 15185 582 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10704/tid=10713] ppid=10702 vsize=979488 CPUtime=154.45
/proc/10704/task/10713/stat : 10713 (satake) S 10702 10704 27791 0 -1 4202560 18942 0 0 0 14871 574 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10704/tid=10714] ppid=10702 vsize=979488 CPUtime=162.01
/proc/10704/task/10714/stat : 10714 (satake) R 10702 10704 27791 0 -1 4202560 19189 0 0 0 15605 596 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10704/tid=10715] ppid=10702 vsize=979488 CPUtime=164.75
/proc/10704/task/10715/stat : 10715 (satake) S 10702 10704 27791 0 -1 4202560 20450 0 0 0 15853 622 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10704/tid=10716] ppid=10702 vsize=979488 CPUtime=158.17
/proc/10704/task/10716/stat : 10716 (satake) S 10702 10704 27791 0 -1 4202560 18995 0 0 0 15281 536 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10704/tid=10718] ppid=10702 vsize=979488 CPUtime=160.47
/proc/10704/task/10718/stat : 10718 (satake) S 10702 10704 27791 0 -1 4202560 20029 0 0 0 15507 540 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10704/tid=10719] ppid=10702 vsize=979488 CPUtime=166.59
/proc/10704/task/10719/stat : 10719 (satake) R 10702 10704 27791 0 -1 4202560 19518 0 0 0 16157 502 0 0 20 0 12 0 642968812 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10704/tid=10720] ppid=10702 vsize=979488 CPUtime=158.43
/proc/10704/task/10720/stat : 10720 (satake) R 10702 10704 27791 0 -1 4202560 20591 0 0 0 15305 538 0 0 20 0 12 0 642968813 1002995712 220492 18446744073709551615 134512640 135180984 4288077904 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2518.28
Current children cumulated vsize (KiB) 979488
[startup+336.002 s]
/proc/loadavg: 11.60 9.78 9.10 14/199 10726
/proc/meminfo: memFree=18191992/36427776 swapFree=4624/924176
[pid=10704] ppid=10702 vsize=0 CPUtime=2519.31
/proc/10704/stat : 10704 (satake) R 10702 10704 27791 0 -1 4202500 301385 0 0 0 229980 21951 0 0 20 0 1 0 642968811 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/10704/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2519.31
Current children cumulated vsize (KiB) 0
Child status: 16
Real time (s): 336.048
CPU time (s): 2519.37
CPU user time (s): 2299.81
CPU system time (s): 219.558
CPU usage (%): 749.705
Max. virtual memory (cumulated for all children) (KiB): 1134360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2299.81
system time used= 219.558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301385
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= 15475021
involuntary context switches= 4468909
runsolver used 1.5481 second user time and 4.41228 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 21:57:04
IDJOB=1780677
IDBENCH=71046
IDSOLVER=631
FILE ID=xenhost3-49/1780677-1244836624
PBS_JOBID=
Free space on /tmp= 7014 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-15-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780677-1244836624/watcher-1780677-1244836624 -o /tmp/evaluation-result-1780677-1244836624/solver-1780677-1244836624 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780677-1244836624.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 46c031b3f08c6158a2e68fd75d34fa31
RANDOM SEED= 515263522
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: 19111692 kB
Buffers: 435484 kB
Cached: 14126948 kB
SwapCached: 0 kB
Active: 4081372 kB
Inactive: 10489984 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 15956 kB
Writeback: 0 kB
AnonPages: 8484 kB
Mapped: 3664 kB
Slab: 689512 kB
SReclaimable: 662644 kB
SUnreclaim: 26868 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7014 MiB
End job on xenhost3-49 at 2009-06-12 22:02:41