3997.00/386.34 c Benchmark name : HOME/instance-1778892-1244771459.cnf
3997.00/386.34 c Thread Num : 16
3997.00/386.34 c restarts : 15
3997.00/386.34 c conflicts : 84411
3997.00/386.34 c decisions : 213350 ( 555 / sec )
3997.00/386.34 c propagations : 270501862 ( 703454 / sec )
3997.00/386.34 c inspects : 787994789 ( 2049220 / sec )
3997.00/386.34 c conflict literals : 21521313 ( 23.96 % deleted )
3997.00/386.34 c cpu time : 384.53
3997.00/386.34 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778892-1244771459/watcher-1778892-1244771459 -o /tmp/evaluation-result-1778892-1244771459/solver-1778892-1244771459 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778892-1244771459.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: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=6484 CPUtime=0
/proc/2757/stat : 2757 (satake) R 2755 2757 27791 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 12 0 636452295 6639616 232 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134664766 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 1621 232 62 164 0 1456 0
[pid=2757/tid=2758] ppid=2755 vsize=8168 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 636452296 8364032 390 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=8168 CPUtime=0
/proc/2757/task/2759/stat : 2759 (satake) D 2755 2757 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 636452296 8364032 391 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 392 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2761/stat : 2761 (satake) D 2755 2757 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 396 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2762/stat : 2762 (satake) S 2755 2757 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 397 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 398 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 398 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2765/stat : 2765 (satake) R 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 399 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 399 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2767/stat : 2767 (satake) S 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 399 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2768/stat : 2768 (satake) S 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 400 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2769/stat : 2769 (satake) S 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 401 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 401 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 636452297 8499200 403 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=10348 CPUtime=0
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 636452297 10596352 403 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.088941 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=52504 CPUtime=0.56
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 7257 0 0 0 1 55 0 0 20 0 17 0 636452295 53764096 7209 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 13126 7215 63 164 0 12961 0
[pid=2757/tid=2758] ppid=2755 vsize=52504 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 53764096 7218 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=52504 CPUtime=0.04
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 519 0 0 0 0 4 0 0 20 0 17 0 636452296 53764096 7218 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=52504 CPUtime=0.06
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 598 0 0 0 0 6 0 0 20 0 17 0 636452296 53764096 7230 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=52504 CPUtime=0.02
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 636452296 53764096 7247 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=52504 CPUtime=0
/proc/2757/task/2762/stat : 2762 (satake) D 2755 2757 27791 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 17 0 636452296 53764096 7282 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=52504 CPUtime=0.02
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 399 0 0 0 0 2 0 0 20 0 17 0 636452296 53764096 7283 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 653 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7283 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2765/stat : 2765 (satake) D 2755 2757 27791 0 -1 4202560 600 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7283 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2766/stat : 2766 (satake) D 2755 2757 27791 0 -1 4202560 445 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7286 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=50976 CPUtime=0
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 17 0 636452296 52199424 7287 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 594 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7288 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2769/stat : 2769 (satake) R 2755 2757 27791 0 -1 4202560 660 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7289 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2770/stat : 2770 (satake) D 2755 2757 27791 0 -1 4202560 548 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7291 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=50976 CPUtime=0
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 17 0 636452297 52199424 7291 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 587 0 0 0 0 4 0 0 20 0 17 0 636452297 52199424 7293 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 52504
[startup+0.104941 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=47052 CPUtime=0.71
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 8033 0 0 0 1 70 0 0 20 0 17 0 636452295 48181248 7986 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 11763 7987 63 164 0 11598 0
[pid=2757/tid=2758] ppid=2755 vsize=47052 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 551 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 667 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 466 0 0 0 0 2 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 206 0 0 0 0 2 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 444 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7990 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 694 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7991 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2765/stat : 2765 (satake) D 2755 2757 27791 0 -1 4202560 662 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7991 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2766/stat : 2766 (satake) D 2755 2757 27791 0 -1 4202560 490 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7992 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2767/stat : 2767 (satake) D 2755 2757 27791 0 -1 4202560 233 0 0 0 0 2 0 0 20 0 17 0 636452296 48181248 7996 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 654 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7997 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2769/stat : 2769 (satake) D 2755 2757 27791 0 -1 4202560 690 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7998 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 583 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7999 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 237 0 0 0 0 2 0 0 20 0 17 0 636452297 48181248 7999 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 650 0 0 0 0 6 0 0 20 0 17 0 636452297 48181248 7999 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 47052
[startup+0.304824 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=74828 CPUtime=1.64
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 16040 0 0 0 18 146 0 0 20 0 17 0 636452295 76623872 15992 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 18707 15993 63 164 0 18542 0
[pid=2757/tid=2758] ppid=2755 vsize=74828 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 76623872 15994 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 1032 0 0 0 2 8 0 0 20 0 17 0 636452296 76623872 15997 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2760/stat : 2760 (satake) D 2755 2757 27791 0 -1 4202560 1184 0 0 0 0 14 0 0 20 0 17 0 636452296 76623872 15997 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=74828 CPUtime=0.08
/proc/2757/task/2761/stat : 2761 (satake) S 2755 2757 27791 0 -1 4202560 977 0 0 0 2 6 0 0 20 0 17 0 636452296 76623872 16001 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=74828 CPUtime=0.06
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 957 0 0 0 0 6 0 0 20 0 17 0 636452296 76623872 16004 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=74828 CPUtime=0.08
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 973 0 0 0 0 8 0 0 20 0 17 0 636452296 76623872 16008 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2764/stat : 2764 (satake) R 2755 2757 27791 0 -1 4202560 1373 0 0 0 2 12 0 0 20 0 17 0 636452296 76623872 16009 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2765/stat : 2765 (satake) D 2755 2757 27791 0 -1 4202560 1217 0 0 0 2 12 0 0 20 0 17 0 636452296 76623872 16009 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2766/stat : 2766 (satake) S 2755 2757 27791 0 -1 4202560 983 0 0 0 0 10 0 0 20 0 17 0 636452296 76623872 16009 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=74828 CPUtime=0.06
/proc/2757/task/2767/stat : 2767 (satake) S 2755 2757 27791 0 -1 4202560 903 0 0 0 0 6 0 0 20 0 17 0 636452296 76623872 16010 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2768/stat : 2768 (satake) D 2755 2757 27791 0 -1 4202560 952 0 0 0 0 10 0 0 20 0 17 0 636452296 76623872 16010 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2769/stat : 2769 (satake) D 2755 2757 27791 0 -1 4202560 1207 0 0 0 4 10 0 0 20 0 17 0 636452296 76623872 16011 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2770/stat : 2770 (satake) D 2755 2757 27791 0 -1 4202560 1134 0 0 0 2 8 0 0 20 0 17 0 636452296 76623872 16011 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=74828 CPUtime=0.06
/proc/2757/task/2771/stat : 2771 (satake) S 2755 2757 27791 0 -1 4202560 903 0 0 0 0 6 0 0 20 0 17 0 636452297 76623872 16013 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 912 0 0 0 0 10 0 0 20 0 17 0 636452297 76623872 16013 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 74828
[startup+0.704846 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=134184 CPUtime=3.25
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 27865 0 0 0 76 249 0 0 20 0 17 0 636452295 137404416 27817 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 33546 27818 63 164 0 33381 0
[pid=2757/tid=2758] ppid=2755 vsize=134184 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 137404416 27818 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=134184 CPUtime=0.2
/proc/2757/task/2759/stat : 2759 (satake) D 2755 2757 27791 0 -1 4202560 1780 0 0 0 4 16 0 0 20 0 17 0 636452296 137404416 27818 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=134184 CPUtime=0.26
/proc/2757/task/2760/stat : 2760 (satake) D 2755 2757 27791 0 -1 4202560 2079 0 0 0 6 20 0 0 20 0 17 0 636452296 137404416 27819 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=134184 CPUtime=0.18
/proc/2757/task/2761/stat : 2761 (satake) S 2755 2757 27791 0 -1 4202560 1734 0 0 0 4 14 0 0 20 0 17 0 636452296 137404416 27819 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=134184 CPUtime=0.16
/proc/2757/task/2762/stat : 2762 (satake) D 2755 2757 27791 0 -1 4202560 1697 0 0 0 0 16 0 0 20 0 17 0 636452296 137404416 27822 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=134184 CPUtime=0.18
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 1718 0 0 0 4 14 0 0 20 0 17 0 636452296 137404416 27822 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=134184 CPUtime=0.28
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 2374 0 0 0 2 26 0 0 20 0 17 0 636452296 137404416 27823 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=134184 CPUtime=0.26
/proc/2757/task/2765/stat : 2765 (satake) S 2755 2757 27791 0 -1 4202560 2049 0 0 0 4 22 0 0 20 0 17 0 636452296 137404416 27824 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=134184 CPUtime=0.22
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 1814 0 0 0 2 20 0 0 20 0 17 0 636452296 137404416 27828 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=134184 CPUtime=0.16
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 1643 0 0 0 8 8 0 0 20 0 17 0 636452296 137404416 27828 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=134184 CPUtime=0.22
/proc/2757/task/2768/stat : 2768 (satake) S 2755 2757 27791 0 -1 4202560 1709 0 0 0 4 18 0 0 20 0 17 0 636452296 137404416 27829 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=134184 CPUtime=0.24
/proc/2757/task/2769/stat : 2769 (satake) R 2755 2757 27791 0 -1 4202560 1956 0 0 0 6 18 0 0 20 0 17 0 636452296 137404416 27829 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=134184 CPUtime=0.2
/proc/2757/task/2770/stat : 2770 (satake) D 2755 2757 27791 0 -1 4202560 1940 0 0 0 6 14 0 0 20 0 17 0 636452296 137404416 27829 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=134184 CPUtime=0.16
################
# More data... #
################
[startup+380.706 s]
/proc/loadavg: 14.93 13.23 12.64 16/201 2779
/proc/meminfo: memFree=17616872/36427776 swapFree=4588/1530256
[pid=2757] ppid=2755 vsize=1546916 CPUtime=3936.35
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 390218 0 0 0 377474 16161 0 0 20 0 17 0 636452295 1584041984 380525 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 386729 380525 68 164 0 386564 0
[pid=2757/tid=2758] ppid=2755 vsize=1546916 CPUtime=120.2
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 2809 0 0 0 990 11030 0 0 20 0 17 0 636452296 1584041984 380525 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=1546916 CPUtime=246.71
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 25316 0 0 0 24331 340 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134525504 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=1546916 CPUtime=254.98
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 25832 0 0 0 25202 296 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528230 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1546916 CPUtime=253.13
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27512 0 0 0 24945 368 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1546916 CPUtime=251.25
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 26613 0 0 0 24775 350 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1546916 CPUtime=256.69
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 24687 0 0 0 25379 290 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134523985 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1546916 CPUtime=259.97
/proc/2757/task/2764/stat : 2764 (satake) R 2755 2757 27791 0 -1 4202560 25415 0 0 0 25701 296 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=1546916 CPUtime=256.64
/proc/2757/task/2765/stat : 2765 (satake) R 2755 2757 27791 0 -1 4202560 24918 0 0 0 25308 356 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1546916 CPUtime=256.15
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 25583 0 0 0 25297 318 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134523985 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1546916 CPUtime=257.87
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24543 0 0 0 25445 342 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1546916 CPUtime=250.04
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 26675 0 0 0 24598 406 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134523791 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=1546916 CPUtime=256.38
/proc/2757/task/2769/stat : 2769 (satake) R 2755 2757 27791 0 -1 4202560 26392 0 0 0 25254 384 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1546916 CPUtime=252.64
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 28043 0 0 0 24896 368 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1546916 CPUtime=249.15
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25331 0 0 0 24595 320 0 0 20 0 17 0 636452297 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1546916 CPUtime=255.74
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24593 0 0 0 25244 330 0 0 20 0 17 0 636452297 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528470 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2757/tid=2774] ppid=2755 vsize=1546916 CPUtime=258.67
/proc/2757/task/2774/stat : 2774 (satake) R 2755 2757 27791 0 -1 4202560 25830 0 0 0 25507 360 0 0 20 0 17 0 636452297 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3936.35
Current children cumulated vsize (KiB) 1546916
[startup+383.913 s]
/proc/loadavg: 14.46 13.16 12.62 7/201 2779
/proc/meminfo: memFree=17606456/36427776 swapFree=4588/1540432
[pid=2757] ppid=2755 vsize=1559104 CPUtime=3976.13
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392519 0 0 0 381333 16280 0 0 20 0 17 0 636452295 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 389776 382826 68 164 0 389611 0
[pid=2757/tid=2758] ppid=2755 vsize=1559104 CPUtime=121.18
/proc/2757/task/2758/stat : 2758 (satake) R 2755 2757 27791 0 -1 4202560 2824 0 0 0 994 11124 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=1559104 CPUtime=249.4
/proc/2757/task/2759/stat : 2759 (satake) S 2755 2757 27791 0 -1 4202560 25482 0 0 0 24598 342 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=1559104 CPUtime=257.63
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 25948 0 0 0 25465 298 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1559104 CPUtime=255.74
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27734 0 0 0 25204 370 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1559104 CPUtime=253.91
/proc/2757/task/2762/stat : 2762 (satake) S 2755 2757 27791 0 -1 4202560 26858 0 0 0 25039 352 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1559104 CPUtime=259.26
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 24833 0 0 0 25634 292 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1559104 CPUtime=262.7
/proc/2757/task/2764/stat : 2764 (satake) S 2755 2757 27791 0 -1 4202560 25608 0 0 0 25974 296 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=1559104 CPUtime=258.74
/proc/2757/task/2765/stat : 2765 (satake) S 2755 2757 27791 0 -1 4202560 25046 0 0 0 25506 368 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1559104 CPUtime=258.73
/proc/2757/task/2766/stat : 2766 (satake) S 2755 2757 27791 0 -1 4202560 25727 0 0 0 25555 318 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1559104 CPUtime=260.52
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24716 0 0 0 25708 344 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1559104 CPUtime=252.64
/proc/2757/task/2768/stat : 2768 (satake) S 2755 2757 27791 0 -1 4202560 26829 0 0 0 24858 406 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=1559104 CPUtime=258.98
/proc/2757/task/2769/stat : 2769 (satake) S 2755 2757 27791 0 -1 4202560 26455 0 0 0 25514 384 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1559104 CPUtime=255.29
/proc/2757/task/2770/stat : 2770 (satake) S 2755 2757 27791 0 -1 4202560 28178 0 0 0 25161 368 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1559104 CPUtime=251.75
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25423 0 0 0 24855 320 0 0 20 0 17 0 636452297 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134525282 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1559104 CPUtime=258.35
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24770 0 0 0 25503 332 0 0 20 0 17 0 636452297 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2757/tid=2774] ppid=2755 vsize=1559104 CPUtime=261.18
/proc/2757/task/2774/stat : 2774 (satake) R 2755 2757 27791 0 -1 4202560 25961 0 0 0 25758 360 0 0 20 0 17 0 636452297 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3976.13
Current children cumulated vsize (KiB) 1559104
[startup+385.505 s]
/proc/loadavg: 14.46 13.16 12.62 15/200 2779
/proc/meminfo: memFree=17605720/36427776 swapFree=4588/1540784
[pid=2757] ppid=2755 vsize=1551460 CPUtime=3992.14
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392931 0 0 0 382578 16636 0 0 20 0 15 0 636452295 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 387865 381350 77 164 0 387700 0
[pid=2757/tid=2759] ppid=2755 vsize=1551460 CPUtime=250.34
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 25503 0 0 0 24670 364 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=1551460 CPUtime=258.53
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 25957 0 0 0 25529 324 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1551460 CPUtime=256.96
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27784 0 0 0 25310 386 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1551460 CPUtime=254.9
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 26900 0 0 0 25110 380 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1551460 CPUtime=260.34
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 24864 0 0 0 25718 316 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1551460 CPUtime=263.77
/proc/2757/task/2764/stat : 2764 (satake) R 2755 2757 27791 0 -1 4202560 25634 0 0 0 26055 322 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=1551460 CPUtime=259.84
/proc/2757/task/2765/stat : 2765 (satake) R 2755 2757 27791 0 -1 4202560 25077 0 0 0 25590 394 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1551460 CPUtime=259.88
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 25748 0 0 0 25650 338 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1551460 CPUtime=261.78
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24753 0 0 0 25816 362 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1551460 CPUtime=253.58
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 26868 0 0 0 24928 430 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1551460 CPUtime=256.44
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 28201 0 0 0 25254 390 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1551460 CPUtime=252.97
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25461 0 0 0 24957 340 0 0 20 0 15 0 636452297 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1551460 CPUtime=259.37
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24790 0 0 0 25589 348 0 0 20 0 15 0 636452297 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2757/tid=2774] ppid=2755 vsize=1551460 CPUtime=262.12
/proc/2757/task/2774/stat : 2774 (satake) R 2755 2757 27791 0 -1 4202560 25971 0 0 0 25826 386 0 0 20 0 15 0 636452297 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3992.14
Current children cumulated vsize (KiB) 1551460
[startup+385.904 s]
/proc/loadavg: 14.46 13.16 12.62 15/200 2779
/proc/meminfo: memFree=17605720/36427776 swapFree=4588/1540784
[pid=2757] ppid=2755 vsize=1524604 CPUtime=3995.66
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392931 0 0 0 382748 16818 0 0 20 0 12 0 636452295 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 381151 375771 77 164 0 380986 0
[pid=2757/tid=2759] ppid=2755 vsize=1524604 CPUtime=250.62
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 25503 0 0 0 24682 380 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1524604 CPUtime=257.23
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27784 0 0 0 25321 402 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1524604 CPUtime=255.15
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 26900 0 0 0 25123 392 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1524604 CPUtime=260.59
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 24864 0 0 0 25731 328 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1524604 CPUtime=264.04
/proc/2757/task/2764/stat : 2764 (satake) S 2755 2757 27791 0 -1 4202560 25634 0 0 0 26066 338 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1524604 CPUtime=260.16
/proc/2757/task/2766/stat : 2766 (satake) S 2755 2757 27791 0 -1 4202560 25748 0 0 0 25664 352 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1524604 CPUtime=262.04
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24753 0 0 0 25828 376 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1524604 CPUtime=253.85
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 26868 0 0 0 24941 444 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1524604 CPUtime=256.71
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 28201 0 0 0 25265 406 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1524604 CPUtime=253.25
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25461 0 0 0 24973 352 0 0 20 0 12 0 636452297 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1524604 CPUtime=259.64
/proc/2757/task/2772/stat : 2772 (satake) S 2755 2757 27791 0 -1 4202560 24790 0 0 0 25602 362 0 0 20 0 12 0 636452297 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3995.66
Current children cumulated vsize (KiB) 1524604
[startup+386.301 s]
/proc/loadavg: 14.46 13.16 12.62 7/193 2779
/proc/meminfo: memFree=17635728/36427776 swapFree=4624/1502176
[pid=2757] ppid=2755 vsize=1015820 CPUtime=3997
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392931 0 0 0 382819 16881 0 0 20 0 2 0 636452295 1040199680 250676 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 253955 250676 77 164 0 253790 0
[pid=2757/tid=2772] ppid=2755 vsize=1015820 CPUtime=259.95
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24790 0 0 0 25615 380 0 0 20 0 2 0 636452297 1040199680 250676 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3997
Current children cumulated vsize (KiB) 1015820
[startup+386.405 s]
/proc/loadavg: 14.46 13.16 12.62 7/193 2779
/proc/meminfo: memFree=17635728/36427776 swapFree=4624/1502176
[pid=2757] ppid=2755 vsize=0 CPUtime=3997.1
/proc/2757/stat : 2757 (satake) R 2755 2757 27791 0 -1 4202500 392932 0 0 0 382819 16891 0 0 20 0 1 0 636452295 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3997.1
Current children cumulated vsize (KiB) 0
Child status: 16
Real time (s): 386.432
CPU time (s): 3997.14
CPU user time (s): 3828.19
CPU system time (s): 168.947
CPU usage (%): 1034.37
Max. virtual memory (cumulated for all children) (KiB): 1560392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3828.19
system time used= 168.947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392932
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= 13348572
involuntary context switches= 4418170
runsolver used 2.00813 second user time and 4.7443 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 03:50:59
IDJOB=1778892
IDBENCH=70776
IDSOLVER=631
FILE ID=xenhost3-49/1778892-1244771459
PBS_JOBID=
Free space on /tmp= 7035 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minand/minand128.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778892-1244771459/watcher-1778892-1244771459 -o /tmp/evaluation-result-1778892-1244771459/solver-1778892-1244771459 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778892-1244771459.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 34e3afebec3eaf03cbcceb51b352993a
RANDOM SEED= 1817535703
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: 19138856 kB
Buffers: 433664 kB
Cached: 14105772 kB
SwapCached: 0 kB
Active: 4078792 kB
Inactive: 10468980 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 3328 kB
Writeback: 0 kB
AnonPages: 8328 kB
Mapped: 2988 kB
Slab: 688152 kB
SReclaimable: 661380 kB
SUnreclaim: 26772 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= 7035 MiB
End job on xenhost3-49 at 2009-06-12 03:57:26