173.35/115.45 c Benchmark name : HOME/instance-1781532-1244871292.cnf
173.35/115.45 c Thread Num : 16
173.35/115.45 c restarts : 10
173.35/115.45 c conflicts : 7566
173.35/115.45 c decisions : 70835 ( 618 / sec )
173.35/115.45 c propagations : 8014105 ( 69911 / sec )
173.35/115.45 c inspects : 18846156 ( 164405 / sec )
173.35/115.45 c conflict literals : 215242 ( 31.66 % deleted )
173.35/115.45 c cpu time : 114.63
173.35/115.45 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781532-1244871292/watcher-1781532-1244871292 -o /tmp/evaluation-result-1781532-1244871292/solver-1781532-1244871292 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781532-1244871292.cnf 16 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.80 4.43 4.12 2/184 14547
/proc/meminfo: memFree=19124224/36427776 swapFree=5064/8556
[pid=14547] ppid=14545 vsize=7008 CPUtime=0
/proc/14547/stat : 14547 (satake) R 14545 14547 27791 0 -1 4202496 406 0 0 0 0 0 0 0 20 0 16 0 646435566 7176192 360 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 1752 362 63 164 0 1587 0
[pid=14547/tid=14548] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14548/stat : 14548 (satake) S 14545 14547 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 392 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14549/stat : 14549 (satake) D 14545 14547 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 393 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14550/stat : 14550 (satake) R 14545 14547 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 398 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14551/stat : 14551 (satake) R 14545 14547 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 399 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14552/stat : 14552 (satake) R 14545 14547 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 399 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14553/stat : 14553 (satake) S 14545 14547 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 399 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14554/stat : 14554 (satake) S 14545 14547 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 399 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=7208 CPUtime=0
/proc/14547/task/14555/stat : 14555 (satake) D 14545 14547 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 646435566 7380992 400 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=7212 CPUtime=0
/proc/14547/task/14556/stat : 14556 (satake) S 14545 14547 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646435566 7385088 402 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14557/stat : 14557 (satake) D 14545 14547 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 646435566 7520256 402 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14558/stat : 14558 (satake) R 14545 14547 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646435567 7520256 405 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14559/stat : 14559 (satake) R 14545 14547 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 646435567 7520256 408 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14560/stat : 14560 (satake) D 14545 14547 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 646435567 7520256 409 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14561/stat : 14561 (satake) R 14545 14547 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646435567 7520256 409 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14562/stat : 14562 (satake) R 14545 14547 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 646435567 7520256 409 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=7344 CPUtime=0
/proc/14547/task/14563/stat : 14563 (satake) R 14545 14547 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 646435567 7520256 410 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.058951 s]
/proc/loadavg: 4.80 4.43 4.12 2/184 14547
/proc/meminfo: memFree=19124224/36427776 swapFree=5064/8556
[pid=14547] ppid=14545 vsize=33112 CPUtime=0.29
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 5106 0 0 0 0 29 0 0 20 0 17 0 646435566 33906688 5060 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 8342 5067 63 164 0 8177 0
[pid=14547/tid=14548] ppid=14545 vsize=33368 CPUtime=0
/proc/14547/task/14548/stat : 14548 (satake) S 14545 14547 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646435566 34168832 5068 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=33368 CPUtime=0.04
/proc/14547/task/14549/stat : 14549 (satake) R 14545 14547 27791 0 -1 4202560 486 0 0 0 0 4 0 0 20 0 17 0 646435566 34168832 5069 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14550/stat : 14550 (satake) R 14545 14547 27791 0 -1 4202560 321 0 0 0 0 2 0 0 20 0 17 0 646435566 34168832 5069 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14551/stat : 14551 (satake) R 14545 14547 27791 0 -1 4202560 301 0 0 0 0 2 0 0 20 0 17 0 646435566 34168832 5069 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14552/stat : 14552 (satake) R 14545 14547 27791 0 -1 4202560 589 0 0 0 0 2 0 0 20 0 17 0 646435566 34168832 5069 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14553/stat : 14553 (satake) R 14545 14547 27791 0 -1 4202560 429 0 0 0 0 2 0 0 20 0 17 0 646435566 34168832 5069 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14554/stat : 14554 (satake) R 14545 14547 27791 0 -1 4202560 378 0 0 0 0 2 0 0 20 0 17 0 646435566 34168832 5072 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=33368 CPUtime=0
/proc/14547/task/14555/stat : 14555 (satake) R 14545 14547 27791 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 17 0 646435566 34168832 5074 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14556/stat : 14556 (satake) R 14545 14547 27791 0 -1 4202560 458 0 0 0 0 2 0 0 20 0 17 0 646435566 34168832 5076 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=33368 CPUtime=0
/proc/14547/task/14557/stat : 14557 (satake) R 14545 14547 27791 0 -1 4202560 180 0 0 0 0 0 0 0 20 0 17 0 646435566 34168832 5077 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14558/stat : 14558 (satake) R 14545 14547 27791 0 -1 4202560 432 0 0 0 0 2 0 0 20 0 17 0 646435567 34168832 5077 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14559/stat : 14559 (satake) R 14545 14547 27791 0 -1 4202560 485 0 0 0 0 2 0 0 20 0 17 0 646435567 34168832 5079 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14560/stat : 14560 (satake) R 14545 14547 27791 0 -1 4202560 312 0 0 0 0 2 0 0 20 0 17 0 646435567 34168832 5082 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=33368 CPUtime=0
/proc/14547/task/14561/stat : 14561 (satake) R 14545 14547 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 646435567 34168832 5084 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=33368 CPUtime=0.02
/proc/14547/task/14562/stat : 14562 (satake) R 14545 14547 27791 0 -1 4202560 363 0 0 0 0 2 0 0 20 0 17 0 646435567 34168832 5085 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=33368 CPUtime=0
/proc/14547/task/14563/stat : 14563 (satake) R 14545 14547 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 17 0 646435567 34168832 5086 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33112
[startup+0.102959 s]
/proc/loadavg: 4.80 4.43 4.12 2/184 14547
/proc/meminfo: memFree=19124224/36427776 swapFree=5064/8556
[pid=14547] ppid=14545 vsize=52656 CPUtime=0.63
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 10038 0 0 0 3 60 0 0 20 0 17 0 646435566 53919744 9992 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 13164 10013 63 164 0 12999 0
[pid=14547/tid=14548] ppid=14545 vsize=52656 CPUtime=0
/proc/14547/task/14548/stat : 14548 (satake) S 14545 14547 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646435566 53919744 10033 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=52656 CPUtime=0.06
/proc/14547/task/14549/stat : 14549 (satake) R 14545 14547 27791 0 -1 4202560 913 0 0 0 0 6 0 0 20 0 17 0 646435566 53919744 10062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=52656 CPUtime=0.04
/proc/14547/task/14550/stat : 14550 (satake) D 14545 14547 27791 0 -1 4202560 799 0 0 0 0 4 0 0 20 0 17 0 646435566 53919744 10068 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=52656 CPUtime=0.02
/proc/14547/task/14551/stat : 14551 (satake) D 14545 14547 27791 0 -1 4202560 415 0 0 0 0 2 0 0 20 0 17 0 646435566 53919744 10068 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=52656 CPUtime=0.06
/proc/14547/task/14552/stat : 14552 (satake) R 14545 14547 27791 0 -1 4202560 1006 0 0 0 0 6 0 0 20 0 17 0 646435566 53919744 10068 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=52656 CPUtime=0.04
/proc/14547/task/14553/stat : 14553 (satake) D 14545 14547 27791 0 -1 4202560 841 0 0 0 0 4 0 0 20 0 17 0 646435566 53919744 10068 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=52656 CPUtime=0.06
/proc/14547/task/14554/stat : 14554 (satake) R 14545 14547 27791 0 -1 4202560 829 0 0 0 0 6 0 0 20 0 17 0 646435566 53919744 10068 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=52656 CPUtime=0.02
/proc/14547/task/14555/stat : 14555 (satake) D 14545 14547 27791 0 -1 4202560 213 0 0 0 0 2 0 0 20 0 17 0 646435566 53919744 10071 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=52656 CPUtime=0.06
/proc/14547/task/14556/stat : 14556 (satake) D 14545 14547 27791 0 -1 4202560 938 0 0 0 0 6 0 0 20 0 17 0 646435566 53919744 10072 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134869198 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=52656 CPUtime=0.02
/proc/14547/task/14557/stat : 14557 (satake) R 14545 14547 27791 0 -1 4202560 516 0 0 0 2 0 0 0 20 0 17 0 646435566 53919744 10074 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=52656 CPUtime=0.06
/proc/14547/task/14558/stat : 14558 (satake) R 14545 14547 27791 0 -1 4202560 908 0 0 0 0 6 0 0 20 0 17 0 646435567 53919744 10074 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=52656 CPUtime=0.04
/proc/14547/task/14559/stat : 14559 (satake) D 14545 14547 27791 0 -1 4202560 865 0 0 0 0 4 0 0 20 0 17 0 646435567 53919744 10075 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=52656 CPUtime=0.02
/proc/14547/task/14560/stat : 14560 (satake) R 14545 14547 27791 0 -1 4202560 491 0 0 0 0 2 0 0 20 0 17 0 646435567 53919744 10077 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=52656 CPUtime=0
/proc/14547/task/14561/stat : 14561 (satake) D 14545 14547 27791 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 17 0 646435567 53919744 10079 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=52788 CPUtime=0.04
/proc/14547/task/14562/stat : 14562 (satake) D 14545 14547 27791 0 -1 4202560 728 0 0 0 0 4 0 0 20 0 17 0 646435567 54054912 10079 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=52788 CPUtime=0
/proc/14547/task/14563/stat : 14563 (satake) R 14545 14547 27791 0 -1 4202560 219 0 0 0 0 0 0 0 20 0 17 0 646435567 54054912 10081 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 52656
[startup+0.302996 s]
/proc/loadavg: 4.80 4.43 4.12 2/184 14547
/proc/meminfo: memFree=19124224/36427776 swapFree=5064/8556
[pid=14547] ppid=14545 vsize=86872 CPUtime=1.56
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 19387 0 0 0 20 136 0 0 20 0 17 0 646435566 88956928 19341 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 21718 19350 63 164 0 21553 0
[pid=14547/tid=14548] ppid=14545 vsize=86872 CPUtime=0
/proc/14547/task/14548/stat : 14548 (satake) S 14545 14547 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646435566 88956928 19352 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=86872 CPUtime=0.14
/proc/14547/task/14549/stat : 14549 (satake) R 14545 14547 27791 0 -1 4202560 1320 0 0 0 4 10 0 0 20 0 17 0 646435566 88956928 19353 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=86872 CPUtime=0.08
/proc/14547/task/14550/stat : 14550 (satake) R 14545 14547 27791 0 -1 4202560 1268 0 0 0 0 8 0 0 20 0 17 0 646435566 88956928 19355 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=86872 CPUtime=0.08
/proc/14547/task/14551/stat : 14551 (satake) S 14545 14547 27791 0 -1 4202560 1267 0 0 0 0 8 0 0 20 0 17 0 646435566 88956928 19355 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=86872 CPUtime=0.14
/proc/14547/task/14552/stat : 14552 (satake) S 14545 14547 27791 0 -1 4202560 1552 0 0 0 4 10 0 0 20 0 17 0 646435566 88956928 19356 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=86872 CPUtime=0.1
/proc/14547/task/14553/stat : 14553 (satake) R 14545 14547 27791 0 -1 4202560 1255 0 0 0 0 10 0 0 20 0 17 0 646435566 88956928 19356 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=86872 CPUtime=0.12
/proc/14547/task/14554/stat : 14554 (satake) D 14545 14547 27791 0 -1 4202560 1259 0 0 0 0 12 0 0 20 0 17 0 646435566 88956928 19357 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=86872 CPUtime=0.06
/proc/14547/task/14555/stat : 14555 (satake) D 14545 14547 27791 0 -1 4202560 1183 0 0 0 0 6 0 0 20 0 17 0 646435566 88956928 19357 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=86872 CPUtime=0.12
/proc/14547/task/14556/stat : 14556 (satake) S 14545 14547 27791 0 -1 4202560 1461 0 0 0 4 8 0 0 20 0 17 0 646435566 88956928 19357 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=86872 CPUtime=0.08
/proc/14547/task/14557/stat : 14557 (satake) S 14545 14547 27791 0 -1 4202560 1205 0 0 0 2 6 0 0 20 0 17 0 646435566 88956928 19358 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=86872 CPUtime=0.12
/proc/14547/task/14558/stat : 14558 (satake) R 14545 14547 27791 0 -1 4202560 1401 0 0 0 2 10 0 0 20 0 17 0 646435567 88956928 19367 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=86872 CPUtime=0.1
/proc/14547/task/14559/stat : 14559 (satake) S 14545 14547 27791 0 -1 4202560 1235 0 0 0 0 10 0 0 20 0 17 0 646435567 88956928 19369 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=86872 CPUtime=0.08
/proc/14547/task/14560/stat : 14560 (satake) R 14545 14547 27791 0 -1 4202560 1187 0 0 0 0 8 0 0 20 0 17 0 646435567 88956928 19373 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=86872 CPUtime=0.08
/proc/14547/task/14561/stat : 14561 (satake) S 14545 14547 27791 0 -1 4202560 1224 0 0 0 0 8 0 0 20 0 17 0 646435567 88956928 19377 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=86872 CPUtime=0.1
/proc/14547/task/14562/stat : 14562 (satake) S 14545 14547 27791 0 -1 4202560 1242 0 0 0 0 10 0 0 20 0 17 0 646435567 88956928 19377 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=86872 CPUtime=0.06
/proc/14547/task/14563/stat : 14563 (satake) S 14545 14547 27791 0 -1 4202560 1211 0 0 0 0 6 0 0 20 0 17 0 646435567 88956928 19378 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 86872
[startup+0.703017 s]
/proc/loadavg: 4.80 4.43 4.12 2/184 14547
/proc/meminfo: memFree=19124224/36427776 swapFree=5064/8556
[pid=14547] ppid=14545 vsize=149380 CPUtime=3.12
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 32179 0 0 0 116 196 0 0 20 0 17 0 646435566 152965120 32133 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 37089 32133 63 164 0 36924 0
[pid=14547/tid=14548] ppid=14545 vsize=148356 CPUtime=0
/proc/14547/task/14548/stat : 14548 (satake) S 14545 14547 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646435566 151916544 32133 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=148356 CPUtime=0.24
/proc/14547/task/14549/stat : 14549 (satake) S 14545 14547 27791 0 -1 4202560 2225 0 0 0 8 16 0 0 20 0 17 0 646435566 151916544 32133 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=148356 CPUtime=0.18
/proc/14547/task/14550/stat : 14550 (satake) S 14545 14547 27791 0 -1 4202560 2144 0 0 0 4 14 0 0 20 0 17 0 646435566 151916544 32133 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=148356 CPUtime=0.2
/proc/14547/task/14551/stat : 14551 (satake) R 14545 14547 27791 0 -1 4202560 2242 0 0 0 6 14 0 0 20 0 17 0 646435566 151916544 32133 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=148356 CPUtime=0.24
/proc/14547/task/14552/stat : 14552 (satake) S 14545 14547 27791 0 -1 4202560 2392 0 0 0 12 12 0 0 20 0 17 0 646435566 151916544 32135 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=148356 CPUtime=0.2
/proc/14547/task/14553/stat : 14553 (satake) S 14545 14547 27791 0 -1 4202560 2130 0 0 0 6 14 0 0 20 0 17 0 646435566 151916544 32138 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=148356 CPUtime=0.22
/proc/14547/task/14554/stat : 14554 (satake) R 14545 14547 27791 0 -1 4202560 2142 0 0 0 6 16 0 0 20 0 17 0 646435566 151916544 32139 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=148356 CPUtime=0.16
/proc/14547/task/14555/stat : 14555 (satake) R 14545 14547 27791 0 -1 4202560 1923 0 0 0 6 10 0 0 20 0 17 0 646435566 151916544 32139 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=148356 CPUtime=0.24
/proc/14547/task/14556/stat : 14556 (satake) R 14545 14547 27791 0 -1 4202560 2383 0 0 0 14 10 0 0 20 0 17 0 646435566 151916544 32139 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134664766 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=148356 CPUtime=0.18
################
# More data... #
################
[pid=14547] ppid=14545 vsize=356776 CPUtime=164.78
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 83718 0 0 0 7902 8576 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 89194 70052 68 164 0 89029 0
[pid=14547/tid=14548] ppid=14545 vsize=356776 CPUtime=54.72
/proc/14547/task/14548/stat : 14548 (satake) R 14545 14547 27791 0 -1 4202560 2326 0 0 0 728 4744 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=356776 CPUtime=7.44
/proc/14547/task/14549/stat : 14549 (satake) S 14545 14547 27791 0 -1 4202560 5391 0 0 0 500 244 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=356776 CPUtime=7.56
/proc/14547/task/14550/stat : 14550 (satake) R 14545 14547 27791 0 -1 4202560 5435 0 0 0 512 244 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=356776 CPUtime=7.18
/proc/14547/task/14551/stat : 14551 (satake) S 14545 14547 27791 0 -1 4202560 5454 0 0 0 456 262 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=356776 CPUtime=7.02
/proc/14547/task/14552/stat : 14552 (satake) S 14545 14547 27791 0 -1 4202560 5412 0 0 0 446 256 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=356776 CPUtime=7.54
/proc/14547/task/14553/stat : 14553 (satake) S 14545 14547 27791 0 -1 4202560 5398 0 0 0 520 234 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=356776 CPUtime=7.24
/proc/14547/task/14554/stat : 14554 (satake) S 14545 14547 27791 0 -1 4202560 5366 0 0 0 492 232 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=356776 CPUtime=6.66
/proc/14547/task/14555/stat : 14555 (satake) S 14545 14547 27791 0 -1 4202560 5393 0 0 0 438 228 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=356776 CPUtime=7
/proc/14547/task/14556/stat : 14556 (satake) S 14545 14547 27791 0 -1 4202560 5302 0 0 0 432 268 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=356776 CPUtime=7.46
/proc/14547/task/14557/stat : 14557 (satake) S 14545 14547 27791 0 -1 4202560 5436 0 0 0 494 252 0 0 20 0 17 0 646435566 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=356776 CPUtime=7.78
/proc/14547/task/14558/stat : 14558 (satake) S 14545 14547 27791 0 -1 4202560 5313 0 0 0 502 276 0 0 20 0 17 0 646435567 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=356776 CPUtime=7.94
/proc/14547/task/14559/stat : 14559 (satake) S 14545 14547 27791 0 -1 4202560 5418 0 0 0 512 282 0 0 20 0 17 0 646435567 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=356776 CPUtime=6.76
/proc/14547/task/14560/stat : 14560 (satake) S 14545 14547 27791 0 -1 4202560 5357 0 0 0 446 230 0 0 20 0 17 0 646435567 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=356776 CPUtime=8.12
/proc/14547/task/14561/stat : 14561 (satake) S 14545 14547 27791 0 -1 4202560 5596 0 0 0 492 320 0 0 20 0 17 0 646435567 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=356776 CPUtime=6.46
/proc/14547/task/14562/stat : 14562 (satake) S 14545 14547 27791 0 -1 4202560 5436 0 0 0 442 204 0 0 20 0 17 0 646435567 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=356776 CPUtime=7.76
/proc/14547/task/14563/stat : 14563 (satake) S 14545 14547 27791 0 -1 4202560 5559 0 0 0 484 292 0 0 20 0 17 0 646435567 365338624 70052 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 164.78
Current children cumulated vsize (KiB) 356776
[startup+114.304 s]
/proc/loadavg: 2.52 3.70 3.89 3/201 14569
/proc/meminfo: memFree=18843340/36427776 swapFree=4588/290112
[pid=14547] ppid=14545 vsize=356936 CPUtime=166.08
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 83728 0 0 0 7981 8627 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 89234 70062 68 164 0 89069 0
[pid=14547/tid=14548] ppid=14545 vsize=356936 CPUtime=55.14
/proc/14547/task/14548/stat : 14548 (satake) R 14545 14547 27791 0 -1 4202560 2328 0 0 0 742 4772 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14549] ppid=14545 vsize=356936 CPUtime=7.58
/proc/14547/task/14549/stat : 14549 (satake) S 14545 14547 27791 0 -1 4202560 5391 0 0 0 512 246 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=356936 CPUtime=7.64
/proc/14547/task/14550/stat : 14550 (satake) S 14545 14547 27791 0 -1 4202560 5435 0 0 0 520 244 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=356936 CPUtime=7.18
/proc/14547/task/14551/stat : 14551 (satake) S 14545 14547 27791 0 -1 4202560 5454 0 0 0 456 262 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=356936 CPUtime=7.08
/proc/14547/task/14552/stat : 14552 (satake) S 14545 14547 27791 0 -1 4202560 5412 0 0 0 448 260 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=356936 CPUtime=7.72
/proc/14547/task/14553/stat : 14553 (satake) S 14545 14547 27791 0 -1 4202560 5399 0 0 0 536 236 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=356936 CPUtime=7.32
/proc/14547/task/14554/stat : 14554 (satake) S 14545 14547 27791 0 -1 4202560 5367 0 0 0 496 236 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=356936 CPUtime=6.66
/proc/14547/task/14555/stat : 14555 (satake) S 14545 14547 27791 0 -1 4202560 5393 0 0 0 438 228 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=356936 CPUtime=7.12
/proc/14547/task/14556/stat : 14556 (satake) S 14545 14547 27791 0 -1 4202560 5304 0 0 0 440 272 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=356936 CPUtime=7.46
/proc/14547/task/14557/stat : 14557 (satake) S 14545 14547 27791 0 -1 4202560 5436 0 0 0 494 252 0 0 20 0 17 0 646435566 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=356936 CPUtime=7.92
/proc/14547/task/14558/stat : 14558 (satake) S 14545 14547 27791 0 -1 4202560 5317 0 0 0 512 280 0 0 20 0 17 0 646435567 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=356936 CPUtime=7.98
/proc/14547/task/14559/stat : 14559 (satake) R 14545 14547 27791 0 -1 4202560 5418 0 0 0 516 282 0 0 20 0 17 0 646435567 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=356936 CPUtime=6.76
/proc/14547/task/14560/stat : 14560 (satake) S 14545 14547 27791 0 -1 4202560 5357 0 0 0 446 230 0 0 20 0 17 0 646435567 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=356936 CPUtime=8.2
/proc/14547/task/14561/stat : 14561 (satake) S 14545 14547 27791 0 -1 4202560 5596 0 0 0 496 324 0 0 20 0 17 0 646435567 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=356936 CPUtime=6.46
/proc/14547/task/14562/stat : 14562 (satake) S 14545 14547 27791 0 -1 4202560 5436 0 0 0 442 204 0 0 20 0 17 0 646435567 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=356936 CPUtime=7.76
/proc/14547/task/14563/stat : 14563 (satake) S 14545 14547 27791 0 -1 4202560 5559 0 0 0 484 292 0 0 20 0 17 0 646435567 365502464 70062 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 166.08
Current children cumulated vsize (KiB) 356936
[startup+115.104 s]
/proc/loadavg: 2.52 3.70 3.89 3/201 14569
/proc/meminfo: memFree=18843340/36427776 swapFree=4588/290112
[pid=14547] ppid=14545 vsize=340348 CPUtime=171.22
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 83738 0 0 0 8087 9035 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 85087 66980 77 164 0 84922 0
[pid=14547/tid=14549] ppid=14545 vsize=340348 CPUtime=7.96
/proc/14547/task/14549/stat : 14549 (satake) R 14545 14547 27791 0 -1 4202560 5391 0 0 0 520 276 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=340348 CPUtime=7.82
/proc/14547/task/14550/stat : 14550 (satake) R 14545 14547 27791 0 -1 4202560 5435 0 0 0 524 258 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=340348 CPUtime=7.58
/proc/14547/task/14551/stat : 14551 (satake) R 14545 14547 27791 0 -1 4202560 5454 0 0 0 466 292 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=340348 CPUtime=7.32
/proc/14547/task/14552/stat : 14552 (satake) R 14545 14547 27791 0 -1 4202560 5412 0 0 0 452 280 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14553] ppid=14545 vsize=340348 CPUtime=8.12
/proc/14547/task/14553/stat : 14553 (satake) R 14545 14547 27791 0 -1 4202560 5399 0 0 0 548 264 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14547/tid=14554] ppid=14545 vsize=340348 CPUtime=7.7
/proc/14547/task/14554/stat : 14554 (satake) R 14545 14547 27791 0 -1 4202560 5367 0 0 0 504 266 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=340348 CPUtime=6.94
/proc/14547/task/14555/stat : 14555 (satake) R 14545 14547 27791 0 -1 4202560 5393 0 0 0 446 248 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=340348 CPUtime=7.5
/proc/14547/task/14556/stat : 14556 (satake) R 14545 14547 27791 0 -1 4202560 5304 0 0 0 442 308 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=340348 CPUtime=7.7
/proc/14547/task/14557/stat : 14557 (satake) R 14545 14547 27791 0 -1 4202560 5436 0 0 0 498 272 0 0 20 0 16 0 646435566 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=340348 CPUtime=8.28
/proc/14547/task/14558/stat : 14558 (satake) R 14545 14547 27791 0 -1 4202560 5317 0 0 0 516 312 0 0 20 0 16 0 646435567 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=340348 CPUtime=8.2
/proc/14547/task/14559/stat : 14559 (satake) R 14545 14547 27791 0 -1 4202560 5418 0 0 0 520 300 0 0 20 0 16 0 646435567 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=340348 CPUtime=7.04
/proc/14547/task/14560/stat : 14560 (satake) R 14545 14547 27791 0 -1 4202560 5357 0 0 0 454 250 0 0 20 0 16 0 646435567 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14561] ppid=14545 vsize=340348 CPUtime=8.58
/proc/14547/task/14561/stat : 14561 (satake) R 14545 14547 27791 0 -1 4202560 5596 0 0 0 504 354 0 0 20 0 16 0 646435567 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=340348 CPUtime=6.72
/proc/14547/task/14562/stat : 14562 (satake) R 14545 14547 27791 0 -1 4202560 5436 0 0 0 450 222 0 0 20 0 16 0 646435567 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14547/tid=14563] ppid=14545 vsize=340348 CPUtime=8.14
/proc/14547/task/14563/stat : 14563 (satake) R 14545 14547 27791 0 -1 4202560 5568 0 0 0 490 324 0 0 20 0 16 0 646435567 348516352 66980 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.22
Current children cumulated vsize (KiB) 340348
[startup+115.304 s]
/proc/loadavg: 2.52 3.70 3.89 3/201 14569
/proc/meminfo: memFree=18843340/36427776 swapFree=4588/290112
[pid=14547] ppid=14545 vsize=299196 CPUtime=172.94
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 83738 0 0 0 8126 9168 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 74799 60817 77 164 0 74634 0
[pid=14547/tid=14549] ppid=14545 vsize=299196 CPUtime=8.1
/proc/14547/task/14549/stat : 14549 (satake) S 14545 14547 27791 0 -1 4202560 5391 0 0 0 524 286 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=14547/tid=14550] ppid=14545 vsize=299196 CPUtime=7.92
/proc/14547/task/14550/stat : 14550 (satake) S 14545 14547 27791 0 -1 4202560 5435 0 0 0 528 264 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14551] ppid=14545 vsize=299196 CPUtime=7.74
/proc/14547/task/14551/stat : 14551 (satake) R 14545 14547 27791 0 -1 4202560 5454 0 0 0 472 302 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134666328 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=299196 CPUtime=7.4
/proc/14547/task/14552/stat : 14552 (satake) S 14545 14547 27791 0 -1 4202560 5412 0 0 0 454 286 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=299196 CPUtime=7.02
/proc/14547/task/14555/stat : 14555 (satake) S 14545 14547 27791 0 -1 4202560 5393 0 0 0 450 252 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14556] ppid=14545 vsize=299196 CPUtime=7.64
/proc/14547/task/14556/stat : 14556 (satake) S 14545 14547 27791 0 -1 4202560 5304 0 0 0 446 318 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=299196 CPUtime=7.78
/proc/14547/task/14557/stat : 14557 (satake) S 14545 14547 27791 0 -1 4202560 5436 0 0 0 498 280 0 0 20 0 12 0 646435566 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14558] ppid=14545 vsize=299196 CPUtime=8.44
/proc/14547/task/14558/stat : 14558 (satake) S 14545 14547 27791 0 -1 4202560 5317 0 0 0 522 322 0 0 20 0 12 0 646435567 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=299196 CPUtime=8.28
/proc/14547/task/14559/stat : 14559 (satake) S 14545 14547 27791 0 -1 4202560 5418 0 0 0 522 306 0 0 20 0 12 0 646435567 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=299196 CPUtime=7.12
/proc/14547/task/14560/stat : 14560 (satake) S 14545 14547 27791 0 -1 4202560 5357 0 0 0 456 256 0 0 20 0 12 0 646435567 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14562] ppid=14545 vsize=299196 CPUtime=6.86
/proc/14547/task/14562/stat : 14562 (satake) S 14545 14547 27791 0 -1 4202560 5436 0 0 0 454 232 0 0 20 0 12 0 646435567 306376704 60817 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 172.94
Current children cumulated vsize (KiB) 299196
[startup+115.404 s]
/proc/loadavg: 2.52 3.70 3.89 7/191 14569
/proc/meminfo: memFree=18899264/36427776 swapFree=4624/226544
[pid=14547] ppid=14545 vsize=251340 CPUtime=173.35
/proc/14547/stat : 14547 (satake) S 14545 14547 27791 0 -1 4202496 83738 0 0 0 8143 9192 0 0 20 0 7 0 646435566 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14547/statm: 62835 53783 77 164 0 62670 0
[pid=14547/tid=14550] ppid=14545 vsize=251340 CPUtime=7.96
/proc/14547/task/14550/stat : 14550 (satake) R 14545 14547 27791 0 -1 4202560 5435 0 0 0 528 268 0 0 20 0 7 0 646435566 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14547/tid=14552] ppid=14545 vsize=251340 CPUtime=7.44
/proc/14547/task/14552/stat : 14552 (satake) R 14545 14547 27791 0 -1 4202560 5412 0 0 0 456 288 0 0 20 0 7 0 646435566 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14555] ppid=14545 vsize=251340 CPUtime=7.08
/proc/14547/task/14555/stat : 14555 (satake) R 14545 14547 27791 0 -1 4202560 5393 0 0 0 452 256 0 0 20 0 7 0 646435566 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14557] ppid=14545 vsize=251340 CPUtime=7.82
/proc/14547/task/14557/stat : 14557 (satake) R 14545 14547 27791 0 -1 4202560 5436 0 0 0 500 282 0 0 20 0 7 0 646435566 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14547/tid=14559] ppid=14545 vsize=251340 CPUtime=8.32
/proc/14547/task/14559/stat : 14559 (satake) R 14545 14547 27791 0 -1 4202560 5418 0 0 0 524 308 0 0 20 0 7 0 646435567 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14547/tid=14560] ppid=14545 vsize=251340 CPUtime=7.14
/proc/14547/task/14560/stat : 14560 (satake) R 14545 14547 27791 0 -1 4202560 5357 0 0 0 458 256 0 0 20 0 7 0 646435567 257372160 53783 18446744073709551615 134512640 135180984 4288487600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 173.35
Current children cumulated vsize (KiB) 251340
Child status: 16
Real time (s): 115.484
CPU time (s): 173.491
CPU user time (s): 81.5091
CPU system time (s): 91.9818
CPU usage (%): 150.229
Max. virtual memory (cumulated for all children) (KiB): 356936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.5091
system time used= 91.9817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83739
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= 6822412
involuntary context switches= 603002
runsolver used 0.516032 second user time and 1.29208 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 07:34:52
IDJOB=1781532
IDBENCH=71767
IDSOLVER=631
FILE ID=xenhost3-49/1781532-1244871292
PBS_JOBID=
Free space on /tmp= 7023 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/manol-pipe-g7nidw.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781532-1244871292/watcher-1781532-1244871292 -o /tmp/evaluation-result-1781532-1244871292/solver-1781532-1244871292 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781532-1244871292.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= a0303c742e981cc0d4711ad3ac66f146
RANDOM SEED= 779516069
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: 19124224 kB
Buffers: 436004 kB
Cached: 14117116 kB
SwapCached: 0 kB
Active: 4081216 kB
Inactive: 10479860 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 4012 kB
Writeback: 0 kB
AnonPages: 7892 kB
Mapped: 4400 kB
Slab: 689608 kB
SReclaimable: 662804 kB
SUnreclaim: 26804 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-13 07:36:48