runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776282-1244743439/watcher-1776282-1244743439 -o /tmp/evaluation-result-1776282-1244743439/solver-1776282-1244743439 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776282-1244743439.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: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=7048 CPUtime=0
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 17 0 633650298 7217152 403 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 1762 404 63 164 0 1597 0
[pid=31435/tid=31436] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31436/stat : 31436 (satake) S 31433 31435 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 411 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 411 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 413 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) R 31433 31435 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 417 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) R 31433 31435 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 421 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) R 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 422 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) R 31433 31435 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 440 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=7180 CPUtime=0
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633650298 7352320 447 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31444/stat : 31444 (satake) D 31433 31435 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 447 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 449 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31446/stat : 31446 (satake) S 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 451 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31447/stat : 31447 (satake) R 31433 31435 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 452 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) D 31433 31435 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31449/stat : 31449 (satake) R 31433 31435 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) R 31433 31435 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=7312 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) R 31433 31435 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 633650299 7487488 454 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[startup+0.113201 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=10876 CPUtime=0.28
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1684 0 0 0 16 12 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2719 1318 68 164 0 2554 0
[pid=31435/tid=31436] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 15 0 0 0 0 2 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) S 31433 31435 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31444/stat : 31444 (satake) R 31433 31435 27791 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31446/stat : 31446 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31447/stat : 31447 (satake) S 31433 31435 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) S 31433 31435 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31449/stat : 31449 (satake) S 31433 31435 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) S 31433 31435 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) S 31433 31435 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1318 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10876
[startup+0.201203 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=10876 CPUtime=0.36
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1702 0 0 0 21 15 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2719 1336 68 164 0 2554 0
[pid=31435/tid=31436] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 18 0 0 0 0 4 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) S 31433 31435 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31444/stat : 31444 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 4 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31446/stat : 31446 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31447/stat : 31447 (satake) S 31433 31435 27791 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) S 31433 31435 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31449/stat : 31449 (satake) D 31433 31435 27791 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) S 31433 31435 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) S 31433 31435 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1336 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10876
[startup+0.301218 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=10876 CPUtime=0.46
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1715 0 0 0 24 22 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2719 1349 68 164 0 2554 0
[pid=31435/tid=31436] ppid=31433 vsize=10876 CPUtime=0.08
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 21 0 0 0 0 8 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31441/stat : 31441 (satake) S 31433 31435 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31444/stat : 31444 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 4 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31445/stat : 31445 (satake) S 31433 31435 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31446] ppid=31433 vsize=10876 CPUtime=0.04
/proc/31435/task/31446/stat : 31446 (satake) R 31433 31435 27791 0 -1 4202560 88 0 0 0 4 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31435/tid=31447] ppid=31433 vsize=10876 CPUtime=0.02
/proc/31435/task/31447/stat : 31447 (satake) S 31433 31435 27791 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31448] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31448/stat : 31448 (satake) S 31433 31435 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31449] ppid=31433 vsize=10876 CPUtime=0.06
/proc/31435/task/31449/stat : 31449 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 2 4 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31435/tid=31450] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31450/stat : 31450 (satake) S 31433 31435 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31451] ppid=31433 vsize=10876 CPUtime=0
/proc/31435/task/31451/stat : 31451 (satake) S 31433 31435 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 633650299 11137024 1349 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10876
[startup+0.701239 s]
/proc/loadavg: 2.06 2.01 2.03 2/184 31435
/proc/meminfo: memFree=19144184/36427776 swapFree=4160/8952
[pid=31435] ppid=31433 vsize=11008 CPUtime=0.86
/proc/31435/stat : 31435 (satake) S 31433 31435 27791 0 -1 4202496 1770 0 0 0 31 55 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31435/statm: 2752 1404 68 164 0 2587 0
[pid=31435/tid=31436] ppid=31433 vsize=11008 CPUtime=0.26
/proc/31435/task/31436/stat : 31436 (satake) R 31433 31435 27791 0 -1 4202560 28 0 0 0 2 24 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31437] ppid=31433 vsize=11008 CPUtime=0.06
/proc/31435/task/31437/stat : 31437 (satake) S 31433 31435 27791 0 -1 4202560 99 0 0 0 0 6 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31438] ppid=31433 vsize=11008 CPUtime=0.02
/proc/31435/task/31438/stat : 31438 (satake) S 31433 31435 27791 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31435/tid=31439] ppid=31433 vsize=11008 CPUtime=0.06
/proc/31435/task/31439/stat : 31439 (satake) S 31433 31435 27791 0 -1 4202560 115 0 0 0 0 6 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31440] ppid=31433 vsize=11008 CPUtime=0
/proc/31435/task/31440/stat : 31440 (satake) S 31433 31435 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31435/tid=31441] ppid=31433 vsize=11008 CPUtime=0.04
/proc/31435/task/31441/stat : 31441 (satake) R 31433 31435 27791 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31435/tid=31442] ppid=31433 vsize=11008 CPUtime=0
/proc/31435/task/31442/stat : 31442 (satake) S 31433 31435 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31435/tid=31443] ppid=31433 vsize=11008 CPUtime=0.02
/proc/31435/task/31443/stat : 31443 (satake) S 31433 31435 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633650298 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31435/tid=31444] ppid=31433 vsize=11008 CPUtime=0.04
/proc/31435/task/31444/stat : 31444 (satake) S 31433 31435 27791 0 -1 4202560 120 0 0 0 4 0 0 0 20 0 17 0 633650299 11272192 1404 18446744073709551615 134512640 135180984 4293596560 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31435/tid=31445] ppid=31433 vsize=11008 CPUtime=0
################
# More data... #
################
deleting IPC queue 438763598
deleting IPC queue 438796367
deleting IPC queue 438829136
deleting IPC queue 438861905
deleting IPC queue 438894674
deleting IPC queue 438927443
deleting IPC queue 438960212
deleting IPC queue 438992981
deleting IPC queue 439025750
deleting IPC queue 439058519
deleting IPC queue 439091288
deleting IPC queue 439124057
deleting IPC queue 439156826
deleting IPC queue 439189595
deleting IPC queue 439222364
deleting IPC queue 439255133
deleting IPC queue 439287902
deleting IPC queue 439320671
deleting IPC queue 439353440
deleting IPC queue 439386209
deleting IPC queue 439418978
deleting IPC queue 439451747
deleting IPC queue 439484516
deleting IPC queue 439517285
deleting IPC queue 439550054
deleting IPC queue 439582823
deleting IPC queue 439615592
deleting IPC queue 439648361
deleting IPC queue 439681130
deleting IPC queue 439713899
deleting IPC queue 439746668
deleting IPC queue 439779437
deleting IPC queue 439812206
deleting IPC queue 439844975
deleting IPC queue 439877744
deleting IPC queue 439910513
deleting IPC queue 439943282
deleting IPC queue 439976051
deleting IPC queue 440008820
deleting IPC queue 440041589
deleting IPC queue 440074358
deleting IPC queue 440107127
deleting IPC queue 440139896
deleting IPC queue 440172665
deleting IPC queue 440205434
deleting IPC queue 440238203
deleting IPC queue 440270972
deleting IPC queue 440303741
deleting IPC queue 440336510
deleting IPC queue 440369279
deleting IPC queue 440402048
deleting IPC queue 440434817
deleting IPC queue 440467586
deleting IPC queue 440500355
deleting IPC queue 440533124
deleting IPC queue 440565893
deleting IPC queue 440598662
deleting IPC queue 440631431
deleting IPC queue 440664200
deleting IPC queue 440696969
deleting IPC queue 440729738
deleting IPC queue 440762507
deleting IPC queue 440795276
deleting IPC queue 440828045
deleting IPC queue 440860814
deleting IPC queue 440893583
deleting IPC queue 440926352
deleting IPC queue 440959121
deleting IPC queue 440991890
deleting IPC queue 441024659
deleting IPC queue 441057428
deleting IPC queue 441090197
deleting IPC queue 441122966
deleting IPC queue 441155735
deleting IPC queue 441188504
deleting IPC queue 441221273
deleting IPC queue 441254042
deleting IPC queue 441286811
deleting IPC queue 441319580
deleting IPC queue 441352349
deleting IPC queue 441385118
deleting IPC queue 441417887
deleting IPC queue 441450656
deleting IPC queue 441483425
deleting IPC queue 441516194
deleting IPC queue 441548963
deleting IPC queue 441581732
deleting IPC queue 441614501
deleting IPC queue 441647270
deleting IPC queue 441680039
deleting IPC queue 441712808
deleting IPC queue 441745577
deleting IPC queue 441778346
deleting IPC queue 441811115
deleting IPC queue 441843884
deleting IPC queue 441876653
deleting IPC queue 441909422
deleting IPC queue 441942191
deleting IPC queue 441974960
deleting IPC queue 442007729
deleting IPC queue 442040498
deleting IPC queue 442073267
deleting IPC queue 442106036
deleting IPC queue 442138805
deleting IPC queue 442171574
deleting IPC queue 442204343
deleting IPC queue 442237112
deleting IPC queue 442269881
deleting IPC queue 442302650
deleting IPC queue 442335419
deleting IPC queue 442368188
deleting IPC queue 442400957
deleting IPC queue 442433726
deleting IPC queue 442466495
deleting IPC queue 442499264
deleting IPC queue 442532033
deleting IPC queue 442564802
deleting IPC queue 442597571
deleting IPC queue 442630340
deleting IPC queue 442663109
deleting IPC queue 442695878
deleting IPC queue 442728647
deleting IPC queue 442761416
deleting IPC queue 442794185
deleting IPC queue 442826954
deleting IPC queue 442859723
deleting IPC queue 442892492
deleting IPC queue 442925261
deleting IPC queue 442958030
deleting IPC queue 442990799
deleting IPC queue 443023568
deleting IPC queue 443056337
deleting IPC queue 443089106
deleting IPC queue 443121875
deleting IPC queue 443154644
deleting IPC queue 443187413
deleting IPC queue 443220182
deleting IPC queue 443252951
deleting IPC queue 443285720
deleting IPC queue 443318489
deleting IPC queue 443351258
deleting IPC queue 443384027
deleting IPC queue 443416796
deleting IPC queue 443449565
deleting IPC queue 443482334
deleting IPC queue 443515103
deleting IPC queue 443547872
deleting IPC queue 443580641
deleting IPC queue 443613410
deleting IPC queue 443646179
deleting IPC queue 443678948
deleting IPC queue 443711717
deleting IPC queue 443744486
deleting IPC queue 443777255
deleting IPC queue 443810024
deleting IPC queue 443842793
deleting IPC queue 443875562
deleting IPC queue 443908331
deleting IPC queue 443941100
deleting IPC queue 443973869
deleting IPC queue 444006638
deleting IPC queue 444039407
deleting IPC queue 444072176
deleting IPC queue 444104945
deleting IPC queue 444137714
deleting IPC queue 444170483
deleting IPC queue 444203252
deleting IPC queue 444236021
deleting IPC queue 444268790
deleting IPC queue 444301559
deleting IPC queue 444334328
deleting IPC queue 444367097
deleting IPC queue 444399866
deleting IPC queue 444432635
deleting IPC queue 444465404
deleting IPC queue 444498173
deleting IPC queue 444530942
deleting IPC queue 444563711
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 293.158
system time used= 741.798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13426
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= 68027513
involuntary context switches= 11949599
runsolver used 3.97225 second user time and 10.9567 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 20:03:59
IDJOB=1776282
IDBENCH=20474
IDSOLVER=631
FILE ID=xenhost3-49/1776282-1244743439
PBS_JOBID=
Free space on /tmp= 7040 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.10.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776282-1244743439/watcher-1776282-1244743439 -o /tmp/evaluation-result-1776282-1244743439/solver-1776282-1244743439 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776282-1244743439.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= b1a6497b6934405ef70bfcc51fa85893
RANDOM SEED= 1551248294
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: 19144184 kB
Buffers: 432348 kB
Cached: 14101080 kB
SwapCached: 0 kB
Active: 4077516 kB
Inactive: 10464636 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 688 kB
Writeback: 0 kB
AnonPages: 8952 kB
Mapped: 4160 kB
Slab: 687532 kB
SReclaimable: 660840 kB
SUnreclaim: 26692 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= 7039 MiB
End job on xenhost3-49 at 2009-06-11 20:20:42