52.92/11.53 c Benchmark name : HOME/instance-1776192-1244738993.cnf
52.92/11.53 c Thread Num : 16
52.92/11.53 c restarts : 1
52.92/11.53 c conflicts : 82
52.92/11.53 c decisions : 6331 ( 589 / sec )
52.92/11.53 c propagations : 268352 ( 24954 / sec )
52.92/11.53 c inspects : 491001 ( 45658 / sec )
52.92/11.53 c conflict literals : 513 ( 2.10 % deleted )
52.92/11.53 c cpu time : 10.75
52.92/11.53 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776192-1244738993/watcher-1776192-1244738993 -o /tmp/evaluation-result-1776192-1244738993/solver-1776192-1244738993 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776192-1244738993.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: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 380 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 2043 380 63 164 0 1878 0
[pid=31029/tid=31030] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 380 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 381 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 382 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 387 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 388 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 389 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31036/stat : 31036 (satake) S 31027 31029 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31037/stat : 31037 (satake) R 31027 31029 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31038/stat : 31038 (satake) S 31027 31029 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31039/stat : 31039 (satake) S 31027 31029 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31040/stat : 31040 (satake) S 31027 31029 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 392 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31043/stat : 31043 (satake) D 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 392 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 633205747 8368128 392 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31045/stat : 31045 (satake) R 31027 31029 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 633205747 8368128 394 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[startup+0.087787 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=50456 CPUtime=0.54
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 9336 0 0 0 1 53 0 0 20 0 17 0 633205746 51666944 9300 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 12614 9354 63 164 0 12449 0
[pid=31029/tid=31030] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 51666944 9376 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 895 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9398 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31032/stat : 31032 (satake) R 31027 31029 27791 0 -1 4202560 793 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9422 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 880 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9432 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 470 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 794 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 953 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 433 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 435 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 437 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 967 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31043/stat : 31043 (satake) D 31027 31029 27791 0 -1 4202560 815 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 17 0 633205747 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 633205747 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 50456
[startup+0.103837 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=75032 CPUtime=0.66
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 11430 0 0 0 1 65 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 18758 11386 63 164 0 18593 0
[pid=31029/tid=31030] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 1088 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 948 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 1044 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 105 0 0 0 0 0 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=75032 CPUtime=0.02
/proc/31029/task/31035/stat : 31035 (satake) D 31027 31029 27791 0 -1 4202560 477 0 0 0 0 2 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=75032 CPUtime=0.04
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 1005 0 0 0 0 4 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 1153 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=75032 CPUtime=0.02
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 595 0 0 0 0 2 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=75032 CPUtime=0.02
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 442 0 0 0 0 2 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=75032 CPUtime=0.04
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 596 0 0 0 0 4 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31041/stat : 31041 (satake) D 31027 31029 27791 0 -1 4202560 1283 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 1165 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31043/stat : 31043 (satake) D 31027 31029 27791 0 -1 4202560 1050 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 633205747 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 633205747 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 75032
[startup+0.303771 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=211500 CPUtime=2.49
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 41962 0 0 0 1 248 0 0 20 0 17 0 633205746 216576000 41918 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 52875 41919 63 164 0 52710 0
[pid=31029/tid=31030] ppid=31027 vsize=211500 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 216576000 41920 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=211500 CPUtime=0.14
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 2316 0 0 0 0 14 0 0 20 0 17 0 633205746 216576000 41921 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 3332 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41923 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31033/stat : 31033 (satake) D 31027 31029 27791 0 -1 4202560 3765 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41923 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=211500 CPUtime=0.1
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 1449 0 0 0 0 10 0 0 20 0 17 0 633205746 216576000 41928 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=211500 CPUtime=0.12
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 1701 0 0 0 0 12 0 0 20 0 17 0 633205746 216576000 41929 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=211500 CPUtime=0.14
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 2623 0 0 0 0 14 0 0 20 0 17 0 633205746 216576000 41930 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31037/stat : 31037 (satake) R 31027 31029 27791 0 -1 4202560 4184 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41931 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=211500 CPUtime=0.12
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 2628 0 0 0 0 12 0 0 20 0 17 0 633205746 216576000 41931 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=211500 CPUtime=0.1
/proc/31029/task/31039/stat : 31039 (satake) R 31027 31029 27791 0 -1 4202560 1598 0 0 0 0 10 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=211500 CPUtime=0.1
/proc/31029/task/31040/stat : 31040 (satake) R 31027 31029 27791 0 -1 4202560 1823 0 0 0 0 10 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 4041 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=211500 CPUtime=0.24
/proc/31029/task/31042/stat : 31042 (satake) R 31027 31029 27791 0 -1 4202560 3717 0 0 0 0 24 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 3732 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=211500 CPUtime=0.16
/proc/31029/task/31044/stat : 31044 (satake) R 31027 31029 27791 0 -1 4202560 3499 0 0 0 0 16 0 0 20 0 17 0 633205747 216576000 41940 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=211500 CPUtime=0.08
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 1435 0 0 0 0 8 0 0 20 0 17 0 633205747 216576000 41944 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 211500
[startup+0.702066 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=276384 CPUtime=5.35
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 56042 0 0 0 3 532 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 69096 55998 63 164 0 68931 0
[pid=31029/tid=31030] ppid=31027 vsize=276384 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=276384 CPUtime=0.28
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 3274 0 0 0 0 28 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=276384 CPUtime=0.48
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 4395 0 0 0 0 48 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=276384 CPUtime=0.46
/proc/31029/task/31033/stat : 31033 (satake) D 31027 31029 27791 0 -1 4202560 4745 0 0 0 0 46 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=276384 CPUtime=0.22
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 2270 0 0 0 0 22 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=276384 CPUtime=0.26
/proc/31029/task/31035/stat : 31035 (satake) D 31027 31029 27791 0 -1 4202560 2571 0 0 0 0 26 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=276384 CPUtime=0.26
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 3440 0 0 0 0 26 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=276384 CPUtime=0.48
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 5198 0 0 0 0 48 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=276384 CPUtime=0.26
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 3459 0 0 0 0 26 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=276384 CPUtime=0.26
################
# More data... #
################
[pid=31029/tid=31034] ppid=31027 vsize=1075568 CPUtime=1.46
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 11987 0 0 0 0 146 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1075568 CPUtime=1.56
/proc/31029/task/31035/stat : 31035 (satake) D 31027 31029 27791 0 -1 4202560 12375 0 0 0 2 154 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1075568 CPUtime=1.62
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 12631 0 0 0 4 158 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1075568 CPUtime=2.62
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 14083 0 0 0 14 248 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1075568 CPUtime=1.6
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 12579 0 0 0 4 156 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1075568 CPUtime=1.58
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 12150 0 0 0 2 156 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1075568 CPUtime=1.62
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 12788 0 0 0 6 156 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1075568 CPUtime=2.6
/proc/31029/task/31041/stat : 31041 (satake) S 31027 31029 27791 0 -1 4202560 13714 0 0 0 20 240 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1075568 CPUtime=2.58
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 13254 0 0 0 6 252 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1075568 CPUtime=2.42
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 13436 0 0 0 14 228 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1075568 CPUtime=2.42
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 13339 0 0 0 14 228 0 0 20 0 17 0 633205747 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1075568 CPUtime=1.56
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 12009 0 0 0 2 154 0 0 20 0 17 0 633205747 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 30.21
Current children cumulated vsize (KiB) 1075568
Solver just ended. Dumping a history of the last processes samples
[startup+9.50841 s]
/proc/loadavg: 8.15 6.56 7.64 6/201 31051
/proc/meminfo: memFree=18175348/36427776 swapFree=4468/962920
[pid=31029] ppid=31027 vsize=1316188 CPUtime=41.9
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 253678 0 0 0 698 3492 0 0 20 0 17 0 633205746 1347776512 246077 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 329047 246077 66 164 0 328882 0
[pid=31029/tid=31030] ppid=31027 vsize=1316188 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 1347776512 246077 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=1316188 CPUtime=2.24
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 16396 0 0 0 46 178 0 0 20 0 17 0 633205746 1347776512 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=1316188 CPUtime=3.34
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 17402 0 0 0 36 298 0 0 20 0 17 0 633205746 1347776512 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=1316188 CPUtime=3.24
/proc/31029/task/31033/stat : 31033 (satake) D 31027 31029 27791 0 -1 4202560 17371 0 0 0 36 288 0 0 20 0 17 0 633205746 1347776512 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=1300432 CPUtime=2.16
/proc/31029/task/31034/stat : 31034 (satake) S 31027 31029 27791 0 -1 4202560 16235 0 0 0 38 178 0 0 20 0 17 0 633205746 1331642368 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1300432 CPUtime=2.28
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 16408 0 0 0 42 186 0 0 20 0 17 0 633205746 1331642368 245757 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1300432 CPUtime=2.32
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 16586 0 0 0 44 188 0 0 20 0 17 0 633205746 1331642368 245757 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1300432 CPUtime=3.58
/proc/31029/task/31037/stat : 31037 (satake) S 31027 31029 27791 0 -1 4202560 17767 0 0 0 72 286 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1300432 CPUtime=2.3
/proc/31029/task/31038/stat : 31038 (satake) S 31027 31029 27791 0 -1 4202560 16426 0 0 0 48 182 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1300432 CPUtime=2.28
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 16131 0 0 0 40 188 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134869198 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1300432 CPUtime=2.4
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 17169 0 0 0 48 192 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1300432 CPUtime=3.52
/proc/31029/task/31041/stat : 31041 (satake) D 31027 31029 27791 0 -1 4202560 17583 0 0 0 66 286 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1300432 CPUtime=3.4
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 17303 0 0 0 44 296 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1300432 CPUtime=3.24
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 17583 0 0 0 50 274 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1300432 CPUtime=3.24
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 17354 0 0 0 50 274 0 0 20 0 17 0 633205747 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1300432 CPUtime=2.24
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 15834 0 0 0 32 192 0 0 20 0 17 0 633205747 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 41.9
Current children cumulated vsize (KiB) 1316188
[startup+10.3045 s]
/proc/loadavg: 8.15 6.56 7.64 8/201 31051
/proc/meminfo: memFree=18186748/36427776 swapFree=4568/946860
[pid=31029] ppid=31027 vsize=1248932 CPUtime=46.49
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 265696 0 0 0 1117 3532 0 0 20 0 17 0 633205746 1278906368 230201 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 312233 230204 66 164 0 312068 0
[pid=31029/tid=31030] ppid=31027 vsize=1248932 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 1278906368 230205 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=1248932 CPUtime=2.48
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 17771 0 0 0 66 182 0 0 20 0 17 0 633205746 1278906368 230205 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134513830 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=1248932 CPUtime=3.64
/proc/31029/task/31032/stat : 31032 (satake) S 31027 31029 27791 0 -1 4202560 17738 0 0 0 66 298 0 0 20 0 17 0 633205746 1278906368 230207 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=1248932 CPUtime=3.66
/proc/31029/task/31033/stat : 31033 (satake) S 31027 31029 27791 0 -1 4202560 17822 0 0 0 74 292 0 0 20 0 17 0 633205746 1278906368 230207 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=1248932 CPUtime=2.38
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 17677 0 0 0 56 182 0 0 20 0 17 0 633205746 1278906368 230208 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1248932 CPUtime=2.56
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 17854 0 0 0 66 190 0 0 20 0 17 0 633205746 1278906368 230208 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1248932 CPUtime=2.68
/proc/31029/task/31036/stat : 31036 (satake) R 31027 31029 27791 0 -1 4202560 17858 0 0 0 80 188 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1248932 CPUtime=3.58
/proc/31029/task/31037/stat : 31037 (satake) S 31027 31029 27791 0 -1 4202560 17767 0 0 0 72 286 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1248932 CPUtime=2.56
/proc/31029/task/31038/stat : 31038 (satake) R 31027 31029 27791 0 -1 4202560 17819 0 0 0 68 188 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134521005 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1248932 CPUtime=2.48
/proc/31029/task/31039/stat : 31039 (satake) R 31027 31029 27791 0 -1 4202560 17510 0 0 0 54 194 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1248932 CPUtime=2.82
/proc/31029/task/31040/stat : 31040 (satake) R 31027 31029 27791 0 -1 4202560 17906 0 0 0 88 194 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1248932 CPUtime=3.94
/proc/31029/task/31041/stat : 31041 (satake) S 31027 31029 27791 0 -1 4202560 17655 0 0 0 108 286 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1248932 CPUtime=3.98
/proc/31029/task/31042/stat : 31042 (satake) S 31027 31029 27791 0 -1 4202560 17780 0 0 0 100 298 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1248932 CPUtime=3.58
/proc/31029/task/31043/stat : 31043 (satake) S 31027 31029 27791 0 -1 4202560 17673 0 0 0 84 274 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1248932 CPUtime=3.62
/proc/31029/task/31044/stat : 31044 (satake) S 31027 31029 27791 0 -1 4202560 17554 0 0 0 88 274 0 0 20 0 17 0 633205747 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1248932 CPUtime=2.46
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 17187 0 0 0 46 200 0 0 20 0 17 0 633205747 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 46.49
Current children cumulated vsize (KiB) 1248932
[startup+11.1037 s]
/proc/loadavg: 7.97 6.55 7.63 13/200 31051
/proc/meminfo: memFree=18277716/36427776 swapFree=4580/855048
[pid=31029] ppid=31027 vsize=1134488 CPUtime=51.27
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 272555 0 0 0 1589 3538 0 0 20 0 16 0 633205746 1161715712 205436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 283622 205436 77 164 0 283457 0
[pid=31029/tid=31031] ppid=31027 vsize=1134488 CPUtime=2.8
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 17972 0 0 0 98 182 0 0 20 0 16 0 633205746 1161715712 205436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=1134488 CPUtime=3.74
/proc/31029/task/31032/stat : 31032 (satake) R 31027 31029 27791 0 -1 4202560 17747 0 0 0 76 298 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=1134488 CPUtime=3.74
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 17822 0 0 0 82 292 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=1134488 CPUtime=2.66
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 17952 0 0 0 82 184 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1134488 CPUtime=2.86
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 17916 0 0 0 96 190 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1134488 CPUtime=2.92
/proc/31029/task/31036/stat : 31036 (satake) R 31027 31029 27791 0 -1 4202560 17913 0 0 0 104 188 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1134488 CPUtime=4.1
/proc/31029/task/31037/stat : 31037 (satake) R 31027 31029 27791 0 -1 4202560 17853 0 0 0 124 286 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1134488 CPUtime=3
/proc/31029/task/31038/stat : 31038 (satake) S 31027 31029 27791 0 -1 4202560 17890 0 0 0 112 188 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1134488 CPUtime=2.84
/proc/31029/task/31039/stat : 31039 (satake) R 31027 31029 27791 0 -1 4202560 17999 0 0 0 90 194 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1134488 CPUtime=2.96
/proc/31029/task/31040/stat : 31040 (satake) R 31027 31029 27791 0 -1 4202560 17918 0 0 0 102 194 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1134488 CPUtime=4.38
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 17711 0 0 0 152 286 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1134488 CPUtime=4.1
/proc/31029/task/31042/stat : 31042 (satake) R 31027 31029 27791 0 -1 4202560 17780 0 0 0 112 298 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1134488 CPUtime=3.94
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 17726 0 0 0 120 274 0 0 20 0 16 0 633205746 1161715712 204924 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134670000 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1134488 CPUtime=4.1
/proc/31029/task/31044/stat : 31044 (satake) S 31027 31029 27791 0 -1 4202560 17614 0 0 0 136 274 0 0 20 0 16 0 633205747 1161715712 204924 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1134488 CPUtime=2.86
/proc/31029/task/31045/stat : 31045 (satake) R 31027 31029 27791 0 -1 4202560 17748 0 0 0 86 200 0 0 20 0 16 0 633205747 1161715712 204924 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 1134488
[startup+11.5005 s]
/proc/loadavg: 7.97 6.55 7.63 13/200 31051
/proc/meminfo: memFree=18277716/36427776 swapFree=4580/855048
[pid=31029] ppid=31027 vsize=587976 CPUtime=52.92
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 272586 0 0 0 1754 3538 0 0 20 0 2 0 633205746 602087424 133037 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 146994 133037 77 164 0 146829 0
[pid=31029/tid=31041] ppid=31027 vsize=587976 CPUtime=4.76
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 17742 0 0 0 190 286 0 0 20 0 2 0 633205746 602087424 133037 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134670748 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 52.92
Current children cumulated vsize (KiB) 587976
[startup+11.6006 s]
/proc/loadavg: 7.97 6.55 7.63 13/200 31051
/proc/meminfo: memFree=18277716/36427776 swapFree=4580/855048
[pid=31029] ppid=31027 vsize=0 CPUtime=53.03
/proc/31029/stat : 31029 (satake) R 31027 31029 27791 0 -1 4202500 272587 0 0 0 1759 3544 0 0 20 0 1 0 633205746 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 53.03
Current children cumulated vsize (KiB) 0
Child status: 16
Real time (s): 11.6033
CPU time (s): 53.0473
CPU user time (s): 17.5931
CPU system time (s): 35.4542
CPU usage (%): 457.174
Max. virtual memory (cumulated for all children) (KiB): 1316188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5931
system time used= 35.4542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272587
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= 334212
involuntary context switches= 2241
runsolver used 0.060003 second user time and 0.152009 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 18:49:53
IDJOB=1776192
IDBENCH=20463
IDSOLVER=631
FILE ID=xenhost3-49/1776192-1244738993
PBS_JOBID=
Free space on /tmp= 7024 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776192-1244738993/watcher-1776192-1244738993 -o /tmp/evaluation-result-1776192-1244738993/solver-1776192-1244738993 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776192-1244738993.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 6c6fd606fd41d7205b07602118ad74a0
RANDOM SEED= 558106194
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: 19127052 kB
Buffers: 432328 kB
Cached: 14116600 kB
SwapCached: 0 kB
Active: 4077372 kB
Inactive: 10479876 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 16732 kB
Writeback: 0 kB
AnonPages: 8428 kB
Mapped: 4140 kB
Slab: 687924 kB
SReclaimable: 660944 kB
SUnreclaim: 26980 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-11 18:50:06