0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/218096-1168250873/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.46 => wckTime=0.115 cpuTime=0.08 mem=6M951
0.46
0.46 relations being loaded...
0.72
0.72 constraints being loaded...
0.88 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
0.88 => wckTime=0.535 cpuTime=0.47 mem=44M564
0.96
0.96 solver IterativeSystematicSolver being built...
1.12 => wckTime=0.774 cpuTime=0.6 mem=21M493
1.21
1.21 preprocessing
1.21 nbConstraintChecks=24171 nbValidityChecks=39433 nbPropagations=188 nbRevisions=1870 nbUselessRevisions=1566
1.21 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.21 => wckTime=0.092 cpuTime=0.05 mem=21M493
1.28
1.28 search
1.28 run=0 nbConstraintChecks=35401 nbValidityChecks=73029 nbPropagations=661 nbRevisions=7536
1.28 nbUselessRevisions=5998 nbAssignments=44 nbFailedAssignments=31 nbBacktracks=10 nbVisitedNodes=83
1.28 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.16 cpuTime=0.11 mem=22M477
1.34
1.34 search
1.34 run=1 nbConstraintChecks=71871 nbValidityChecks=146296 nbPropagations=1904 nbRevisions=20783
1.34 nbUselessRevisions=16298 nbAssignments=101 nbFailedAssignments=68 nbBacktracks=26 nbVisitedNodes=188
1.34 nbRestartNogoods=1 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.217 cpuTime=0.16 mem=22M477
1.40
1.40 search
1.40 run=2 nbConstraintChecks=116206 nbValidityChecks=235466 nbPropagations=3835 nbRevisions=40653
1.40 nbUselessRevisions=31541 nbAssignments=167 nbFailedAssignments=108 nbBacktracks=48 nbVisitedNodes=307
1.40 nbRestartNogoods=4 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.284 cpuTime=0.22 mem=22M477
1.53
1.53 search
1.53 run=3 nbConstraintChecks=208607 nbValidityChecks=413439 nbPropagations=6884 nbRevisions=74356
1.53 nbUselessRevisions=57611 nbAssignments=256 nbFailedAssignments=161 nbBacktracks=81 nbVisitedNodes=474
1.53 nbRestartNogoods=9 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.409 cpuTime=0.34 mem=22M477
1.70
1.70 search
1.70 run=4 nbConstraintChecks=341770 nbValidityChecks=678300 nbPropagations=12177 nbRevisions=129456
1.70 nbUselessRevisions=99391 nbAssignments=455 nbFailedAssignments=306 nbBacktracks=131 nbVisitedNodes=857
1.70 nbRestartNogoods=12 mapSize=125 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.577 cpuTime=0.5 mem=22M477
1.96
1.96 search
1.96 run=5 nbConstraintChecks=553249 nbValidityChecks=1093817 nbPropagations=19986 nbRevisions=216105
1.96 nbUselessRevisions=165699 nbAssignments=660 nbFailedAssignments=432 nbBacktracks=206 nbVisitedNodes=1249
1.96 nbRestartNogoods=23 mapSize=196 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.841 cpuTime=0.76 mem=22M477
2.28
2.28 search
2.28 run=6 nbConstraintChecks=812202 nbValidityChecks=1606377 nbPropagations=31587 nbRevisions=341745
2.28 nbUselessRevisions=261293 nbAssignments=1004 nbFailedAssignments=660 nbBacktracks=320 nbVisitedNodes=1905
2.28 nbRestartNogoods=35 mapSize=305 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=1.164 cpuTime=1.07 mem=22M477
2.88
2.88 search
2.88 run=7 nbConstraintChecks=1301269 nbValidityChecks=2567321 nbPropagations=48836 nbRevisions=539485
2.88 nbUselessRevisions=412944 nbAssignments=1468 nbFailedAssignments=951 nbBacktracks=490 nbVisitedNodes=2799
2.88 nbRestartNogoods=37 mapSize=471 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=1.756 cpuTime=1.65 mem=22M477
3.74
3.74 search
3.74 run=8 nbConstraintChecks=2033790 nbValidityChecks=4016368 nbPropagations=76995 nbRevisions=846587
3.74 nbUselessRevisions=645685 nbAssignments=2423 nbFailedAssignments=1645 nbBacktracks=746 nbVisitedNodes=4632
3.74 nbRestartNogoods=45 mapSize=710 nbInferences=0 nbTooLargeKeys=0
3.74 => wckTime=2.622 cpuTime=2.5 mem=22M477
4.92
4.92 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=22M477)
5.02
5.02 search
5.02 run=9 nbConstraintChecks=3104239 nbValidityChecks=6103344 nbPropagations=118174 nbRevisions=1312227
5.02 nbUselessRevisions=1001864 nbAssignments=3481 nbFailedAssignments=2296 nbBacktracks=1130 nbVisitedNodes=6611
5.02 nbRestartNogoods=52
5.02 => wckTime=3.899 cpuTime=3.74 mem=22M477
6.63
6.63 search
6.63 run=10 nbConstraintChecks=4522297 nbValidityChecks=8902161 nbPropagations=180487 nbRevisions=1988542
6.63 nbUselessRevisions=1514821 nbAssignments=5284 nbFailedAssignments=3520 nbBacktracks=1706 nbVisitedNodes=10039
6.63 nbRestartNogoods=61
6.63 => wckTime=5.512 cpuTime=5.34 mem=22M477
9.44
9.44 search
9.44 run=11 nbConstraintChecks=6972684 nbValidityChecks=13559766 nbPropagations=270776 nbRevisions=3008661
9.44 nbUselessRevisions=2296773 nbAssignments=7524 nbFailedAssignments=4869 nbBacktracks=2570 nbVisitedNodes=14241
9.44 nbRestartNogoods=74
9.44 => wckTime=8.318 cpuTime=8.1 mem=22M477
13.25
13.25 search
13.25 run=12 nbConstraintChecks=10323365 nbValidityChecks=20142346 nbPropagations=410286 nbRevisions=4523816
13.25 nbUselessRevisions=3447530 nbAssignments=11754 nbFailedAssignments=7791 nbBacktracks=3867 nbVisitedNodes=22291
13.25 nbRestartNogoods=84
13.25 => wckTime=12.127 cpuTime=11.88 mem=22M477
19.89
19.89 search
19.89 run=13 nbConstraintChecks=16066350 nbValidityChecks=31164178 nbPropagations=616306 nbRevisions=6850321
19.89 nbUselessRevisions=5229920 nbAssignments=17053 nbFailedAssignments=11136 nbBacktracks=5813 nbVisitedNodes=32418
19.89 nbRestartNogoods=100
19.89 => wckTime=18.768 cpuTime=18.46 mem=22M477
28.89
28.89 search
28.89 run=14 nbConstraintChecks=24062893 nbValidityChecks=46794803 nbPropagations=937690 nbRevisions=10340694
28.89 nbUselessRevisions=7878218 nbAssignments=26638 nbFailedAssignments=17788 nbBacktracks=8732 nbVisitedNodes=50749
28.89 nbRestartNogoods=116
28.89 => wckTime=27.767 cpuTime=27.39 mem=22M477
45.34
45.34 search
45.34 run=15 nbConstraintChecks=39090948 nbValidityChecks=75792324 nbPropagations=1426679 nbRevisions=15963974
45.34 nbUselessRevisions=12206383 nbAssignments=40950 nbFailedAssignments=27700 nbBacktracks=13110
45.34 nbVisitedNodes=78621 nbRestartNogoods=143
45.34 => wckTime=44.218 cpuTime=43.69 mem=22M477
67.95
67.95 search
67.95 run=16 nbConstraintChecks=58658420 nbValidityChecks=114255126 nbPropagations=2169873 nbRevisions=24432106
67.95 nbUselessRevisions=18697052 nbAssignments=62543 nbFailedAssignments=42712 nbBacktracks=19678
67.95 nbVisitedNodes=120154 nbRestartNogoods=165
67.95 => wckTime=66.829 cpuTime=66.11 mem=22M477
74.15
74.15 search
74.15 run=17 nbConstraintChecks=64060601 nbValidityChecks=124878141 nbPropagations=2989202 nbRevisions=33691216
74.15 nbUselessRevisions=25782144 nbAssignments=68981 nbFailedAssignments=47159 nbBacktracks=21645
74.15 nbVisitedNodes=132474 nbRestartNogoods=178
74.15 => wckTime=73.033 cpuTime=72.26 mem=22M477
74.15
74.15 global
74.15 nbConstraintChecks=64084772 nbValidityChecks=124917574 nbPropagations=2989390 nbRevisions=33693086
74.15 nbUselessRevisions=25783710 nbRestartNogoods=178 solvingWckTime=73.034 solvingCpuTime=72.26 expiredTime=no
74.15 totalExploration=no nbFoundSolutions=1 globalCpuTime=72.91
74.15 => wckTime=73.811 cpuTime=72.86 mem=22M477
74.16
74.16 s SATISFIABLE
74.16 v 1 18 15 19 13 15 8 9 11 10 11 6 8 0 1 3 10 3 6 0
74.16 d NODES 68981
74.16 d CHECKS 64084772
74.16
74.16 totalWckTime=73.892 totalCpuTime=72.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-218096-1168250873 -o ROOT/results/node60/solver-218096-1168250873 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218096-1168250873/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.91 0.97 0.99 5/71 30280
/proc/meminfo: memFree=1792992/2055920 swapFree=4192812/4192956
[startup+0.102709 s]
/proc/loadavg: 0.91 0.97 0.99 5/71 30280
/proc/meminfo: memFree=1792992/2055920 swapFree=4192812/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
[startup+0.510748 s]
/proc/loadavg: 0.91 0.97 0.99 5/71 30280
/proc/meminfo: memFree=1792992/2055920 swapFree=4192812/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
[startup+1.33293 s]
/proc/loadavg: 1.08 1.00 1.00 3/88 30304
/proc/meminfo: memFree=1715280/2055920 swapFree=4192812/4192956
[pid=30279] ppid=30273 vsize=915460 CPUtime=1.25
/proc/30279/stat : 30279 (java) R 30273 30279 30139 0 -1 0 17682 0 1 0 114 11 0 0 24 0 8 0 173485251 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30279/statm: 228865 17420 2527 14 0 215335 0
[pid=30279/tid=30291] ppid=30273 vsize=915460 CPUtime=0.06
/proc/30279/task/30291/stat : 30291 (java) S 30273 30279 30139 0 -1 64 1888 0 0 0 5 1 0 0 17 0 8 0 173485256 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30292] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30292/stat : 30292 (java) S 30273 30279 30139 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173485256 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30293] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30293/stat : 30293 (java) S 30273 30279 30139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173485256 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30301] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30301/stat : 30301 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 173485262 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30302] ppid=30273 vsize=915460 CPUtime=0.16
/proc/30279/task/30302/stat : 30302 (java) S 30273 30279 30139 0 -1 64 355 0 0 0 15 1 0 0 15 0 8 0 173485262 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30303] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30303/stat : 30303 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 173485262 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30304] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30304/stat : 30304 (java) S 30273 30279 30139 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173485262 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460
[startup+2.97199 s]
/proc/loadavg: 1.08 1.00 1.00 3/88 30304
/proc/meminfo: memFree=1711760/2055920 swapFree=4192812/4192956
[pid=30279] ppid=30273 vsize=915460 CPUtime=2.87
/proc/30279/stat : 30279 (java) R 30273 30279 30139 0 -1 0 17704 0 1 0 276 11 0 0 25 0 8 0 173485251 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30279/statm: 228865 17441 2527 14 0 215335 0
[pid=30279/tid=30291] ppid=30273 vsize=915460 CPUtime=0.06
/proc/30279/task/30291/stat : 30291 (java) S 30273 30279 30139 0 -1 64 1888 0 0 0 5 1 0 0 17 0 8 0 173485256 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30292] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30292/stat : 30292 (java) S 30273 30279 30139 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173485256 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30293] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30293/stat : 30293 (java) S 30273 30279 30139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173485256 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30301] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30301/stat : 30301 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 173485262 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30302] ppid=30273 vsize=915460 CPUtime=0.2
/proc/30279/task/30302/stat : 30302 (java) S 30273 30279 30139 0 -1 64 376 0 0 0 19 1 0 0 16 0 8 0 173485262 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30303] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30303/stat : 30303 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 173485262 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30304] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30304/stat : 30304 (java) S 30273 30279 30139 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173485262 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
[startup+6.17731 s]
/proc/loadavg: 1.15 1.02 1.01 3/88 30304
/proc/meminfo: memFree=1711512/2055920 swapFree=4192812/4192956
[pid=30279] ppid=30273 vsize=915460 CPUtime=6.03
/proc/30279/stat : 30279 (java) R 30273 30279 30139 0 -1 0 17713 0 1 0 591 12 0 0 25 0 8 0 173485251 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30279/statm: 228865 17448 2527 14 0 215335 0
[pid=30279/tid=30291] ppid=30273 vsize=915460 CPUtime=0.06
/proc/30279/task/30291/stat : 30291 (java) S 30273 30279 30139 0 -1 64 1888 0 0 0 5 1 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30292] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30292/stat : 30292 (java) S 30273 30279 30139 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30293] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30293/stat : 30293 (java) S 30273 30279 30139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30301] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30301/stat : 30301 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30302] ppid=30273 vsize=915460 CPUtime=0.22
/proc/30279/task/30302/stat : 30302 (java) S 30273 30279 30139 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30303] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30303/stat : 30303 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30304] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30304/stat : 30304 (java) S 30273 30279 30139 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 915460
[startup+12.6499 s]
/proc/loadavg: 1.22 1.03 1.01 3/88 30304
/proc/meminfo: memFree=1711528/2055920 swapFree=4192812/4192956
[pid=30279] ppid=30273 vsize=915460 CPUtime=12.43
/proc/30279/stat : 30279 (java) R 30273 30279 30139 0 -1 0 17713 0 1 0 1231 12 0 0 25 0 8 0 173485251 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30279/statm: 228865 17448 2527 14 0 215335 0
[pid=30279/tid=30291] ppid=30273 vsize=915460 CPUtime=0.06
/proc/30279/task/30291/stat : 30291 (java) S 30273 30279 30139 0 -1 64 1888 0 0 0 5 1 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30292] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30292/stat : 30292 (java) S 30273 30279 30139 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30293] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30293/stat : 30293 (java) S 30273 30279 30139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30301] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30301/stat : 30301 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30302] ppid=30273 vsize=915460 CPUtime=0.22
/proc/30279/task/30302/stat : 30302 (java) S 30273 30279 30139 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30303] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30303/stat : 30303 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30304] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30304/stat : 30304 (java) S 30273 30279 30139 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915460
[startup+25.5112 s]
/proc/loadavg: 1.34 1.06 1.02 3/88 30304
/proc/meminfo: memFree=1711656/2055920 swapFree=4192812/4192956
[pid=30279] ppid=30273 vsize=915460 CPUtime=25.19
/proc/30279/stat : 30279 (java) R 30273 30279 30139 0 -1 0 17714 0 1 0 2507 12 0 0 25 0 8 0 173485251 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30279/statm: 228865 17448 2527 14 0 215335 0
[pid=30279/tid=30291] ppid=30273 vsize=915460 CPUtime=0.06
/proc/30279/task/30291/stat : 30291 (java) S 30273 30279 30139 0 -1 64 1888 0 0 0 5 1 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30292] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30292/stat : 30292 (java) S 30273 30279 30139 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30293] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30293/stat : 30293 (java) S 30273 30279 30139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30301] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30301/stat : 30301 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30302] ppid=30273 vsize=915460 CPUtime=0.22
/proc/30279/task/30302/stat : 30302 (java) S 30273 30279 30139 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30303] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30303/stat : 30303 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30304] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30304/stat : 30304 (java) S 30273 30279 30139 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915460
[startup+51.1287 s]
/proc/loadavg: 1.60 1.15 1.05 3/88 30304
/proc/meminfo: memFree=1711720/2055920 swapFree=4192812/4192956
[pid=30279] ppid=30273 vsize=915460 CPUtime=50.57
/proc/30279/stat : 30279 (java) R 30273 30279 30139 0 -1 0 17714 0 1 0 5044 13 0 0 25 0 8 0 173485251 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30279/statm: 228865 17448 2527 14 0 215335 0
[pid=30279/tid=30291] ppid=30273 vsize=915460 CPUtime=0.06
/proc/30279/task/30291/stat : 30291 (java) S 30273 30279 30139 0 -1 64 1888 0 0 0 5 1 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30292] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30292/stat : 30292 (java) S 30273 30279 30139 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30293] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30293/stat : 30293 (java) S 30273 30279 30139 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173485256 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30301] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30301/stat : 30301 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30302] ppid=30273 vsize=915460 CPUtime=0.22
/proc/30279/task/30302/stat : 30302 (java) S 30273 30279 30139 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30279/tid=30303] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30303/stat : 30303 (java) S 30273 30279 30139 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30279/tid=30304] ppid=30273 vsize=915460 CPUtime=0
/proc/30279/task/30304/stat : 30304 (java) S 30273 30279 30139 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173485262 937431040 17448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 74.1772
CPU time (s): 73.4458
CPU user time (s): 73.2759
CPU system time (s): 0.169974
CPU usage (%): 99.0141
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.2759
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17722
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= 2608
involuntary context switches= 5545
runsolver used 0.088986 s user time and 0.225965 s system time
The end
Begin job on node60 on Mon Jan 8 10:07:54 UTC 2007
IDJOB= 218096
IDBENCH= 5199
FILE ID= node60/218096-1168250873
PBS_JOBID= 3481924
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218096-1168250873/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-218096-1168250873 -o ROOT/results/node60/solver-218096-1168250873 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218096-1168250873/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 63fc55ad75961bae7c06211413bc4c18
RANDOM SEED= 601560002
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.236
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.236
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: 1793744 kB
Buffers: 45356 kB
Cached: 140692 kB
SwapCached: 0 kB
Active: 112976 kB
Inactive: 93276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4624 kB
Writeback: 0 kB
Mapped: 30376 kB
Slab: 41576 kB
Committed_AS: 4023244 kB
PageTables: 1772 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= 66557 MiB
End job on node60 on Mon Jan 8 10:09:08 UTC 2007