0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/206982-1168179702/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=61 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.40 => wckTime=0.103 cpuTime=0.09 mem=7M931
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.61 nbConstraints=230 nbRelationTypes=23 nbSingletonDomainVariables=2 nbExtensionStructures=24
0.61 nbSharedExtensionStructures=206 nbConflictsStructures=24 nbSharedConflictsStructures=206
0.61 nbSharedBinaryRepresentations=20288 maxDegree=20 maxArity=3
0.61 => wckTime=0.31 cpuTime=0.26 mem=18M372
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.523 cpuTime=0.39 mem=18M923
1.93
1.93 preprocessing
1.93 nbConstraintChecks=1817180 nbValidityChecks=2120756 nbPropagations=10353 nbRevisions=23451
1.93 nbUselessRevisions=9456 nbSingletonTests=339 nbEffectiveSingletonTests=41 nbESACBranches=31
1.93 nbRemovedValues=21240 detectedInconsistency=no
1.93 => wckTime=1.101 cpuTime=1.04 mem=19M898
2.03
2.03 search
2.03 run=0 nbConstraintChecks=135764 nbValidityChecks=146312 nbPropagations=12515 nbRevisions=28596
2.03 nbUselessRevisions=11695 nbAssignments=37 nbFailedAssignments=18 nbBacktracks=13 nbVisitedNodes=62
2.03 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=1.202 cpuTime=1.13 mem=19M898
2.16
2.16 search
2.16 run=1 nbConstraintChecks=358716 nbValidityChecks=418606 nbPropagations=28313 nbRevisions=64389
2.16 nbUselessRevisions=26446 nbAssignments=101 nbFailedAssignments=38 nbBacktracks=30 nbVisitedNodes=136
2.16 nbRestartNogoods=5 mapSize=28 nbInferences=0 nbTooLargeKeys=0
2.17 => wckTime=1.336 cpuTime=1.26 mem=19M898
2.28
2.28 search
2.28 run=2 nbConstraintChecks=551953 nbValidityChecks=614614 nbPropagations=48040 nbRevisions=110124
2.28 nbUselessRevisions=45905 nbAssignments=156 nbFailedAssignments=64 nbBacktracks=53 nbVisitedNodes=236
2.28 nbRestartNogoods=6 mapSize=50 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=1.447 cpuTime=1.37 mem=19M898
2.51
2.52 search
2.52 run=3 nbConstraintChecks=981838 nbValidityChecks=1116613 nbPropagations=74474 nbRevisions=170544
2.52 nbUselessRevisions=71546 nbAssignments=260 nbFailedAssignments=104 nbBacktracks=87 nbVisitedNodes=380
2.52 nbRestartNogoods=18 mapSize=76 nbInferences=0 nbTooLargeKeys=0
2.52 => wckTime=1.687 cpuTime=1.61 mem=19M898
2.76
2.76 search
2.76 run=4 nbConstraintChecks=1414536 nbValidityChecks=1596206 nbPropagations=108485 nbRevisions=248636
2.76 nbUselessRevisions=105033 nbAssignments=374 nbFailedAssignments=152 nbBacktracks=139 nbVisitedNodes=566
2.76 nbRestartNogoods=26 mapSize=114 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.928 cpuTime=1.85 mem=19M898
3.04
3.04 search
3.04 run=5 nbConstraintChecks=1885064 nbValidityChecks=2113516 nbPropagations=152823 nbRevisions=351183
3.04 nbUselessRevisions=149577 nbAssignments=543 nbFailedAssignments=237 nbBacktracks=216 nbVisitedNodes=860
3.04 nbRestartNogoods=30 mapSize=165 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=2.215 cpuTime=2.13 mem=20M873
3.47
3.47 search
3.47 run=6 nbConstraintChecks=2613614 nbValidityChecks=2902837 nbPropagations=212326 nbRevisions=487846
3.47 nbUselessRevisions=208601 nbAssignments=791 nbFailedAssignments=356 nbBacktracks=330 nbVisitedNodes=1290
3.47 nbRestartNogoods=35 mapSize=245 nbInferences=0 nbTooLargeKeys=0
3.47 => wckTime=2.643 cpuTime=2.55 mem=20M873
4.19
4.19 search
4.19 run=7 nbConstraintChecks=3826068 nbValidityChecks=4364959 nbPropagations=295030 nbRevisions=675486
4.19 nbUselessRevisions=289852 nbAssignments=1197 nbFailedAssignments=500 nbBacktracks=500 nbVisitedNodes=1851
4.19 nbRestartNogoods=58 mapSize=351 nbInferences=0 nbTooLargeKeys=0
4.19 => wckTime=3.358 cpuTime=3.25 mem=21M848
4.75
4.75 search
4.75 run=8 nbConstraintChecks=4731920 nbValidityChecks=5464837 nbPropagations=399487 nbRevisions=911050
4.75 nbUselessRevisions=391555 nbAssignments=1641 nbFailedAssignments=624 nbBacktracks=757 nbVisitedNodes=2483
4.75 nbRestartNogoods=68 mapSize=509 nbInferences=0 nbTooLargeKeys=0
4.75 => wckTime=3.922 cpuTime=3.8 mem=22M823
5.51
5.51 search
5.51 run=9 nbConstraintChecks=5992720 nbValidityChecks=6874157 nbPropagations=535960 nbRevisions=1223352
5.51 nbUselessRevisions=529508 nbAssignments=2263 nbFailedAssignments=811 nbBacktracks=1148 nbVisitedNodes=3441
5.51 nbRestartNogoods=79 mapSize=747 nbInferences=0 nbTooLargeKeys=0
5.51 => wckTime=4.685 cpuTime=4.56 mem=23M798
6.59
6.59 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=24M774)
6.79
6.79 search
6.79 run=10 nbConstraintChecks=8201606 nbValidityChecks=9265118 nbPropagations=723589 nbRevisions=1655354
6.79 nbUselessRevisions=721070 nbAssignments=3129 nbFailedAssignments=1085 nbBacktracks=1727 nbVisitedNodes=4886
6.79 nbRestartNogoods=90
6.79 => wckTime=5.959 cpuTime=5.8 mem=24M774
8.49
8.49 search
8.49 run=11 nbConstraintChecks=11202891 nbValidityChecks=12647171 nbPropagations=986714 nbRevisions=2261152
8.49 nbUselessRevisions=991060 nbAssignments=4458 nbFailedAssignments=1531 nbBacktracks=2591 nbVisitedNodes=7065
8.49 nbRestartNogoods=96
8.49 => wckTime=7.658 cpuTime=7.48 mem=24M774
12.17
12.17 search
12.17 run=12 nbConstraintChecks=17864203 nbValidityChecks=20063323 nbPropagations=1388385 nbRevisions=3172249
12.17 nbUselessRevisions=1390328 nbAssignments=6625 nbFailedAssignments=2371 nbBacktracks=3889 nbVisitedNodes=10789
12.17 nbRestartNogoods=110
12.17 => wckTime=11.346 cpuTime=11.14 mem=24M774
16.54
16.54 search
16.54 run=13 nbConstraintChecks=25566222 nbValidityChecks=28681391 nbPropagations=1963481 nbRevisions=4472850
16.54 nbUselessRevisions=1954543 nbAssignments=9809 nbFailedAssignments=3536 nbBacktracks=5832 nbVisitedNodes=16136
16.54 nbRestartNogoods=124
16.54 => wckTime=15.712 cpuTime=15.44 mem=24M774
16.54
16.54 global
16.54 nbConstraintChecks=27383402 nbValidityChecks=30802147 nbPropagations=1973834 nbRevisions=4496301
16.54 nbUselessRevisions=1963999 nbRestartNogoods=124 solvingWckTime=15.713 solvingCpuTime=15.44 expiredTime=no
16.54 totalExploration=no nbFoundSolutions=1 globalCpuTime=15.86
16.54 => wckTime=16.242 cpuTime=15.83 mem=25M749
16.54
16.54 s SATISFIABLE
16.54 v 7 5 20 24 13 7 19 7 15 29 11 1 16 6 2 0 10 19 6 10 14 19 4 15 17 1 9 6 18 0 8 15 3 2 5 7 12 1 1 35 29 36 43 72 73 79 79 98 108 127 142 143 149 149 164 166 173 174 209 209 0
16.54 d NODES 9809
16.54 d CHECKS 27383402
16.54
16.54 totalWckTime=16.319 totalCpuTime=15.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-206982-1168179702 -o ROOT/results/node75/solver-206982-1168179702 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206982-1168179702/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.78 1.55 1.75 5/81 25415
/proc/meminfo: memFree=1592640/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=18540 CPUtime=0
/proc/25414/stat : 25414 (runsolver) R 25412 25414 24958 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 166369627 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/25414/statm: 4635 279 244 17 0 2626 0
[startup+0.104039 s]
/proc/loadavg: 1.78 1.55 1.75 5/81 25415
/proc/meminfo: memFree=1592640/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=914988 CPUtime=0.08
/proc/25414/stat : 25414 (java) R 25412 25414 24958 0 -1 0 2997 0 1 0 7 1 0 0 25 0 8 0 166369627 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25414/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516089 s]
/proc/loadavg: 1.78 1.55 1.75 5/81 25415
/proc/meminfo: memFree=1592640/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=915328 CPUtime=0.49
/proc/25414/stat : 25414 (java) R 25412 25414 24958 0 -1 0 7560 0 1 0 45 4 0 0 25 0 8 0 166369627 937295872 7299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25414/statm: 228832 7299 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34319 s]
/proc/loadavg: 1.80 1.56 1.75 3/88 25422
/proc/meminfo: memFree=1560904/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=915444 CPUtime=1.3
/proc/25414/stat : 25414 (java) R 25412 25414 24958 0 -1 0 10426 0 1 0 125 5 0 0 25 0 8 0 166369627 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25414/statm: 228861 10164 2527 14 0 215331 0
[pid=25414/tid=25416] ppid=25412 vsize=915444 CPUtime=0.03
/proc/25414/task/25416/stat : 25416 (java) S 25412 25414 24958 0 -1 64 993 0 0 0 3 0 0 0 16 0 8 0 166369631 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25417] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25417/stat : 25417 (java) S 25412 25414 24958 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166369631 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25418] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25418/stat : 25418 (java) S 25412 25414 24958 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166369631 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25419] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25419/stat : 25419 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166369634 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25420] ppid=25412 vsize=915444 CPUtime=0.17
/proc/25414/task/25420/stat : 25420 (java) S 25412 25414 24958 0 -1 64 365 0 0 0 17 0 0 0 15 0 8 0 166369634 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25421] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25421/stat : 25421 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166369634 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25422] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25422/stat : 25422 (java) S 25412 25414 24958 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166369634 937414656 10164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.98038 s]
/proc/loadavg: 1.80 1.56 1.75 3/88 25422
/proc/meminfo: memFree=1559688/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=915444 CPUtime=2.92
/proc/25414/stat : 25414 (java) R 25412 25414 24958 0 -1 0 10440 0 1 0 287 5 0 0 25 0 8 0 166369627 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25414/statm: 228861 10176 2527 14 0 215331 0
[pid=25414/tid=25416] ppid=25412 vsize=915444 CPUtime=0.03
/proc/25414/task/25416/stat : 25416 (java) S 25412 25414 24958 0 -1 64 993 0 0 0 3 0 0 0 17 0 8 0 166369631 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25417] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25417/stat : 25417 (java) S 25412 25414 24958 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166369631 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25418] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25418/stat : 25418 (java) S 25412 25414 24958 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166369631 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25419] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25419/stat : 25419 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166369634 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25420] ppid=25412 vsize=915444 CPUtime=0.19
/proc/25414/task/25420/stat : 25420 (java) S 25412 25414 24958 0 -1 64 376 0 0 0 19 0 0 0 15 0 8 0 166369634 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25421] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25421/stat : 25421 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166369634 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25422] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25422/stat : 25422 (java) S 25412 25414 24958 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166369634 937414656 10176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.25976 s]
/proc/loadavg: 1.82 1.57 1.75 3/88 25422
/proc/meminfo: memFree=1554696/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=915444 CPUtime=6.17
/proc/25414/stat : 25414 (java) R 25412 25414 24958 0 -1 0 11055 0 1 0 611 6 0 0 25 0 8 0 166369627 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25414/statm: 228861 10788 2527 14 0 215331 0
[pid=25414/tid=25416] ppid=25412 vsize=915444 CPUtime=0.03
/proc/25414/task/25416/stat : 25416 (java) S 25412 25414 24958 0 -1 64 993 0 0 0 3 0 0 0 17 0 8 0 166369631 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25417] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25417/stat : 25417 (java) S 25412 25414 24958 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166369631 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25418] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25418/stat : 25418 (java) S 25412 25414 24958 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166369631 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25419] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25419/stat : 25419 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166369634 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25420] ppid=25412 vsize=915444 CPUtime=0.22
/proc/25414/task/25420/stat : 25420 (java) S 25412 25414 24958 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 166369634 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25421] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25421/stat : 25421 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166369634 937414656 10788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25422] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25422/stat : 25422 (java) S 25412 25414 24958 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166369634 937414656 10788 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) 915444
[startup+12.7475 s]
/proc/loadavg: 1.83 1.57 1.75 3/88 25422
/proc/meminfo: memFree=1546384/2055920 swapFree=4184496/4192956
[pid=25414] ppid=25412 vsize=915444 CPUtime=12.61
/proc/25414/stat : 25414 (java) R 25412 25414 24958 0 -1 0 11174 0 1 0 1254 7 0 0 25 0 8 0 166369627 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25414/statm: 228861 10906 2527 14 0 215331 0
[pid=25414/tid=25416] ppid=25412 vsize=915444 CPUtime=0.03
/proc/25414/task/25416/stat : 25416 (java) S 25412 25414 24958 0 -1 64 993 0 0 0 3 0 0 0 16 0 8 0 166369631 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25417] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25417/stat : 25417 (java) S 25412 25414 24958 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166369631 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25418] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25418/stat : 25418 (java) S 25412 25414 24958 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166369631 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25419] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25419/stat : 25419 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166369634 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25420] ppid=25412 vsize=915444 CPUtime=0.23
/proc/25414/task/25420/stat : 25420 (java) S 25412 25414 24958 0 -1 64 397 0 0 0 23 0 0 0 16 0 8 0 166369634 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25421] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25421/stat : 25421 (java) S 25412 25414 24958 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166369634 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25414/tid=25422] ppid=25412 vsize=915444 CPUtime=0
/proc/25414/task/25422/stat : 25422 (java) S 25412 25414 24958 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166369634 937414656 10906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 16.5826
CPU time (s): 16.3645
CPU user time (s): 16.2875
CPU system time (s): 0.076988
CPU usage (%): 98.6849
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2875
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11269
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= 1591
involuntary context switches= 2083
runsolver used 0.018997 s user time and 0.06199 s system time
The end
Begin job on node75 on Sun Jan 7 14:21:42 UTC 2007
IDJOB= 206982
IDBENCH= 4250
FILE ID= node75/206982-1168179702
PBS_JOBID= 3479130
Free space on /tmp= 66475 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-193_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206982-1168179702/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-206982-1168179702 -o ROOT/results/node75/solver-206982-1168179702 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206982-1168179702/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dda026ca5776543126e6e6233faa1f9c
RANDOM SEED= 488567132
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1593312 kB
Buffers: 50232 kB
Cached: 255876 kB
SwapCached: 2680 kB
Active: 213716 kB
Inactive: 192020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593312 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 13764 kB
Writeback: 0 kB
Mapped: 114420 kB
Slab: 41832 kB
Committed_AS: 4316712 kB
PageTables: 2056 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= 66458 MiB
End job on node75 on Sun Jan 7 14:22:00 UTC 2007