0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228690-1168300135/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8183 maxDegree=27
0.63 maxArity=2
0.63 => wckTime=0.306 cpuTime=0.21 mem=10M860
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.512 cpuTime=0.35 mem=14M820
0.89
0.89 preprocessing
0.89 nbConstraintChecks=31261 nbPropagations=849 nbRevisions=5254 nbUselessRevisions=4179 nbSingletonTests=47
0.89 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.052 cpuTime=0.03 mem=14M820
0.91
0.91 search
0.91 run=0 nbConstraintChecks=20806 nbPropagations=1297 nbRevisions=10637 nbUselessRevisions=8638 nbAssignments=26
0.91 nbFailedAssignments=5 nbBacktracks=12 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.077 cpuTime=0.04 mem=14M820
0.93
0.93 search
0.93 run=1 nbConstraintChecks=53965 nbPropagations=3335 nbRevisions=28402 nbUselessRevisions=23190 nbAssignments=72
0.93 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=87 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.098 cpuTime=0.06 mem=14M820
0.95
0.95 search
0.95 run=2 nbConstraintChecks=93710 nbPropagations=6104 nbRevisions=56075 nbUselessRevisions=45835
0.95 nbAssignments=117 nbFailedAssignments=27 nbBacktracks=49 nbVisitedNodes=161 nbRestartNogoods=5 mapSize=43
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.114 cpuTime=0.07 mem=14M820
0.96
0.96 search
0.96 run=3 nbConstraintChecks=138368 nbPropagations=9763 nbRevisions=95349 nbUselessRevisions=78203
0.96 nbAssignments=178 nbFailedAssignments=44 nbBacktracks=82 nbVisitedNodes=255 nbRestartNogoods=9 mapSize=71
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.128 cpuTime=0.08 mem=14M820
0.99
0.99 search
0.99 run=4 nbConstraintChecks=220262 nbPropagations=14846 nbRevisions=154201 nbUselessRevisions=126316
0.99 nbAssignments=267 nbFailedAssignments=75 nbBacktracks=133 nbVisitedNodes=403 nbRestartNogoods=13 mapSize=113
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.153 cpuTime=0.1 mem=14M820
1.02
1.02 search
1.02 run=5 nbConstraintChecks=330855 nbPropagations=22060 nbRevisions=241668 nbUselessRevisions=198021
1.02 nbAssignments=395 nbFailedAssignments=109 nbBacktracks=210 nbVisitedNodes=603 nbRestartNogoods=19 mapSize=183
1.02 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.189 cpuTime=0.13 mem=14M820
1.07
1.07 search
1.07 run=6 nbConstraintChecks=507499 nbPropagations=32322 nbRevisions=373272 nbUselessRevisions=306055
1.07 nbAssignments=587 nbFailedAssignments=176 nbBacktracks=328 nbVisitedNodes=931 nbRestartNogoods=20 mapSize=285
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.233 cpuTime=0.18 mem=14M820
1.13
1.13 search
1.13 run=7 nbConstraintChecks=723143 nbPropagations=46440 nbRevisions=560335 nbUselessRevisions=459586
1.13 nbAssignments=844 nbFailedAssignments=258 nbBacktracks=498 nbVisitedNodes=1350 nbRestartNogoods=24 mapSize=414
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.297 cpuTime=0.23 mem=14M820
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1067865 nbPropagations=66630 nbRevisions=839348 nbUselessRevisions=689321
1.23 nbAssignments=1241 nbFailedAssignments=393 nbBacktracks=756 nbVisitedNodes=2011 nbRestartNogoods=28
1.23 mapSize=622 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.391 cpuTime=0.32 mem=14M820
1.37
1.37 search
1.37 run=9 nbConstraintChecks=1593273 nbPropagations=96077 nbRevisions=1256958 nbUselessRevisions=1034257
1.37 nbAssignments=1825 nbFailedAssignments=586 nbBacktracks=1141 nbVisitedNodes=3005 nbRestartNogoods=30
1.37 mapSize=955 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.533 cpuTime=0.45 mem=14M820
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M820)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=2417739 nbPropagations=139528 nbRevisions=1883888 nbUselessRevisions=1551168
1.56 nbAssignments=2720 nbFailedAssignments=898 nbBacktracks=1719 nbVisitedNodes=4516 nbRestartNogoods=36
1.56 => wckTime=0.724 cpuTime=0.63 mem=14M820
1.81
1.81 search
1.81 run=11 nbConstraintChecks=3625026 nbPropagations=203873 nbRevisions=2825242 nbUselessRevisions=2327901
1.81 nbAssignments=4064 nbFailedAssignments=1372 nbBacktracks=2583 nbVisitedNodes=6804 nbRestartNogoods=45
1.81 => wckTime=0.978 cpuTime=0.88 mem=14M820
2.18
2.18 search
2.18 run=12 nbConstraintChecks=5353223 nbPropagations=299061 nbRevisions=4222901 nbUselessRevisions=3481413
2.18 nbAssignments=6048 nbFailedAssignments=2049 nbBacktracks=3883 nbVisitedNodes=10145 nbRestartNogoods=53
2.18 => wckTime=1.346 cpuTime=1.25 mem=14M820
2.77
2.77 search
2.77 run=13 nbConstraintChecks=8174341 nbPropagations=441777 nbRevisions=6327656 nbUselessRevisions=5217284
2.77 nbAssignments=9078 nbFailedAssignments=3125 nbBacktracks=5830 nbVisitedNodes=15300 nbRestartNogoods=59
2.77 => wckTime=1.932 cpuTime=1.83 mem=14M820
3.59
3.59 search
3.59 run=14 nbConstraintChecks=12063645 nbPropagations=652545 nbRevisions=9452484 nbUselessRevisions=7797796
3.59 nbAssignments=13503 nbFailedAssignments=4608 nbBacktracks=8750 nbVisitedNodes=22696 nbRestartNogoods=65
3.59 => wckTime=2.759 cpuTime=2.64 mem=14M820
4.80
4.80 search
4.80 run=15 nbConstraintChecks=17769217 nbPropagations=963960 nbRevisions=14065355 nbUselessRevisions=11607753
4.80 nbAssignments=20087 nbFailedAssignments=6807 nbBacktracks=13129 nbVisitedNodes=33753 nbRestartNogoods=72
4.80 => wckTime=3.964 cpuTime=3.85 mem=14M820
6.71
6.71 search
6.71 run=16 nbConstraintChecks=26918770 nbPropagations=1432481 nbRevisions=21057313 nbUselessRevisions=17391344
6.71 nbAssignments=30089 nbFailedAssignments=10233 nbBacktracks=19700 nbVisitedNodes=50705 nbRestartNogoods=83
6.71 => wckTime=5.873 cpuTime=5.76 mem=14M820
9.44
9.44 search
9.44 run=17 nbConstraintChecks=39912891 nbPropagations=2128990 nbRevisions=31432909 nbUselessRevisions=25971165
9.44 nbAssignments=44735 nbFailedAssignments=15017 nbBacktracks=29555 nbVisitedNodes=75321 nbRestartNogoods=93
9.44 => wckTime=8.604 cpuTime=8.47 mem=14M820
13.66
13.66 search
13.66 run=18 nbConstraintChecks=60211412 nbPropagations=3175692 nbRevisions=47059416 nbUselessRevisions=38889931
13.66 nbAssignments=67010 nbFailedAssignments=22506 nbBacktracks=44334 nbVisitedNodes=113020 nbRestartNogoods=103
13.66 => wckTime=12.82 cpuTime=12.67 mem=14M820
18.81
18.81 search
18.82 run=19 nbConstraintChecks=84971460 nbPropagations=4650526 nbRevisions=69158019 nbUselessRevisions=57174248
18.82 nbAssignments=94340 nbFailedAssignments=31556 nbBacktracks=62615 nbVisitedNodes=159130 nbRestartNogoods=108
18.82 => wckTime=17.979 cpuTime=17.8 mem=14M820
18.82
18.82 global
18.82 nbConstraintChecks=85002721 nbPropagations=4651375 nbRevisions=69163273 nbUselessRevisions=57178427
18.82 nbRestartNogoods=108 solvingWckTime=17.981 solvingCpuTime=17.8 expiredTime=no totalExploration=yes
18.82 nbFoundSolutions=0 globalCpuTime=18.21
18.82 => wckTime=18.496 cpuTime=18.16 mem=14M820
18.82
18.82 s UNSATISFIABLE
18.82 d NODES 94340
18.82 d CHECKS 85002721
18.82
18.82 totalWckTime=18.578 totalCpuTime=18.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-228690-1168300135 -o ROOT/results/node6/solver-228690-1168300135 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228690-1168300135/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.98 1.54 1.21 4/88 11665
/proc/meminfo: memFree=1490392/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=18540 CPUtime=0
/proc/11664/stat : 11664 (runsolver) R 11662 11664 10641 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 178408903 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11664/statm: 4635 279 244 17 0 2626 0
[startup+0.1078 s]
/proc/loadavg: 1.98 1.54 1.21 4/88 11665
/proc/meminfo: memFree=1490392/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=914988 CPUtime=0.08
/proc/11664/stat : 11664 (java) R 11662 11664 10641 0 -1 0 2985 0 1 0 7 1 0 0 19 0 8 0 178408903 936947712 2731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11664/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515846 s]
/proc/loadavg: 1.98 1.54 1.21 4/88 11665
/proc/meminfo: memFree=1490392/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=915328 CPUtime=0.49
/proc/11664/stat : 11664 (java) R 11662 11664 10641 0 -1 0 6366 0 1 0 45 4 0 0 18 0 8 0 178408903 937295872 6105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11664/statm: 228832 6105 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33694 s]
/proc/loadavg: 1.98 1.54 1.21 3/95 11672
/proc/meminfo: memFree=1466656/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=915456 CPUtime=1.3
/proc/11664/stat : 11664 (java) R 11662 11664 10641 0 -1 0 8669 0 1 0 124 6 0 0 24 0 8 0 178408903 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11664/statm: 228864 8407 2524 14 0 215334 0
[pid=11664/tid=11666] ppid=11662 vsize=915456 CPUtime=0.03
/proc/11664/task/11666/stat : 11666 (java) S 11662 11664 10641 0 -1 64 227 0 0 0 3 0 0 0 16 0 8 0 178408907 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11667] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11667/stat : 11667 (java) S 11662 11664 10641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178408908 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11668] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11668/stat : 11668 (java) S 11662 11664 10641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178408908 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11669] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11669/stat : 11669 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178408911 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11670] ppid=11662 vsize=915456 CPUtime=0.24
/proc/11664/task/11670/stat : 11670 (java) S 11662 11664 10641 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 178408911 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11671] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11671/stat : 11671 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178408911 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11672] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11672/stat : 11672 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178408911 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97613 s]
/proc/loadavg: 1.98 1.54 1.21 3/95 11672
/proc/meminfo: memFree=1466400/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=915456 CPUtime=2.94
/proc/11664/stat : 11664 (java) R 11662 11664 10641 0 -1 0 8697 0 1 0 287 7 0 0 25 0 8 0 178408903 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11664/statm: 228864 8434 2524 14 0 215334 0
[pid=11664/tid=11666] ppid=11662 vsize=915456 CPUtime=0.03
/proc/11664/task/11666/stat : 11666 (java) S 11662 11664 10641 0 -1 64 227 0 0 0 3 0 0 0 16 0 8 0 178408907 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11667] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11667/stat : 11667 (java) S 11662 11664 10641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178408908 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11668] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11668/stat : 11668 (java) S 11662 11664 10641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178408908 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11669] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11669/stat : 11669 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178408911 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11670] ppid=11662 vsize=915456 CPUtime=0.26
/proc/11664/task/11670/stat : 11670 (java) S 11662 11664 10641 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 178408911 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11671] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11671/stat : 11671 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178408911 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11672] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11672/stat : 11672 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178408911 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.1815 s]
/proc/loadavg: 1.98 1.54 1.21 3/95 11672
/proc/meminfo: memFree=1466208/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=915456 CPUtime=6.13
/proc/11664/stat : 11664 (java) R 11662 11664 10641 0 -1 0 8704 0 1 0 606 7 0 0 25 0 8 0 178408903 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11664/statm: 228864 8440 2524 14 0 215334 0
[pid=11664/tid=11666] ppid=11662 vsize=915456 CPUtime=0.03
/proc/11664/task/11666/stat : 11666 (java) S 11662 11664 10641 0 -1 64 227 0 0 0 3 0 0 0 16 0 8 0 178408907 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11667] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11667/stat : 11667 (java) S 11662 11664 10641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178408908 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11668] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11668/stat : 11668 (java) S 11662 11664 10641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178408908 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11669] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11669/stat : 11669 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178408911 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11670] ppid=11662 vsize=915456 CPUtime=0.26
/proc/11664/task/11670/stat : 11670 (java) S 11662 11664 10641 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 178408911 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11671] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11671/stat : 11671 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178408911 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11672] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11672/stat : 11672 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178408911 937426944 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.6473 s]
/proc/loadavg: 1.98 1.56 1.22 3/95 11672
/proc/meminfo: memFree=1466208/2055924 swapFree=4165672/4192956
[pid=11664] ppid=11662 vsize=915456 CPUtime=12.56
/proc/11664/stat : 11664 (java) R 11662 11664 10641 0 -1 0 8709 0 1 0 1249 7 0 0 25 0 8 0 178408903 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11664/statm: 228864 8445 2524 14 0 215334 0
[pid=11664/tid=11666] ppid=11662 vsize=915456 CPUtime=0.03
/proc/11664/task/11666/stat : 11666 (java) S 11662 11664 10641 0 -1 64 227 0 0 0 3 0 0 0 16 0 8 0 178408907 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11667] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11667/stat : 11667 (java) S 11662 11664 10641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178408908 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11668] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11668/stat : 11668 (java) S 11662 11664 10641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178408908 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11669] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11669/stat : 11669 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178408911 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11670] ppid=11662 vsize=915456 CPUtime=0.26
/proc/11664/task/11670/stat : 11670 (java) S 11662 11664 10641 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 178408911 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11671] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11671/stat : 11671 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178408911 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11664/tid=11672] ppid=11662 vsize=915456 CPUtime=0
/proc/11664/task/11672/stat : 11672 (java) S 11662 11664 10641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178408911 937426944 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 18.8418
CPU time (s): 18.7242
CPU user time (s): 18.6442
CPU system time (s): 0.079987
CPU usage (%): 99.3755
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6442
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8803
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= 1500
involuntary context switches= 2249
runsolver used 0.031995 s user time and 0.06299 s system time
The end
Begin job on node6 on Mon Jan 8 23:48:55 UTC 2007
IDJOB= 228690
IDBENCH= 6218
FILE ID= node6/228690-1168300135
PBS_JOBID= 3502181
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228690-1168300135/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-228690-1168300135 -o ROOT/results/node6/solver-228690-1168300135 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228690-1168300135/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f90de94442b44abf6aa7590ec3f26239
RANDOM SEED= 831291831
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.240
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.240
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: 2055924 kB
MemFree: 1490808 kB
Buffers: 86408 kB
Cached: 377672 kB
SwapCached: 2944 kB
Active: 289576 kB
Inactive: 213760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1490808 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1772 kB
Writeback: 0 kB
Mapped: 50060 kB
Slab: 46524 kB
Committed_AS: 5576760 kB
PageTables: 2396 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= 66551 MiB
End job on node6 on Mon Jan 8 23:49:14 UTC 2007