0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218039-1168250400/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.69
0.69 constraints being loaded...
0.85 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.85 => wckTime=0.532 cpuTime=0.48 mem=41M561
0.93
0.93 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.793 cpuTime=0.63 mem=21M25
1.21
1.21 preprocessing
1.21 nbConstraintChecks=22334 nbValidityChecks=36666 nbPropagations=187 nbRevisions=1751 nbUselessRevisions=1473
1.21 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.21 => wckTime=0.09 cpuTime=0.07 mem=21M25
1.26
1.26 search
1.26 run=0 nbConstraintChecks=22074 nbValidityChecks=49545 nbPropagations=554 nbRevisions=5567
1.26 nbUselessRevisions=4451 nbAssignments=33 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=61
1.26 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.142 cpuTime=0.11 mem=22M10
1.32
1.32 search
1.32 run=1 nbConstraintChecks=62977 nbValidityChecks=131509 nbPropagations=1701 nbRevisions=17876
1.32 nbUselessRevisions=14177 nbAssignments=83 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=156
1.32 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.206 cpuTime=0.17 mem=22M10
1.42
1.42 search
1.42 run=2 nbConstraintChecks=123955 nbValidityChecks=259141 nbPropagations=3874 nbRevisions=40568
1.42 nbUselessRevisions=32013 nbAssignments=176 nbFailedAssignments=101 nbBacktracks=47 nbVisitedNodes=305
1.42 nbRestartNogoods=10 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.304 cpuTime=0.26 mem=22M10
1.51
1.51 search
1.51 run=3 nbConstraintChecks=182918 nbValidityChecks=384619 nbPropagations=6929 nbRevisions=73415
1.51 nbUselessRevisions=57944 nbAssignments=266 nbFailedAssignments=154 nbBacktracks=80 nbVisitedNodes=470
1.51 nbRestartNogoods=17 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.392 cpuTime=0.34 mem=22M10
1.69
1.69 search
1.69 run=4 nbConstraintChecks=310731 nbValidityChecks=660024 nbPropagations=12173 nbRevisions=128866
1.69 nbUselessRevisions=101298 nbAssignments=435 nbFailedAssignments=260 nbBacktracks=130 nbVisitedNodes=780
1.69 nbRestartNogoods=26 mapSize=126 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.569 cpuTime=0.51 mem=22M10
1.97
1.97 search
1.97 run=5 nbConstraintChecks=537904 nbValidityChecks=1101605 nbPropagations=19949 nbRevisions=214138
1.97 nbUselessRevisions=167727 nbAssignments=705 nbFailedAssignments=395 nbBacktracks=206 nbVisitedNodes=1187
1.97 nbRestartNogoods=37 mapSize=191 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.857 cpuTime=0.8 mem=22M10
2.23
2.23 search
2.23 run=6 nbConstraintChecks=723220 nbValidityChecks=1486800 nbPropagations=30702 nbRevisions=332322
2.23 nbUselessRevisions=260012 nbAssignments=960 nbFailedAssignments=531 nbBacktracks=322 nbVisitedNodes=1652
2.23 nbRestartNogoods=45 mapSize=296 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=1.117 cpuTime=1.05 mem=22M10
2.66
2.66 search
2.66 run=7 nbConstraintChecks=1062439 nbValidityChecks=2162918 nbPropagations=46043 nbRevisions=500611
2.66 nbUselessRevisions=391009 nbAssignments=1356 nbFailedAssignments=752 nbBacktracks=493 nbVisitedNodes=2391
2.66 nbRestartNogoods=50 mapSize=452 nbInferences=0 nbTooLargeKeys=0
2.66 => wckTime=1.549 cpuTime=1.47 mem=22M10
3.63
3.63 search
3.63 run=8 nbConstraintChecks=1803067 nbValidityChecks=3634615 nbPropagations=70656 nbRevisions=780058
3.63 nbUselessRevisions=608402 nbAssignments=2150 nbFailedAssignments=1285 nbBacktracks=749 nbVisitedNodes=3926
3.63 nbRestartNogoods=54 mapSize=698 nbInferences=0 nbTooLargeKeys=0
3.63 => wckTime=2.515 cpuTime=2.4 mem=22M10
4.46
4.46 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=22M10)
4.54
4.55 search
4.55 run=9 nbConstraintChecks=2551916 nbValidityChecks=5114416 nbPropagations=105058 nbRevisions=1166938
4.55 nbUselessRevisions=908790 nbAssignments=3017 nbFailedAssignments=1745 nbBacktracks=1135 nbVisitedNodes=5486
4.55 nbRestartNogoods=70
4.55 => wckTime=3.429 cpuTime=3.3 mem=22M10
6.13
6.13 search
6.13 run=10 nbConstraintChecks=3858281 nbValidityChecks=7817197 nbPropagations=160229 nbRevisions=1775572
6.13 nbUselessRevisions=1380509 nbAssignments=4657 nbFailedAssignments=2797 nbBacktracks=1711 nbVisitedNodes=8615
6.13 nbRestartNogoods=82
6.13 => wckTime=5.016 cpuTime=4.87 mem=22M10
8.68
8.68 search
8.68 run=11 nbConstraintChecks=5978904 nbValidityChecks=12062627 nbPropagations=242700 nbRevisions=2698024
8.68 nbUselessRevisions=2098434 nbAssignments=7016 nbFailedAssignments=4270 nbBacktracks=2575 nbVisitedNodes=13073
8.68 nbRestartNogoods=91
8.68 => wckTime=7.57 cpuTime=7.4 mem=22M10
11.84
11.84 search
11.84 run=12 nbConstraintChecks=8668797 nbValidityChecks=17447083 nbPropagations=362937 nbRevisions=4034731
11.84 nbUselessRevisions=3136363 nbAssignments=10255 nbFailedAssignments=6190 nbBacktracks=3872 nbVisitedNodes=19111
11.84 nbRestartNogoods=100
11.84 => wckTime=10.721 cpuTime=10.52 mem=22M10
17.64
17.64 search
17.64 run=13 nbConstraintChecks=13508430 nbValidityChecks=27314830 nbPropagations=547889 nbRevisions=6113007
17.64 nbUselessRevisions=4757759 nbAssignments=15831 nbFailedAssignments=9808 nbBacktracks=5818 nbVisitedNodes=29729
17.64 nbRestartNogoods=118
17.64 => wckTime=16.524 cpuTime=16.27 mem=22M10
19.28
19.28 search
19.28 run=14 nbConstraintChecks=14876223 nbValidityChecks=30057393 nbPropagations=751016 nbRevisions=8395773
19.28 nbUselessRevisions=6538549 nbAssignments=17479 nbFailedAssignments=10727 nbBacktracks=6527 nbVisitedNodes=32772
19.28 nbRestartNogoods=136
19.28 => wckTime=18.167 cpuTime=17.89 mem=22M10
19.28
19.28 global
19.28 nbConstraintChecks=14898557 nbValidityChecks=30094059 nbPropagations=751203 nbRevisions=8397524
19.28 nbUselessRevisions=6540022 nbRestartNogoods=136 solvingWckTime=18.168 solvingCpuTime=17.89 expiredTime=no
19.28 totalExploration=no nbFoundSolutions=1 globalCpuTime=18.56
19.28 => wckTime=18.964 cpuTime=18.52 mem=22M10
19.29
19.29 s SATISFIABLE
19.29 v 19 12 4 19 15 18 14 5 0 12 15 4 19 6 8 0 18 3 4 4
19.29 d NODES 17479
19.29 d CHECKS 14898557
19.29
19.29 totalWckTime=19.048 totalCpuTime=18.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-218039-1168250400 -o ROOT/results/node62/solver-218039-1168250400 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218039-1168250400/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: 1.89 1.98 1.91 2/85 24290
/proc/meminfo: memFree=1774136/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=18540 CPUtime=0
/proc/24289/stat : 24289 (runsolver) R 24287 24289 23239 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173437750 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24289/statm: 4635 279 244 17 0 2626 0
[startup+0.102786 s]
/proc/loadavg: 1.89 1.98 1.91 2/85 24290
/proc/meminfo: memFree=1774136/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=914988 CPUtime=0.09
/proc/24289/stat : 24289 (java) R 24287 24289 23239 0 -1 0 2967 0 1 0 7 2 0 0 20 0 8 0 173437750 936947712 2713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153788518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 228747 2713 1419 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513871 s]
/proc/loadavg: 1.89 1.98 1.91 2/85 24290
/proc/meminfo: memFree=1774136/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=915328 CPUtime=0.49
/proc/24289/stat : 24289 (java) R 24287 24289 23239 0 -1 0 7406 0 1 0 44 5 0 0 18 0 8 0 173437750 937295872 7145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 228832 7145 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33503 s]
/proc/loadavg: 1.89 1.98 1.91 4/92 24297
/proc/meminfo: memFree=1717824/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=915460 CPUtime=1.31
/proc/24289/stat : 24289 (java) R 24287 24289 23239 0 -1 0 16791 0 1 0 118 13 0 0 24 0 8 0 173437750 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 228865 16529 2527 14 0 215335 0
[pid=24289/tid=24291] ppid=24287 vsize=915460 CPUtime=0.06
/proc/24289/task/24291/stat : 24291 (java) S 24287 24289 23239 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173437754 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24292] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 23239 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24293] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 23239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24294] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 23239 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173437758 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24295] ppid=24287 vsize=915460 CPUtime=0.17
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 23239 0 -1 64 354 0 0 0 16 1 0 0 15 0 8 0 173437758 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24296] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173437758 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24297] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173437758 937431040 16529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97335 s]
/proc/loadavg: 1.89 1.98 1.91 3/92 24297
/proc/meminfo: memFree=1717696/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=915460 CPUtime=2.93
/proc/24289/stat : 24289 (java) R 24287 24289 23239 0 -1 0 16813 0 1 0 280 13 0 0 25 0 8 0 173437750 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 228865 16549 2528 14 0 215335 0
[pid=24289/tid=24291] ppid=24287 vsize=915460 CPUtime=0.06
/proc/24289/task/24291/stat : 24291 (java) S 24287 24289 23239 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 173437754 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24292] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 23239 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24293] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 23239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24294] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 23239 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173437758 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24295] ppid=24287 vsize=915460 CPUtime=0.21
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 23239 0 -1 64 374 0 0 0 20 1 0 0 15 0 8 0 173437758 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24296] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173437758 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24297] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173437758 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.17399 s]
/proc/loadavg: 1.90 1.98 1.91 3/92 24297
/proc/meminfo: memFree=1717568/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=915460 CPUtime=6.1
/proc/24289/stat : 24289 (java) R 24287 24289 23239 0 -1 0 16824 0 1 0 597 13 0 0 25 0 8 0 173437750 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 228865 16558 2528 14 0 215335 0
[pid=24289/tid=24291] ppid=24287 vsize=915460 CPUtime=0.06
/proc/24289/task/24291/stat : 24291 (java) S 24287 24289 23239 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173437754 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24292] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 23239 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24293] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 23239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24294] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 23239 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24295] ppid=24287 vsize=915460 CPUtime=0.23
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 23239 0 -1 64 384 0 0 0 22 1 0 0 16 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24296] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24297] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6563 s]
/proc/loadavg: 1.91 1.98 1.91 3/92 24297
/proc/meminfo: memFree=1717696/2055920 swapFree=4192812/4192956
[pid=24289] ppid=24287 vsize=915460 CPUtime=12.52
/proc/24289/stat : 24289 (java) R 24287 24289 23239 0 -1 0 16825 0 1 0 1239 13 0 0 25 0 8 0 173437750 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 228865 16558 2528 14 0 215335 0
[pid=24289/tid=24291] ppid=24287 vsize=915460 CPUtime=0.06
/proc/24289/task/24291/stat : 24291 (java) S 24287 24289 23239 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 173437754 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24292] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24287 24289 23239 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24293] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24287 24289 23239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173437755 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24294] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24294/stat : 24294 (java) S 24287 24289 23239 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24295] ppid=24287 vsize=915460 CPUtime=0.23
/proc/24289/task/24295/stat : 24295 (java) S 24287 24289 23239 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24296] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24297] ppid=24287 vsize=915460 CPUtime=0
/proc/24289/task/24297/stat : 24297 (java) S 24287 24289 23239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173437758 937431040 16558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 19.3251
CPU time (s): 19.1121
CPU user time (s): 18.9641
CPU system time (s): 0.147977
CPU usage (%): 98.898
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9641
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16834
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= 1432
involuntary context switches= 2391
runsolver used 0.031995 s user time and 0.066989 s system time
The end
Begin job on node62 on Mon Jan 8 10:00:00 UTC 2007
IDJOB= 218039
IDBENCH= 5191
FILE ID= node62/218039-1168250400
PBS_JOBID= 3481866
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218039-1168250400/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-218039-1168250400 -o ROOT/results/node62/solver-218039-1168250400 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218039-1168250400/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7d2984ef6837313f4e889efc17585244
RANDOM SEED= 758317051
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.259
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.259
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: 1774616 kB
Buffers: 14144 kB
Cached: 93160 kB
SwapCached: 0 kB
Active: 191424 kB
Inactive: 38680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2836 kB
Writeback: 0 kB
Mapped: 142956 kB
Slab: 36116 kB
Committed_AS: 4467848 kB
PageTables: 2104 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= 66553 MiB
End job on node62 on Mon Jan 8 10:00:19 UTC 2007