0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/208273-1168186483/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=336 nbRelationTypes=336 nbExtensionStructures=336 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=336 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2830 maxDegree=22
0.59 maxArity=2
0.59 => wckTime=0.303 cpuTime=0.23 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.498 cpuTime=0.35 mem=15M12
0.84
0.84 preprocessing
0.84 nbConstraintChecks=69342 nbPropagations=960 nbRevisions=7592 nbUselessRevisions=6319 nbSingletonTests=52
0.84 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.05 cpuTime=0.03 mem=15M12
0.86
0.86 search
0.86 run=0 nbConstraintChecks=27837 nbPropagations=1366 nbRevisions=12085 nbUselessRevisions=9991 nbAssignments=23
0.86 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.07 cpuTime=0.04 mem=15M12
0.88
0.88 search
0.88 run=1 nbConstraintChecks=74486 nbPropagations=3367 nbRevisions=32264 nbUselessRevisions=26412 nbAssignments=58
0.88 nbFailedAssignments=19 nbBacktracks=27 nbVisitedNodes=92 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.091 cpuTime=0.06 mem=15M12
0.90
0.90 search
0.90 run=2 nbConstraintChecks=127735 nbPropagations=6147 nbRevisions=61785 nbUselessRevisions=50432
0.90 nbAssignments=100 nbFailedAssignments=32 nbBacktracks=50 nbVisitedNodes=159 nbRestartNogoods=3 mapSize=42
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.106 cpuTime=0.07 mem=15M12
0.91
0.91 search
0.91 run=3 nbConstraintChecks=192144 nbPropagations=9837 nbRevisions=102631 nbUselessRevisions=83588
0.91 nbAssignments=158 nbFailedAssignments=49 nbBacktracks=85 nbVisitedNodes=251 nbRestartNogoods=5 mapSize=65
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.12 cpuTime=0.08 mem=15M12
0.94
0.94 search
0.94 run=4 nbConstraintChecks=309670 nbPropagations=15254 nbRevisions=167440 nbUselessRevisions=136454
0.94 nbAssignments=251 nbFailedAssignments=86 nbBacktracks=136 nbVisitedNodes=413 nbRestartNogoods=8 mapSize=111
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.145 cpuTime=0.1 mem=15M12
0.97
0.97 search
0.97 run=5 nbConstraintChecks=477160 nbPropagations=22940 nbRevisions=261352 nbUselessRevisions=212650
0.97 nbAssignments=384 nbFailedAssignments=134 nbBacktracks=214 nbVisitedNodes=632 nbRestartNogoods=9 mapSize=173
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.18 cpuTime=0.14 mem=15M12
1.02
1.02 search
1.02 run=6 nbConstraintChecks=768299 nbPropagations=34479 nbRevisions=408158 nbUselessRevisions=331461
1.02 nbAssignments=588 nbFailedAssignments=216 nbBacktracks=329 nbVisitedNodes=987 nbRestartNogoods=12 mapSize=273
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.231 cpuTime=0.19 mem=15M12
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1153083 nbPropagations=51400 nbRevisions=629202 nbUselessRevisions=509893
1.09 nbAssignments=884 nbFailedAssignments=335 nbBacktracks=499 nbVisitedNodes=1501 nbRestartNogoods=15 mapSize=415
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.301 cpuTime=0.25 mem=15M12
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1710405 nbPropagations=76273 nbRevisions=959087 nbUselessRevisions=775966
1.19 nbAssignments=1324 nbFailedAssignments=510 nbBacktracks=755 nbVisitedNodes=2258 nbRestartNogoods=21
1.19 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.403 cpuTime=0.36 mem=15M12
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2632503 nbPropagations=113457 nbRevisions=1458482 nbUselessRevisions=1178256
1.36 nbAssignments=1982 nbFailedAssignments=763 nbBacktracks=1139 nbVisitedNodes=3376 nbRestartNogoods=29
1.36 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.566 cpuTime=0.51 mem=15M12
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=15M12)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3910596 nbPropagations=168545 nbRevisions=2207374 nbUselessRevisions=1782371
1.57 nbAssignments=2952 nbFailedAssignments=1149 nbBacktracks=1716 nbVisitedNodes=5062 nbRestartNogoods=33
1.57 => wckTime=0.777 cpuTime=0.71 mem=15M12
1.83
1.83 search
1.83 run=11 nbConstraintChecks=5476074 nbPropagations=248441 nbRevisions=3292406 nbUselessRevisions=2660313
1.83 nbAssignments=4399 nbFailedAssignments=1721 nbBacktracks=2583 nbVisitedNodes=7572 nbRestartNogoods=39
1.83 => wckTime=1.04 cpuTime=0.97 mem=15M12
2.24
2.24 search
2.24 run=12 nbConstraintChecks=8158546 nbPropagations=366483 nbRevisions=4903770 nbUselessRevisions=3963719
2.24 nbAssignments=6538 nbFailedAssignments=2555 nbBacktracks=3884 nbVisitedNodes=11269 nbRestartNogoods=47
2.24 => wckTime=1.452 cpuTime=1.38 mem=15M12
2.87
2.88 search
2.88 run=13 nbConstraintChecks=12365479 nbPropagations=543033 nbRevisions=7326466 nbUselessRevisions=5922502
2.88 nbAssignments=9805 nbFailedAssignments=3869 nbBacktracks=5831 nbVisitedNodes=16927 nbRestartNogoods=52
2.88 => wckTime=2.086 cpuTime=2.02 mem=15M12
3.83
3.83 search
3.83 run=14 nbConstraintChecks=18535636 nbPropagations=808228 nbRevisions=11012569 nbUselessRevisions=8912477
3.83 nbAssignments=14692 nbFailedAssignments=5829 nbBacktracks=8750 nbVisitedNodes=25517 nbRestartNogoods=59
3.83 => wckTime=3.043 cpuTime=2.97 mem=15M12
5.16
5.16 search
5.16 run=15 nbConstraintChecks=26612050 nbPropagations=1194684 nbRevisions=16368059 nbUselessRevisions=13261557
5.16 nbAssignments=21690 nbFailedAssignments=8443 nbBacktracks=13128 nbVisitedNodes=37471 nbRestartNogoods=70
5.16 => wckTime=4.367 cpuTime=4.27 mem=15M12
7.37
7.37 search
7.37 run=16 nbConstraintChecks=41248302 nbPropagations=1783730 nbRevisions=24512044 nbUselessRevisions=19853977
7.37 nbAssignments=32753 nbFailedAssignments=12931 nbBacktracks=19696 nbVisitedNodes=56807 nbRestartNogoods=80
7.37 => wckTime=6.58 cpuTime=6.47 mem=15M12
10.33
10.33 search
10.33 run=17 nbConstraintChecks=59959213 nbPropagations=2649296 nbRevisions=36466233 nbUselessRevisions=29541926
10.33 nbAssignments=48750 nbFailedAssignments=19067 nbBacktracks=29552 nbVisitedNodes=84243 nbRestartNogoods=94
10.33 => wckTime=9.541 cpuTime=9.43 mem=15M12
15.27
15.27 search
15.27 run=18 nbConstraintChecks=92587590 nbPropagations=3965861 nbRevisions=54793228 nbUselessRevisions=44396654
15.27 nbAssignments=73287 nbFailedAssignments=28822 nbBacktracks=44330 nbVisitedNodes=127227 nbRestartNogoods=103
15.27 => wckTime=14.478 cpuTime=14.37 mem=15M988
22.20
22.20 search
22.20 run=19 nbConstraintChecks=137661056 nbPropagations=5932789 nbRevisions=82072226 nbUselessRevisions=66500330
22.20 nbAssignments=109350 nbFailedAssignments=42708 nbBacktracks=66500 nbVisitedNodes=189555 nbRestartNogoods=114
22.20 => wckTime=21.412 cpuTime=21.3 mem=15M988
33.30
33.30 search
33.30 run=20 nbConstraintChecks=209974018 nbPropagations=8910933 nbRevisions=123742575 nbUselessRevisions=100304058
33.30 nbAssignments=164897 nbFailedAssignments=64998 nbBacktracks=99752 nbVisitedNodes=286601 nbRestartNogoods=123
33.30 => wckTime=32.508 cpuTime=32.39 mem=15M988
50.00
50.00 search
50.00 run=21 nbConstraintChecks=320423080 nbPropagations=13420166 nbRevisions=186738476 nbUselessRevisions=151343418
50.00 nbAssignments=247904 nbFailedAssignments=98119 nbBacktracks=149630 nbVisitedNodes=431275 nbRestartNogoods=132
50.00 => wckTime=49.207 cpuTime=49.06 mem=15M988
54.22
54.22 search
54.22 run=22 nbConstraintChecks=347054152 nbPropagations=18321975 nbRevisions=255160870 nbUselessRevisions=206794750
54.22 nbAssignments=270266 nbFailedAssignments=106658 nbBacktracks=163413 nbVisitedNodes=469804 nbRestartNogoods=144
54.22 => wckTime=53.431 cpuTime=53.28 mem=15M988
54.22
54.22 global
54.22 nbConstraintChecks=347123494 nbPropagations=18322935 nbRevisions=255168462 nbUselessRevisions=206801069
54.22 nbRestartNogoods=144 solvingWckTime=53.432 solvingCpuTime=53.28 expiredTime=no totalExploration=no
54.22 nbFoundSolutions=1 globalCpuTime=53.69
54.22 => wckTime=53.933 cpuTime=53.63 mem=15M988
54.22
54.22 s SATISFIABLE
54.22 v 18 6 0 1 7 16 10 7 15 2 4 4 17 6 0 1 10 2 12 10 17 4 8 2 10 9 10 8 7 15 8 2 16 8 12 9 14 7 17 11
54.22 d NODES 270266
54.23 d CHECKS 347123494
54.23
54.23 totalWckTime=54.01 totalCpuTime=53.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-208273-1168186483 -o ROOT/results/node55/solver-208273-1168186483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208273-1168186483/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.00 2.00 1.91 4/75 14958
/proc/meminfo: memFree=1523248/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=1784 CPUtime=0
/proc/14957/stat : 14957 (java) D 14955 14957 14009 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 167046540 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6849316 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/14957/statm: 446 163 128 14 0 91 0
[startup+0.107576 s]
/proc/loadavg: 2.00 2.00 1.91 4/75 14958
/proc/meminfo: memFree=1523248/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=914988 CPUtime=0.09
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 3119 0 1 0 8 1 0 0 24 0 8 0 167046540 936947712 2865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228747 2866 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515615 s]
/proc/loadavg: 2.00 2.00 1.91 4/75 14958
/proc/meminfo: memFree=1523248/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915328 CPUtime=0.49
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 7007 0 1 0 45 4 0 0 25 0 8 0 167046540 937295872 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228832 6746 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3387 s]
/proc/loadavg: 2.00 2.00 1.91 4/82 14965
/proc/meminfo: memFree=1499256/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915456 CPUtime=1.32
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 8744 0 1 0 126 6 0 0 25 0 8 0 167046540 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228864 8482 2524 14 0 215334 0
[pid=14957/tid=14959] ppid=14955 vsize=915456 CPUtime=0.03
/proc/14957/task/14959/stat : 14959 (java) S 14955 14957 14009 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167046544 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14960] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14960/stat : 14960 (java) S 14955 14957 14009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167046544 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14961] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14961/stat : 14961 (java) S 14955 14957 14009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167046544 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14962] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14962/stat : 14962 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167046547 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14963] ppid=14955 vsize=915456 CPUtime=0.2
/proc/14957/task/14963/stat : 14963 (java) S 14955 14957 14009 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 167046547 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14964] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14964/stat : 14964 (java) S 14955 14957 14009 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 167046547 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14965] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14965/stat : 14965 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167046547 937426944 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.99185 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 14965
/proc/meminfo: memFree=1498936/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915456 CPUtime=2.97
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 8771 0 1 0 291 6 0 0 25 0 8 0 167046540 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228864 8508 2524 14 0 215334 0
[pid=14957/tid=14959] ppid=14955 vsize=915456 CPUtime=0.03
/proc/14957/task/14959/stat : 14959 (java) S 14955 14957 14009 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167046544 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14960] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14960/stat : 14960 (java) S 14955 14957 14009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167046544 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14961] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14961/stat : 14961 (java) S 14955 14957 14009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167046544 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14962] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14962/stat : 14962 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167046547 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14963] ppid=14955 vsize=915456 CPUtime=0.21
/proc/14957/task/14963/stat : 14963 (java) S 14955 14957 14009 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 167046547 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14964] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14964/stat : 14964 (java) S 14955 14957 14009 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 167046547 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14965] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14965/stat : 14965 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167046547 937426944 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456
[startup+6.28718 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 14965
/proc/meminfo: memFree=1498936/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915456 CPUtime=6.23
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 8776 0 1 0 617 6 0 0 25 0 8 0 167046540 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228864 8513 2524 14 0 215334 0
[pid=14957/tid=14959] ppid=14955 vsize=915456 CPUtime=0.03
/proc/14957/task/14959/stat : 14959 (java) S 14955 14957 14009 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167046544 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14960] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14960/stat : 14960 (java) S 14955 14957 14009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167046544 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14961] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14961/stat : 14961 (java) S 14955 14957 14009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167046544 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14962] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14962/stat : 14962 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167046547 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14963] ppid=14955 vsize=915456 CPUtime=0.21
/proc/14957/task/14963/stat : 14963 (java) S 14955 14957 14009 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 167046547 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14964] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14964/stat : 14964 (java) S 14955 14957 14009 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 167046547 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14965] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14965/stat : 14965 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167046547 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456
[startup+12.7798 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 14965
/proc/meminfo: memFree=1498936/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915456 CPUtime=12.72
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 8783 0 1 0 1266 6 0 0 25 0 8 0 167046540 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228864 8519 2524 14 0 215334 0
[pid=14957/tid=14959] ppid=14955 vsize=915456 CPUtime=0.03
/proc/14957/task/14959/stat : 14959 (java) S 14955 14957 14009 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167046544 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14960] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14960/stat : 14960 (java) S 14955 14957 14009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167046544 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14961] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14961/stat : 14961 (java) S 14955 14957 14009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167046544 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14962] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14962/stat : 14962 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167046547 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14963] ppid=14955 vsize=915456 CPUtime=0.21
/proc/14957/task/14963/stat : 14963 (java) S 14955 14957 14009 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167046547 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14964] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14964/stat : 14964 (java) S 14955 14957 14009 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 167046547 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14965] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14965/stat : 14965 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167046547 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915456
[startup+25.6301 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 14965
/proc/meminfo: memFree=1498872/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915456 CPUtime=25.57
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 8787 0 1 0 2551 6 0 0 25 0 8 0 167046540 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228864 8523 2524 14 0 215334 0
[pid=14957/tid=14959] ppid=14955 vsize=915456 CPUtime=0.03
/proc/14957/task/14959/stat : 14959 (java) S 14955 14957 14009 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167046544 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14960] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14960/stat : 14960 (java) S 14955 14957 14009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167046544 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14961] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14961/stat : 14961 (java) S 14955 14957 14009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167046544 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14962] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14962/stat : 14962 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167046547 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14963] ppid=14955 vsize=915456 CPUtime=0.21
/proc/14957/task/14963/stat : 14963 (java) S 14955 14957 14009 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167046547 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14964] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14964/stat : 14964 (java) S 14955 14957 14009 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 167046547 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14965] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14965/stat : 14965 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167046547 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915456
[startup+51.2685 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 14965
/proc/meminfo: memFree=1498616/2055920 swapFree=4192812/4192956
[pid=14957] ppid=14955 vsize=915456 CPUtime=51.19
/proc/14957/stat : 14957 (java) R 14955 14957 14009 0 -1 0 8792 0 1 0 5112 7 0 0 25 0 8 0 167046540 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14957/statm: 228864 8528 2524 14 0 215334 0
[pid=14957/tid=14959] ppid=14955 vsize=915456 CPUtime=0.03
/proc/14957/task/14959/stat : 14959 (java) S 14955 14957 14009 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 167046544 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14960] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14960/stat : 14960 (java) S 14955 14957 14009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167046544 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14961] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14961/stat : 14961 (java) S 14955 14957 14009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167046544 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14962] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14962/stat : 14962 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167046547 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14963] ppid=14955 vsize=915456 CPUtime=0.21
/proc/14957/task/14963/stat : 14963 (java) S 14955 14957 14009 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 167046547 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14964] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14964/stat : 14964 (java) S 14955 14957 14009 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 167046547 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14957/tid=14965] ppid=14955 vsize=915456 CPUtime=0
/proc/14957/task/14965/stat : 14965 (java) S 14955 14957 14009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167046547 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 54.2747
CPU time (s): 54.1498
CPU user time (s): 54.0708
CPU system time (s): 0.078987
CPU usage (%): 99.7699
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.0708
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8884
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= 2231
involuntary context switches= 2707
runsolver used 0.088986 s user time and 0.160975 s system time
The end
Begin job on node55 on Sun Jan 7 16:14:43 UTC 2007
IDJOB= 208273
IDBENCH= 4365
FILE ID= node55/208273-1168186483
PBS_JOBID= 3479208
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208273-1168186483/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-208273-1168186483 -o ROOT/results/node55/solver-208273-1168186483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208273-1168186483/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 08d9585fedbb792f96a3fbc0380a3547
RANDOM SEED= 560695150
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 : 5931.00
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1523728 kB
Buffers: 33576 kB
Cached: 401624 kB
SwapCached: 0 kB
Active: 145440 kB
Inactive: 330660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1523728 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 51892 kB
Slab: 41520 kB
Committed_AS: 3526472 kB
PageTables: 1780 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66553 MiB
End job on node55 on Sun Jan 7 16:15:37 UTC 2007