2442.56/921.10 c Benchmark name : HOME/instance-1776057-1244734745.cnf
2442.56/921.10 c Thread Num : 16
2442.56/921.10 c restarts : 13
2442.56/921.10 c conflicts : 37171
2442.56/921.10 c decisions : 67921 ( 75 / sec )
2442.56/921.10 c propagations : 146426901 ( 160843 / sec )
2442.56/921.10 c inspects : 492263235 ( 540729 / sec )
2442.56/921.10 c conflict literals : 1043836 ( 32.98 % deleted )
2442.56/921.10 c cpu time : 910.37
2442.56/921.10 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776057-1244734745/watcher-1776057-1244734745 -o /tmp/evaluation-result-1776057-1244734745/solver-1776057-1244734745 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776057-1244734745.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.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 451 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 407 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 1804 407 63 164 0 1639 0
[pid=30469/tid=30470] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 413 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30471/stat : 30471 (satake) R 30467 30469 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 415 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 418 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 419 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 420 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=7216 CPUtime=0
/proc/30469/task/30475/stat : 30475 (satake) S 30467 30469 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632780950 7389184 431 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 431 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30477/stat : 30477 (satake) S 30467 30469 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 434 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30478/stat : 30478 (satake) S 30467 30469 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 435 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30479/stat : 30479 (satake) R 30467 30469 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 437 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30480/stat : 30480 (satake) S 30467 30469 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632780950 7524352 438 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 438 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30482/stat : 30482 (satake) R 30467 30469 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 438 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30483/stat : 30483 (satake) R 30467 30469 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30484/stat : 30484 (satake) R 30467 30469 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 458 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=7348 CPUtime=0
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 632780951 7524352 461 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[startup+0.030758 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=11860 CPUtime=0.13
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 1346 0 0 0 5 8 0 0 20 0 17 0 632780950 12144640 1301 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 3030 1334 63 164 0 2865 0
[pid=30469/tid=30470] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1339 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30471/stat : 30471 (satake) D 30467 30469 27791 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1340 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30472/stat : 30472 (satake) D 30467 30469 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=12120 CPUtime=0
/proc/30469/task/30473/stat : 30473 (satake) D 30467 30469 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 632780950 12410880 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30474/stat : 30474 (satake) D 30467 30469 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30475/stat : 30475 (satake) D 30467 30469 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1439 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1440 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30477/stat : 30477 (satake) R 30467 30469 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1442 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1491 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=12376 CPUtime=0
/proc/30469/task/30479/stat : 30479 (satake) D 30467 30469 27791 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 17 0 632780950 12673024 1494 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30480/stat : 30480 (satake) D 30467 30469 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 632780950 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30481/stat : 30481 (satake) D 30467 30469 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 632780951 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30482/stat : 30482 (satake) D 30467 30469 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 17 0 632780951 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=12888 CPUtime=0
/proc/30469/task/30483/stat : 30483 (satake) D 30467 30469 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 632780951 13197312 1507 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=13144 CPUtime=0
/proc/30469/task/30484/stat : 30484 (satake) R 30467 30469 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 632780951 13459456 1577 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=13144 CPUtime=0
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 17 0 632780951 13459456 1580 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 11860
[startup+0.110147 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=61720 CPUtime=0.84
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 11320 0 0 0 8 76 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 15430 11259 63 164 0 15265 0
[pid=30469/tid=30470] ppid=30467 vsize=61720 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=61720 CPUtime=0.08
/proc/30469/task/30471/stat : 30471 (satake) D 30467 30469 27791 0 -1 4202560 1208 0 0 0 0 8 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=61720 CPUtime=0.08
/proc/30469/task/30472/stat : 30472 (satake) D 30467 30469 27791 0 -1 4202560 1083 0 0 0 0 8 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30473/stat : 30473 (satake) D 30467 30469 27791 0 -1 4202560 1034 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30474/stat : 30474 (satake) D 30467 30469 27791 0 -1 4202560 947 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30475/stat : 30475 (satake) D 30467 30469 27791 0 -1 4202560 979 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=61720 CPUtime=0.04
/proc/30469/task/30476/stat : 30476 (satake) D 30467 30469 27791 0 -1 4202560 677 0 0 0 0 4 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=61720 CPUtime=0.02
/proc/30469/task/30477/stat : 30477 (satake) D 30467 30469 27791 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=61720 CPUtime=0
/proc/30469/task/30478/stat : 30478 (satake) D 30467 30469 27791 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30479/stat : 30479 (satake) D 30467 30469 27791 0 -1 4202560 900 0 0 0 0 6 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=61720 CPUtime=0.02
/proc/30469/task/30480/stat : 30480 (satake) D 30467 30469 27791 0 -1 4202560 343 0 0 0 0 2 0 0 20 0 17 0 632780950 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 632780951 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=61720 CPUtime=0.06
/proc/30469/task/30482/stat : 30482 (satake) D 30467 30469 27791 0 -1 4202560 1009 0 0 0 0 6 0 0 20 0 17 0 632780951 63201280 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=69916 CPUtime=0.06
/proc/30469/task/30483/stat : 30483 (satake) D 30467 30469 27791 0 -1 4202560 925 0 0 0 0 6 0 0 20 0 17 0 632780951 71593984 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=65816 CPUtime=0
/proc/30469/task/30484/stat : 30484 (satake) D 30467 30469 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 632780951 67395584 11259 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=65816 CPUtime=0.04
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 525 0 0 0 0 4 0 0 20 0 17 0 632780951 67395584 11263 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 61720
[startup+0.30623 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=193668 CPUtime=2.6
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 39545 0 0 0 9 251 0 0 20 0 17 0 632780950 198316032 39488 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 48417 39489 63 164 0 48252 0
[pid=30469/tid=30470] ppid=30467 vsize=193668 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 198316032 39489 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30471/stat : 30471 (satake) R 30467 30469 27791 0 -1 4202560 4001 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39491 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 3646 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39491 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 1876 0 0 0 0 12 0 0 20 0 17 0 632780950 198316032 39492 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=193668 CPUtime=0.14
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 2353 0 0 0 0 14 0 0 20 0 17 0 632780950 198316032 39493 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30475/stat : 30475 (satake) R 30467 30469 27791 0 -1 4202560 3997 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39495 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 2057 0 0 0 0 12 0 0 20 0 17 0 632780950 198316032 39497 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=193668 CPUtime=0.1
/proc/30469/task/30477/stat : 30477 (satake) R 30467 30469 27791 0 -1 4202560 1317 0 0 0 2 8 0 0 20 0 17 0 632780950 198316032 39497 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=193668 CPUtime=0.1
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 1892 0 0 0 0 10 0 0 20 0 17 0 632780950 198316032 39504 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30479/stat : 30479 (satake) R 30467 30469 27791 0 -1 4202560 3054 0 0 0 0 22 0 0 20 0 17 0 632780950 198316032 39555 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30480/stat : 30480 (satake) D 30467 30469 27791 0 -1 4202560 1361 0 0 0 0 12 0 0 20 0 17 0 632780950 198316032 39580 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30481/stat : 30481 (satake) D 30467 30469 27791 0 -1 4202560 3453 0 0 0 0 22 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30482/stat : 30482 (satake) D 30467 30469 27791 0 -1 4202560 3765 0 0 0 0 22 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=193668 CPUtime=0.22
/proc/30469/task/30483/stat : 30483 (satake) D 30467 30469 27791 0 -1 4202560 3589 0 0 0 0 22 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=193668 CPUtime=0.08
/proc/30469/task/30484/stat : 30484 (satake) D 30467 30469 27791 0 -1 4202560 1331 0 0 0 0 8 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=193668 CPUtime=0.12
/proc/30469/task/30485/stat : 30485 (satake) D 30467 30469 27791 0 -1 4202560 1769 0 0 0 0 12 0 0 20 0 17 0 632780951 198316032 39582 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 193668
[startup+0.706105 s]
/proc/loadavg: 2.60 5.88 7.57 2/184 30469
/proc/meminfo: memFree=19128732/36427776 swapFree=4068/8228
[pid=30469] ppid=30467 vsize=258696 CPUtime=4.94
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 59072 0 0 0 17 477 0 0 20 0 17 0 632780950 264904704 59011 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 64674 59013 63 164 0 64509 0
[pid=30469/tid=30470] ppid=30467 vsize=258696 CPUtime=0
/proc/30469/task/30470/stat : 30470 (satake) S 30467 30469 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632780950 264904704 59023 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=258696 CPUtime=0.46
/proc/30469/task/30471/stat : 30471 (satake) S 30467 30469 27791 0 -1 4202560 4661 0 0 0 2 44 0 0 20 0 17 0 632780950 264904704 59026 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=258696 CPUtime=0.38
/proc/30469/task/30472/stat : 30472 (satake) S 30467 30469 27791 0 -1 4202560 4199 0 0 0 0 38 0 0 20 0 17 0 632780950 264904704 59026 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=258696 CPUtime=0.24
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 3847 0 0 0 0 24 0 0 20 0 17 0 632780950 264904704 59030 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=258696 CPUtime=0.26
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 3958 0 0 0 0 26 0 0 20 0 17 0 632780950 264904704 59030 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=258696 CPUtime=0.44
/proc/30469/task/30475/stat : 30475 (satake) S 30467 30469 27791 0 -1 4202560 4841 0 0 0 4 40 0 0 20 0 17 0 632780950 264904704 59032 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=258696 CPUtime=0.24
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 3683 0 0 0 0 24 0 0 20 0 17 0 632780950 264904704 59041 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=258696 CPUtime=0.24
/proc/30469/task/30477/stat : 30477 (satake) R 30467 30469 27791 0 -1 4202560 3369 0 0 0 2 22 0 0 20 0 17 0 632780950 264904704 59055 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=258696 CPUtime=0.22
/proc/30469/task/30478/stat : 30478 (satake) D 30467 30469 27791 0 -1 4202560 3579 0 0 0 0 22 0 0 20 0 17 0 632780950 264904704 59065 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=258696 CPUtime=0.42
################
# More data... #
################
/proc/30469/task/30478/stat : 30478 (satake) S 30467 30469 27791 0 -1 4202560 20192 0 0 0 9943 1652 0 0 20 0 17 0 632780950 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=1189720 CPUtime=135.49
/proc/30469/task/30479/stat : 30479 (satake) S 30467 30469 27791 0 -1 4202560 19945 0 0 0 11749 1800 0 0 20 0 17 0 632780950 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=1189720 CPUtime=128.52
/proc/30469/task/30480/stat : 30480 (satake) S 30467 30469 27791 0 -1 4202560 20282 0 0 0 11040 1812 0 0 20 0 17 0 632780950 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=1189720 CPUtime=131.48
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 19952 0 0 0 11096 2052 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=1189720 CPUtime=129.38
/proc/30469/task/30482/stat : 30482 (satake) S 30467 30469 27791 0 -1 4202560 19852 0 0 0 10786 2152 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=1189720 CPUtime=129.52
/proc/30469/task/30483/stat : 30483 (satake) R 30467 30469 27791 0 -1 4202560 20321 0 0 0 10742 2210 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=1189720 CPUtime=124.24
/proc/30469/task/30484/stat : 30484 (satake) S 30467 30469 27791 0 -1 4202560 20108 0 0 0 10272 2152 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=1189720 CPUtime=117.1
/proc/30469/task/30485/stat : 30485 (satake) S 30467 30469 27791 0 -1 4202560 20175 0 0 0 9622 2088 0 0 20 0 17 0 632780951 1218273280 256525 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2280.82
Current children cumulated vsize (KiB) 1189720
Solver just ended. Dumping a history of the last processes samples
[startup+896.003 s]
/proc/loadavg: 4.28 3.91 5.16 5/201 30501
/proc/meminfo: memFree=18099380/36427776 swapFree=4588/1038868
[pid=30469] ppid=30467 vsize=1191560 CPUtime=2339.06
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314234 0 0 0 166868 67038 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 297890 257278 68 164 0 297725 0
[pid=30469/tid=30470] ppid=30467 vsize=1191560 CPUtime=428.25
/proc/30469/task/30470/stat : 30470 (satake) R 30467 30469 27791 0 -1 4202560 11039 0 0 0 4788 38037 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=1191560 CPUtime=124
/proc/30469/task/30471/stat : 30471 (satake) S 30467 30469 27791 0 -1 4202560 19961 0 0 0 10656 1744 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=1191560 CPUtime=119.16
/proc/30469/task/30472/stat : 30472 (satake) S 30467 30469 27791 0 -1 4202560 19938 0 0 0 10194 1722 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=1191560 CPUtime=115.84
/proc/30469/task/30473/stat : 30473 (satake) S 30467 30469 27791 0 -1 4202560 20562 0 0 0 9710 1874 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=1191560 CPUtime=119.58
/proc/30469/task/30474/stat : 30474 (satake) S 30467 30469 27791 0 -1 4202560 20308 0 0 0 10084 1874 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=1191560 CPUtime=123.31
/proc/30469/task/30475/stat : 30475 (satake) S 30467 30469 27791 0 -1 4202560 19910 0 0 0 10361 1970 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=1191560 CPUtime=144.86
/proc/30469/task/30476/stat : 30476 (satake) R 30467 30469 27791 0 -1 4202560 20627 0 0 0 12584 1902 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520804 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=1191560 CPUtime=128.57
/proc/30469/task/30477/stat : 30477 (satake) S 30467 30469 27791 0 -1 4202560 20536 0 0 0 11071 1786 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=1191560 CPUtime=118.62
/proc/30469/task/30478/stat : 30478 (satake) S 30467 30469 27791 0 -1 4202560 20246 0 0 0 10192 1670 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=1191560 CPUtime=137.66
/proc/30469/task/30479/stat : 30479 (satake) S 30467 30469 27791 0 -1 4202560 19976 0 0 0 11948 1818 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=1191560 CPUtime=131.87
/proc/30469/task/30480/stat : 30480 (satake) R 30467 30469 27791 0 -1 4202560 20331 0 0 0 11345 1842 0 0 20 0 17 0 632780950 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=1191560 CPUtime=135.02
/proc/30469/task/30481/stat : 30481 (satake) R 30467 30469 27791 0 -1 4202560 19978 0 0 0 11416 2086 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=1191560 CPUtime=133.08
/proc/30469/task/30482/stat : 30482 (satake) R 30467 30469 27791 0 -1 4202560 19890 0 0 0 11136 2172 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=1191560 CPUtime=132.32
/proc/30469/task/30483/stat : 30483 (satake) R 30467 30469 27791 0 -1 4202560 20398 0 0 0 10980 2252 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134518218 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=1191560 CPUtime=127.62
/proc/30469/task/30484/stat : 30484 (satake) S 30467 30469 27791 0 -1 4202560 20194 0 0 0 10584 2178 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=1191560 CPUtime=119.17
/proc/30469/task/30485/stat : 30485 (satake) S 30467 30469 27791 0 -1 4202560 20214 0 0 0 9811 2106 0 0 20 0 17 0 632780951 1220157440 257278 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2339.06
Current children cumulated vsize (KiB) 1191560
[startup+908.805 s]
/proc/loadavg: 4.40 3.95 5.16 9/201 30501
/proc/meminfo: memFree=18097272/36427776 swapFree=4588/1040588
[pid=30469] ppid=30467 vsize=1193516 CPUtime=2398.96
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314658 0 0 0 172091 67805 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 298379 257702 68 164 0 298214 0
[pid=30469/tid=30470] ppid=30467 vsize=1193516 CPUtime=433.97
/proc/30469/task/30470/stat : 30470 (satake) R 30467 30469 27791 0 -1 4202560 11069 0 0 0 4850 38547 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30471] ppid=30467 vsize=1193516 CPUtime=126.1
/proc/30469/task/30471/stat : 30471 (satake) S 30467 30469 27791 0 -1 4202560 19964 0 0 0 10852 1758 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30469/tid=30472] ppid=30467 vsize=1193516 CPUtime=122.14
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 10480 1734 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520810 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30473] ppid=30467 vsize=1193516 CPUtime=124.51
/proc/30469/task/30473/stat : 30473 (satake) R 30467 30469 27791 0 -1 4202560 20581 0 0 0 10569 1882 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520716 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30469/tid=30474] ppid=30467 vsize=1193516 CPUtime=123.14
/proc/30469/task/30474/stat : 30474 (satake) R 30467 30469 27791 0 -1 4202560 20369 0 0 0 10422 1892 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30469/tid=30475] ppid=30467 vsize=1193516 CPUtime=124.95
/proc/30469/task/30475/stat : 30475 (satake) R 30467 30469 27791 0 -1 4202560 19911 0 0 0 10503 1992 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30469/tid=30476] ppid=30467 vsize=1193516 CPUtime=149.02
/proc/30469/task/30476/stat : 30476 (satake) D 30467 30469 27791 0 -1 4202560 20635 0 0 0 12980 1922 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30469/tid=30477] ppid=30467 vsize=1193516 CPUtime=132.24
/proc/30469/task/30477/stat : 30477 (satake) S 30467 30469 27791 0 -1 4202560 20582 0 0 0 11418 1806 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=1193516 CPUtime=125.01
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 20252 0 0 0 10815 1686 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134672196 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30469/tid=30479] ppid=30467 vsize=1193516 CPUtime=140
/proc/30469/task/30479/stat : 30479 (satake) S 30467 30469 27791 0 -1 4202560 20023 0 0 0 12164 1836 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30469/tid=30480] ppid=30467 vsize=1193516 CPUtime=135.61
/proc/30469/task/30480/stat : 30480 (satake) S 30467 30469 27791 0 -1 4202560 20405 0 0 0 11699 1862 0 0 20 0 17 0 632780950 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=30469/tid=30481] ppid=30467 vsize=1193516 CPUtime=137.04
/proc/30469/task/30481/stat : 30481 (satake) S 30467 30469 27791 0 -1 4202560 19978 0 0 0 11604 2100 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30469/tid=30482] ppid=30467 vsize=1193516 CPUtime=135.06
/proc/30469/task/30482/stat : 30482 (satake) S 30467 30469 27791 0 -1 4202560 19902 0 0 0 11318 2188 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30469/tid=30483] ppid=30467 vsize=1193516 CPUtime=135.16
/proc/30469/task/30483/stat : 30483 (satake) S 30467 30469 27791 0 -1 4202560 20475 0 0 0 11250 2266 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30469/tid=30484] ppid=30467 vsize=1193516 CPUtime=132.93
/proc/30469/task/30484/stat : 30484 (satake) R 30467 30469 27791 0 -1 4202560 20200 0 0 0 11101 2192 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520798 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30469/tid=30485] ppid=30467 vsize=1193516 CPUtime=121.91
/proc/30469/task/30485/stat : 30485 (satake) S 30467 30469 27791 0 -1 4202560 20236 0 0 0 10057 2134 0 0 20 0 17 0 632780951 1222160384 257702 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2398.96
Current children cumulated vsize (KiB) 1193516
[startup+915.201 s]
/proc/loadavg: 4.55 4.00 5.16 4/187 30501
/proc/meminfo: memFree=18326412/36427776 swapFree=4624/807280
[pid=30469] ppid=30467 vsize=841276 CPUtime=2436.4
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175095 68545 0 0 20 0 3 0 632780950 861466624 199234 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 210319 199234 77 164 0 210154 0
[pid=30469/tid=30472] ppid=30467 vsize=841276 CPUtime=128.34
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11100 1734 0 0 20 0 3 0 632780950 861466624 199234 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520800 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30469/tid=30478] ppid=30467 vsize=841276 CPUtime=131.33
/proc/30469/task/30478/stat : 30478 (satake) R 30467 30469 27791 0 -1 4202560 20252 0 0 0 11447 1686 0 0 20 0 3 0 632780950 861466624 199234 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134521127 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2436.4
Current children cumulated vsize (KiB) 841276
[startup+918.402 s]
/proc/loadavg: 4.55 4.00 5.16 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=808564 CPUtime=2439.88
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175443 68545 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 202141 193587 77 164 0 201976 0
[pid=30469/tid=30472] ppid=30467 vsize=808564 CPUtime=131.56
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11422 1734 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520815 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2439.88
Current children cumulated vsize (KiB) 808564
[startup+920.002 s]
/proc/loadavg: 4.55 4.00 5.16 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=808564 CPUtime=2441.49
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175604 68545 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 202141 193587 77 164 0 201976 0
[pid=30469/tid=30472] ppid=30467 vsize=808564 CPUtime=133.17
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11583 1734 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134520773 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2441.49
Current children cumulated vsize (KiB) 808564
[startup+920.81 s]
/proc/loadavg: 4.27 3.95 5.14 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=808564 CPUtime=2442.3
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175685 68545 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 202141 193587 77 164 0 201976 0
[pid=30469/tid=30472] ppid=30467 vsize=808564 CPUtime=133.98
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11664 1734 0 0 20 0 2 0 632780950 827969536 193587 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2442.3
Current children cumulated vsize (KiB) 808564
[startup+921.002 s]
/proc/loadavg: 4.27 3.95 5.14 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=798176 CPUtime=2442.5
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175705 68545 0 0 20 0 2 0 632780950 817332224 191697 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 199544 191697 77 164 0 199379 0
[pid=30469/tid=30472] ppid=30467 vsize=798176 CPUtime=134.18
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11684 1734 0 0 20 0 2 0 632780950 817332224 191697 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2442.5
Current children cumulated vsize (KiB) 798176
[startup+921.102 s]
/proc/loadavg: 4.27 3.95 5.14 2/186 30501
/proc/meminfo: memFree=18349236/36427776 swapFree=4624/784360
[pid=30469] ppid=30467 vsize=638288 CPUtime=2442.56
/proc/30469/stat : 30469 (satake) S 30467 30469 27791 0 -1 4202496 314736 0 0 0 175711 68545 0 0 20 0 2 0 632780950 653606912 154000 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/30469/statm: 159572 154000 77 164 0 159407 0
[pid=30469/tid=30472] ppid=30467 vsize=638288 CPUtime=134.24
/proc/30469/task/30472/stat : 30472 (satake) R 30467 30469 27791 0 -1 4202560 19950 0 0 0 11690 1734 0 0 20 0 2 0 632780950 653606912 154000 18446744073709551615 134512640 135180984 4292826336 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2442.56
Current children cumulated vsize (KiB) 638288
Child status: 16
Real time (s): 921.183
CPU time (s): 2442.65
CPU user time (s): 1757.12
CPU system time (s): 685.535
CPU usage (%): 265.165
Max. virtual memory (cumulated for all children) (KiB): 1193680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.12
system time used= 685.535
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314737
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= 56862770
involuntary context switches= 5014772
runsolver used 3.96825 second user time and 10.3926 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 17:39:05
IDJOB=1776057
IDBENCH=20418
IDSOLVER=631
FILE ID=xenhost3-49/1776057-1244734745
PBS_JOBID=
Free space on /tmp= 7025 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776057-1244734745/watcher-1776057-1244734745 -o /tmp/evaluation-result-1776057-1244734745/solver-1776057-1244734745 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776057-1244734745.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 1204276674
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: 19128732 kB
Buffers: 432216 kB
Cached: 14115896 kB
SwapCached: 0 kB
Active: 4077060 kB
Inactive: 10479184 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 16016 kB
Writeback: 0 kB
AnonPages: 8228 kB
Mapped: 4068 kB
Slab: 687704 kB
SReclaimable: 660800 kB
SUnreclaim: 26904 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-11 17:54:27