0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/224102-1168267723/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2 maxDegree=15 maxArity=2
0.63 => wckTime=0.314 cpuTime=0.23 mem=13M810
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.523 cpuTime=0.37 mem=14M839
0.89
0.89 preprocessing
0.89 nbConstraintChecks=73976 nbPropagations=828 nbRevisions=5097 nbUselessRevisions=3951 nbSingletonTests=51
0.89 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.05 cpuTime=0.03 mem=14M839
0.91
0.91 search
0.91 run=0 nbConstraintChecks=34175 nbPropagations=1288 nbRevisions=8594 nbUselessRevisions=6403 nbAssignments=21
0.91 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.07 cpuTime=0.04 mem=14M839
0.93
0.93 search
0.93 run=1 nbConstraintChecks=89636 nbPropagations=3428 nbRevisions=24005 nbUselessRevisions=17575 nbAssignments=59
0.93 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=102 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.091 cpuTime=0.06 mem=14M839
0.96
0.96 search
0.96 run=2 nbConstraintChecks=222984 nbPropagations=7306 nbRevisions=52235 nbUselessRevisions=38066
0.96 nbAssignments=141 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=187 nbRestartNogoods=10 mapSize=41
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.118 cpuTime=0.08 mem=14M839
0.98
0.98 search
0.98 run=3 nbConstraintChecks=325257 nbPropagations=12970 nbRevisions=94608 nbUselessRevisions=68435
0.98 nbAssignments=220 nbFailedAssignments=87 nbBacktracks=80 nbVisitedNodes=330 nbRestartNogoods=13 mapSize=73
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.138 cpuTime=0.1 mem=14M839
1.01
1.01 search
1.01 run=4 nbConstraintChecks=514533 nbPropagations=21225 nbRevisions=157003 nbUselessRevisions=112731
1.01 nbAssignments=340 nbFailedAssignments=135 nbBacktracks=130 nbVisitedNodes=509 nbRestartNogoods=20 mapSize=113
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.17 cpuTime=0.13 mem=14M839
1.05
1.05 search
1.05 run=5 nbConstraintChecks=729075 nbPropagations=33000 nbRevisions=247811 nbUselessRevisions=177014
1.05 nbAssignments=498 nbFailedAssignments=213 nbBacktracks=206 nbVisitedNodes=799 nbRestartNogoods=24 mapSize=185
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.207 cpuTime=0.16 mem=14M839
1.10
1.10 search
1.10 run=6 nbConstraintChecks=1044863 nbPropagations=49886 nbRevisions=378098 nbUselessRevisions=268752
1.10 nbAssignments=725 nbFailedAssignments=313 nbBacktracks=319 nbVisitedNodes=1192 nbRestartNogoods=27 mapSize=285
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.259 cpuTime=0.21 mem=14M839
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1499774 nbPropagations=73829 nbRevisions=566190 nbUselessRevisions=400856
1.19 nbAssignments=1060 nbFailedAssignments=462 nbBacktracks=490 nbVisitedNodes=1777 nbRestartNogoods=30
1.19 mapSize=438 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.344 cpuTime=0.28 mem=14M839
1.31
1.31 search
1.31 run=8 nbConstraintChecks=2222518 nbPropagations=108809 nbRevisions=842776 nbUselessRevisions=593842
1.31 nbAssignments=1541 nbFailedAssignments=682 nbBacktracks=746 nbVisitedNodes=2641 nbRestartNogoods=36
1.31 mapSize=667 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.464 cpuTime=0.39 mem=14M839
1.46
1.46 search
1.46 run=9 nbConstraintChecks=3155699 nbPropagations=160244 nbRevisions=1249519 nbUselessRevisions=878125
1.46 nbAssignments=2286 nbFailedAssignments=1037 nbBacktracks=1130 nbVisitedNodes=3995 nbRestartNogoods=40
1.46 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.622 cpuTime=0.54 mem=14M839
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M839)
1.69
1.69 search
1.69 run=10 nbConstraintChecks=4797207 nbPropagations=236621 nbRevisions=1856026 nbUselessRevisions=1299783
1.69 nbAssignments=3367 nbFailedAssignments=1538 nbBacktracks=1706 nbVisitedNodes=5947 nbRestartNogoods=48
1.69 => wckTime=0.852 cpuTime=0.76 mem=14M839
2.00
2.00 search
2.00 run=11 nbConstraintChecks=7165962 nbPropagations=348791 nbRevisions=2751457 nbUselessRevisions=1922152
2.00 nbAssignments=5001 nbFailedAssignments=2304 nbBacktracks=2570 nbVisitedNodes=8882 nbRestartNogoods=55
2.00 => wckTime=1.159 cpuTime=1.07 mem=14M839
2.47
2.47 search
2.47 run=12 nbConstraintChecks=10514143 nbPropagations=515144 nbRevisions=4079585 nbUselessRevisions=2843187
2.47 nbAssignments=7474 nbFailedAssignments=3476 nbBacktracks=3868 nbVisitedNodes=13351 nbRestartNogoods=64
2.47 => wckTime=1.628 cpuTime=1.52 mem=14M839
3.20
3.20 search
3.20 run=13 nbConstraintChecks=16066602 nbPropagations=766006 nbRevisions=6091345 nbUselessRevisions=4236000
3.20 nbAssignments=11269 nbFailedAssignments=5318 nbBacktracks=5818 nbVisitedNodes=20252 nbRestartNogoods=70
3.20 => wckTime=2.358 cpuTime=2.25 mem=14M839
4.23
4.23 search
4.23 run=14 nbConstraintChecks=23733463 nbPropagations=1137783 nbRevisions=9070650 nbUselessRevisions=6299232
4.23 nbAssignments=16804 nbFailedAssignments=7931 nbBacktracks=8737 nbVisitedNodes=30196 nbRestartNogoods=80
4.23 => wckTime=3.387 cpuTime=3.27 mem=15M815
5.83
5.83 search
5.83 run=15 nbConstraintChecks=35920704 nbPropagations=1693297 nbRevisions=13519439 nbUselessRevisions=9375219
5.83 nbAssignments=24985 nbFailedAssignments=11727 nbBacktracks=13120 nbVisitedNodes=44846 nbRestartNogoods=87
5.83 => wckTime=4.986 cpuTime=4.85 mem=15M815
8.25
8.25 search
8.25 run=16 nbConstraintChecks=54427439 nbPropagations=2532102 nbRevisions=20252786 nbUselessRevisions=14030785
8.25 nbAssignments=37524 nbFailedAssignments=17692 nbBacktracks=19691 nbVisitedNodes=67520 nbRestartNogoods=97
8.25 => wckTime=7.412 cpuTime=7.26 mem=15M815
12.02
12.02 search
12.02 run=17 nbConstraintChecks=83198321 nbPropagations=3813390 nbRevisions=30573054 nbUselessRevisions=21175905
12.02 nbAssignments=56768 nbFailedAssignments=27080 nbBacktracks=29544 nbVisitedNodes=102616 nbRestartNogoods=106
12.02 => wckTime=11.179 cpuTime=11.0 mem=15M815
16.39
16.39 search
16.39 run=18 nbConstraintChecks=116656356 nbPropagations=5604234 nbRevisions=44991514 nbUselessRevisions=31143530
16.39 nbAssignments=79007 nbFailedAssignments=37670 nbBacktracks=41194 nbVisitedNodes=142845 nbRestartNogoods=111
16.39 => wckTime=15.548 cpuTime=15.33 mem=15M815
16.39
16.39 global
16.39 nbConstraintChecks=116730332 nbPropagations=5605062 nbRevisions=44996611 nbUselessRevisions=31147481
16.39 nbRestartNogoods=111 solvingWckTime=15.549 solvingCpuTime=15.33 expiredTime=no totalExploration=yes
16.39 nbFoundSolutions=0 globalCpuTime=15.75
16.39 => wckTime=16.075 cpuTime=15.7 mem=15M815
16.40
16.40 s UNSATISFIABLE
16.40 d NODES 79007
16.40 d CHECKS 116730332
16.40
16.40 totalWckTime=16.159 totalCpuTime=15.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-224102-1168267723 -o ROOT/results/node60/solver-224102-1168267723 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224102-1168267723/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.96 1.98 1.83 4/74 9186
/proc/meminfo: memFree=1416256/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=9948 CPUtime=0
/proc/9185/stat : 9185 (java) S 9183 9185 9026 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 175170170 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/9185/statm: 2955 510 421 14 0 1602 0
[startup+0.104382 s]
/proc/loadavg: 1.96 1.98 1.83 4/74 9186
/proc/meminfo: memFree=1416256/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=914988 CPUtime=0.09
/proc/9185/stat : 9185 (java) D 9183 9185 9026 0 -1 0 2987 0 1 0 7 2 0 0 18 0 8 0 175170170 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51242 s]
/proc/loadavg: 1.96 1.98 1.83 4/74 9186
/proc/meminfo: memFree=1416256/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=915328 CPUtime=0.49
/proc/9185/stat : 9185 (java) R 9183 9185 9026 0 -1 0 7031 0 1 0 45 4 0 0 18 0 8 0 175170170 937295872 6770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155184945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 228832 6770 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3425 s]
/proc/loadavg: 1.96 1.98 1.84 4/81 9193
/proc/meminfo: memFree=1392328/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=915452 CPUtime=1.32
/proc/9185/stat : 9185 (java) R 9183 9185 9026 0 -1 0 8694 0 1 0 125 7 0 0 24 0 8 0 175170170 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 228863 8432 2524 14 0 215333 0
[pid=9185/tid=9187] ppid=9183 vsize=915452 CPUtime=0.03
/proc/9185/task/9187/stat : 9187 (java) S 9183 9185 9026 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175170174 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9183 9185 9026 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175170175 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9183 9185 9026 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175170175 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9183 9185 9026 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175170178 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9183 vsize=915452 CPUtime=0.23
/proc/9185/task/9191/stat : 9191 (java) S 9183 9185 9026 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 175170178 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175170178 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175170178 937422848 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.99266 s]
/proc/loadavg: 1.96 1.98 1.84 3/81 9193
/proc/meminfo: memFree=1391880/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=915452 CPUtime=2.95
/proc/9185/stat : 9185 (java) R 9183 9185 9026 0 -1 0 8730 0 1 0 288 7 0 0 25 0 8 0 175170170 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 228863 8467 2524 14 0 215333 0
[pid=9185/tid=9187] ppid=9183 vsize=915452 CPUtime=0.03
/proc/9185/task/9187/stat : 9187 (java) S 9183 9185 9026 0 -1 64 244 0 0 0 3 0 0 0 17 0 8 0 175170174 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9183 9185 9026 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175170175 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9183 9185 9026 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175170175 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9183 9185 9026 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175170178 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9183 vsize=915452 CPUtime=0.24
/proc/9185/task/9191/stat : 9191 (java) S 9183 9185 9026 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 175170178 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175170178 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175170178 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.27198 s]
/proc/loadavg: 1.96 1.98 1.84 3/81 9193
/proc/meminfo: memFree=1391496/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=915452 CPUtime=6.2
/proc/9185/stat : 9185 (java) R 9183 9185 9026 0 -1 0 8738 0 1 0 613 7 0 0 25 0 8 0 175170170 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 228863 8474 2524 14 0 215333 0
[pid=9185/tid=9187] ppid=9183 vsize=915452 CPUtime=0.03
/proc/9185/task/9187/stat : 9187 (java) S 9183 9185 9026 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175170174 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9183 9185 9026 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175170175 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9183 9185 9026 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175170175 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9183 9185 9026 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175170178 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9183 vsize=915452 CPUtime=0.24
/proc/9185/task/9191/stat : 9191 (java) S 9183 9185 9026 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 175170178 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175170178 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175170178 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7586 s]
/proc/loadavg: 2.05 2.00 1.84 3/81 9193
/proc/meminfo: memFree=1390984/2055920 swapFree=4192812/4192956
[pid=9185] ppid=9183 vsize=915452 CPUtime=12.63
/proc/9185/stat : 9185 (java) R 9183 9185 9026 0 -1 0 8743 0 1 0 1256 7 0 0 25 0 8 0 175170170 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 228863 8479 2524 14 0 215333 0
[pid=9185/tid=9187] ppid=9183 vsize=915452 CPUtime=0.03
/proc/9185/task/9187/stat : 9187 (java) S 9183 9185 9026 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175170174 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9183 9185 9026 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175170175 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9183 9185 9026 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175170175 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9183 9185 9026 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175170178 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9183 vsize=915452 CPUtime=0.24
/proc/9185/task/9191/stat : 9191 (java) S 9183 9185 9026 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 175170178 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175170178 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9183 vsize=915452 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9183 9185 9026 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175170178 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 16.4404
CPU time (s): 16.2615
CPU user time (s): 16.1805
CPU system time (s): 0.080987
CPU usage (%): 98.9119
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1805
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8835
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= 1410
involuntary context switches= 1922
runsolver used 0.025996 s user time and 0.057991 s system time
The end
Begin job on node60 on Mon Jan 8 14:48:43 UTC 2007
IDJOB= 224102
IDBENCH= 5708
FILE ID= node60/224102-1168267723
PBS_JOBID= 3482903
Free space on /tmp= 66480 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224102-1168267723/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-224102-1168267723 -o ROOT/results/node60/solver-224102-1168267723 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224102-1168267723/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 99ca03af81338811d77d016dbff42039
RANDOM SEED= 296857852
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: 1416736 kB
Buffers: 55460 kB
Cached: 270396 kB
SwapCached: 0 kB
Active: 462876 kB
Inactive: 116812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1416736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 264836 kB
Slab: 44484 kB
Committed_AS: 4527320 kB
PageTables: 2316 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= 66480 MiB
End job on node60 on Mon Jan 8 14:48:59 UTC 2007