0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/207842-1168183519/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.45 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.45 => wckTime=0.116 cpuTime=0.1 mem=7M931
0.45
0.45 relations being loaded...
0.50
0.50 constraints being loaded...
0.69 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.69 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.69 nbSharedBinaryRepresentations=25494 maxDegree=25 maxArity=3
0.69 => wckTime=0.358 cpuTime=0.26 mem=16M464
0.75
0.75 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.623 cpuTime=0.43 mem=19M180
2.67
2.67 preprocessing
2.67 nbConstraintChecks=3084729 nbValidityChecks=3044055 nbPropagations=29010 nbRevisions=61949
2.67 nbUselessRevisions=25014 nbSingletonTests=679 nbEffectiveSingletonTests=65 nbESACBranches=70
2.67 nbRemovedValues=27113 detectedInconsistency=no
2.67 => wckTime=1.716 cpuTime=1.64 mem=19M180
2.73
2.73 search
2.73 run=0 nbConstraintChecks=56353 nbValidityChecks=49800 nbPropagations=30238 nbRevisions=65688
2.73 nbUselessRevisions=27190 nbAssignments=18 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=31
2.73 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.73 => wckTime=1.769 cpuTime=1.68 mem=19M180
2.80
2.80 search
2.80 run=1 nbConstraintChecks=143883 nbValidityChecks=127543 nbPropagations=63108 nbRevisions=139786
2.80 nbUselessRevisions=59367 nbAssignments=56 nbFailedAssignments=24 nbBacktracks=27 nbVisitedNodes=95
2.80 nbRestartNogoods=3 mapSize=21 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.838 cpuTime=1.74 mem=19M180
2.94
2.94 search
2.94 run=2 nbConstraintChecks=416347 nbValidityChecks=382331 nbPropagations=99643 nbRevisions=224188
2.94 nbUselessRevisions=97210 nbAssignments=107 nbFailedAssignments=40 nbBacktracks=49 nbVisitedNodes=163
2.94 nbRestartNogoods=11 mapSize=37 nbInferences=0 nbTooLargeKeys=0
2.95 => wckTime=1.987 cpuTime=1.89 mem=19M180
3.14
3.14 search
3.14 run=3 nbConstraintChecks=738037 nbValidityChecks=711271 nbPropagations=144609 nbRevisions=329760
3.14 nbUselessRevisions=145949 nbAssignments=224 nbFailedAssignments=90 nbBacktracks=83 nbVisitedNodes=337
3.14 nbRestartNogoods=15 mapSize=67 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=2.185 cpuTime=2.09 mem=20M155
3.60
3.60 search
3.60 run=4 nbConstraintChecks=1471451 nbValidityChecks=1572518 nbPropagations=205195 nbRevisions=467837
3.60 nbUselessRevisions=209762 nbAssignments=478 nbFailedAssignments=135 nbBacktracks=133 nbVisitedNodes=515
3.60 nbRestartNogoods=35 mapSize=107 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=2.637 cpuTime=2.53 mem=20M155
3.85
3.85 search
3.85 run=5 nbConstraintChecks=1853001 nbValidityChecks=2006386 nbPropagations=277846 nbRevisions=634798
3.85 nbUselessRevisions=288327 nbAssignments=680 nbFailedAssignments=201 nbBacktracks=209 nbVisitedNodes=771
3.85 nbRestartNogoods=44 mapSize=163 nbInferences=0 nbTooLargeKeys=0
3.85 => wckTime=2.892 cpuTime=2.78 mem=20M155
4.14
4.14 search
4.14 run=6 nbConstraintChecks=2281585 nbValidityChecks=2477627 nbPropagations=362839 nbRevisions=832130
4.14 nbUselessRevisions=382312 nbAssignments=922 nbFailedAssignments=283 nbBacktracks=323 nbVisitedNodes=1100
4.14 nbRestartNogoods=54 mapSize=233 nbInferences=0 nbTooLargeKeys=0
4.14 => wckTime=3.182 cpuTime=3.07 mem=21M130
4.59
4.59 search
4.59 run=7 nbConstraintChecks=2951093 nbValidityChecks=3232181 nbPropagations=468468 nbRevisions=1083413
4.59 nbUselessRevisions=505605 nbAssignments=1297 nbFailedAssignments=379 nbBacktracks=498 nbVisitedNodes=1558
4.59 nbRestartNogoods=65 mapSize=345 nbInferences=0 nbTooLargeKeys=0
4.59 => wckTime=3.628 cpuTime=3.5 mem=22M106
4.95
4.95 search
4.95 run=8 nbConstraintChecks=3456711 nbValidityChecks=3720017 nbPropagations=593067 nbRevisions=1388425
4.95 nbUselessRevisions=658552 nbAssignments=1715 nbFailedAssignments=527 nbBacktracks=757 nbVisitedNodes=2221
4.95 nbRestartNogoods=71 mapSize=502 nbInferences=0 nbTooLargeKeys=0
4.95 => wckTime=3.994 cpuTime=3.85 mem=23M81
5.70
5.70 search
5.70 run=9 nbConstraintChecks=4614141 nbValidityChecks=4845112 nbPropagations=756151 nbRevisions=1802455
5.71 nbUselessRevisions=872648 nbAssignments=2400 nbFailedAssignments=785 nbBacktracks=1143 nbVisitedNodes=3315
5.71 nbRestartNogoods=83 mapSize=754 nbInferences=0 nbTooLargeKeys=0
5.71 => wckTime=4.746 cpuTime=4.6 mem=24M56
6.46
6.46 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=26M6)
6.58
6.58 search
6.58 run=10 nbConstraintChecks=5911530 nbValidityChecks=6185651 nbPropagations=963943 nbRevisions=2337613
6.58 nbUselessRevisions=1151380 nbAssignments=3331 nbFailedAssignments=1087 nbBacktracks=1721 nbVisitedNodes=4744
6.58 nbRestartNogoods=93
6.58 => wckTime=5.624 cpuTime=5.45 mem=26M6
7.91
7.91 search
7.91 run=11 nbConstraintChecks=8134828 nbValidityChecks=8355418 nbPropagations=1247598 nbRevisions=3086296
7.91 nbUselessRevisions=1549322 nbAssignments=4708 nbFailedAssignments=1564 nbBacktracks=2588 nbVisitedNodes=6965
7.91 nbRestartNogoods=98
7.91 => wckTime=6.95 cpuTime=6.76 mem=26M6
10.03
10.03 search
10.03 run=12 nbConstraintChecks=11538484 nbValidityChecks=12048565 nbPropagations=1650190 nbRevisions=4123702
10.03 nbUselessRevisions=2091231 nbAssignments=6837 nbFailedAssignments=2306 nbBacktracks=3885 nbVisitedNodes=10446
10.03 nbRestartNogoods=109
10.03 => wckTime=9.068 cpuTime=8.86 mem=26M6
12.67
12.67 search
12.67 run=13 nbConstraintChecks=15900499 nbValidityChecks=16476683 nbPropagations=2214411 nbRevisions=5606363
12.67 nbUselessRevisions=2875840 nbAssignments=9717 nbFailedAssignments=3223 nbBacktracks=5835 nbVisitedNodes=15277
12.67 nbRestartNogoods=111
12.67 => wckTime=11.714 cpuTime=11.47 mem=26M6
17.02
17.02 search
17.02 run=14 nbConstraintChecks=22894492 nbValidityChecks=23823430 nbPropagations=3043792 nbRevisions=7780673
17.02 nbUselessRevisions=4031354 nbAssignments=14100 nbFailedAssignments=4663 nbBacktracks=8754 nbVisitedNodes=22849
17.02 nbRestartNogoods=122
17.02 => wckTime=16.062 cpuTime=15.78 mem=26M6
23.11
23.11 search
23.11 run=15 nbConstraintChecks=32674097 nbValidityChecks=33922935 nbPropagations=4264807 nbRevisions=11032845
23.11 nbUselessRevisions=5784523 nbAssignments=20372 nbFailedAssignments=6543 nbBacktracks=13132 nbVisitedNodes=33724
23.11 nbRestartNogoods=127
23.11 => wckTime=22.156 cpuTime=21.82 mem=26M6
31.33
31.33 search
31.33 run=16 nbConstraintChecks=45515143 nbValidityChecks=47945552 nbPropagations=5996289 nbRevisions=15618455
31.33 nbUselessRevisions=8247674 nbAssignments=30040 nbFailedAssignments=9563 nbBacktracks=19705 nbVisitedNodes=49787
31.33 nbRestartNogoods=153
31.33 => wckTime=30.375 cpuTime=29.97 mem=26M6
45.36
45.36 search
45.36 run=17 nbConstraintChecks=68181555 nbValidityChecks=71318079 nbPropagations=8603792 nbRevisions=22539448
45.36 nbUselessRevisions=11977472 nbAssignments=44774 nbFailedAssignments=14433 nbBacktracks=29557
45.36 nbVisitedNodes=75405 nbRestartNogoods=158
45.36 => wckTime=44.402 cpuTime=43.86 mem=26M6
62.59
62.59 search
62.59 run=18 nbConstraintChecks=95622813 nbValidityChecks=100128836 nbPropagations=12320352 nbRevisions=32362805
62.59 nbUselessRevisions=17269076 nbAssignments=64607 nbFailedAssignments=20593 nbBacktracks=43153
62.59 nbVisitedNodes=108824 nbRestartNogoods=165
62.59 => wckTime=61.628 cpuTime=60.92 mem=26M6
62.59
62.59 global
62.59 nbConstraintChecks=98707542 nbValidityChecks=103172891 nbPropagations=12349362 nbRevisions=32424754
62.59 nbUselessRevisions=17294090 nbRestartNogoods=165 solvingWckTime=61.629 solvingCpuTime=60.92 expiredTime=no
62.59 totalExploration=no nbFoundSolutions=1 globalCpuTime=61.4
62.59 => wckTime=62.258 cpuTime=61.35 mem=26M6
62.59
62.59 s SATISFIABLE
62.59 v 15 17 13 10 18 3 14 0 3 0 16 6 17 4 19 4 20 1 6 0 22 15 23 2 25 4 24 24 5 1 4 2 9 7 12 15 10 11 8 11 11 1 2 0 7 17 21 12 1 8 27 30 30 30 36 40 44 45 45 60 62 66 90 91 93 100 115 126 137 138 138 155 167 175 175 0
62.59 d NODES 64607
62.59 d CHECKS 98707542
62.59
62.59 totalWckTime=62.344 totalCpuTime=61.4
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-207842-1168183519 -o ROOT/results/node1/solver-207842-1168183519 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207842-1168183519/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: 2.12 2.07 2.06 4/94 24537
/proc/meminfo: memFree=1087224/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=9948 CPUtime=0
/proc/24536/stat : 24536 (java) S 24534 24536 24417 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 166747636 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/24536/statm: 2955 510 421 14 0 1602 0
[startup+0.104214 s]
/proc/loadavg: 2.12 2.07 2.06 4/94 24537
/proc/meminfo: memFree=1087224/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=914988 CPUtime=0.08
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 2977 0 1 0 6 2 0 0 19 0 8 0 166747636 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155594456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512258 s]
/proc/loadavg: 2.12 2.07 2.06 4/94 24537
/proc/meminfo: memFree=1087224/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915328 CPUtime=0.49
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 6971 0 1 0 43 6 0 0 18 0 8 0 166747636 937295872 6710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228832 6710 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33436 s]
/proc/loadavg: 2.12 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1057088/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=1.29
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 9728 0 1 0 121 8 0 0 24 0 8 0 166747636 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 9466 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.23
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 380 0 0 0 22 1 0 0 16 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.97255 s]
/proc/loadavg: 2.12 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1056768/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=2.92
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 9796 0 1 0 283 9 0 0 25 0 8 0 166747636 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 9532 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.25
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.17492 s]
/proc/loadavg: 2.11 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1052096/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=6.1
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11197 0 1 0 599 11 0 0 25 0 8 0 166747636 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 10930 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 17 0 8 0 166747640 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.29
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 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.6487 s]
/proc/loadavg: 2.10 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1050184/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=12.5
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11388 0 1 0 1239 11 0 0 25 0 8 0 166747636 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 11119 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.3
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 412 0 0 0 29 1 0 0 16 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915460
[startup+25.5262 s]
/proc/loadavg: 2.08 2.06 2.06 3/101 24544
/proc/meminfo: memFree=1049736/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=25.27
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11397 0 1 0 2516 11 0 0 25 0 8 0 166747636 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 11128 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.3
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 412 0 0 0 29 1 0 0 16 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915460
[startup+51.1482 s]
/proc/loadavg: 2.05 2.06 2.06 3/101 24544
/proc/meminfo: memFree=1046536/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=50.65
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11403 0 1 0 5053 12 0 0 25 0 8 0 166747636 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 11134 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.3
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 413 0 0 0 29 1 0 0 16 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 62.6305
CPU time (s): 62.0026
CPU user time (s): 61.8706
CPU system time (s): 0.131979
CPU usage (%): 98.9974
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.8706
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11496
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= 2555
involuntary context switches= 3976
runsolver used 0.073988 s user time and 0.227965 s system time
The end
Begin job on node1 on Sun Jan 7 15:25:19 UTC 2007
IDJOB= 207842
IDBENCH= 4338
FILE ID= node1/207842-1168183519
PBS_JOBID= 3478940
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-523_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207842-1168183519/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-207842-1168183519 -o ROOT/results/node1/solver-207842-1168183519 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207842-1168183519/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 574d05c6319781b81aa96225f5b39ad5
RANDOM SEED= 266061405
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.234
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.234
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: 1087704 kB
Buffers: 27272 kB
Cached: 192556 kB
SwapCached: 3620 kB
Active: 771632 kB
Inactive: 139888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1087704 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 710604 kB
Slab: 40032 kB
Committed_AS: 5485848 kB
PageTables: 3724 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= 66304 MiB
End job on node1 on Sun Jan 7 15:26:21 UTC 2007