0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-2098135-1247414228.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.39/0.42 nbVariables=450 nbDomainTypes=1 minDomainSize=12 maxDomainSize=12 nbTotalValues=5400
0.39/0.42 => wckTime=0.173 cpuTime=0.12 mem=9M843
0.39/0.42
0.39/0.42 predicates being loaded...
0.39/0.47
0.39/0.47 constraints being loaded...
3.55/3.67 nbConstraints=16791 nbGlobalConstraints=41 nbConvertedConstraints=16750 nbConvertConstraintsChecks=144
3.55/3.67 nbExtensionStructures=1 nbSharedExtensionStructures=16749 nbConflictsStructures=1
3.55/3.67 nbSharedConflictsStructures=16749 nbSharedBinaryRepresentations=12 minDegree=18 maxDegree=139 minArity=2
3.55/3.67 avgArity=2.02 maxArity=15 nbGenerators=0 nbFusions=0 symmetryWckTime=0.896 symmetryCpuTime=0.3 nbCliques=41
3.55/3.67 => wckTime=3.422 cpuTime=2.55 mem=31M116
3.75/3.84
3.75/3.84 solver IterativeSystematicSolver being built...
3.85/3.93
3.85/3.93 INFO : Forward propagation technique limited
3.95/4.02 => wckTime=3.78 cpuTime=2.68 mem=37M708
3.95/4.03
3.95/4.03 preprocessing
3.95/4.03 nbConstraintChecks=0 nbPropagations=2 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.95/4.03 detectedInconsistency=yes
3.95/4.03 => wckTime=0.0050 cpuTime=0.01 mem=37M708
3.95/4.03
3.95/4.03 global
3.95/4.03 nbConstraintChecks=0 nbPropagations=2 nbRestartNogoods=0 solvingWckTime=0.0080 solvingCpuTime=0.01
3.95/4.03 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=2.72
3.95/4.03 => wckTime=3.79 cpuTime=2.69 mem=38M733
3.95/4.03
3.95/4.03 s UNSATISFIABLE
3.95/4.03 d NODES 0
3.95/4.03 d CHECKS 0
3.95/4.03
3.95/4.04 totalWckTime=3.856 totalCpuTime=2.72
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098135-1247414228/watcher-2098135-1247414228 -o /tmp/evaluation-result-2098135-1247414228/solver-2098135-1247414228 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098135-1247414228.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.02 1.98 4/81 522
/proc/meminfo: memFree=1625432/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=152 CPUtime=0
/proc/522/stat : 522 (java) R 520 522 30436 0 -1 0 35 0 0 0 0 0 0 0 19 0 1 0 28488147 155648 20 996147200 134512640 134550932 4294956128 18446744073709551615 6380173 0 0 4096 0 0 0 0 17 0 0 0
/proc/522/statm: 38 20 14 9 0 4 0
[startup+0.0632229 s]
/proc/loadavg: 2.15 2.02 1.98 4/81 522
/proc/meminfo: memFree=1625432/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=864024 CPUtime=0.05
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 2834 0 1 0 3 2 0 0 19 0 9 0 28488147 884760576 2368 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 216006 2368 1122 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.102242 s]
/proc/loadavg: 2.15 2.02 1.98 4/81 522
/proc/meminfo: memFree=1625432/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=865984 CPUtime=0.08
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 3778 0 1 0 6 2 0 0 19 0 9 0 28488147 886767616 3235 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 216496 3235 1707 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301274 s]
/proc/loadavg: 2.15 2.02 1.98 4/81 522
/proc/meminfo: memFree=1625432/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=866380 CPUtime=0.28
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 6029 0 1 0 24 4 0 0 19 0 9 0 28488147 887173120 5395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 216595 5395 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701347 s]
/proc/loadavg: 2.15 2.02 1.98 4/81 522
/proc/meminfo: memFree=1625432/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=867808 CPUtime=0.68
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 9304 0 1 0 61 7 0 0 19 0 9 0 28488147 888635392 8658 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 216952 8658 2037 9 0 211388 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867808
[startup+1.5015 s]
/proc/loadavg: 2.15 2.02 1.98 3/90 531
/proc/meminfo: memFree=1580752/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=867724 CPUtime=1.48
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 18885 0 1 0 134 14 0 0 19 0 9 0 28488147 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 216931 18211 2029 9 0 211389 0
[pid=522/tid=524] ppid=520 vsize=867724 CPUtime=1.18
/proc/522/task/524/stat : 524 (java) R 520 522 30436 0 -1 64 15820 0 1 0 106 12 0 0 25 0 9 0 28488148 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 6796118 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=525] ppid=520 vsize=867724 CPUtime=0.07
/proc/522/task/525/stat : 525 (java) S 520 522 30436 0 -1 64 1663 0 0 0 7 0 0 0 16 0 9 0 28488150 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=526] ppid=520 vsize=867724 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 30436 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28488150 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=527] ppid=520 vsize=867724 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 30436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28488150 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=528] ppid=520 vsize=867724 CPUtime=0
/proc/522/task/528/stat : 528 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28488152 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=529] ppid=520 vsize=867724 CPUtime=0.2
/proc/522/task/529/stat : 529 (java) S 520 522 30436 0 -1 64 700 0 0 0 19 1 0 0 16 0 9 0 28488152 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=530] ppid=520 vsize=867724 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28488152 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=531] ppid=520 vsize=867724 CPUtime=0
/proc/522/task/531/stat : 531 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28488152 888549376 18211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867724
[startup+3.1028 s]
/proc/loadavg: 2.14 2.02 1.98 3/90 531
/proc/meminfo: memFree=1559952/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=867720 CPUtime=3.07
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 23707 0 1 0 233 74 0 0 19 0 9 0 28488147 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 216930 23031 2030 9 0 211388 0
[pid=522/tid=524] ppid=520 vsize=867720 CPUtime=2.58
/proc/522/task/524/stat : 524 (java) R 520 522 30436 0 -1 64 15834 0 1 0 188 70 0 0 25 0 9 0 28488148 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4126563495 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=525] ppid=520 vsize=867720 CPUtime=0.24
/proc/522/task/525/stat : 525 (java) S 520 522 30436 0 -1 64 6446 0 0 0 22 2 0 0 17 0 9 0 28488150 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=526] ppid=520 vsize=867720 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 30436 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28488150 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=527] ppid=520 vsize=867720 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 30436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28488150 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=528] ppid=520 vsize=867720 CPUtime=0
/proc/522/task/528/stat : 528 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28488152 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=529] ppid=520 vsize=867720 CPUtime=0.23
/proc/522/task/529/stat : 529 (java) S 520 522 30436 0 -1 64 725 0 0 0 22 1 0 0 15 0 9 0 28488152 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=530] ppid=520 vsize=867720 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28488152 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=531] ppid=520 vsize=867720 CPUtime=0
/proc/522/task/531/stat : 531 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28488152 888545280 23031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867720
Solver just ended. Dumping a history of the last processes samples
[startup+3.50288 s]
/proc/loadavg: 2.14 2.02 1.98 4/92 533
/proc/meminfo: memFree=1539008/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=868044 CPUtime=3.1
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 23848 0 1 0 235 75 0 0 19 0 10 0 28488147 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 217011 23049 2032 9 0 211469 0
[pid=533] ppid=522 vsize=6472 CPUtime=0.35
/proc/533/stat : 533 (saucy) R 522 522 30436 0 -1 4194304 869 0 0 0 35 0 0 0 20 0 1 0 28488459 6627328 837 996147200 134512640 134531332 4294956000 18446744073709551615 134523147 0 4 0 0 0 0 0 17 0 0 0
/proc/533/statm: 1618 837 95 4 0 1294 0
[pid=522/tid=524] ppid=520 vsize=868044 CPUtime=2.6
/proc/522/task/524/stat : 524 (java) S 520 522 30436 0 -1 64 15903 0 1 0 190 70 0 0 24 0 10 0 28488148 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=868044 CPUtime=0.24
/proc/522/task/525/stat : 525 (java) S 520 522 30436 0 -1 64 6446 0 0 0 22 2 0 0 17 0 10 0 28488150 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=526] ppid=520 vsize=868044 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 30436 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28488150 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=527] ppid=520 vsize=868044 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 30436 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28488150 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=528] ppid=520 vsize=868044 CPUtime=0
/proc/522/task/528/stat : 528 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 28488152 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=529] ppid=520 vsize=868044 CPUtime=0.23
/proc/522/task/529/stat : 529 (java) S 520 522 30436 0 -1 64 725 0 0 0 22 1 0 0 15 0 10 0 28488152 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=530] ppid=520 vsize=868044 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 30436 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 28488152 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=531] ppid=520 vsize=868044 CPUtime=0
/proc/522/task/531/stat : 531 (java) S 520 522 30436 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 28488152 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=532] ppid=520 vsize=868044 CPUtime=0
/proc/522/task/532/stat : 532 (java) S 520 522 30436 0 -1 64 64 0 0 0 0 0 0 0 19 0 10 0 28488459 888877056 23049 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 874516
[startup+3.90296 s]
/proc/loadavg: 2.14 2.02 1.98 4/92 533
/proc/meminfo: memFree=1539008/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=868192 CPUtime=3.85
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 33374 1046 1 0 270 78 36 1 19 0 9 0 28488147 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 217048 24803 2659 9 0 211484 0
[pid=522/tid=524] ppid=520 vsize=868192 CPUtime=3.13
/proc/522/task/524/stat : 524 (java) R 520 522 30436 0 -1 64 20293 1046 1 0 204 72 36 1 24 0 9 0 28488148 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4126439652 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=868192 CPUtime=0.78
/proc/522/task/525/stat : 525 (java) S 520 522 30436 0 -1 64 11305 1046 0 0 38 3 36 1 17 0 9 0 28488150 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/526/stat : 526 (java) S 520 522 30436 0 -1 64 22 1046 0 0 0 0 36 1 16 0 9 0 28488150 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/527/stat : 527 (java) S 520 522 30436 0 -1 64 8 1046 0 0 0 0 36 1 16 0 9 0 28488150 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/528/stat : 528 (java) S 520 522 30436 0 -1 64 1 1046 0 0 0 0 36 1 18 0 9 0 28488152 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=529] ppid=520 vsize=868192 CPUtime=0.64
/proc/522/task/529/stat : 529 (java) R 520 522 30436 0 -1 64 928 1046 0 0 26 1 36 1 15 0 9 0 28488152 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 102535207 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/530/stat : 530 (java) S 520 522 30436 0 -1 64 1 1046 0 0 0 0 36 1 19 0 9 0 28488152 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=531] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/531/stat : 531 (java) S 520 522 30436 0 -1 64 14 1046 0 0 0 0 36 1 15 0 9 0 28488152 889028608 24803 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 868192
[startup+4.00297 s]
/proc/loadavg: 2.14 2.02 1.98 4/92 533
/proc/meminfo: memFree=1539008/2055920 swapFree=4192812/4192956
[pid=522] ppid=520 vsize=868192 CPUtime=3.95
/proc/522/stat : 522 (java) S 520 522 30436 0 -1 0 34959 1046 1 0 280 78 36 1 19 0 9 0 28488147 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/522/statm: 217048 24843 2663 9 0 211484 0
[pid=522/tid=524] ppid=520 vsize=868192 CPUtime=3.2
/proc/522/task/524/stat : 524 (java) R 520 522 30436 0 -1 64 21738 1046 1 0 211 72 36 1 25 0 9 0 28488148 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 104078500 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=868192 CPUtime=0.78
/proc/522/task/525/stat : 525 (java) S 520 522 30436 0 -1 64 11305 1046 0 0 38 3 36 1 17 0 9 0 28488150 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/526/stat : 526 (java) S 520 522 30436 0 -1 64 22 1046 0 0 0 0 36 1 16 0 9 0 28488150 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/527/stat : 527 (java) S 520 522 30436 0 -1 64 8 1046 0 0 0 0 36 1 16 0 9 0 28488150 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/528/stat : 528 (java) S 520 522 30436 0 -1 64 1 1046 0 0 0 0 36 1 18 0 9 0 28488152 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=529] ppid=520 vsize=868192 CPUtime=0.67
/proc/522/task/529/stat : 529 (java) S 520 522 30436 0 -1 64 1068 1046 0 0 29 1 36 1 15 0 9 0 28488152 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/530/stat : 530 (java) S 520 522 30436 0 -1 64 1 1046 0 0 0 0 36 1 19 0 9 0 28488152 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=522/tid=531] ppid=520 vsize=868192 CPUtime=0.37
/proc/522/task/531/stat : 531 (java) S 520 522 30436 0 -1 64 14 1046 0 0 0 0 36 1 15 0 9 0 28488152 889028608 24843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 868192
Child status: 0
Real time (s): 4.08076
CPU time (s): 4.02639
CPU user time (s): 3.20351
CPU system time (s): 0.822874
CPU usage (%): 98.6675
Max. virtual memory (cumulated for all children) (KiB): 874516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.20351
system time used= 0.822874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37680
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1435
involuntary context switches= 1559
runsolver used 0.008998 second user time and 0.015997 second system time
The end
Begin job on node86 at 2009-07-12 17:57:09
IDJOB=2098135
IDBENCH=58306
IDSOLVER=773
FILE ID=node86/2098135-1247414228
PBS_JOBID= 9510479
Free space on /tmp= 66316 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/graphColoring/leighton/leighton-15/normalized-lei450-15d-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098135-1247414228/watcher-2098135-1247414228 -o /tmp/evaluation-result-2098135-1247414228/solver-2098135-1247414228 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098135-1247414228.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6e510f39e5c6cbcc4553ed63ad098f24
RANDOM SEED=1222564715
node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1625912 kB
Buffers: 75172 kB
Cached: 227768 kB
SwapCached: 0 kB
Active: 229728 kB
Inactive: 136104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4292 kB
Writeback: 0 kB
Mapped: 83200 kB
Slab: 49284 kB
Committed_AS: 1009824 kB
PageTables: 1992 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66312 MiB
End job on node86 at 2009-07-12 17:57:13