0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228625-1168080897/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.095 cpuTime=0.07 mem=6M951
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8191 maxDegree=27
0.61 maxArity=2
0.61 => wckTime=0.284 cpuTime=0.2 mem=10M860
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.471 cpuTime=0.31 mem=13M696
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0070 cpuTime=0.0 mem=13M696
0.84
0.84 search
0.84 run=0 nbConstraintChecks=18483 nbPropagations=417 nbRevisions=4196 nbUselessRevisions=3399 nbAssignments=22
0.84 nbFailedAssignments=5 nbBacktracks=13 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.044 cpuTime=0.03 mem=14M671
0.86
0.86 search
0.86 run=1 nbConstraintChecks=51794 nbPropagations=1436 nbRevisions=16660 nbUselessRevisions=13709 nbAssignments=59
0.86 nbFailedAssignments=17 nbBacktracks=31 nbVisitedNodes=95 nbRestartNogoods=1 mapSize=28 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.068 cpuTime=0.05 mem=14M671
0.88
0.88 search
0.88 run=2 nbConstraintChecks=85657 nbPropagations=3124 nbRevisions=38037 nbUselessRevisions=31531 nbAssignments=99
0.88 nbFailedAssignments=28 nbBacktracks=53 nbVisitedNodes=160 nbRestartNogoods=3 mapSize=47 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.087 cpuTime=0.06 mem=14M671
0.90
0.90 search
0.90 run=3 nbConstraintChecks=132372 nbPropagations=5686 nbRevisions=71394 nbUselessRevisions=59403
0.90 nbAssignments=152 nbFailedAssignments=42 nbBacktracks=87 nbVisitedNodes=243 nbRestartNogoods=7 mapSize=72
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.101 cpuTime=0.08 mem=14M671
0.92
0.92 search
0.92 run=4 nbConstraintChecks=207507 nbPropagations=9622 nbRevisions=124019 nbUselessRevisions=103259
0.92 nbAssignments=241 nbFailedAssignments=69 nbBacktracks=139 nbVisitedNodes=387 nbRestartNogoods=11 mapSize=115
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.123 cpuTime=0.1 mem=14M671
0.95
0.95 search
0.95 run=5 nbConstraintChecks=309371 nbPropagations=15383 nbRevisions=202710 nbUselessRevisions=168527
0.95 nbAssignments=360 nbFailedAssignments=109 nbBacktracks=214 nbVisitedNodes=586 nbRestartNogoods=15 mapSize=176
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.154 cpuTime=0.12 mem=14M671
0.99
0.99 search
0.99 run=6 nbConstraintChecks=472265 nbPropagations=23976 nbRevisions=323931 nbUselessRevisions=269118
0.99 nbAssignments=533 nbFailedAssignments=162 nbBacktracks=329 nbVisitedNodes=879 nbRestartNogoods=17 mapSize=270
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.197 cpuTime=0.17 mem=14M671
1.06
1.06 search
1.06 run=7 nbConstraintChecks=732954 nbPropagations=36983 nbRevisions=511075 nbUselessRevisions=423716
1.06 nbAssignments=813 nbFailedAssignments=266 nbBacktracks=502 nbVisitedNodes=1354 nbRestartNogoods=20 mapSize=416
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.263 cpuTime=0.23 mem=14M671
1.16
1.16 search
1.16 run=8 nbConstraintChecks=1154867 nbPropagations=57136 nbRevisions=804968 nbUselessRevisions=666334
1.16 nbAssignments=1221 nbFailedAssignments=411 nbBacktracks=760 nbVisitedNodes=2053 nbRestartNogoods=22
1.17 mapSize=643 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.37 cpuTime=0.33 mem=14M671
1.32
1.32 search
1.32 run=9 nbConstraintChecks=1733459 nbPropagations=87390 nbRevisions=1245481 nbUselessRevisions=1029360
1.32 nbAssignments=1837 nbFailedAssignments=636 nbBacktracks=1144 nbVisitedNodes=3110 nbRestartNogoods=25
1.32 mapSize=973 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.52 cpuTime=0.47 mem=14M671
1.34
1.34 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=14M671)
1.50
1.50 search
1.50 run=10 nbConstraintChecks=2601250 nbPropagations=132732 nbRevisions=1913111 nbUselessRevisions=1580012
1.50 nbAssignments=2774 nbFailedAssignments=989 nbBacktracks=1723 nbVisitedNodes=4737 nbRestartNogoods=31
1.51 => wckTime=0.71 cpuTime=0.65 mem=14M671
1.77
1.77 search
1.77 run=11 nbConstraintChecks=3950845 nbPropagations=200500 nbRevisions=2933114 nbUselessRevisions=2423647
1.77 nbAssignments=4169 nbFailedAssignments=1515 nbBacktracks=2588 nbVisitedNodes=7145 nbRestartNogoods=37
1.77 => wckTime=0.978 cpuTime=0.91 mem=14M671
2.13
2.13 search
2.13 run=12 nbConstraintChecks=5758526 nbPropagations=299873 nbRevisions=4433484 nbUselessRevisions=3666581
2.13 nbAssignments=6171 nbFailedAssignments=2215 nbBacktracks=3885 nbVisitedNodes=10568 nbRestartNogoods=46
2.13 => wckTime=1.339 cpuTime=1.27 mem=14M671
2.71
2.71 search
2.71 run=13 nbConstraintChecks=8521946 nbPropagations=447396 nbRevisions=6657823 nbUselessRevisions=5508520
2.71 nbAssignments=9225 nbFailedAssignments=3315 nbBacktracks=5834 nbVisitedNodes=15780 nbRestartNogoods=57
2.71 => wckTime=1.916 cpuTime=1.85 mem=14M671
3.61
3.61 search
3.61 run=14 nbConstraintChecks=12841380 nbPropagations=667846 nbRevisions=9997877 nbUselessRevisions=8275507
3.61 nbAssignments=13739 nbFailedAssignments=4906 nbBacktracks=8753 nbVisitedNodes=23474 nbRestartNogoods=66
3.61 => wckTime=2.811 cpuTime=2.74 mem=14M671
4.90
4.90 search
4.90 run=15 nbConstraintChecks=19041368 nbPropagations=995623 nbRevisions=14948146 nbUselessRevisions=12374663
4.90 nbAssignments=20465 nbFailedAssignments=7247 nbBacktracks=13134 nbVisitedNodes=34886 nbRestartNogoods=70
4.90 => wckTime=4.11 cpuTime=4.04 mem=14M671
6.87
6.87 search
6.87 run=16 nbConstraintChecks=28414669 nbPropagations=1485156 nbRevisions=22345333 nbUselessRevisions=18499287
6.87 nbAssignments=30596 nbFailedAssignments=10804 nbBacktracks=19702 nbVisitedNodes=52135 nbRestartNogoods=77
6.87 => wckTime=6.075 cpuTime=6.0 mem=14M671
9.97
9.97 search
9.97 run=17 nbConstraintChecks=43255795 nbPropagations=2226396 nbRevisions=33524896 nbUselessRevisions=27740307
9.97 nbAssignments=45839 nbFailedAssignments=16187 nbBacktracks=29559 nbVisitedNodes=78189 nbRestartNogoods=88
9.97 => wckTime=9.172 cpuTime=9.1 mem=14M671
14.50
14.50 search
14.50 run=18 nbConstraintChecks=64883301 nbPropagations=3336462 nbRevisions=50319547 nbUselessRevisions=41635050
14.50 nbAssignments=68789 nbFailedAssignments=24353 nbBacktracks=44339 nbVisitedNodes=117350 nbRestartNogoods=101
14.50 => wckTime=13.706 cpuTime=13.63 mem=14M671
15.79
15.79 search
15.79 run=19 nbConstraintChecks=71066726 nbPropagations=4551306 nbRevisions=68665114 nbUselessRevisions=56806119
15.79 nbAssignments=75176 nbFailedAssignments=26546 nbBacktracks=48534 nbVisitedNodes=128148 nbRestartNogoods=105
15.79 => wckTime=14.995 cpuTime=14.92 mem=14M671
15.79
15.79 global
15.79 nbConstraintChecks=71066726 nbPropagations=4551346 nbRevisions=68665114 nbUselessRevisions=56806119
15.79 nbRestartNogoods=105 solvingWckTime=14.995 solvingCpuTime=14.92 expiredTime=no totalExploration=yes
15.79 nbFoundSolutions=0 globalCpuTime=15.3
15.79 => wckTime=15.469 cpuTime=15.24 mem=14M671
15.79
15.79 s UNSATISFIABLE
15.79 d NODES 75176
15.79 d CHECKS 71066726
15.79
15.79 totalWckTime=15.545 totalCpuTime=15.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-228625-1168080897 -o ROOT/results/node15/solver-228625-1168080897 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228625-1168080897/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 0.28 0.96 1.52 3/81 16027
/proc/meminfo: memFree=1001608/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=308 CPUtime=0
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 156486519 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7466119 0 0 4096 0 0 0 0 17 1 0 0
/proc/16026/statm: 77 40 31 14 0 5 0
[startup+0.103034 s]
/proc/loadavg: 0.28 0.96 1.52 3/81 16027
/proc/meminfo: memFree=1001608/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=911488 CPUtime=0.06
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 2634 0 1 0 5 1 0 0 23 0 8 0 156486519 933363712 2381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155090185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16026/statm: 227872 2381 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511099 s]
/proc/loadavg: 0.28 0.96 1.52 3/81 16027
/proc/meminfo: memFree=1001608/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=915328 CPUtime=0.46
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 6421 0 1 0 42 4 0 0 16 0 8 0 156486519 937295872 6160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16026/statm: 228832 6160 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33424 s]
/proc/loadavg: 0.28 0.96 1.52 2/88 16034
/proc/meminfo: memFree=978192/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=915456 CPUtime=1.29
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 8578 0 1 0 123 6 0 0 16 0 8 0 156486519 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16026/statm: 228864 8316 2513 14 0 215334 0
[pid=16026/tid=16028] ppid=16024 vsize=915456 CPUtime=0.03
/proc/16026/task/16028/stat : 16028 (java) S 16024 16026 15847 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486524 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16029] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16029/stat : 16029 (java) S 16024 16026 15847 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16030] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16030/stat : 16030 (java) S 16024 16026 15847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16031] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16031/stat : 16031 (java) S 16024 16026 15847 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486528 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16032] ppid=16024 vsize=915456 CPUtime=0.2
/proc/16026/task/16032/stat : 16032 (java) S 16024 16026 15847 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 156486528 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16033] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16033/stat : 16033 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156486528 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16034] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16034/stat : 16034 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486528 937426944 8316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97252 s]
/proc/loadavg: 0.28 0.96 1.52 2/88 16034
/proc/meminfo: memFree=977936/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=915456 CPUtime=2.92
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 8597 0 1 0 286 6 0 0 18 0 8 0 156486519 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16026/statm: 228864 8334 2514 14 0 215334 0
[pid=16026/tid=16028] ppid=16024 vsize=915456 CPUtime=0.03
/proc/16026/task/16028/stat : 16028 (java) S 16024 16026 15847 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486524 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16029] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16029/stat : 16029 (java) S 16024 16026 15847 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16030] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16030/stat : 16030 (java) S 16024 16026 15847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16031] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16031/stat : 16031 (java) S 16024 16026 15847 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486528 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16032] ppid=16024 vsize=915456 CPUtime=0.21
/proc/16026/task/16032/stat : 16032 (java) S 16024 16026 15847 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156486528 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16033] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16033/stat : 16033 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156486528 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16034] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16034/stat : 16034 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486528 937426944 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.26508 s]
/proc/loadavg: 0.34 0.96 1.52 2/88 16034
/proc/meminfo: memFree=977872/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=915456 CPUtime=6.21
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 8603 0 1 0 615 6 0 0 25 0 8 0 156486519 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16026/statm: 228864 8339 2514 14 0 215334 0
[pid=16026/tid=16028] ppid=16024 vsize=915456 CPUtime=0.03
/proc/16026/task/16028/stat : 16028 (java) S 16024 16026 15847 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486524 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16029] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16029/stat : 16029 (java) S 16024 16026 15847 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16030] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16030/stat : 16030 (java) S 16024 16026 15847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16031] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16031/stat : 16031 (java) S 16024 16026 15847 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486528 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16032] ppid=16024 vsize=915456 CPUtime=0.21
/proc/16026/task/16032/stat : 16032 (java) S 16024 16026 15847 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156486528 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16033] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16033/stat : 16033 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156486528 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16034] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16034/stat : 16034 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486528 937426944 8339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7382 s]
/proc/loadavg: 0.39 0.96 1.51 2/88 16035
/proc/meminfo: memFree=979472/2055920 swapFree=4174172/4192956
[pid=16026] ppid=16024 vsize=915456 CPUtime=12.68
/proc/16026/stat : 16026 (java) R 16024 16026 15847 0 -1 0 8607 0 1 0 1262 6 0 0 25 0 8 0 156486519 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16026/statm: 228864 8343 2514 14 0 215334 0
[pid=16026/tid=16028] ppid=16024 vsize=915456 CPUtime=0.03
/proc/16026/task/16028/stat : 16028 (java) S 16024 16026 15847 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486524 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16029] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16029/stat : 16029 (java) S 16024 16026 15847 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16030] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16030/stat : 16030 (java) S 16024 16026 15847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486525 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16031] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16031/stat : 16031 (java) S 16024 16026 15847 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486528 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16032] ppid=16024 vsize=915456 CPUtime=0.21
/proc/16026/task/16032/stat : 16032 (java) S 16024 16026 15847 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156486528 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16026/tid=16033] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16033/stat : 16033 (java) S 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156486528 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16026/tid=16034] ppid=16024 vsize=915456 CPUtime=0
/proc/16026/task/16034/stat : 16034 (java) R 16024 16026 15847 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486528 937426944 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 15.814
CPU time (s): 15.7566
CPU user time (s): 15.6826
CPU system time (s): 0.073988
CPU usage (%): 99.6371
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6826
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8702
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= 1182
involuntary context switches= 636
runsolver used 0.016997 s user time and 0.048992 s system time
The end
Begin job on node15 on Sat Jan 6 10:55:09 UTC 2007
IDJOB= 228625
IDBENCH= 6213
FILE ID= node15/228625-1168080897
PBS_JOBID= 3475877
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228625-1168080897/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-228625-1168080897 -o ROOT/results/node15/solver-228625-1168080897 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228625-1168080897/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b1ac7753e34047d49fc9d8bbfd33308
RANDOM SEED= 348788233
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.276
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.276
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1002080 kB
Buffers: 85516 kB
Cached: 827804 kB
SwapCached: 7128 kB
Active: 355220 kB
Inactive: 595408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1002080 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1828 kB
Writeback: 0 kB
Mapped: 45928 kB
Slab: 88200 kB
Committed_AS: 4173012 kB
PageTables: 2224 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= 66285 MiB
End job on node15 on Sat Jan 6 10:55:40 UTC 2007