0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/208756-1168189815/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.45 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.71
0.71 constraints being loaded...
0.86 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.86 => wckTime=0.509 cpuTime=0.46 mem=42M536
0.94
0.95 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.752 cpuTime=0.59 mem=21M177
1.18
1.18 preprocessing
1.18 nbConstraintChecks=19694 nbValidityChecks=33642 nbPropagations=183 nbRevisions=1683 nbUselessRevisions=1440
1.18 nbSingletonTests=27 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.18 => wckTime=0.072 cpuTime=0.04 mem=21M177
1.23
1.23 search
1.23 run=0 nbConstraintChecks=17613 nbValidityChecks=37616 nbPropagations=486 nbRevisions=4848
1.23 nbUselessRevisions=3930 nbAssignments=29 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=52
1.23 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.119 cpuTime=0.08 mem=22M178
1.27
1.27 search
1.27 run=1 nbConstraintChecks=41157 nbValidityChecks=85054 nbPropagations=1301 nbRevisions=13269
1.27 nbUselessRevisions=10689 nbAssignments=65 nbFailedAssignments=28 nbBacktracks=28 nbVisitedNodes=111
1.27 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.157 cpuTime=0.12 mem=22M178
1.36
1.36 search
1.36 run=2 nbConstraintChecks=103298 nbValidityChecks=207153 nbPropagations=2848 nbRevisions=29479
1.36 nbUselessRevisions=23698 nbAssignments=141 nbFailedAssignments=52 nbBacktracks=53 nbVisitedNodes=204
1.36 nbRestartNogoods=8 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.249 cpuTime=0.2 mem=22M178
1.48
1.48 search
1.48 run=3 nbConstraintChecks=197961 nbValidityChecks=392455 nbPropagations=5481 nbRevisions=58084
1.48 nbUselessRevisions=46427 nbAssignments=244 nbFailedAssignments=117 nbBacktracks=86 nbVisitedNodes=397
1.48 nbRestartNogoods=11 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.37 cpuTime=0.31 mem=22M178
1.65
1.65 search
1.65 run=4 nbConstraintChecks=336494 nbValidityChecks=669422 nbPropagations=9907 nbRevisions=105569
1.65 nbUselessRevisions=83969 nbAssignments=410 nbFailedAssignments=187 nbBacktracks=136 nbVisitedNodes=627
1.65 nbRestartNogoods=22 mapSize=118 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.54 cpuTime=0.47 mem=22M178
1.86
1.86 search
1.86 run=5 nbConstraintChecks=498000 nbValidityChecks=1012011 nbPropagations=16625 nbRevisions=181074
1.86 nbUselessRevisions=143529 nbAssignments=644 nbFailedAssignments=341 nbBacktracks=213 nbVisitedNodes=1062
1.86 nbRestartNogoods=25 mapSize=180 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.748 cpuTime=0.67 mem=22M178
2.19
2.19 search
2.19 run=6 nbConstraintChecks=786411 nbValidityChecks=1608980 nbPropagations=27526 nbRevisions=303758
2.19 nbUselessRevisions=240018 nbAssignments=1029 nbFailedAssignments=608 nbBacktracks=326 nbVisitedNodes=1807
2.19 nbRestartNogoods=31 mapSize=287 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=1.084 cpuTime=1.01 mem=22M178
2.88
2.88 search
2.88 run=7 nbConstraintChecks=1414217 nbValidityChecks=2753902 nbPropagations=43755 nbRevisions=487672
2.88 nbUselessRevisions=383471 nbAssignments=1885 nbFailedAssignments=1292 nbBacktracks=496 nbVisitedNodes=3448
2.88 nbRestartNogoods=41 mapSize=409 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=1.775 cpuTime=1.67 mem=22M178
3.41
3.41 search
3.41 run=8 nbConstraintChecks=1877827 nbValidityChecks=3641140 nbPropagations=65733 nbRevisions=734107
3.41 nbUselessRevisions=575928 nbAssignments=2409 nbFailedAssignments=1555 nbBacktracks=756 nbVisitedNodes=4386
3.41 nbRestartNogoods=46 mapSize=623 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=2.3 cpuTime=2.19 mem=22M178
4.18
4.18 search
4.18 run=9 nbConstraintChecks=2565701 nbValidityChecks=4939619 nbPropagations=96133 nbRevisions=1070421
4.18 nbUselessRevisions=838034 nbAssignments=3182 nbFailedAssignments=1940 nbBacktracks=1140 nbVisitedNodes=5760
4.18 nbRestartNogoods=51 mapSize=928 nbInferences=0 nbTooLargeKeys=0
4.18 => wckTime=3.066 cpuTime=2.95 mem=22M178
4.41
4.41 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=22M178)
5.37
5.37 search
5.37 run=10 nbConstraintChecks=3635699 nbValidityChecks=7010581 nbPropagations=140578 nbRevisions=1555864
5.37 nbUselessRevisions=1215777 nbAssignments=4502 nbFailedAssignments=2670 nbBacktracks=1716 nbVisitedNodes=8140
5.37 nbRestartNogoods=60
5.37 => wckTime=4.262 cpuTime=4.14 mem=22M178
6.87
6.87 search
6.87 run=11 nbConstraintChecks=4929681 nbValidityChecks=9659370 nbPropagations=203987 nbRevisions=2251152
6.87 nbUselessRevisions=1757758 nbAssignments=6345 nbFailedAssignments=3644 nbBacktracks=2581 nbVisitedNodes=11461
6.87 nbRestartNogoods=74
6.87 => wckTime=5.758 cpuTime=5.63 mem=22M178
9.59
9.59 search
9.59 run=12 nbConstraintChecks=7354116 nbValidityChecks=14474970 nbPropagations=299516 nbRevisions=3300839
9.59 nbUselessRevisions=2576376 nbAssignments=9336 nbFailedAssignments=5323 nbBacktracks=3878 nbVisitedNodes=16940
9.59 nbRestartNogoods=92
9.59 => wckTime=8.483 cpuTime=8.34 mem=22M178
14.00
14.00 search
14.00 run=13 nbConstraintChecks=11387608 nbValidityChecks=22280801 nbPropagations=446174 nbRevisions=4898803
14.00 nbUselessRevisions=3819905 nbAssignments=13901 nbFailedAssignments=7936 nbBacktracks=5825 nbVisitedNodes=25359
14.00 nbRestartNogoods=112
14.00 => wckTime=12.895 cpuTime=12.74 mem=22M178
20.26
20.26 search
20.26 run=14 nbConstraintChecks=16975229 nbValidityChecks=33510751 nbPropagations=667796 nbRevisions=7337350
20.26 nbUselessRevisions=5720323 nbAssignments=20745 nbFailedAssignments=11848 nbBacktracks=8744 nbVisitedNodes=38050
20.26 nbRestartNogoods=125
20.26 => wckTime=19.155 cpuTime=18.96 mem=22M178
29.78
29.78 search
29.78 run=15 nbConstraintChecks=25665728 nbValidityChecks=50420238 nbPropagations=1000660 nbRevisions=10978242
29.78 nbUselessRevisions=8554139 nbAssignments=30761 nbFailedAssignments=17482 nbBacktracks=13122
29.78 nbVisitedNodes=56456 nbRestartNogoods=134
29.78 => wckTime=28.669 cpuTime=28.44 mem=22M178
39.68
39.68 search
39.68 run=16 nbConstraintChecks=34150455 nbValidityChecks=68160894 nbPropagations=1450430 nbRevisions=16006105
39.68 nbUselessRevisions=12481991 nbAssignments=41841 nbFailedAssignments=23801 nbBacktracks=17863
39.68 nbVisitedNodes=77048 nbRestartNogoods=148
39.68 => wckTime=38.572 cpuTime=38.27 mem=22M178
39.68
39.68 global
39.68 nbConstraintChecks=34170149 nbValidityChecks=68194536 nbPropagations=1450613 nbRevisions=16007788
39.68 nbUselessRevisions=12483431 nbRestartNogoods=148 solvingWckTime=38.573 solvingCpuTime=38.28 expiredTime=no
39.68 totalExploration=no nbFoundSolutions=1 globalCpuTime=38.93
39.68 => wckTime=39.328 cpuTime=38.88 mem=22M178
39.69
39.69 s SATISFIABLE
39.69 v 1 12 18 7 5 0 19 10 4 0 17 17 5 6 8 6 7 12 9 14
39.69 d NODES 41841
39.69 d CHECKS 34170149
39.69
39.69 totalWckTime=39.406 totalCpuTime=38.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-208756-1168189815 -o ROOT/results/node38/solver-208756-1168189815 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208756-1168189815/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.98 1.82 1.40 4/74 20657
/proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=172 CPUtime=0
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 167381185 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8605995 0 0 4096 0 0 0 0 17 0 0 0
/proc/20656/statm: 43 24 18 14 0 3 0
[startup+0.107426 s]
/proc/loadavg: 1.98 1.82 1.40 4/74 20657
/proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=907676 CPUtime=0.03
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 2293 0 1 0 3 0 0 0 20 0 4 0 167381185 929460224 2040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 226919 2040 1148 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515543 s]
/proc/loadavg: 1.98 1.82 1.40 4/74 20657
/proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=915328 CPUtime=0.43
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 6913 0 1 0 40 3 0 0 25 0 8 0 167381185 937295872 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 228832 6654 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33666 s]
/proc/loadavg: 1.98 1.82 1.40 3/81 20664
/proc/meminfo: memFree=1592440/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=915460 CPUtime=1.26
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 17094 0 1 0 116 10 0 0 25 0 8 0 167381185 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 228865 16832 2527 14 0 215335 0
[pid=20656/tid=20658] ppid=20654 vsize=915460 CPUtime=0.06
/proc/20656/task/20658/stat : 20658 (java) S 20654 20656 20058 0 -1 64 1791 0 0 0 6 0 0 0 16 0 8 0 167381195 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20659] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20659/stat : 20659 (java) S 20654 20656 20058 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167381195 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20660] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20660/stat : 20660 (java) S 20654 20656 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167381195 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20661] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20661/stat : 20661 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167381198 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20662] ppid=20654 vsize=915460 CPUtime=0.15
/proc/20656/task/20662/stat : 20662 (java) S 20654 20656 20058 0 -1 64 356 0 0 0 15 0 0 0 15 0 8 0 167381198 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20663] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20663/stat : 20663 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167381198 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20664] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20664/stat : 20664 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167381198 937431040 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915460
[startup+2.98098 s]
/proc/loadavg: 1.98 1.82 1.40 3/81 20664
/proc/meminfo: memFree=1592248/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=915460 CPUtime=2.89
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 17116 0 1 0 279 10 0 0 25 0 8 0 167381185 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 228865 16853 2527 14 0 215335 0
[pid=20656/tid=20658] ppid=20654 vsize=915460 CPUtime=0.06
/proc/20656/task/20658/stat : 20658 (java) S 20654 20656 20058 0 -1 64 1791 0 0 0 6 0 0 0 17 0 8 0 167381195 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20659] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20659/stat : 20659 (java) S 20654 20656 20058 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167381195 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20660] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20660/stat : 20660 (java) S 20654 20656 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167381195 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20661] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20661/stat : 20661 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167381198 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20662] ppid=20654 vsize=915460 CPUtime=0.2
/proc/20656/task/20662/stat : 20662 (java) S 20654 20656 20058 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 167381198 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20663] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20663/stat : 20663 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167381198 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20664] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20664/stat : 20664 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167381198 937431040 16853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915460
[startup+6.27763 s]
/proc/loadavg: 1.98 1.83 1.40 3/81 20664
/proc/meminfo: memFree=1591800/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=915460 CPUtime=6.17
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 17125 0 1 0 606 11 0 0 25 0 8 0 167381185 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 228865 16860 2527 14 0 215335 0
[pid=20656/tid=20658] ppid=20654 vsize=915460 CPUtime=0.06
/proc/20656/task/20658/stat : 20658 (java) S 20654 20656 20058 0 -1 64 1791 0 0 0 6 0 0 0 16 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20659] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20659/stat : 20659 (java) S 20654 20656 20058 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20660] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20660/stat : 20660 (java) S 20654 20656 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20661] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20661/stat : 20661 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20662] ppid=20654 vsize=915460 CPUtime=0.21
/proc/20656/task/20662/stat : 20662 (java) S 20654 20656 20058 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20663] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20663/stat : 20663 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20664] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20664/stat : 20664 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460
[startup+12.7609 s]
/proc/loadavg: 1.98 1.83 1.41 3/81 20664
/proc/meminfo: memFree=1591232/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=915460 CPUtime=12.63
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 17126 0 1 0 1252 11 0 0 25 0 8 0 167381185 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 228865 16860 2527 14 0 215335 0
[pid=20656/tid=20658] ppid=20654 vsize=915460 CPUtime=0.06
/proc/20656/task/20658/stat : 20658 (java) S 20654 20656 20058 0 -1 64 1791 0 0 0 6 0 0 0 16 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20659] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20659/stat : 20659 (java) S 20654 20656 20058 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20660] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20660/stat : 20660 (java) S 20654 20656 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20661] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20661/stat : 20661 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20662] ppid=20654 vsize=915460 CPUtime=0.22
/proc/20656/task/20662/stat : 20662 (java) S 20654 20656 20058 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20663] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20663/stat : 20663 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20664] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20664/stat : 20664 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.6364 s]
/proc/loadavg: 1.98 1.84 1.42 3/81 20664
/proc/meminfo: memFree=1590464/2055920 swapFree=4192812/4192956
[pid=20656] ppid=20654 vsize=915460 CPUtime=25.45
/proc/20656/stat : 20656 (java) R 20654 20656 20058 0 -1 0 17126 0 1 0 2534 11 0 0 25 0 8 0 167381185 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20656/statm: 228865 16860 2527 14 0 215335 0
[pid=20656/tid=20658] ppid=20654 vsize=915460 CPUtime=0.06
/proc/20656/task/20658/stat : 20658 (java) S 20654 20656 20058 0 -1 64 1791 0 0 0 6 0 0 0 16 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20659] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20659/stat : 20659 (java) S 20654 20656 20058 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20660] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20660/stat : 20660 (java) S 20654 20656 20058 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167381195 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20661] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20661/stat : 20661 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20662] ppid=20654 vsize=915460 CPUtime=0.22
/proc/20656/task/20662/stat : 20662 (java) S 20654 20656 20058 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20663] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20663/stat : 20663 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20656/tid=20664] ppid=20654 vsize=915460 CPUtime=0
/proc/20656/task/20664/stat : 20664 (java) S 20654 20656 20058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167381198 937431040 16860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 39.7058
CPU time (s): 39.441
CPU user time (s): 39.31
CPU system time (s): 0.13098
CPU usage (%): 99.3332
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.31
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17134
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= 1927
involuntary context switches= 2654
runsolver used 0.06099 s user time and 0.12698 s system time
The end
Begin job on node38 on Sun Jan 7 17:10:15 UTC 2007
IDJOB= 208756
IDBENCH= 4437
FILE ID= node38/208756-1168189815
PBS_JOBID= 3479258
Free space on /tmp= 66504 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208756-1168189815/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-208756-1168189815 -o ROOT/results/node38/solver-208756-1168189815 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208756-1168189815/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d06f413d5c4a9194a6918decf3c71f7e
RANDOM SEED= 894310094
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.267
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.267
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: 1650512 kB
Buffers: 21308 kB
Cached: 224512 kB
SwapCached: 0 kB
Active: 186096 kB
Inactive: 158368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650512 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2876 kB
Writeback: 0 kB
Mapped: 109980 kB
Slab: 46160 kB
Committed_AS: 3720756 kB
PageTables: 2028 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= 66504 MiB
End job on node38 on Sun Jan 7 17:10:55 UTC 2007